xref: /llvm-project/llvm/test/CodeGen/X86/2011-03-02-DAGCombiner.ll (revision 2f448bf509432c1a19ec46ab8cbc7353c03c6280)
1; RUN: llc < %s
2
3target 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"
4target triple = "x86_64-apple-darwin11.0.0"
5
6%0 = type { i8, [3 x i8] }
7%struct.anon = type { float, x86_fp80 }
8
9define i32 @main() nounwind ssp {
10entry:
11  %retval = alloca i32, align 4
12  %F = alloca %struct.anon, align 16
13  %K = alloca %0, align 4
14  store i32 0, ptr %retval
15  %0 = load i32, ptr %K, align 4
16  %1 = and i32 %0, -121
17  %2 = or i32 %1, 32
18  store i32 %2, ptr %K, align 4
19  %3 = load i32, ptr %K, align 4
20  %4 = lshr i32 %3, 3
21  %bf.clear = and i32 %4, 15
22  %conv = sitofp i32 %bf.clear to float
23  %tmp = load float, ptr %F, align 4
24  %sub = fsub float %tmp, %conv
25  store float %sub, ptr %F, align 4
26  %ld = getelementptr inbounds %struct.anon, ptr %F, i32 0, i32 1
27  %tmp1 = load x86_fp80, ptr %ld, align 16
28  %5 = load i32, ptr %K, align 4
29  %6 = lshr i32 %5, 7
30  %bf.clear2 = and i32 %6, 1
31  %conv3 = uitofp i32 %bf.clear2 to x86_fp80
32  %sub4 = fsub x86_fp80 %conv3, %tmp1
33  %conv5 = fptoui x86_fp80 %sub4 to i32
34  %bf.value = and i32 %conv5, 1
35  %7 = and i32 %bf.value, 1
36  %8 = shl i32 %7, 7
37  %9 = load i32, ptr %K, align 4
38  %10 = and i32 %9, -129
39  %11 = or i32 %10, %8
40  store i32 %11, ptr %K, align 4
41  %call = call i32 (...) @iequals(i32 1841, i32 %bf.value, i32 0)
42  %12 = load i32, ptr %retval
43  ret i32 %12
44}
45
46declare i32 @iequals(...)
47