95 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --include-generated-funcs2; RUN: opt -S -passes=verify,iroutliner -ir-outlining-no-cost < %s | FileCheck %s3 4; Show that we are able to propagate inputs to the region into the split PHINode5; outside of the region if necessary.6 7define void @function1(ptr %a, ptr %b) {8entry:9 %0 = alloca i32, align 410 %c = load i32, ptr %0, align 411 %z = add i32 %c, %c12 br i1 true, label %test1, label %first13test1:14 %e = load i32, ptr %0, align 415 %1 = add i32 %c, %c16 br i1 true, label %first, label %test17test:18 %d = load i32, ptr %0, align 419 br i1 true, label %first, label %next20first:21 %2 = phi i32 [ %d, %test ], [ %e, %test1 ], [ %c, %entry ]22 %3 = phi i32 [ %d, %test ], [ %e, %test1 ], [ %c, %entry ]23 ret void24next:25 ret void26}27 28define void @function2(ptr %a, ptr %b) {29entry:30 %0 = alloca i32, align 431 %c = load i32, ptr %0, align 432 %z = mul i32 %c, %c33 br i1 true, label %test1, label %first34test1:35 %e = load i32, ptr %0, align 436 %1 = add i32 %c, %c37 br i1 true, label %first, label %test38test:39 %d = load i32, ptr %0, align 440 br i1 true, label %first, label %next41first:42 %2 = phi i32 [ %d, %test ], [ %e, %test1 ], [ %c, %entry ]43 %3 = phi i32 [ %d, %test ], [ %e, %test1 ], [ %c, %entry ]44 ret void45next:46 ret void47}48; CHECK-LABEL: @function1(49; CHECK-NEXT: entry:50; CHECK-NEXT: [[TMP0:%.*]] = alloca i32, align 451; CHECK-NEXT: [[C:%.*]] = load i32, ptr [[TMP0]], align 452; CHECK-NEXT: [[Z:%.*]] = add i32 [[C]], [[C]]53; CHECK-NEXT: [[TARGETBLOCK:%.*]] = call i1 @outlined_ir_func_0(ptr [[TMP0]], i32 [[C]])54; CHECK-NEXT: br i1 [[TARGETBLOCK]], label [[NEXT:%.*]], label [[ENTRY_AFTER_OUTLINE:%.*]]55; CHECK: entry_after_outline:56; CHECK-NEXT: ret void57; CHECK: next:58; CHECK-NEXT: ret void59;60;61; CHECK-LABEL: @function2(62; CHECK-NEXT: entry:63; CHECK-NEXT: [[TMP0:%.*]] = alloca i32, align 464; CHECK-NEXT: [[C:%.*]] = load i32, ptr [[TMP0]], align 465; CHECK-NEXT: [[Z:%.*]] = mul i32 [[C]], [[C]]66; CHECK-NEXT: [[TARGETBLOCK:%.*]] = call i1 @outlined_ir_func_0(ptr [[TMP0]], i32 [[C]])67; CHECK-NEXT: br i1 [[TARGETBLOCK]], label [[NEXT:%.*]], label [[ENTRY_AFTER_OUTLINE:%.*]]68; CHECK: entry_after_outline:69; CHECK-NEXT: ret void70; CHECK: next:71; CHECK-NEXT: ret void72;73;74; CHECK: define internal i1 @outlined_ir_func_0(75; CHECK-NEXT: newFuncRoot:76; CHECK-NEXT: br label [[ENTRY_TO_OUTLINE:%.*]]77; CHECK: entry_to_outline:78; CHECK-NEXT: br i1 true, label [[TEST1:%.*]], label [[FIRST:%.*]]79; CHECK: test1:80; CHECK-NEXT: [[E:%.*]] = load i32, ptr [[TMP0:%.*]], align 481; CHECK-NEXT: [[TMP2:%.*]] = add i32 [[TMP1:%.*]], [[TMP1]]82; CHECK-NEXT: br i1 true, label [[FIRST]], label [[TEST:%.*]]83; CHECK: test:84; CHECK-NEXT: [[D:%.*]] = load i32, ptr [[TMP0]], align 485; CHECK-NEXT: br i1 true, label [[FIRST]], label [[NEXT_EXITSTUB:%.*]]86; CHECK: first:87; CHECK-NEXT: [[TMP3:%.*]] = phi i32 [ [[D]], [[TEST]] ], [ [[E]], [[TEST1]] ], [ [[TMP1]], [[ENTRY_TO_OUTLINE]] ]88; CHECK-NEXT: [[TMP4:%.*]] = phi i32 [ [[D]], [[TEST]] ], [ [[E]], [[TEST1]] ], [ [[TMP1]], [[ENTRY_TO_OUTLINE]] ]89; CHECK-NEXT: br label [[ENTRY_AFTER_OUTLINE_EXITSTUB:%.*]]90; CHECK: next.exitStub:91; CHECK-NEXT: ret i1 true92; CHECK: entry_after_outline.exitStub:93; CHECK-NEXT: ret i1 false94;95