[InstCombine] Signed saturation patterns
[llvm-core.git] / test / ExecutionEngine / MCJIT / non-extern-addend.ll
blob72e67ae93fe3be2310b2771b63c3ec17595ea56e
1 ; RUN: %lli %s > /dev/null
3 define i32 @foo(i32 %x, i32 %y, double %d) {
4 entry:
5   %d.int64 = bitcast double %d to i64
6   %d.top64 = lshr i64 %d.int64, 32
7   %d.top   = trunc i64 %d.top64 to i32
8   %d.bottom = trunc i64 %d.int64 to i32
9   %topCorrect = icmp eq i32 %d.top, 3735928559
10   %bottomCorrect = icmp eq i32 %d.bottom, 4277009102
11   %right = and i1 %topCorrect, %bottomCorrect
12   %nRight = xor i1 %right, true
13   %retVal = zext i1 %nRight to i32
14   ret i32 %retVal
17 define i32 @main() {
18 entry:
19   %call = call i32 @foo(i32 0, i32 1, double 0xDEADBEEFFEEDFACE)
20   ret i32 %call