mirror of
https://github.com/RPCS3/llvm.git
synced 2026-08-27 02:51:23 -04:00
Igor Laevsky
367e62b539
Differential Revision: https://reviews.llvm.org/D40391 git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@320680 91177308-0d34-0410-b5e6-96231b3b80d8
9 lines
385 B
LLVM
9 lines
385 B
LLVM
; RUN: not opt -verify %s.bc -disable-output
|
|
|
|
; Test that verifier checks that gep indexes has correct type
|
|
; Specifically we want to check for the following pattern:
|
|
; %A1 = alloca i64
|
|
; %G = getelementptr i64, i64* %A1, %A1
|
|
; IR parser checks for this pattern independently from the verifier, so it's
|
|
; impossible to load from .ll file. Hence in this test we use bytecode input.
|