llvm/test/Transforms/InstSimplify/assume.ll

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

define void @test1() {
  call void @llvm.assume(i1 1)
  ret void

; CHECK-LABEL: @test1
; CHECK-NOT: llvm.assume
; CHECK: ret void
}

declare void @llvm.assume(i1) nounwind