1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py 2; RUN: opt -S -passes=verify,iroutliner -no-ir-sim-branch-matching -ir-outlining-no-cost < %s | FileCheck %s 3 4; This test checks that landingpad instructions are not outlined even if they 5; in a similar section. Dealing with exception handling inside of an outlined 6; function would require a lot of handling that is not implemented yet. 7 8declare void @llvm.donothing() nounwind readnone 9 10define void @function1() personality i8 3 { 11; CHECK-LABEL: @function1( 12; CHECK-NEXT: entry: 13; CHECK-NEXT: [[A:%.*]] = alloca i32, align 4 14; CHECK-NEXT: [[B:%.*]] = alloca i32, align 4 15; CHECK-NEXT: invoke void @llvm.donothing() 16; CHECK-NEXT: to label [[NORMAL:%.*]] unwind label [[EXCEPTION:%.*]] 17; CHECK: exception: 18; CHECK-NEXT: [[CLEANUP:%.*]] = landingpad i8 19; CHECK-NEXT: cleanup 20; CHECK-NEXT: call void @outlined_ir_func_0(ptr [[A]], ptr [[B]]) 21; CHECK-NEXT: br label [[NORMAL]] 22; CHECK: normal: 23; CHECK-NEXT: ret void 24; 25entry: 26 %a = alloca i32, align 4 27 %b = alloca i32, align 4 28 invoke void @llvm.donothing() to label %normal unwind label %exception 29exception: 30 %cleanup = landingpad i8 cleanup 31 store i32 2, ptr %a, align 4 32 store i32 3, ptr %b, align 4 33 br label %normal 34normal: 35 ret void 36} 37 38define void @function2() personality i8 3 { 39; CHECK-LABEL: @function2( 40; CHECK-NEXT: entry: 41; CHECK-NEXT: [[A:%.*]] = alloca i32, align 4 42; CHECK-NEXT: [[B:%.*]] = alloca i32, align 4 43; CHECK-NEXT: invoke void @llvm.donothing() 44; CHECK-NEXT: to label [[NORMAL:%.*]] unwind label [[EXCEPTION:%.*]] 45; CHECK: exception: 46; CHECK-NEXT: [[CLEANUP:%.*]] = landingpad i8 47; CHECK-NEXT: cleanup 48; CHECK-NEXT: call void @outlined_ir_func_0(ptr [[A]], ptr [[B]]) 49; CHECK-NEXT: br label [[NORMAL]] 50; CHECK: normal: 51; CHECK-NEXT: ret void 52; 53entry: 54 %a = alloca i32, align 4 55 %b = alloca i32, align 4 56 invoke void @llvm.donothing() to label %normal unwind label %exception 57exception: 58 %cleanup = landingpad i8 cleanup 59 store i32 2, ptr %a, align 4 60 store i32 3, ptr %b, align 4 61 br label %normal 62normal: 63 ret void 64} 65