52 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt -S -passes=verify,iroutliner -no-ir-sim-branch-matching -ir-outlining-no-cost < %s | FileCheck %s3 4; Show that we do not extract sections with branches as it would require extra5; label and control flow checking.6 7define void @function1() {8; CHECK-LABEL: @function1(9; CHECK-NEXT: entry:10; CHECK-NEXT: [[A:%.*]] = alloca i32, align 411; CHECK-NEXT: [[B:%.*]] = alloca i32, align 412; CHECK-NEXT: [[C:%.*]] = alloca i32, align 413; CHECK-NEXT: call void @outlined_ir_func_0(ptr [[A]], ptr [[B]], ptr [[C]])14; CHECK-NEXT: br label [[NEXT:%.*]]15; CHECK: next:16; CHECK-NEXT: ret void17;18entry:19 %a = alloca i32, align 420 %b = alloca i32, align 421 %c = alloca i32, align 422 store i32 2, ptr %a, align 423 store i32 3, ptr %b, align 424 store i32 4, ptr %c, align 425 br label %next26next:27 ret void28}29 30define void @function2() {31; CHECK-LABEL: @function2(32; CHECK-NEXT: entry:33; CHECK-NEXT: [[A:%.*]] = alloca i32, align 434; CHECK-NEXT: [[B:%.*]] = alloca i32, align 435; CHECK-NEXT: [[C:%.*]] = alloca i32, align 436; CHECK-NEXT: call void @outlined_ir_func_0(ptr [[A]], ptr [[B]], ptr [[C]])37; CHECK-NEXT: br label [[NEXT:%.*]]38; CHECK: next:39; CHECK-NEXT: ret void40;41entry:42 %a = alloca i32, align 443 %b = alloca i32, align 444 %c = alloca i32, align 445 store i32 2, ptr %a, align 446 store i32 3, ptr %b, align 447 store i32 4, ptr %c, align 448 br label %next49next:50 ret void51}52