test/Transforms/InstCombine/call_nonnull_arg.ll

   1 ; RUN: opt < %s -instcombine -S | FileCheck %s
   2
   3 ; InstCombine should mark null-checked argument as nonnull at callsite
   4 declare void @dummy(i32*)
   5
   6 define void @test(i32* %a) {
   7 ; CHECK-LABEL: @test
   8 ; CHECK: call void @dummy(i32* nonnull %a)
   9 entry:
  10   %cond = icmp eq i32* %a, null
  11   br i1 %cond, label %is_null, label %not_null
  12 not_null:
  13   call void @dummy(i32* %a)
  14   ret void
  15 is_null:
  16   unreachable
  17 }