| Bill Schmidt | d006c69 | 2013-01-14 22:04:38 +0000 | [diff] [blame] | 1 | ; RUN: llc < %s |
| Mehdi Amini | d178f4f | 2015-09-16 05:34:32 +0000 | [diff] [blame] | 2 | ; REQUIRES: default_triple |
| Bill Schmidt | d006c69 | 2013-01-14 22:04:38 +0000 | [diff] [blame] | 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] |
| 17 | define void @test1847() nounwind { |
| 18 | entry: |
| 19 | %j = alloca i32, align 4 |
| David Blaikie | f72d05b | 2015-03-13 18:20:45 +0000 | [diff] [blame] | 20 | %0 = load i64, i64* getelementptr inbounds (%struct.Info, %struct.Info* @info, i32 0, i32 8), align 8 |
| David Blaikie | a79ac14 | 2015-02-27 21:17:42 +0000 | [diff] [blame] | 21 | %1 = load i32, i32* @fails, align 4 |
| David Blaikie | f72d05b | 2015-03-13 18:20:45 +0000 | [diff] [blame] | 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 |
| Bill Schmidt | d006c69 | 2013-01-14 22:04:38 +0000 | [diff] [blame] | 23 | %bf.clear2 = and i96 %bf.load1, 302231454903657293676543 |
| 24 | %bf.set3 = or i96 %bf.clear2, -38383394772764476296921088 |
| David Blaikie | f72d05b | 2015-03-13 18:20:45 +0000 | [diff] [blame] | 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 |
| David Blaikie | a79ac14 | 2015-02-27 21:17:42 +0000 | [diff] [blame] | 26 | %2 = load i32, i32* %j, align 4 |
| 27 | %3 = load i32, i32* %j, align 4 |
| Bill Schmidt | d006c69 | 2013-01-14 22:04:38 +0000 | [diff] [blame] | 28 | %inc11 = add nsw i32 %3, 1 |
| 29 | store i32 %inc11, i32* %j, align 4 |
| David Blaikie | f72d05b | 2015-03-13 18:20:45 +0000 | [diff] [blame] | 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 |
| Bill Schmidt | d006c69 | 2013-01-14 22:04:38 +0000 | [diff] [blame] | 31 | %bf.clear16 = and i96 %bf.load15, -18446744069414584321 |
| 32 | %bf.set17 = or i96 %bf.clear16, 18446743532543672320 |
| David Blaikie | f72d05b | 2015-03-13 18:20:45 +0000 | [diff] [blame] | 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 |
| Bill Schmidt | d006c69 | 2013-01-14 22:04:38 +0000 | [diff] [blame] | 34 | ret void |
| 35 | } |