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