1 ; RUN: opt < %s -O3 | llc > %t 2 ; RUN: grep 2147027116 %t | count 3 3 ; RUN: grep 2147228864 %t | count 3 4 ; RUN: grep 2146502828 %t | count 3 5 ; RUN: grep 2143034560 %t | count 3 6 ; Compile time conversions of NaNs. 7 ; ModuleID = 'nan2.c' 8 target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f80:128:128" 9 target triple = "i686-apple-darwin8" 10 %struct..0anon = type { float } 11 %struct..1anon = type { double } 12 @fnan = constant [3 x i32] [ i32 2143831397, i32 2143831396, i32 2143831398 ] ; <[3 x i32]*> [#uses=1] 13 @dnan = constant [3 x i64] [ i64 9223235251041752696, i64 9223235251041752697, i64 9223235250773317239 ], align 8 ; <[3 x i64]*> [#uses=1] 14 @fsnan = constant [3 x i32] [ i32 2139637093, i32 2139637092, i32 2139637094 ] ; <[3 x i32]*> [#uses=1] 15 @dsnan = constant [3 x i64] [ i64 9220983451228067448, i64 9220983451228067449, i64 9220983450959631991 ], align 8 ; <[3 x i64]*> [#uses=1] 16 @.str = internal constant [10 x i8] c"%08x%08x\0A\00" ; <[10 x i8]*> [#uses=2] 17 @.str1 = internal constant [6 x i8] c"%08x\0A\00" ; <[6 x i8]*> [#uses=2] 18 19 @var = external global i32 20 21 define i32 @main() { 22 entry: 23 %retval = alloca i32, align 4 ; <i32*> [#uses=1] 24 %i = alloca i32, align 4 ; <i32*> [#uses=20] 25 %uf = alloca %struct..0anon, align 4 ; <%struct..0anon*> [#uses=8] 26 %ud = alloca %struct..1anon, align 8 ; <%struct..1anon*> [#uses=10] 27 %"alloca point" = bitcast i32 0 to i32 ; <i32> [#uses=0] 28 store i32 0, i32* %i, align 4 29 br label %bb23 30 31 bb: ; preds = %bb23 32 %tmp = load i32, i32* %i, align 4 ; <i32> [#uses=1] 33 %tmp1 = getelementptr [3 x i32], [3 x i32]* @fnan, i32 0, i32 %tmp ; <i32*> [#uses=1] 34 %tmp2 = load i32, i32* %tmp1, align 4 ; <i32> [#uses=1] 35 %tmp3 = getelementptr %struct..0anon, %struct..0anon* %uf, i32 0, i32 0 ; <float*> [#uses=1] 36 %tmp34 = bitcast float* %tmp3 to i32* ; <i32*> [#uses=1] 37 store i32 %tmp2, i32* %tmp34, align 4 38 %tmp5 = getelementptr %struct..0anon, %struct..0anon* %uf, i32 0, i32 0 ; <float*> [#uses=1] 39 %tmp6 = load float, float* %tmp5, align 4 ; <float> [#uses=1] 40 %tmp67 = fpext float %tmp6 to double ; <double> [#uses=1] 41 %tmp8 = getelementptr %struct..1anon, %struct..1anon* %ud, i32 0, i32 0 ; <double*> [#uses=1] 42 store double %tmp67, double* %tmp8, align 8 43 %tmp9 = getelementptr %struct..1anon, %struct..1anon* %ud, i32 0, i32 0 ; <double*> [#uses=1] 44 %tmp910 = bitcast double* %tmp9 to i64* ; <i64*> [#uses=1] 45 %tmp11 = load i64, i64* %tmp910, align 8 ; <i64> [#uses=1] 46 %tmp1112 = trunc i64 %tmp11 to i32 ; <i32> [#uses=1] 47 %tmp13 = and i32 %tmp1112, -1 ; <i32> [#uses=1] 48 %tmp14 = getelementptr %struct..1anon, %struct..1anon* %ud, i32 0, i32 0 ; <double*> [#uses=1] 49 %tmp1415 = bitcast double* %tmp14 to i64* ; <i64*> [#uses=1] 50 %tmp16 = load i64, i64* %tmp1415, align 8 ; <i64> [#uses=1] 51 %.cast = zext i32 32 to i64 ; <i64> [#uses=1] 52 %tmp17 = ashr i64 %tmp16, %.cast ; <i64> [#uses=1] 53 %tmp1718 = trunc i64 %tmp17 to i32 ; <i32> [#uses=1] 54 %tmp19 = getelementptr [10 x i8], [10 x i8]* @.str, i32 0, i32 0 ; <i8*> [#uses=1] 55 store volatile i32 %tmp1718, i32* @var 56 store volatile i32 %tmp13, i32* @var 57 %tmp21 = load i32, i32* %i, align 4 ; <i32> [#uses=1] 58 %tmp22 = add i32 %tmp21, 1 ; <i32> [#uses=1] 59 store i32 %tmp22, i32* %i, align 4 60 br label %bb23 61 62 bb23: ; preds = %bb, %entry 63 %tmp24 = load i32, i32* %i, align 4 ; <i32> [#uses=1] 64 %tmp25 = icmp sle i32 %tmp24, 2 ; <i1> [#uses=1] 65 %tmp2526 = zext i1 %tmp25 to i8 ; <i8> [#uses=1] 66 %toBool = icmp ne i8 %tmp2526, 0 ; <i1> [#uses=1] 67 br i1 %toBool, label %bb, label %bb27 68 69 bb27: ; preds = %bb23 70 store i32 0, i32* %i, align 4 71 br label %bb46 72 73 bb28: ; preds = %bb46 74 %tmp29 = load i32, i32* %i, align 4 ; <i32> [#uses=1] 75 %tmp30 = getelementptr [3 x i64], [3 x i64]* @dnan, i32 0, i32 %tmp29 ; <i64*> [#uses=1] 76 %tmp31 = load i64, i64* %tmp30, align 8 ; <i64> [#uses=1] 77 %tmp32 = getelementptr %struct..1anon, %struct..1anon* %ud, i32 0, i32 0 ; <double*> [#uses=1] 78 %tmp3233 = bitcast double* %tmp32 to i64* ; <i64*> [#uses=1] 79 store i64 %tmp31, i64* %tmp3233, align 8 80 %tmp35 = getelementptr %struct..1anon, %struct..1anon* %ud, i32 0, i32 0 ; <double*> [#uses=1] 81 %tmp36 = load double, double* %tmp35, align 8 ; <double> [#uses=1] 82 %tmp3637 = fptrunc double %tmp36 to float ; <float> [#uses=1] 83 %tmp38 = getelementptr %struct..0anon, %struct..0anon* %uf, i32 0, i32 0 ; <float*> [#uses=1] 84 store float %tmp3637, float* %tmp38, align 4 85 %tmp39 = getelementptr %struct..0anon, %struct..0anon* %uf, i32 0, i32 0 ; <float*> [#uses=1] 86 %tmp3940 = bitcast float* %tmp39 to i32* ; <i32*> [#uses=1] 87 %tmp41 = load i32, i32* %tmp3940, align 4 ; <i32> [#uses=1] 88 %tmp42 = getelementptr [6 x i8], [6 x i8]* @.str1, i32 0, i32 0 ; <i8*> [#uses=1] 89 store volatile i32 %tmp41, i32* @var 90 %tmp44 = load i32, i32* %i, align 4 ; <i32> [#uses=1] 91 %tmp45 = add i32 %tmp44, 1 ; <i32> [#uses=1] 92 store i32 %tmp45, i32* %i, align 4 93 br label %bb46 94 95 bb46: ; preds = %bb28, %bb27 96 %tmp47 = load i32, i32* %i, align 4 ; <i32> [#uses=1] 97 %tmp48 = icmp sle i32 %tmp47, 2 ; <i1> [#uses=1] 98 %tmp4849 = zext i1 %tmp48 to i8 ; <i8> [#uses=1] 99 %toBool50 = icmp ne i8 %tmp4849, 0 ; <i1> [#uses=1] 100 br i1 %toBool50, label %bb28, label %bb51 101 102 bb51: ; preds = %bb46 103 store i32 0, i32* %i, align 4 104 br label %bb78 105 106 bb52: ; preds = %bb78 107 %tmp53 = load i32, i32* %i, align 4 ; <i32> [#uses=1] 108 %tmp54 = getelementptr [3 x i32], [3 x i32]* @fsnan, i32 0, i32 %tmp53 ; <i32*> [#uses=1] 109 %tmp55 = load i32, i32* %tmp54, align 4 ; <i32> [#uses=1] 110 %tmp56 = getelementptr %struct..0anon, %struct..0anon* %uf, i32 0, i32 0 ; <float*> [#uses=1] 111 %tmp5657 = bitcast float* %tmp56 to i32* ; <i32*> [#uses=1] 112 store i32 %tmp55, i32* %tmp5657, align 4 113 %tmp58 = getelementptr %struct..0anon, %struct..0anon* %uf, i32 0, i32 0 ; <float*> [#uses=1] 114 %tmp59 = load float, float* %tmp58, align 4 ; <float> [#uses=1] 115 %tmp5960 = fpext float %tmp59 to double ; <double> [#uses=1] 116 %tmp61 = getelementptr %struct..1anon, %struct..1anon* %ud, i32 0, i32 0 ; <double*> [#uses=1] 117 store double %tmp5960, double* %tmp61, align 8 118 %tmp62 = getelementptr %struct..1anon, %struct..1anon* %ud, i32 0, i32 0 ; <double*> [#uses=1] 119 %tmp6263 = bitcast double* %tmp62 to i64* ; <i64*> [#uses=1] 120 %tmp64 = load i64, i64* %tmp6263, align 8 ; <i64> [#uses=1] 121 %tmp6465 = trunc i64 %tmp64 to i32 ; <i32> [#uses=1] 122 %tmp66 = and i32 %tmp6465, -1 ; <i32> [#uses=1] 123 %tmp68 = getelementptr %struct..1anon, %struct..1anon* %ud, i32 0, i32 0 ; <double*> [#uses=1] 124 %tmp6869 = bitcast double* %tmp68 to i64* ; <i64*> [#uses=1] 125 %tmp70 = load i64, i64* %tmp6869, align 8 ; <i64> [#uses=1] 126 %.cast71 = zext i32 32 to i64 ; <i64> [#uses=1] 127 %tmp72 = ashr i64 %tmp70, %.cast71 ; <i64> [#uses=1] 128 %tmp7273 = trunc i64 %tmp72 to i32 ; <i32> [#uses=1] 129 %tmp74 = getelementptr [10 x i8], [10 x i8]* @.str, i32 0, i32 0 ; <i8*> [#uses=1] 130 store volatile i32 %tmp7273, i32* @var 131 store volatile i32 %tmp66, i32* @var 132 %tmp76 = load i32, i32* %i, align 4 ; <i32> [#uses=1] 133 %tmp77 = add i32 %tmp76, 1 ; <i32> [#uses=1] 134 store i32 %tmp77, i32* %i, align 4 135 br label %bb78 136 137 bb78: ; preds = %bb52, %bb51 138 %tmp79 = load i32, i32* %i, align 4 ; <i32> [#uses=1] 139 %tmp80 = icmp sle i32 %tmp79, 2 ; <i1> [#uses=1] 140 %tmp8081 = zext i1 %tmp80 to i8 ; <i8> [#uses=1] 141 %toBool82 = icmp ne i8 %tmp8081, 0 ; <i1> [#uses=1] 142 br i1 %toBool82, label %bb52, label %bb83 143 144 bb83: ; preds = %bb78 145 store i32 0, i32* %i, align 4 146 br label %bb101 147 148 bb84: ; preds = %bb101 149 %tmp85 = load i32, i32* %i, align 4 ; <i32> [#uses=1] 150 %tmp86 = getelementptr [3 x i64], [3 x i64]* @dsnan, i32 0, i32 %tmp85 ; <i64*> [#uses=1] 151 %tmp87 = load i64, i64* %tmp86, align 8 ; <i64> [#uses=1] 152 %tmp88 = getelementptr %struct..1anon, %struct..1anon* %ud, i32 0, i32 0 ; <double*> [#uses=1] 153 %tmp8889 = bitcast double* %tmp88 to i64* ; <i64*> [#uses=1] 154 store i64 %tmp87, i64* %tmp8889, align 8 155 %tmp90 = getelementptr %struct..1anon, %struct..1anon* %ud, i32 0, i32 0 ; <double*> [#uses=1] 156 %tmp91 = load double, double* %tmp90, align 8 ; <double> [#uses=1] 157 %tmp9192 = fptrunc double %tmp91 to float ; <float> [#uses=1] 158 %tmp93 = getelementptr %struct..0anon, %struct..0anon* %uf, i32 0, i32 0 ; <float*> [#uses=1] 159 store float %tmp9192, float* %tmp93, align 4 160 %tmp94 = getelementptr %struct..0anon, %struct..0anon* %uf, i32 0, i32 0 ; <float*> [#uses=1] 161 %tmp9495 = bitcast float* %tmp94 to i32* ; <i32*> [#uses=1] 162 %tmp96 = load i32, i32* %tmp9495, align 4 ; <i32> [#uses=1] 163 %tmp97 = getelementptr [6 x i8], [6 x i8]* @.str1, i32 0, i32 0 ; <i8*> [#uses=1] 164 store volatile i32 %tmp96, i32* @var 165 %tmp99 = load i32, i32* %i, align 4 ; <i32> [#uses=1] 166 %tmp100 = add i32 %tmp99, 1 ; <i32> [#uses=1] 167 store i32 %tmp100, i32* %i, align 4 168 br label %bb101 169 170 bb101: ; preds = %bb84, %bb83 171 %tmp102 = load i32, i32* %i, align 4 ; <i32> [#uses=1] 172 %tmp103 = icmp sle i32 %tmp102, 2 ; <i1> [#uses=1] 173 %tmp103104 = zext i1 %tmp103 to i8 ; <i8> [#uses=1] 174 %toBool105 = icmp ne i8 %tmp103104, 0 ; <i1> [#uses=1] 175 br i1 %toBool105, label %bb84, label %bb106 176 177 bb106: ; preds = %bb101 178 br label %return 179 180 return: ; preds = %bb106 181 %retval107 = load i32, i32* %retval ; <i32> [#uses=1] 182 ret i32 %retval107 183 } 184