66 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 52; RUN: opt -S -passes=argpromotion < %s | FileCheck %s3define internal i32 @foo(ptr %x, i32 %n, i32 %m) {4; CHECK-LABEL: define internal i32 @foo(5; CHECK-SAME: i32 [[X_0_VAL:%.*]], i32 [[N:%.*]], i32 [[M:%.*]]) {6; CHECK-NEXT: [[ENTRY:.*:]]7; CHECK-NEXT: [[CMP:%.*]] = icmp ne i32 [[N]], 08; CHECK-NEXT: br i1 [[CMP]], label %[[COND_TRUE:.*]], label %[[COND_FALSE:.*]]9; CHECK: [[COND_TRUE]]:10; CHECK-NEXT: br label %[[RETURN:.*]]11; CHECK: [[COND_FALSE]]:12; CHECK-NEXT: [[SUBVAL:%.*]] = sub i32 [[N]], 113; CHECK-NEXT: [[CALLRET:%.*]] = call i32 @foo(i32 [[X_0_VAL]], i32 [[SUBVAL]], i32 [[X_0_VAL]])14; CHECK-NEXT: [[SUBVAL2:%.*]] = sub i32 [[N]], 215; CHECK-NEXT: [[CALLRET2:%.*]] = call i32 @foo(i32 [[X_0_VAL]], i32 [[SUBVAL2]], i32 [[M]])16; CHECK-NEXT: [[CMP2:%.*]] = add i32 [[CALLRET]], [[CALLRET2]]17; CHECK-NEXT: br label %[[RETURN]]18; CHECK: [[COND_NEXT:.*]]:19; CHECK-NEXT: br label %[[RETURN]]20; CHECK: [[RETURN]]:21; CHECK-NEXT: [[RETVAL_0:%.*]] = phi i32 [ [[X_0_VAL]], %[[COND_TRUE]] ], [ [[CMP2]], %[[COND_FALSE]] ], [ poison, %[[COND_NEXT]] ]22; CHECK-NEXT: ret i32 [[RETVAL_0]]23;24entry:25 %cmp = icmp ne i32 %n, 026 br i1 %cmp, label %cond_true, label %cond_false27 28cond_true: ; preds = %entry29 %val = load i32, ptr %x, align 430 br label %return31 32cond_false: ; preds = %entry33 %val2 = load i32, ptr %x, align 434 %subval = sub i32 %n, 135 %callret = call i32 @foo(ptr %x, i32 %subval, i32 %val2)36 %subval2 = sub i32 %n, 237 %callret2 = call i32 @foo(ptr %x, i32 %subval2, i32 %m)38 %cmp2 = add i32 %callret, %callret239 br label %return40 41cond_next: ; No predecessors!42 br label %return43 44return: ; preds = %cond_next, %cond_false, %cond_true45 %retval.0 = phi i32 [ %val, %cond_true ], [ %cmp2, %cond_false ], [ poison, %cond_next ]46 ret i32 %retval.047}48 49define i32 @bar(ptr align(4) dereferenceable(4) %x, i32 %n, i32 %m) {50; CHECK-LABEL: define i32 @bar(51; CHECK-SAME: ptr align 4 dereferenceable(4) [[X:%.*]], i32 [[N:%.*]], i32 [[M:%.*]]) {52; CHECK-NEXT: [[ENTRY:.*:]]53; CHECK-NEXT: [[X_VAL:%.*]] = load i32, ptr [[X]], align 454; CHECK-NEXT: [[CALLRET3:%.*]] = call i32 @foo(i32 [[X_VAL]], i32 [[N]], i32 [[M]])55; CHECK-NEXT: br label %[[RETURN:.*]]56; CHECK: [[RETURN]]:57; CHECK-NEXT: ret i32 [[CALLRET3]]58;59entry:60 %callret3 = call i32 @foo(ptr %x, i32 %n, i32 %m)61 br label %return62 63return: ; preds = %entry64 ret i32 %callret365}66