This should always be signed chars, so use int8_t. This fixes a miscompile when
[llvm/stm8.git] / test / CodeGen / X86 / 2011-03-02-DAGCombiner.ll
blobbe58cedfdaa74d1dbded960f68eea1be0752f05e
1 ; RUN: llc < %s -march=x86-64
3 target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64"
4 target triple = "x86_64-apple-darwin11.0.0"
6 %0 = type { i8, [3 x i8] }
7 %struct.anon = type { float, x86_fp80 }
9 define i32 @main() nounwind ssp {
10 entry:
11   %retval = alloca i32, align 4
12   %F = alloca %struct.anon, align 16
13   %K = alloca %0, align 4
14   store i32 0, i32* %retval
15   %0 = bitcast %0* %K to i32*
16   %1 = load i32* %0, align 4
17   %2 = and i32 %1, -121
18   %3 = or i32 %2, 32
19   store i32 %3, i32* %0, align 4
20   %4 = bitcast %0* %K to i32*
21   %5 = load i32* %4, align 4
22   %6 = lshr i32 %5, 3
23   %bf.clear = and i32 %6, 15
24   %conv = sitofp i32 %bf.clear to float
25   %f = getelementptr inbounds %struct.anon* %F, i32 0, i32 0
26   %tmp = load float* %f, align 4
27   %sub = fsub float %tmp, %conv
28   store float %sub, float* %f, align 4
29   %ld = getelementptr inbounds %struct.anon* %F, i32 0, i32 1
30   %tmp1 = load x86_fp80* %ld, align 16
31   %7 = bitcast %0* %K to i32*
32   %8 = load i32* %7, align 4
33   %9 = lshr i32 %8, 7
34   %bf.clear2 = and i32 %9, 1
35   %conv3 = uitofp i32 %bf.clear2 to x86_fp80
36   %sub4 = fsub x86_fp80 %conv3, %tmp1
37   %conv5 = fptoui x86_fp80 %sub4 to i32
38   %bf.value = and i32 %conv5, 1
39   %10 = bitcast %0* %K to i32*
40   %11 = and i32 %bf.value, 1
41   %12 = shl i32 %11, 7
42   %13 = load i32* %10, align 4
43   %14 = and i32 %13, -129
44   %15 = or i32 %14, %12
45   store i32 %15, i32* %10, align 4
46   %call = call i32 (...)* @iequals(i32 1841, i32 %bf.value, i32 0)
47   %16 = load i32* %retval
48   ret i32 %16
51 declare i32 @iequals(...)