llvm/test/CodeGen/Generic/badFoldGEP.ll

   1 ; RUN: llc < %s
   2
   3 ;; GetMemInstArgs() folded the two getElementPtr instructions together,
   4 ;; producing an illegal getElementPtr.  That's because the type generated
   5 ;; by the last index for the first one is a structure field, not an array
   6 ;; element, and the second one indexes off that structure field.
   7 ;; The code is legal but not type-safe and the two GEPs should not be folded.
   8 ;;
   9 ;; This code fragment is from Spec/CINT2000/197.parser/197.parser.bc,
  10 ;; file post_process.c, function build_domain().
  11 ;; (Modified to replace store with load and return load value.)
  12 ;;
  13         %Domain = type { ptr, i32, ptr, i32, i32, ptr, ptr }
  14 @domain_array = external global [497 x %Domain]         ; <ptr> [#uses=2]
  15
  16 declare void @opaque(ptr)
  17
  18 define i32 @main(i32 %argc, ptr %argv) {
  19 bb0:
  20         call void @opaque( ptr @domain_array )
  21         %cann-indvar-idxcast = sext i32 %argc to i64            ; <i64> [#uses=1]
  22         %reg841 = getelementptr [497 x %Domain], ptr @domain_array, i64 0, i64 %cann-indvar-idxcast, i32 3          ; <ptr> [#uses=1]
  23         %reg846 = getelementptr i32, ptr %reg841, i64 1             ; <ptr> [#uses=1]
  24         %reg820 = load i32, ptr %reg846             ; <i32> [#uses=1]
  25         ret i32 %reg820
  26 }
  27