test/Transforms/ArgumentPromotion/2008-07-02-array-indexing.ll

   1 ; RUN: opt < %s -argpromotion -S | FileCheck %s
   2 ; PR2498
   3
   4 ; This test tries to convince argpromotion about promoting the load from %A + 2,
   5 ; because there is a load of %A in the entry block
   6 define internal i32 @callee(i1 %C, i32* %A) {
   7 ; CHECK-LABEL: define internal i32 @callee(
   8 ; CHECK: i1 %C, i32* %A)
   9 entry:
  10   ; Unconditonally load the element at %A
  11   %A.0 = load i32, i32* %A
  12   br i1 %C, label %T, label %F
  13
  14 T:
  15   ret i32 %A.0
  16
  17 F:
  18   ; Load the element at offset two from %A. This should not be promoted!
  19   %A.2 = getelementptr i32, i32* %A, i32 2
  20   %R = load i32, i32* %A.2
  21   ret i32 %R
  22 }
  23
  24 define i32 @foo() {
  25 ; CHECK-LABEL: define i32 @foo
  26         %X = call i32 @callee(i1 false, i32* null)             ; <i32> [#uses=1]
  27 ; CHECK: call i32 @callee(i1 false, i32* null)
  28         ret i32 %X
  29 }
  30