; RUN: opt -instsimplify -S < %s | FileCheck %s define void @test1() { call void @llvm.assume(i1 1) ret void ; CHECK-LABEL: @test1 ; CHECK-NOT: llvm.assume ; CHECK: ret void } declare void @llvm.assume(i1) nounwind
