[InstCombine] Signed saturation patterns
[llvm-core.git] / test / CodeGen / AArch64 / pr40091.ll
blobb70ae8a39b7ea0220628edfe8cb667c2b51ec19b
1 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
2 ; RUN: llc < %s -mtriple=aarch64-arm-none-eabi | FileCheck %s
4 define i64 @test(i64 %aa) {
5 ; CHECK-LABEL: test:
6 ; CHECK:       // %bb.0: // %entry
7 ; CHECK-NEXT:    movi v0.8b, #137
8 ; CHECK-NEXT:    fmov x0, d0
9 ; CHECK-NEXT:    ret
10 entry:
11   %a = bitcast i64 %aa to  <1 x i64>
12   %k = icmp sgt <1 x i64> %a, zeroinitializer
13   %l = zext <1 x i1> %k to <1 x i64>
14   %o = and <1 x i64> %l, %a
15   %p = xor <1 x i64> %l, <i64 -1>
16   %q = and <1 x i64> %p, <i64 81985529216486895>
17   %r = or <1 x i64> %q, %o
18   %s = bitcast <1 x i64> %r to <8 x i8>
19   %t = shufflevector <8 x i8> %s, <8 x i8> %s, <8 x i32> <i32 3, i32 3, i32 3, i32 3, i32 3, i32 3, i32 3, i32 3>
20   %u = bitcast <8 x i8> %t to i64
21   ret i64 %u