Sign in
llvm
/
llvm
/
3f4c496a9449877189c27c537c0c7699610d6ddb
/
.
/
test
/
Transforms
/
InstSimplify
/
assume.ll
blob: 4dd0a8f4a82db3ad071faf6edf817b2c25e966f4 [
file
] [
log
] [
blame
]
; 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