llvm/test/Transforms/SimplifyCFG/assume.ll

   1 ; RUN: opt -simplifycfg -simplifycfg-require-and-preserve-domtree=1 -S < %s | FileCheck %s
   2
   3 define void @test1() {
   4         call void @llvm.assume(i1 0)
   5         ret void
   6
   7 ; CHECK-LABEL: @test1
   8 ; CHECK-NOT: llvm.assume
   9 ; CHECK: unreachable
  10 }
  11
  12 define void @test2() {
  13         call void @llvm.assume(i1 undef)
  14         ret void
  15
  16 ; CHECK-LABEL: @test2
  17 ; CHECK-NOT: llvm.assume
  18 ; CHECK: unreachable
  19 }
  20
  21 declare void @llvm.assume(i1) nounwind
  22