[InstCombine] Signed saturation patterns
[llvm-core.git] / test / CodeGen / ARM / pr36577.ll
blob11805cb5d84eaa458de15ca79c5b3de8fd6e2749
1 ; RUN: llc -mtriple armv6t2 %s -o - | FileCheck %s
2 ; RUN: llc -mtriple thumbv6t2 %s -o - | FileCheck %s --check-prefix=CHECK-T2
3 ; RUN: llc -mtriple armv7 %s -o - | FileCheck %s
4 ; RUN: llc -mtriple thumbv7 %s -o - | FileCheck %s --check-prefix=CHECK-T2
5 ; RUN: llc -mtriple thumbv7m %s -o - | FileCheck %s --check-prefix=CHECK-T2
6 ; RUN: llc -mtriple thumbv8m.main %s -o - | FileCheck %s --check-prefix=CHECK-T2
8 @a = common dso_local local_unnamed_addr global i16 0, align 2
10 ; CHECK-LABEL: pr36577
11 ; CHECK: ldrh r0, [r0]
12 ; CHECK: mvn    r0, r0, lsr #7
13 ; CHECK: orr r0, r1, r0, lsl #2
14 ; CHECK-T2: ldrh r0, [r0]
15 ; CHECK-T2: mvn.w       r0, r0, lsr #7
16 ; CHECK-T2: orr.w       r0, r1, r0, lsl #2
17 define dso_local arm_aapcscc i32** @pr36577() {
18 entry:
19   %0 = load i16, i16* @a, align 2
20   %1 = lshr i16 %0, 7
21   %2 = and i16 %1, 1
22   %3 = zext i16 %2 to i32
23   %4 = xor i32 %3, -1
24   %add.ptr = getelementptr inbounds i32*, i32** null, i32 %4
25   ret i32** %add.ptr