llvm.org GIT mirror llvm / release_40 test / Transforms / DCE / guards.ll
release_40

Tree @release_40 (Download .tar.gz)

guards.ll @release_40raw · history · blame

; RUN: opt -dce -S < %s | FileCheck %s

declare void @llvm.experimental.guard(i1,...)

define void @f(i32 %val) {
; CHECK-LABEL: @f(
; CHECK-NEXT: ret void
  %val2 = add i32 %val, 1
  call void(i1, ...) @llvm.experimental.guard(i1 true) [ "deopt"(i32 %val2) ]
  ret void
}