135 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: [[GEPVAL:%.*]] = getelementptr ptr, ptr [[X]], i32 054; CHECK-NEXT: [[GEPVAL_VAL:%.*]] = load i32, ptr [[GEPVAL]], align 455; CHECK-NEXT: [[CALLRET3:%.*]] = call i32 @foo(i32 [[GEPVAL_VAL]], i32 [[N]], i32 [[M]])56; CHECK-NEXT: br label %[[RETURN:.*]]57; CHECK: [[RETURN]]:58; CHECK-NEXT: ret i32 [[CALLRET3]]59;60entry:61 %gepval = getelementptr ptr, ptr %x, i32 062 %callret3 = call i32 @foo(ptr %gepval, i32 %n, i32 %m)63 br label %return64 65return: ; preds = %entry66 ret i32 %callret367}68 69define internal i32 @foo2(ptr %x, i32 %n, i32 %m) {70; CHECK-LABEL: define internal i32 @foo2(71; CHECK-SAME: ptr [[X:%.*]], i32 [[N:%.*]], i32 [[M:%.*]]) {72; CHECK-NEXT: [[ENTRY:.*:]]73; CHECK-NEXT: [[CMP:%.*]] = icmp ne i32 [[N]], 074; CHECK-NEXT: br i1 [[CMP]], label %[[COND_TRUE:.*]], label %[[COND_FALSE:.*]]75; CHECK: [[COND_TRUE]]:76; CHECK-NEXT: [[VAL:%.*]] = load i32, ptr [[X]], align 477; CHECK-NEXT: br label %[[RETURN:.*]]78; CHECK: [[COND_FALSE]]:79; CHECK-NEXT: [[VAL2:%.*]] = load i32, ptr [[X]], align 480; CHECK-NEXT: [[SUBVAL:%.*]] = sub i32 [[N]], 181; CHECK-NEXT: [[CALLRET:%.*]] = call i32 @foo2(ptr [[X]], i32 [[SUBVAL]], i32 [[VAL2]])82; CHECK-NEXT: [[SUBVAL2:%.*]] = sub i32 [[N]], 283; CHECK-NEXT: [[CALLRET2:%.*]] = call i32 @foo2(ptr [[X]], i32 [[SUBVAL2]], i32 [[M]])84; CHECK-NEXT: [[CMP2:%.*]] = add i32 [[CALLRET]], [[CALLRET2]]85; CHECK-NEXT: br label %[[RETURN]]86; CHECK: [[COND_NEXT:.*]]:87; CHECK-NEXT: br label %[[RETURN]]88; CHECK: [[RETURN]]:89; CHECK-NEXT: [[RETVAL_0:%.*]] = phi i32 [ [[VAL]], %[[COND_TRUE]] ], [ [[CMP2]], %[[COND_FALSE]] ], [ poison, %[[COND_NEXT]] ]90; CHECK-NEXT: ret i32 [[RETVAL_0]]91;92entry:93 %cmp = icmp ne i32 %n, 094 br i1 %cmp, label %cond_true, label %cond_false95 96cond_true: ; preds = %entry97 %val = load i32, ptr %x, align 498 br label %return99 100cond_false: ; preds = %entry101 %val2 = load i32, ptr %x, align 4102 %subval = sub i32 %n, 1103 %callret = call i32 @foo2(ptr %x, i32 %subval, i32 %val2)104 %subval2 = sub i32 %n, 2105 %callret2 = call i32 @foo2(ptr %x, i32 %subval2, i32 %m)106 %cmp2 = add i32 %callret, %callret2107 br label %return108 109cond_next: ; No predecessors!110 br label %return111 112return: ; preds = %cond_next, %cond_false, %cond_true113 %retval.0 = phi i32 [ %val, %cond_true ], [ %cmp2, %cond_false ], [ poison, %cond_next ]114 ret i32 %retval.0115}116 117define i32 @bar2(ptr align(4) dereferenceable(4) %x, i32 %n, i32 %m) {118; CHECK-LABEL: define i32 @bar2(119; CHECK-SAME: ptr align 4 dereferenceable(4) [[X:%.*]], i32 [[N:%.*]], i32 [[M:%.*]]) {120; CHECK-NEXT: [[ENTRY:.*:]]121; CHECK-NEXT: [[GEPVAL:%.*]] = getelementptr ptr, ptr [[X]], i32 4122; CHECK-NEXT: [[CALLRET3:%.*]] = call i32 @foo2(ptr [[GEPVAL]], i32 [[N]], i32 [[M]])123; CHECK-NEXT: br label %[[RETURN:.*]]124; CHECK: [[RETURN]]:125; CHECK-NEXT: ret i32 [[CALLRET3]]126;127entry:128 %gepval = getelementptr ptr, ptr %x, i32 4129 %callret3 = call i32 @foo2(ptr %gepval, i32 %n, i32 %m)130 br label %return131 132return: ; preds = %entry133 ret i32 %callret3134}135