10347039aSMatt Arsenault; NOTE: Assertions have been autogenerated by utils/update_test_checks.py 2b280ee1dSBjorn Pettersson; RUN: opt -S -passes=instsimplify < %s | FileCheck %s 30347039aSMatt Arsenault 40347039aSMatt Arsenault; A 0 valued byval pointer may be valid 5*04b944e2SNikita Popovdefine i1 @byval_may_be_zero(ptr byval(i32) %ptr) null_pointer_is_valid { 60347039aSMatt Arsenault; CHECK-LABEL: @byval_may_be_zero( 7*04b944e2SNikita Popov; CHECK-NEXT: [[CMP:%.*]] = icmp eq ptr [[PTR:%.*]], null 80347039aSMatt Arsenault; CHECK-NEXT: ret i1 [[CMP]] 90347039aSMatt Arsenault; 10*04b944e2SNikita Popov %cmp = icmp eq ptr %ptr, null 110347039aSMatt Arsenault ret i1 %cmp 120347039aSMatt Arsenault} 130347039aSMatt Arsenault 14*04b944e2SNikita Popovdefine i1 @nonnull_may_be_zero(ptr nonnull %ptr) null_pointer_is_valid { 150347039aSMatt Arsenault; CHECK-LABEL: @nonnull_may_be_zero( 160347039aSMatt Arsenault; CHECK-NEXT: ret i1 false 170347039aSMatt Arsenault; 18*04b944e2SNikita Popov %cmp = icmp eq ptr %ptr, null 190347039aSMatt Arsenault ret i1 %cmp 200347039aSMatt Arsenault} 21