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