llvm-project

1
; RUN: opt -passes='devirt<2>(function(simplifycfg))' %s -S | FileCheck %s
2

3
; CHECK: unreachable
4

5
declare void @llvm.assume(i1 noundef)
6
declare i1 @bar(ptr nonnull dereferenceable(1))
7

8
define void  @foo() {
9
  %a = call i1 null()
10
  call void @llvm.assume(i1 %a)
11
  ret void
12
}
13