69 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, ptr %y, i32 %n, i32 %m) {4; CHECK-LABEL: define internal i32 @foo(5; CHECK-SAME: ptr [[X:%.*]], ptr [[Y:%.*]], 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: [[VAL:%.*]] = load i32, ptr [[X]], align 411; CHECK-NEXT: br label %[[RETURN:.*]]12; CHECK: [[COND_FALSE]]:13; CHECK-NEXT: [[VAL2:%.*]] = load i32, ptr [[X]], align 414; CHECK-NEXT: [[VAL3:%.*]] = load i32, ptr [[Y]], align 415; CHECK-NEXT: [[SUBVAL:%.*]] = sub i32 [[N]], [[VAL3]]16; CHECK-NEXT: [[CALLRET:%.*]] = call i32 @foo(ptr [[X]], ptr [[Y]], i32 [[SUBVAL]], i32 [[VAL2]])17; CHECK-NEXT: [[SUBVAL2:%.*]] = sub i32 [[N]], 218; CHECK-NEXT: [[CALLRET2:%.*]] = call i32 @foo(ptr [[X]], ptr [[X]], i32 [[SUBVAL2]], i32 [[M]])19; CHECK-NEXT: [[CMP2:%.*]] = add i32 [[CALLRET]], [[CALLRET2]]20; CHECK-NEXT: br label %[[RETURN]]21; CHECK: [[COND_NEXT:.*]]:22; CHECK-NEXT: br label %[[RETURN]]23; CHECK: [[RETURN]]:24; CHECK-NEXT: [[RETVAL_0:%.*]] = phi i32 [ [[VAL]], %[[COND_TRUE]] ], [ [[CMP2]], %[[COND_FALSE]] ], [ poison, %[[COND_NEXT]] ]25; CHECK-NEXT: ret i32 [[RETVAL_0]]26;27entry:28 %cmp = icmp ne i32 %n, 029 br i1 %cmp, label %cond_true, label %cond_false30 31cond_true: ; preds = %entry32 %val = load i32, ptr %x, align 433 br label %return34 35cond_false: ; preds = %entry36 %val2 = load i32, ptr %x, align 437 %val3 = load i32, ptr %y, align 438 %subval = sub i32 %n, %val339 %callret = call i32 @foo(ptr %x, ptr %y, i32 %subval, i32 %val2)40 %subval2 = sub i32 %n, 241 %callret2 = call i32 @foo(ptr %x, ptr %x, i32 %subval2, i32 %m)42 %cmp2 = add i32 %callret, %callret243 br label %return44 45cond_next: ; No predecessors!46 br label %return47 48return: ; preds = %cond_next, %cond_false, %cond_true49 %retval.0 = phi i32 [ %val, %cond_true ], [ %cmp2, %cond_false ], [ poison, %cond_next ]50 ret i32 %retval.051}52 53define i32 @bar(ptr align(4) dereferenceable(4) %x, ptr align(4) dereferenceable(4) %y, i32 %n, i32 %m) {54; CHECK-LABEL: define i32 @bar(55; CHECK-SAME: ptr align 4 dereferenceable(4) [[X:%.*]], ptr align 4 dereferenceable(4) [[Y:%.*]], i32 [[N:%.*]], i32 [[M:%.*]]) {56; CHECK-NEXT: [[ENTRY:.*:]]57; CHECK-NEXT: [[CALLRET3:%.*]] = call i32 @foo(ptr [[X]], ptr [[Y]], i32 [[N]], i32 [[M]])58; CHECK-NEXT: br label %[[RETURN:.*]]59; CHECK: [[RETURN]]:60; CHECK-NEXT: ret i32 [[CALLRET3]]61;62entry:63 %callret3 = call i32 @foo(ptr %x, ptr %y, i32 %n, i32 %m)64 br label %return65 66return: ; preds = %entry67 ret i32 %callret368}69