1 ; RUN: opt -dce -S < %s | FileCheck %s 2 3 declare void @llvm.experimental.guard(i1,...) 4 5 define void @f(i32 %val) { 6 ; CHECK-LABEL: @f( 7 ; CHECK-NEXT: ret void 8 %val2 = add i32 %val, 1 9 call void(i1, ...) @llvm.experimental.guard(i1 true) [ "deopt"(i32 %val2) ] 10 ret void 11 } 12
