• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1; RUN: llc -verify-machineinstrs < %s
2; REQUIRES: default_triple
3
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.
10
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]
17define void @test1847() nounwind {
18entry:
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
35}
36