39 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --function-signature --scrub-attributes2; RUN: opt < %s -passes=argpromotion -S | FileCheck %s3 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 {{[^@]+}}@callee8; 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 1712; CHECK: F:13; CHECK-NEXT: ret i32 [[P_0_VAL]]14;15 br i1 %C, label %T, label %F16 17T: ; preds = %018 ret i32 1719 20F: ; preds = %021 %X = load i32, ptr %P ; <i32> [#uses=1]22 ret i32 %X23}24 25define i32 @foo() {26; CHECK-LABEL: define {{[^@]+}}@foo() {27; CHECK-NEXT: [[A:%.*]] = alloca i32, align 428; CHECK-NEXT: store i32 17, ptr [[A]], align 429; CHECK-NEXT: [[A_VAL:%.*]] = load i32, ptr [[A]], align 430; 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 %A35 %X = call i32 @callee( i1 false, ptr %A ) ; <i32> [#uses=1]36 ret i32 %X37}38 39