9 lines · plain
1; RUN: not opt -verify %s.bc -disable-output2 3; Test that verifier checks that gep indexes has correct type4; Specifically we want to check for the following pattern:5; %A1 = alloca i646; %G = getelementptr i64, i64* %A1, %A17; IR parser checks for this pattern independently from the verifier, so it's8; impossible to load from .ll file. Hence in this test we use bytecode input.9