llvm/test/Transforms/InstSimplify/null-ptr-is-valid-attribute.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt -S -instsimplify < %s | FileCheck %s
   3
   4 ; A 0 valued byval pointer may be valid
   5 define i1 @byval_may_be_zero(i32* byval(i32) %ptr) null_pointer_is_valid {
   6 ; CHECK-LABEL: @byval_may_be_zero(
   7 ; CHECK-NEXT:    [[CMP:%.*]] = icmp eq i32* [[PTR:%.*]], null
   8 ; CHECK-NEXT:    ret i1 [[CMP]]
   9 ;
  10   %cmp = icmp eq i32* %ptr, null
  11   ret i1 %cmp
  12 }
  13
  14 define i1 @nonnull_may_be_zero(i32* nonnull %ptr) null_pointer_is_valid {
  15 ; CHECK-LABEL: @nonnull_may_be_zero(
  16 ; CHECK-NEXT:    ret i1 false
  17 ;
  18   %cmp = icmp eq i32* %ptr, null
  19   ret i1 %cmp
  20 }