40 lines · plain
1; RUN: opt -S -passes=always-inline < %s | FileCheck %s2 3declare void @llvm.experimental.guard(i1, ...)4 5define i8 @callee(ptr %c_ptr) alwaysinline {6 %c = load volatile i1, ptr %c_ptr7 call void(i1, ...) @llvm.experimental.guard(i1 %c, i32 1) [ "deopt"(i32 1) ]8 ret i8 59}10 11define void @caller_0(ptr %c, ptr %ptr) {12; CHECK-LABEL: @caller_0(13entry:14; CHECK: [[COND:%[^ ]+]] = load volatile i1, ptr %c15; CHECK-NEXT: call void (i1, ...) @llvm.experimental.guard(i1 [[COND]], i32 1) [ "deopt"(i32 2, i32 1) ]16; CHECK-NEXT: store i8 5, ptr %ptr17 18 %v = call i8 @callee(ptr %c) [ "deopt"(i32 2) ]19 store i8 %v, ptr %ptr20 ret void21}22 23define i32 @caller_1(ptr %c, ptr %ptr) personality i8 3 {24; CHECK-LABEL: @caller_1(25; CHECK: [[COND:%[^ ]+]] = load volatile i1, ptr %c26; CHECK-NEXT: call void (i1, ...) @llvm.experimental.guard(i1 [[COND]], i32 1) [ "deopt"(i32 3, i32 1) ]27; CHECK-NEXT: br label %normal28entry:29 %v = invoke i8 @callee(ptr %c) [ "deopt"(i32 3) ] to label %normal30 unwind label %unwind31 32unwind:33 %lp = landingpad i32 cleanup34 ret i32 4335 36normal:37 store i8 %v, ptr %ptr38 ret i32 4239}40