| ; RUN: opt -simplifycfg -simplifycfg-require-and-preserve-domtree=1 -S < %s | FileCheck %s | |
| define void @test1() { | |
| call void @llvm.assume(i1 0) | |
| ret void | |
| ; CHECK-LABEL: @test1 | |
| ; CHECK-NOT: llvm.assume | |
| ; CHECK: unreachable | |
| } | |
| define void @test2() { | |
| call void @llvm.assume(i1 undef) | |
| ret void | |
| ; CHECK-LABEL: @test2 | |
| ; CHECK-NOT: llvm.assume | |
| ; CHECK: unreachable | |
| } | |
| declare void @llvm.assume(i1) nounwind | |