test/Transforms/InstSimplify/assume.ll

   1 ; RUN: opt -instsimplify -S < %s | FileCheck %s
   2
   3 define void @test1() {
   4   call void @llvm.assume(i1 1)
   5   ret void
   6
   7 ; CHECK-LABEL: @test1
   8 ; CHECK-NOT: llvm.assume
   9 ; CHECK: ret void
  10 }
  11
  12 declare void @llvm.assume(i1) nounwind
  13