1
0
mirror of https://github.com/RPCS3/llvm-mirror.git synced 2024-10-30 15:32:52 +01:00
llvm-mirror/test/Regression/CodeGen/Generic/2003-05-30-BadFoldGEP.ll
2004-11-07 00:24:14 +00:00

51 lines
2.0 KiB
LLVM

; RUN: llvm-as -f %s -o - | llc
;; Date: May 28, 2003.
;; From: test/Programs/External/SPEC/CINT2000/254.gap.llvm.bc
;; Function: int %OpenOutput(sbyte* %filename.1)
;;
;; Error: A sequence of GEPs is folded incorrectly by llc during selection
;; causing an assertion about a dynamic casting error.
;; This code sequence was produced (correctly) by preselection
;; from a nested pair of ConstantExpr getelementptrs.
;; The code below is the output of preselection.
;; The original ConstantExprs are included in a comment.
;;
;; Cause: FoldGetElemChain() was inserting an extra leading 0 even though
;; the first instruction in the sequence contributes no indices.
;; The next instruction contributes a leading non-zero so another
;; zero should not be added before it!
;;
%FileType = type { int, [256 x sbyte], int, int, int, int }
%OutputFiles = uninitialized global [16 x %FileType]
%Output = internal global %FileType* null
implementation; Functions:
internal int %OpenOutput(sbyte* %filename.1) {
entry:
%tmp.0 = load %FileType** %Output
%tmp.4 = getelementptr %FileType* %tmp.0, long 1
;;------ Original instruction in 254.gap.llvm.bc:
;; %tmp.10 = seteq { int, [256 x sbyte], int, int, int, int }* %tmp.4, getelementptr ([16 x { int, [256 x sbyte], int, int, int, int }]* getelementptr ([16 x { int, [256 x sbyte], int, int, int, int }]* %OutputFiles, long 1), long 0, long 0)
;;------ Code sequence produced by preselection phase for above instr:
;; This code sequence is folded incorrectly by llc during selection
;; causing an assertion about a dynamic casting error.
%addrOfGlobal = getelementptr [16 x %FileType]* %OutputFiles, long 0
%constantGEP = getelementptr [16 x %FileType]* %addrOfGlobal, long 1
%constantGEP = getelementptr [16 x %FileType]* %constantGEP, long 0, long 0
%tmp.10 = seteq %FileType* %tmp.4, %constantGEP
br bool %tmp.10, label %return, label %endif.0
endif.0:
ret int 0
return:
ret int 1
}