[InstCombine] Signed saturation patterns
[llvm-core.git] / test / CodeGen / PowerPC / load-shift-combine.ll
blob4cf525f610000db9aaa5f212143998d7635248b7
1 ; RUN: llc -verify-machineinstrs < %s
2 ; REQUIRES: default_triple
4 ; This used to cause a crash.  A standard load is converted to a pre-increment
5 ; load.  Later the pre-increment load is combined with a subsequent SRL to
6 ; produce a smaller load.  This transform invalidly created a standard load
7 ; and propagated the produced value into uses of both produced values of the
8 ; pre-increment load.  The result was a crash when attempting to process an
9 ; add with a token-chain operand.
11 %struct.Info = type { i32, i32, i8*, i8*, i8*, [32 x i8*], i64, [32 x i64], i64, i64, i64, [32 x i64] }
12 %struct.S1847 = type { [12 x i8], [4 x i8], [8 x i8], [4 x i8], [8 x i8], [2 x i8], i8, [4 x i64], i8, [3 x i8], [4 x i8], i8, i16, [4 x %struct.anon.76], i16, i8, i8* }
13 %struct.anon.76 = type { i32 }
14 @info = common global %struct.Info zeroinitializer, align 8
15 @fails = common global i32 0, align 4
16 @a1847 = external global [5 x %struct.S1847]
17 define void @test1847() nounwind {
18 entry:
19   %j = alloca i32, align 4
20   %0 = load i64, i64* getelementptr inbounds (%struct.Info, %struct.Info* @info, i32 0, i32 8), align 8
21   %1 = load i32, i32* @fails, align 4
22   %bf.load1 = load i96, i96* bitcast (%struct.S1847* getelementptr inbounds ([5 x %struct.S1847], [5 x %struct.S1847]* @a1847, i32 0, i64 2) to i96*), align 8
23   %bf.clear2 = and i96 %bf.load1, 302231454903657293676543
24   %bf.set3 = or i96 %bf.clear2, -38383394772764476296921088
25   store i96 %bf.set3, i96* bitcast (%struct.S1847* getelementptr inbounds ([5 x %struct.S1847], [5 x %struct.S1847]* @a1847, i32 0, i64 2) to i96*), align 8
26   %2 = load i32, i32* %j, align 4
27   %3 = load i32, i32* %j, align 4
28   %inc11 = add nsw i32 %3, 1
29   store i32 %inc11, i32* %j, align 4
30   %bf.load15 = load i96, i96* bitcast (%struct.S1847* getelementptr inbounds ([5 x %struct.S1847], [5 x %struct.S1847]* @a1847, i32 0, i64 2) to i96*), align 8
31   %bf.clear16 = and i96 %bf.load15, -18446744069414584321
32   %bf.set17 = or i96 %bf.clear16, 18446743532543672320
33   store i96 %bf.set17, i96* bitcast (%struct.S1847* getelementptr inbounds ([5 x %struct.S1847], [5 x %struct.S1847]* @a1847, i32 0, i64 2) to i96*), align 8
34   ret void