[InstCombine] Signed saturation patterns
[llvm-complete.git] / test / CodeGen / AArch64 / arm64-dagcombiner-convergence.ll
bloba45e31320de89d429640018f81c8ad2c9052958f
1 ; RUN: llc < %s -o /dev/null
2 ; rdar://10795250
3 ; DAGCombiner should converge.
5 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-n32:64"
6 target triple = "arm64-apple-macosx10.8.0"
8 define i64 @foo(i128 %Params.coerce, i128 %SelLocs.coerce) {
9 entry:
10   %tmp = lshr i128 %Params.coerce, 61
11   %.tr38.i = trunc i128 %tmp to i64
12   %mul.i = and i64 %.tr38.i, 4294967288
13   %tmp1 = lshr i128 %SelLocs.coerce, 62
14   %.tr.i = trunc i128 %tmp1 to i64
15   %mul7.i = and i64 %.tr.i, 4294967292
16   %add.i = add i64 %mul7.i, %mul.i
17   %conv.i.i = and i64 %add.i, 4294967292
18   ret i64 %conv.i.i