llvm/test/CodeGen/X86/fast-isel-gep.ll

   1 ; RUN: llc < %s -mtriple=x86_64-linux -O0 | FileCheck %s --check-prefix=X64
   2 ; RUN: llc < %s -mtriple=x86_64-windows-itanium -O0 | FileCheck %s --check-prefix=X64
   3 ; RUN: llc < %s -mtriple=i686-- -O0 | FileCheck %s --check-prefix=X32
   4
   5 ; GEP indices are interpreted as signed integers, so they
   6 ; should be sign-extended to 64 bits on 64-bit targets.
   7 ; PR3181
   8 define i32 @test1(i32 %t3, ptr %t1) nounwind {
   9        %t9 = getelementptr i32, ptr %t1, i32 %t3           ; <ptr> [#uses=1]
  10        %t15 = load i32, ptr %t9            ; <i32> [#uses=1]
  11        ret i32 %t15
  12 ; X32-LABEL: test1:
  13 ; X32:          movl    (%eax,%ecx,4), %eax
  14 ; X32:          ret
  15
  16 ; X64-LABEL: test1:
  17 ; X64:          movslq  %e[[A0:di|cx]], %rax
  18 ; X64:          movl    (%r[[A1:si|dx]],%rax,4), %eax
  19 ; X64:          ret
  20
  21 }
  22 define i32 @test2(i64 %t3, ptr %t1) nounwind {
  23        %t9 = getelementptr i32, ptr %t1, i64 %t3           ; <ptr> [#uses=1]
  24        %t15 = load i32, ptr %t9            ; <i32> [#uses=1]
  25        ret i32 %t15
  26 ; X32-LABEL: test2:
  27 ; X32:          movl    ({{%e[a-z]+}},{{%e[a-z]+}},4), %e
  28 ; X32:          ret
  29
  30 ; X64-LABEL: test2:
  31 ; X64:          movl    (%r[[A1]],%r[[A0]],4), %eax
  32 ; X64:          ret
  33 }
  34
  35
  36
  37 ; PR4984
  38 define i8 @test3(ptr %start) nounwind {
  39 entry:
  40   %A = getelementptr i8, ptr %start, i64 -2               ; <ptr> [#uses=1]
  41   %B = load i8, ptr %A, align 1                       ; <i8> [#uses=1]
  42   ret i8 %B
  43
  44
  45 ; X32-LABEL: test3:
  46 ; X32:          movl    4(%esp), %eax
  47 ; X32:          movb    -2(%eax), %al
  48 ; X32:          ret
  49
  50 ; X64-LABEL: test3:
  51 ; X64:          movb    -2(%r[[A0]]), %al
  52 ; X64:          ret
  53
  54 }
  55
  56 define double @test4(i64 %x, ptr %p) nounwind {
  57 entry:
  58   %x.addr = alloca i64, align 8                   ; <ptr> [#uses=2]
  59   %p.addr = alloca ptr, align 8               ; <ptr> [#uses=2]
  60   store i64 %x, ptr %x.addr
  61   store ptr %p, ptr %p.addr
  62   %tmp = load i64, ptr %x.addr                        ; <i64> [#uses=1]
  63   %add = add nsw i64 %tmp, 16                     ; <i64> [#uses=1]
  64   %tmp1 = load ptr, ptr %p.addr                   ; <ptr> [#uses=1]
  65   %arrayidx = getelementptr inbounds double, ptr %tmp1, i64 %add ; <ptr> [#uses=1]
  66   %tmp2 = load double, ptr %arrayidx                  ; <double> [#uses=1]
  67   ret double %tmp2
  68
  69 ; X32-LABEL: test4:
  70 ; X32: 128(%e{{.*}},%e{{.*}},8)
  71 ; X64-LABEL: test4:
  72 ; X64: 128(%r{{.*}},%r{{.*}},8)
  73 }
  74
  75 ; PR8961 - Make sure the sext for the GEP addressing comes before the load that
  76 ; is folded.
  77 define i64 @test5(ptr %A, i32 %I, i64 %B) nounwind {
  78   %v8 = getelementptr i8, ptr %A, i32 %I
  79   %v10 = load i64, ptr %v8
  80   %v11 = add i64 %B, %v10
  81   ret i64 %v11
  82 ; X64-LABEL: test5:
  83 ; X64: movslq   %e[[A1]], [[R0:%r[a-z]+]]
  84 ; X64-NEXT: (%r[[A0]],[[R0]]),
  85 ; X64: ret
  86 }
  87
  88 ; PR9500, rdar://9156159 - Don't do non-local address mode folding,
  89 ; because it may require values which wouldn't otherwise be live out
  90 ; of their blocks.
  91 define void @test6() personality ptr @__gxx_personality_v0 {
  92 if.end:                                           ; preds = %if.then, %invoke.cont
  93   %tmp15 = load i64, ptr undef
  94   %dec = add i64 %tmp15, 13
  95   store i64 %dec, ptr undef
  96   %call17 = invoke ptr @_ZNK18G__FastAllocString4dataEv()
  97           to label %invoke.cont16 unwind label %lpad
  98
  99 invoke.cont16:                                    ; preds = %if.then14
 100   %arrayidx18 = getelementptr inbounds i8, ptr %call17, i64 %dec
 101   store i8 0, ptr %arrayidx18
 102   unreachable
 103
 104 lpad:                                             ; preds = %if.end19, %if.then14, %if.end, %entry
 105   %exn = landingpad {ptr, i32}
 106             cleanup
 107   unreachable
 108 }
 109 declare ptr @_ZNK18G__FastAllocString4dataEv() nounwind
 110
 111
 112 ; PR10605 / rdar://9930964 - Don't fold loads incorrectly.  The load should
 113 ; happen before the store.
 114 define i32 @test7(ptr %tmp1, i32 %tmp71, i32 %tmp63) nounwind  {
 115 ; X64-LABEL: test7:
 116 ; X64:    movl  8({{%rdi|%rcx}}), %eax
 117 ; X64:     movl $4, 8({{%rdi|%rcx}})
 118
 119
 120   %tmp29 = getelementptr inbounds {i32,i32,i32}, ptr %tmp1, i32 0, i32 2
 121   %tmp30 = load i32, ptr %tmp29, align 4
 122
 123   %p2 = getelementptr inbounds {i32,i32,i32}, ptr %tmp1, i32 0, i32 2
 124   store i32 4, ptr %p2
 125
 126   %tmp72 = or i32 %tmp71, %tmp30
 127   %tmp73 = icmp ne i32 %tmp63, 32
 128   br i1 %tmp73, label %T, label %F
 129
 130 T:
 131   ret i32 %tmp72
 132
 133 F:
 134   ret i32 4
 135 }
 136
 137 declare i32 @__gxx_personality_v0(...)