llvm/test/Transforms/ArgumentPromotion/control-flow2.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --function-signature --scrub-attributes
   2 ; RUN: opt < %s -argpromotion -S | FileCheck %s
   3 ; RUN: opt < %s -passes=argpromotion -S | FileCheck %s
   4
   5 target datalayout = "E-p:64:64:64-a0:0:8-f32:32:32-f64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-v64:64:64-v128:128:128"
   6
   7 define internal i32 @callee(i1 %C, i32* %P) {
   8 ; CHECK-LABEL: define {{[^@]+}}@callee
   9 ; CHECK-SAME: (i1 [[C:%.*]], i32 [[P_VAL:%.*]])
  10 ; CHECK-NEXT:    br i1 [[C]], label [[T:%.*]], label [[F:%.*]]
  11 ; CHECK:       T:
  12 ; CHECK-NEXT:    ret i32 17
  13 ; CHECK:       F:
  14 ; CHECK-NEXT:    ret i32 [[P_VAL]]
  15 ;
  16   br i1 %C, label %T, label %F
  17
  18 T:              ; preds = %0
  19   ret i32 17
  20
  21 F:              ; preds = %0
  22   %X = load i32, i32* %P               ; <i32> [#uses=1]
  23   ret i32 %X
  24 }
  25
  26 define i32 @foo() {
  27 ; CHECK-LABEL: define {{[^@]+}}@foo()
  28 ; CHECK-NEXT:    [[A:%.*]] = alloca i32
  29 ; CHECK-NEXT:    store i32 17, i32* [[A]]
  30 ; CHECK-NEXT:    [[A_VAL:%.*]] = load i32, i32* [[A]]
  31 ; CHECK-NEXT:    [[X:%.*]] = call i32 @callee(i1 false, i32 [[A_VAL]])
  32 ; CHECK-NEXT:    ret i32 [[X]]
  33 ;
  34   %A = alloca i32         ; <i32*> [#uses=2]
  35   store i32 17, i32* %A
  36   %X = call i32 @callee( i1 false, i32* %A )              ; <i32> [#uses=1]
  37   ret i32 %X
  38 }
  39