llvm-project
12 строк · 274.0 Байт
1; RUN: opt -passes='devirt<2>(function(simplifycfg))' %s -S | FileCheck %s
2
3; CHECK: unreachable
4
5declare void @llvm.assume(i1 noundef)
6declare i1 @bar(ptr nonnull dereferenceable(1))
7
8define void @foo() {
9%a = call i1 null()
10call void @llvm.assume(i1 %a)
11ret void
12}
13