llvm/test/Other/devirtualization-undef.ll

   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 }