blob: bfa4998204685d71ec229192548237d627db719e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
; RUN: opt -passes='devirt<2>(function(simplifycfg))' %s -S | FileCheck %s
; CHECK: unreachable
declare void @llvm.assume(i1 noundef)
declare i1 @bar(ptr nonnull dereferenceable(1))
define void @foo() {
%a = call i1 null()
call void @llvm.assume(i1 %a)
ret void
}
|
