// parameter attribute, but that's a less interesting case because hopefully
// the callee would already have been simplified based on that.
if (Argument *A = dyn_cast<Argument>(V))
- if (paramHasAttr(A, Attribute::NonNull))
+ if (paramHasAttr(A, Attribute::NonNull) || paramHasAttr(A, Attribute::Dereferenceable))
return true;
// Is this an alloca in the caller? This is distinct from the attribute case
ret void
}
+; Positive test - arg is known non null
define void @caller4(ptr dereferenceable(8) %arg) {
; CHECK-LABEL: define void @caller4
; CHECK-SAME: (ptr dereferenceable(8) [[ARG:%.*]]) {
-; CHECK-NEXT: call void @callee(ptr dereferenceable(8) [[ARG]])
+; CHECK-NEXT: call void @bar()
; CHECK-NEXT: ret void
;
call void @callee(ptr dereferenceable(8) %arg)
define void @caller6(ptr %arg) {
; CHECK-LABEL: define void @caller6
; CHECK-SAME: (ptr [[ARG:%.*]]) {
-; CHECK-NEXT: call void @callee(ptr dereferenceable(8) [[ARG]])
+; CHECK-NEXT: [[CMP_I:%.*]] = icmp eq ptr [[ARG]], null
+; CHECK-NEXT: br i1 [[CMP_I]], label [[EXPENSIVE_I:%.*]], label [[DONE_I:%.*]]
+; CHECK: expensive.i:
+; CHECK-NEXT: call void @foo()
+; CHECK-NEXT: call void @foo()
+; CHECK-NEXT: call void @foo()
+; CHECK-NEXT: call void @foo()
+; CHECK-NEXT: call void @foo()
+; CHECK-NEXT: call void @foo()
+; CHECK-NEXT: call void @foo()
+; CHECK-NEXT: call void @foo()
+; CHECK-NEXT: call void @foo()
+; CHECK-NEXT: call void @foo()
+; CHECK-NEXT: br label [[CALLEE_EXIT:%.*]]
+; CHECK: done.i:
+; CHECK-NEXT: call void @bar()
+; CHECK-NEXT: br label [[CALLEE_EXIT]]
+; CHECK: callee.exit:
; CHECK-NEXT: ret void
;
call void @callee(ptr dereferenceable(8) %arg)