1; RUN: opt -simplifycfg -S < %s | FileCheck %s
2
3define 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
12define 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
21declare void @llvm.assume(i1) nounwind
22
23