test/Verifier/non-integer-gep-index.ll

   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.