167 lines · plain
1; RUN: %lli -jit-kind=mcjit -force-interpreter=true %s | FileCheck %s2; CHECK: int test passed3; CHECK: double test passed4; CHECK: float test passed5 6@msg_int = internal global [17 x i8] c"int test passed\0A\00"7@msg_double = internal global [20 x i8] c"double test passed\0A\00"8@msg_float = internal global [19 x i8] c"float test passed\0A\00"9 10declare i32 @printf(ptr, ...)11 12define i32 @main() {13 %a = alloca <4 x i32>, align 1614 %b = alloca <4 x double>, align 1615 %c = alloca <4 x float>, align 1616 %pint_0 = alloca i3217 %pint_1 = alloca i3218 %pint_2 = alloca i3219 %pint_3 = alloca i3220 %pdouble_0 = alloca double21 %pdouble_1 = alloca double22 %pdouble_2 = alloca double23 %pdouble_3 = alloca double24 %pfloat_0 = alloca float25 %pfloat_1 = alloca float26 %pfloat_2 = alloca float27 %pfloat_3 = alloca float28 29 ; store constants 1,2,3,4 as vector30 store <4 x i32> <i32 1, i32 2, i32 3, i32 4>, ptr %a, align 1631 ; store constants 1,2,3,4 as scalars32 store i32 1, ptr %pint_033 store i32 2, ptr %pint_134 store i32 3, ptr %pint_235 store i32 4, ptr %pint_336 37 ; load stored scalars38 %val_int0 = load i32, ptr %pint_039 %val_int1 = load i32, ptr %pint_140 %val_int2 = load i32, ptr %pint_241 %val_int3 = load i32, ptr %pint_342 43 ; load stored vector44 %val0 = load <4 x i32> , ptr %a, align 1645 46 ; extract integers from the loaded vector47 %res_i32_0 = extractelement <4 x i32> %val0, i32 048 %res_i32_1 = extractelement <4 x i32> %val0, i32 149 %res_i32_2 = extractelement <4 x i32> %val0, i32 250 %res_i32_3 = extractelement <4 x i32> %val0, i32 351 52 ; compare extracted data with stored constants53 %test_result_int_0 = icmp eq i32 %res_i32_0, %val_int054 %test_result_int_1 = icmp eq i32 %res_i32_1, %val_int155 %test_result_int_2 = icmp eq i32 %res_i32_2, %val_int256 %test_result_int_3 = icmp eq i32 %res_i32_3, %val_int357 58 %test_result_int_4 = icmp eq i32 %res_i32_0, %val_int359 %test_result_int_5 = icmp eq i32 %res_i32_1, %val_int260 %test_result_int_6 = icmp eq i32 %res_i32_2, %val_int161 %test_result_int_7 = icmp eq i32 %res_i32_3, %val_int062 63 ; it should be TRUE64 %A_i = or i1 %test_result_int_0, %test_result_int_465 %B_i = or i1 %test_result_int_1, %test_result_int_566 %C_i = or i1 %test_result_int_2, %test_result_int_667 %D_i = or i1 %test_result_int_3, %test_result_int_768 %E_i = and i1 %A_i, %B_i69 %F_i = and i1 %C_i, %D_i70 %res_i = and i1 %E_i, %F_i71 72 ; if TRUE print message73 br i1 %res_i, label %Print_int, label %Double74Print_int:75 call i32 (ptr,...) @printf(ptr @msg_int)76 br label %Double77Double:78 store <4 x double> <double 5.0, double 6.0, double 7.0, double 8.0>, ptr %b, align 1679 ; store constants as scalars80 store double 5.0, ptr %pdouble_081 store double 6.0, ptr %pdouble_182 store double 7.0, ptr %pdouble_283 store double 8.0, ptr %pdouble_384 85 ; load stored vector86 %val1 = load <4 x double> , ptr %b, align 1687 ; load stored scalars88 %val_double0 = load double, ptr %pdouble_089 %val_double1 = load double, ptr %pdouble_190 %val_double2 = load double, ptr %pdouble_291 %val_double3 = load double, ptr %pdouble_392 93 %res_double_0 = extractelement <4 x double> %val1, i32 094 %res_double_1 = extractelement <4 x double> %val1, i32 195 %res_double_2 = extractelement <4 x double> %val1, i32 296 %res_double_3 = extractelement <4 x double> %val1, i32 397 98 %test_result_double_0 = fcmp oeq double %res_double_0, %val_double099 %test_result_double_1 = fcmp oeq double %res_double_1, %val_double1100 %test_result_double_2 = fcmp oeq double %res_double_2, %val_double2101 %test_result_double_3 = fcmp oeq double %res_double_3, %val_double3102 103 %test_result_double_4 = fcmp oeq double %res_double_0, %val_double3104 %test_result_double_5 = fcmp oeq double %res_double_1, %val_double2105 %test_result_double_6 = fcmp oeq double %res_double_2, %val_double1106 %test_result_double_7 = fcmp oeq double %res_double_3, %val_double0107 108 %A_double = or i1 %test_result_double_0, %test_result_double_4109 %B_double = or i1 %test_result_double_1, %test_result_double_5110 %C_double = or i1 %test_result_double_2, %test_result_double_6111 %D_double = or i1 %test_result_double_3, %test_result_double_7112 %E_double = and i1 %A_double, %B_double113 %F_double = and i1 %C_double, %D_double114 %res_double = and i1 %E_double, %F_double115 116 br i1 %res_double, label %Print_double, label %Float117Print_double:118 call i32 (ptr,...) @printf(ptr @msg_double)119 br label %Float120Float:121 store <4 x float> <float 9.0, float 10.0, float 11.0, float 12.0>, ptr %c, align 16122 123 store float 9.0, ptr %pfloat_0124 store float 10.0, ptr %pfloat_1125 store float 11.0, ptr %pfloat_2126 store float 12.0, ptr %pfloat_3127 128 ; load stored vector129 %val2 = load <4 x float> , ptr %c, align 16130 ; load stored scalars131 %val_float0 = load float, ptr %pfloat_0132 %val_float1 = load float, ptr %pfloat_1133 %val_float2 = load float, ptr %pfloat_2134 %val_float3 = load float, ptr %pfloat_3135 136 %res_float_0 = extractelement <4 x float> %val2, i32 0137 %res_float_1 = extractelement <4 x float> %val2, i32 1138 %res_float_2 = extractelement <4 x float> %val2, i32 2139 %res_float_3 = extractelement <4 x float> %val2, i32 3140 141 %test_result_float_0 = fcmp oeq float %res_float_0, %val_float0142 %test_result_float_1 = fcmp oeq float %res_float_1, %val_float1143 %test_result_float_2 = fcmp oeq float %res_float_2, %val_float2144 %test_result_float_3 = fcmp oeq float %res_float_3, %val_float3145 146 %test_result_float_4 = fcmp oeq float %res_float_0, %val_float3147 %test_result_float_5 = fcmp oeq float %res_float_1, %val_float2148 %test_result_float_6 = fcmp oeq float %res_float_2, %val_float1149 %test_result_float_7 = fcmp oeq float %res_float_3, %val_float0150 151 %A_float = or i1 %test_result_float_0, %test_result_float_4152 %B_float = or i1 %test_result_float_1, %test_result_float_5153 %C_float = or i1 %test_result_float_2, %test_result_float_6154 %D_float = or i1 %test_result_float_3, %test_result_float_7155 %E_float = and i1 %A_float, %B_float156 %F_float = and i1 %C_float, %D_float157 %res_float = and i1 %E_float, %F_float158 159 br i1 %res_float, label %Print_float, label %Exit160Print_float:161 call i32 (ptr,...) @printf(ptr @msg_float)162 br label %Exit163Exit:164 165 ret i32 0166}167