65 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt -S -passes=verify,iroutliner -ir-outlining-no-cost < %s | FileCheck %s3 4; This test checks that invoke instructions are not outlined even if they5; in a similar section. Outlining does not currently handle control flow6; changes.7 8declare void @llvm.donothing() nounwind readnone9 10define void @function1() personality i8 3 {11; CHECK-LABEL: @function1(12; CHECK-NEXT: entry:13; CHECK-NEXT: [[A:%.*]] = alloca i32, align 414; CHECK-NEXT: [[B:%.*]] = alloca i32, align 415; CHECK-NEXT: call void @outlined_ir_func_0(ptr [[A]], ptr [[B]])16; CHECK-NEXT: invoke void @llvm.donothing()17; CHECK-NEXT: to label [[NORMAL:%.*]] unwind label [[EXCEPTION:%.*]]18; CHECK: exception:19; CHECK-NEXT: [[CLEANUP:%.*]] = landingpad i820; CHECK-NEXT: cleanup21; CHECK-NEXT: br label [[NORMAL]]22; CHECK: normal:23; CHECK-NEXT: ret void24;25entry:26 %a = alloca i32, align 427 %b = alloca i32, align 428 store i32 2, ptr %a, align 429 store i32 3, ptr %b, align 430 invoke void @llvm.donothing() to label %normal unwind label %exception31exception:32 %cleanup = landingpad i8 cleanup33 br label %normal34normal:35 ret void36}37 38define void @function2() personality i8 3 {39; CHECK-LABEL: @function2(40; CHECK-NEXT: entry:41; CHECK-NEXT: [[A:%.*]] = alloca i32, align 442; CHECK-NEXT: [[B:%.*]] = alloca i32, align 443; CHECK-NEXT: call void @outlined_ir_func_0(ptr [[A]], ptr [[B]])44; CHECK-NEXT: invoke void @llvm.donothing()45; CHECK-NEXT: to label [[NORMAL:%.*]] unwind label [[EXCEPTION:%.*]]46; CHECK: exception:47; CHECK-NEXT: [[CLEANUP:%.*]] = landingpad i848; CHECK-NEXT: cleanup49; CHECK-NEXT: br label [[NORMAL]]50; CHECK: normal:51; CHECK-NEXT: ret void52;53entry:54 %a = alloca i32, align 455 %b = alloca i32, align 456 store i32 2, ptr %a, align 457 store i32 3, ptr %b, align 458 invoke void @llvm.donothing() to label %normal unwind label %exception59exception:60 %cleanup = landingpad i8 cleanup61 br label %normal62normal:63 ret void64}65