[InstCombine] Signed saturation patterns
[llvm-complete.git] / test / CodeGen / PowerPC / PR33671.ll
bloba613387f3c93b2df5011d9e819bf51f09b63c28d
1 ; Function Attrs: norecurse nounwind
2 ; RUN: llc -mtriple=powerpc64le-unknown-unknown -mcpu=pwr9 < %s | FileCheck %s
3 define void @test1(i32* nocapture readonly %arr, i32* nocapture %arrTo) {
4 entry:
5   %arrayidx = getelementptr inbounds i32, i32* %arrTo, i64 4
6   %0 = bitcast i32* %arrayidx to <4 x i32>*
7   %arrayidx1 = getelementptr inbounds i32, i32* %arr, i64 4
8   %1 = bitcast i32* %arrayidx1 to <4 x i32>*
9   %2 = load <4 x i32>, <4 x i32>* %1, align 16
10   store <4 x i32> %2, <4 x i32>* %0, align 16
11   ret void
12 ; CHECK-LABEL: test1
13 ; CHECK: lxv [[LD:[0-9]+]], 16(3)
14 ; CHECK: stxv [[LD]], 16(4)
17 ; Function Attrs: norecurse nounwind
18 define void @test2(i32* nocapture readonly %arr, i32* nocapture %arrTo) {
19 entry:
20   %arrayidx = getelementptr inbounds i32, i32* %arrTo, i64 1
21   %0 = bitcast i32* %arrayidx to <4 x i32>*
22   %arrayidx1 = getelementptr inbounds i32, i32* %arr, i64 2
23   %1 = bitcast i32* %arrayidx1 to <4 x i32>*
24   %2 = load <4 x i32>, <4 x i32>* %1, align 16
25   store <4 x i32> %2, <4 x i32>* %0, align 16
26   ret void
27 ; CHECK-LABEL: test2
28 ; CHECK: addi 3, 3, 8
29 ; CHECK: lxvx [[LD:[0-9]+]], 0, 3
30 ; CHECK: addi [[REG:[0-9]+]], 4, 4
31 ; CHECK: stxvx [[LD]], 0, [[REG]]