124 lines · plain
1; RUN: opt -S -passes=always-inline < %s | FileCheck %s2 3declare i8 @llvm.experimental.deoptimize.i8(...)4declare i32 @llvm.experimental.deoptimize.i32(...)5 6define i8 @callee(ptr %c) alwaysinline {7 %c0 = load volatile i1, ptr %c8 br i1 %c0, label %left, label %right9 10left:11 %c1 = load volatile i1, ptr %c12 br i1 %c1, label %lleft, label %lright13 14lleft:15 %v0 = call i8(...) @llvm.experimental.deoptimize.i8(i32 1) [ "deopt"(i32 1) ]16 ret i8 %v017 18lright:19 ret i8 1020 21right:22 %c2 = load volatile i1, ptr %c23 br i1 %c2, label %rleft, label %rright24 25rleft:26 %v1 = call i8(...) @llvm.experimental.deoptimize.i8(i32 1, i32 300, float 500.0, <2 x ptr> undef) [ "deopt"(i32 1) ]27 ret i8 %v128 29rright:30 %v2 = call i8(...) @llvm.experimental.deoptimize.i8() [ "deopt"(i32 1) ]31 ret i8 %v232}33 34define void @caller_0(ptr %c, ptr %ptr) {35; CHECK-LABEL: @caller_0(36entry:37 %v = call i8 @callee(ptr %c) [ "deopt"(i32 2) ]38 store i8 %v, ptr %ptr39 ret void40 41; CHECK: lleft.i:42; CHECK-NEXT: call void (...) @llvm.experimental.deoptimize.isVoid(i32 1) [ "deopt"(i32 2, i32 1) ]43; CHECK-NEXT: ret void44 45; CHECK: rleft.i:46; CHECK-NEXT: call void (...) @llvm.experimental.deoptimize.isVoid(i32 1, i32 300, float 5.000000e+02, <2 x ptr> undef) [ "deopt"(i32 2, i32 1) ]47; CHECK-NEXT: ret void48 49; CHECK: rright.i:50; CHECK-NEXT: call void (...) @llvm.experimental.deoptimize.isVoid() [ "deopt"(i32 2, i32 1) ]51; CHECK-NEXT: ret void52 53; CHECK: callee.exit:54; CHECK-NEXT: store i8 10, ptr %ptr55; CHECK-NEXT: ret void56 57}58 59define i32 @caller_1(ptr %c, ptr %ptr) personality i8 3 {60; CHECK-LABEL: @caller_1(61entry:62 %v = invoke i8 @callee(ptr %c) [ "deopt"(i32 3) ] to label %normal63 unwind label %unwind64 65; CHECK: lleft.i:66; CHECK-NEXT: %0 = call i32 (...) @llvm.experimental.deoptimize.i32(i32 1) [ "deopt"(i32 3, i32 1) ]67; CHECK-NEXT: ret i32 %068 69; CHECK: rleft.i:70; CHECK-NEXT: %1 = call i32 (...) @llvm.experimental.deoptimize.i32(i32 1, i32 300, float 5.000000e+02, <2 x ptr> undef) [ "deopt"(i32 3, i32 1) ]71; CHECK-NEXT: ret i32 %172 73; CHECK: rright.i:74; CHECK-NEXT: %2 = call i32 (...) @llvm.experimental.deoptimize.i32() [ "deopt"(i32 3, i32 1) ]75; CHECK-NEXT: ret i32 %276 77; CHECK: callee.exit:78; CHECK-NEXT: br label %normal79 80; CHECK: normal:81; CHECK-NEXT: store i8 10, ptr %ptr82; CHECK-NEXT: ret i32 4283 84unwind:85 %lp = landingpad i32 cleanup86 ret i32 4387 88normal:89 store i8 %v, ptr %ptr90 ret i32 4291}92 93define i8 @callee_with_alloca() alwaysinline {94 %t = alloca i895 %v0 = call i8(...) @llvm.experimental.deoptimize.i8(i32 1) [ "deopt"(ptr %t) ]96 ret i8 %v097}98 99define void @caller_with_lifetime() {100; CHECK-LABEL: @caller_with_lifetime(101; CHECK: call void (...) @llvm.experimental.deoptimize.isVoid(i32 1) [ "deopt"(ptr %t.i) ]102; CHECK-NEXT: ret void103 104entry:105 call i8 @callee_with_alloca();106 ret void107}108 109define i8 @callee_with_dynamic_alloca(i32 %n) alwaysinline {110 %p = alloca i8, i32 %n111 %v = call i8(...) @llvm.experimental.deoptimize.i8(i32 1) [ "deopt"(ptr %p) ]112 ret i8 %v113}114 115define void @caller_with_stacksaverestore(i32 %n) {116; CHECK-LABEL: void @caller_with_stacksaverestore(117; CHECK: call void (...) @llvm.experimental.deoptimize.isVoid(i32 1) [ "deopt"(ptr %p.i) ]118; CHECK-NEXT: ret void119 120 %p = alloca i32, i32 %n121 call i8 @callee_with_dynamic_alloca(i32 %n)122 ret void123}124