test/CodeGen/Generic/2003-05-30-BadFoldGEP.ll

   1 ; RUN: llc < %s
   2
   3 ;; Date:     May 28, 2003.
   4 ;; From:     test/Programs/External/SPEC/CINT2000/254.gap.llvm.bc
   5 ;; Function: int %OpenOutput(sbyte* %filename.1)
   6 ;;
   7 ;; Error:    A sequence of GEPs is folded incorrectly by llc during selection
   8 ;;           causing an assertion about a dynamic casting error.
   9 ;;           This code sequence was produced (correctly) by preselection
  10 ;;           from a nested pair of ConstantExpr getelementptrs.
  11 ;;           The code below is the output of preselection.
  12 ;;           The original ConstantExprs are included in a comment.
  13 ;;
  14 ;; Cause:    FoldGetElemChain() was inserting an extra leading 0 even though
  15 ;;           the first instruction in the sequence contributes no indices.
  16 ;;           The next instruction contributes a leading non-zero so another
  17 ;;           zero should not be added before it!
  18 ;;
  19         %FileType = type { i32, [256 x i8], i32, i32, i32, i32 }
  20 @OutputFiles = external global [16 x %FileType]         ; <[16 x %FileType]*> [#uses=1]
  21 @Output = internal global %FileType* null               ; <%FileType**> [#uses=1]
  22
  23 define internal i32 @OpenOutput(i8* %filename.1) {
  24 entry:
  25         %tmp.0 = load %FileType*, %FileType** @Output               ; <%FileType*> [#uses=1]
  26         %tmp.4 = getelementptr %FileType, %FileType* %tmp.0, i64 1         ; <%FileType*> [#uses=1]
  27         %addrOfGlobal = getelementptr [16 x %FileType], [16 x %FileType]* @OutputFiles, i64 0             ; <[16 x %FileType]*> [#uses=1]
  28         %constantGEP = getelementptr [16 x %FileType], [16 x %FileType]* %addrOfGlobal, i64 1             ; <[16 x %FileType]*> [#uses=1]
  29         %constantGEP.upgrd.1 = getelementptr [16 x %FileType], [16 x %FileType]* %constantGEP, i64 0, i64 0               ; <%FileType*> [#uses=1]
  30         %tmp.10 = icmp eq %FileType* %tmp.4, %constantGEP.upgrd.1               ; <i1> [#uses=1]
  31         br i1 %tmp.10, label %return, label %endif.0
  32
  33 endif.0:                ; preds = %entry
  34         ret i32 0
  35
  36 return:         ; preds = %entry
  37         ret i32 1
  38 }
  39