128 lines · plain
1; Adapted from Khronos Translator test suite: test/iaddcarry_builtin.ll2 3; RUN: llc -O0 -mtriple=spirv64-unknown-unknown %s -o - | FileCheck %s --check-prefix=CHECK-SPIRV4; RUN: %if spirv-tools %{ llc -O0 -mtriple=spirv64-unknown-unknown %s -o - -filetype=obj | spirv-val %}5 6%i8struct = type {i8, i8}7%i16struct = type {i16, i16}8%i32struct = type {i32, i32}9%i64struct = type {i64, i64}10%vecstruct = type {<4 x i32>, <4 x i32>}11 12; CHECK-SPIRV-DAG: [[uchar:%[a-z0-9_]+]] = OpTypeInt 813; CHECK-SPIRV-DAG: [[ushort:%[a-z0-9_]+]] = OpTypeInt 1614; CHECK-SPIRV-DAG: [[uint:%[a-z0-9_]+]] = OpTypeInt 3215; CHECK-SPIRV-DAG: [[ulong:%[a-z0-9_]+]] = OpTypeInt 6416; CHECK-SPIRV-DAG: [[void:%[a-z0-9_]+]] = OpTypeVoid17; CHECK-SPIRV-DAG: [[i8struct:%[a-z0-9_]+]] = OpTypeStruct [[uchar]] [[uchar]]18; CHECK-SPIRV-DAG: [[_ptr_Function_i8struct:%[a-z0-9_]+]] = OpTypePointer Function [[i8struct]]19; CHECK-SPIRV-DAG: [[i16struct:%[a-z0-9_]+]] = OpTypeStruct [[ushort]] [[ushort]]20; CHECK-SPIRV-DAG: [[_ptr_Function_i16struct:%[a-z0-9_]+]] = OpTypePointer Function [[i16struct]]21; CHECK-SPIRV-DAG: [[i32struct:%[a-z0-9_]+]] = OpTypeStruct [[uint]] [[uint]]22; CHECK-SPIRV-DAG: [[_ptr_Function_i32struct:%[a-z0-9_]+]] = OpTypePointer Function [[i32struct]]23; CHECK-SPIRV-DAG: [[i64struct:%[a-z0-9_]+]] = OpTypeStruct [[ulong]] [[ulong]]24; CHECK-SPIRV-DAG: [[_ptr_Function_i64struct:%[a-z0-9_]+]] = OpTypePointer Function [[i64struct]]25; CHECK-SPIRV-DAG: [[v4uint:%[a-z0-9_]+]] = OpTypeVector [[uint]] 426; CHECK-SPIRV-DAG: [[vecstruct:%[a-z0-9_]+]] = OpTypeStruct [[v4uint]] [[v4uint]]27; CHECK-SPIRV-DAG: [[_ptr_Function_vecstruct:%[a-z0-9_]+]] = OpTypePointer Function [[vecstruct]]28; CHECK-SPIRV-DAG: [[_ptr_Generic_i32struct:%[a-z0-9_]+]] = OpTypePointer Generic [[i32struct]]29 30define spir_func void @test_builtin_iaddcarrycc(i8 %a, i8 %b) {31 entry:32 %0 = alloca %i8struct33 call void @_Z17__spirv_IAddCarrycc(ptr sret (%i8struct) %0, i8 %a, i8 %b)34 ret void35}36; CHECK-SPIRV: [[a:%[a-z0-9_]+]] = OpFunctionParameter [[uchar]]37; CHECK-SPIRV: [[b:%[a-z0-9_]+]] = OpFunctionParameter [[uchar]]38; CHECK-SPIRV: [[entry:%[a-z0-9_]+]] = OpLabel39; CHECK-SPIRV: [[var_11:%[a-z0-9_]+]] = OpVariable [[_ptr_Function_i8struct]] Function40; CHECK-SPIRV: [[var_12:%[a-z0-9_]+]] = OpIAddCarry [[i8struct]] [[a]] [[b]]41; CHECK-SPIRV: OpStore [[var_11]] [[var_12]] 42; CHECK-SPIRV: OpReturn43; CHECK-SPIRV: OpFunctionEnd44 45define spir_func void @test_builtin_iaddcarryss(i16 %a, i16 %b) {46 entry:47 %0 = alloca %i16struct48 call void @_Z17__spirv_IAddCarryss(ptr sret (%i16struct) %0, i16 %a, i16 %b)49 ret void50}51; CHECK-SPIRV: [[a_0:%[a-z0-9_]+]] = OpFunctionParameter [[ushort]]52; CHECK-SPIRV: [[b_0:%[a-z0-9_]+]] = OpFunctionParameter [[ushort]]53; CHECK-SPIRV: [[entry_0:%[a-z0-9_]+]] = OpLabel54; CHECK-SPIRV: [[var_21:%[a-z0-9_]+]] = OpVariable [[_ptr_Function_i16struct]] Function55; CHECK-SPIRV: [[var_22:%[a-z0-9_]+]] = OpIAddCarry [[i16struct]] [[a_0]] [[b_0]]56; CHECK-SPIRV: OpStore [[var_21]] [[var_22]] 57; CHECK-SPIRV: OpReturn58; CHECK-SPIRV: OpFunctionEnd59 60define spir_func void @test_builtin_iaddcarryii(i32 %a, i32 %b) {61 entry:62 %0 = alloca %i32struct63 call void @_Z17__spirv_IAddCarryii(ptr sret (%i32struct) %0, i32 %a, i32 %b)64 ret void65}66; CHECK-SPIRV: [[a_1:%[a-z0-9_]+]] = OpFunctionParameter [[uint]]67; CHECK-SPIRV: [[b_1:%[a-z0-9_]+]] = OpFunctionParameter [[uint]]68; CHECK-SPIRV: [[entry_1:%[a-z0-9_]+]] = OpLabel69; CHECK-SPIRV: [[var_31:%[a-z0-9_]+]] = OpVariable [[_ptr_Function_i32struct]] Function70; CHECK-SPIRV: [[var_32:%[a-z0-9_]+]] = OpIAddCarry [[i32struct]] [[a_1]] [[b_1]]71; CHECK-SPIRV: OpStore [[var_31]] [[var_32]] 72; CHECK-SPIRV: OpReturn73; CHECK-SPIRV: OpFunctionEnd74 75define spir_func void @test_builtin_iaddcarryll(i64 %a, i64 %b) {76 entry:77 %0 = alloca %i64struct78 call void @_Z17__spirv_IAddCarryll(ptr sret (%i64struct) %0, i64 %a, i64 %b)79 ret void80}81; CHECK-SPIRV: [[a_2:%[a-z0-9_]+]] = OpFunctionParameter [[ulong]]82; CHECK-SPIRV: [[b_2:%[a-z0-9_]+]] = OpFunctionParameter [[ulong]]83; CHECK-SPIRV: [[entry_2:%[a-z0-9_]+]] = OpLabel84; CHECK-SPIRV: [[var_41:%[a-z0-9_]+]] = OpVariable [[_ptr_Function_i64struct]] Function85; CHECK-SPIRV: [[var_42:%[a-z0-9_]+]] = OpIAddCarry [[i64struct]] [[a_2]] [[b_2]]86; CHECK-SPIRV: OpStore [[var_41]] [[var_42]] 87; CHECK-SPIRV: OpReturn88; CHECK-SPIRV: OpFunctionEnd89 90define spir_func void @test_builtin_iaddcarryDv4_xS_(<4 x i32> %a, <4 x i32> %b) {91 entry:92 %0 = alloca %vecstruct93 call void @_Z17__spirv_IAddCarryDv4_iS_(ptr sret (%vecstruct) %0, <4 x i32> %a, <4 x i32> %b)94 ret void95}96; CHECK-SPIRV: [[a_3:%[a-z0-9_]+]] = OpFunctionParameter [[v4uint]]97; CHECK-SPIRV: [[b_3:%[a-z0-9_]+]] = OpFunctionParameter [[v4uint]]98; CHECK-SPIRV: [[entry_3:%[a-z0-9_]+]] = OpLabel99; CHECK-SPIRV: [[var_51:%[a-z0-9_]+]] = OpVariable [[_ptr_Function_vecstruct]] Function100; CHECK-SPIRV: [[var_52:%[a-z0-9_]+]] = OpIAddCarry [[vecstruct]] [[a_3]] [[b_3]]101; CHECK-SPIRV: OpStore [[var_51]] [[var_52]] 102; CHECK-SPIRV: OpReturn103; CHECK-SPIRV: OpFunctionEnd104 105%struct.anon = type { i32, i32 }106 107define spir_func void @test_builtin_iaddcarry_anon(i32 %a, i32 %b) {108 entry:109 %0 = alloca %struct.anon110 %1 = addrspacecast ptr %0 to ptr addrspace(4)111 call spir_func void @_Z17__spirv_IAddCarryIiiE4anonIT_T0_ES1_S2_(ptr addrspace(4) sret(%struct.anon) align 4 %1, i32 %a, i32 %b)112 ret void113}114; CHECK-SPIRV: [[a_4:%[a-z0-9_]+]] = OpFunctionParameter [[uint]]115; CHECK-SPIRV: [[b_4:%[a-z0-9_]+]] = OpFunctionParameter [[uint]]116; CHECK-SPIRV: [[entry_4:%[a-z0-9_]+]] = OpLabel117; CHECK-SPIRV: [[var_59:%[a-z0-9_]+]] = OpVariable [[_ptr_Function_i32struct]] Function118; CHECK-SPIRV: [[var_61:%[a-z0-9_]+]] = OpPtrCastToGeneric [[_ptr_Generic_i32struct]] [[var_59]]119; CHECK-SPIRV: [[var_62:%[a-z0-9_]+]] = OpIAddCarry [[i32struct]] [[a_4]] [[b_4]]120; CHECK-SPIRV: OpStore [[var_61]] [[var_62]]121 122declare void @_Z17__spirv_IAddCarryIiiE4anonIT_T0_ES1_S2_(ptr addrspace(4) sret(%struct.anon) align 4, i32, i32)123declare void @_Z17__spirv_IAddCarrycc(ptr sret(%i8struct), i8, i8)124declare void @_Z17__spirv_IAddCarryss(ptr sret(%i16struct), i16, i16)125declare void @_Z17__spirv_IAddCarryii(ptr sret(%i32struct), i32, i32)126declare void @_Z17__spirv_IAddCarryll(ptr sret(%i64struct), i64, i64)127declare void @_Z17__spirv_IAddCarryDv4_iS_(ptr sret (%vecstruct), <4 x i32>, <4 x i32>)128