45 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%swift.error = type opaque5 6define void @outlining_swifterror1(ptr swifterror %err) {7; CHECK-LABEL: @outlining_swifterror1(8; CHECK-NEXT: entry:9; CHECK-NEXT: [[X:%.*]] = alloca i64, align 810; CHECK-NEXT: call void @outlined_ir_func_0(i64 5, ptr [[X]], ptr swifterror [[ERR:%.*]])11; CHECK-NEXT: ret void12;13entry:14 %x = alloca i6415 %0 = mul i64 5, 516 %1 = add i64 %0, %017 store i64 %1, ptr %x18 store ptr %x, ptr %err19 ret void20}21 22define void @outlining_swifterror2(ptr swifterror %err) {23; CHECK-LABEL: @outlining_swifterror2(24; CHECK-NEXT: entry:25; CHECK-NEXT: [[X:%.*]] = alloca i64, align 826; CHECK-NEXT: call void @outlined_ir_func_0(i64 3, ptr [[X]], ptr swifterror [[ERR:%.*]])27; CHECK-NEXT: ret void28;29entry:30 %x = alloca i6431 %0 = mul i64 3, 332 %1 = add i64 %0, %033 store i64 %1, ptr %x34 store ptr %x, ptr %err35 ret void36}37 38; CHECK: define internal void @outlined_ir_func_0(i64 [[ARG0:%.*]], ptr [[ARG1:%.*]], ptr swifterror [[ARG2:%.*]])39; CHECK: entry_to_outline:40; CHECK-NEXT: [[TMP0:%.*]] = mul i64 [[ARG0]], [[ARG0]]41; CHECK-NEXT: [[TMP1:%.*]] = add i64 [[TMP0]], [[TMP0]]42; CHECK-NEXT: store i64 [[TMP1]], ptr [[ARG1]], align 443; CHECK-NEXT: store ptr [[ARG1]], ptr [[ARG2]], align 844; CHECK-NEXT: br label %entry_after_outline.exitStub45