Home | History | Annotate | Download | only in SimplifyCFG 
      1 ; RUN: opt -simplifycfg -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 
     23