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