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 -passes=argpromotion -S | FileCheck %s
   3
   4 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"
   5
   6 define internal i32 @callee(i1 %C, i32* %P) {
   7 ; CHECK-LABEL: define {{[^@]+}}@callee
   8 ; CHECK-SAME: (i1 [[C:%.*]], i32 [[P_VAL:%.*]])
   9 ; CHECK-NEXT:    br i1 [[C]], label [[T:%.*]], label [[F:%.*]]
  10 ; CHECK:       T:
  11 ; CHECK-NEXT:    ret i32 17
  12 ; CHECK:       F:
  13 ; CHECK-NEXT:    ret i32 [[P_VAL]]
  14 ;
  15   br i1 %C, label %T, label %F
  16
  17 T:              ; preds = %0
  18   ret i32 17
  19
  20 F:              ; preds = %0
  21   %X = load i32, i32* %P               ; <i32> [#uses=1]
  22   ret i32 %X
  23 }
  24
  25 define i32 @foo() {
  26 ; CHECK-LABEL: define {{[^@]+}}@foo()
  27 ; CHECK-NEXT:    [[A:%.*]] = alloca i32
  28 ; CHECK-NEXT:    store i32 17, i32* [[A]]
  29 ; CHECK-NEXT:    [[A_VAL:%.*]] = load i32, i32* [[A]]
  30 ; CHECK-NEXT:    [[X:%.*]] = call i32 @callee(i1 false, i32 [[A_VAL]])
  31 ; CHECK-NEXT:    ret i32 [[X]]
  32 ;
  33   %A = alloca i32         ; <i32*> [#uses=2]
  34   store i32 17, i32* %A
  35   %X = call i32 @callee( i1 false, i32* %A )              ; <i32> [#uses=1]
  36   ret i32 %X
  37 }
  38