| Igor Laevsky | 367e62b | 2017-12-14 09:33:58 +0000 | [diff] [blame] | 1 | ; RUN: not opt -verify %s.bc -disable-output |
| 2 | |||||
| 3 | ; Test that verifier checks that gep indexes has correct type | ||||
| 4 | ; Specifically we want to check for the following pattern: | ||||
| 5 | ; %A1 = alloca i64 | ||||
| 6 | ; %G = getelementptr i64, i64* %A1, %A1 | ||||
| 7 | ; IR parser checks for this pattern independently from the verifier, so it's | ||||
| 8 | ; impossible to load from .ll file. Hence in this test we use bytecode input. | ||||