Skip to content

Commit ba52a09

Browse files
committed
[IPSCCP] Add test for returning nonnull pointer (NFC)
1 parent 7955760 commit ba52a09

File tree

1 file changed

+16
-0
lines changed

1 file changed

+16
-0
lines changed

llvm/test/Transforms/SCCP/pointer-nonnull.ll

Lines changed: 16 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -231,6 +231,22 @@ define i1 @ip_test_nonnull_caller(ptr %p) {
231231
ret i1 %res
232232
}
233233

234+
define ptr @ret_nonnull_pointer(ptr nonnull %p) {
235+
; CHECK-LABEL: define ptr @ret_nonnull_pointer(
236+
; CHECK-SAME: ptr nonnull [[P:%.*]]) {
237+
; CHECK-NEXT: ret ptr [[P]]
238+
;
239+
ret ptr %p
240+
}
241+
242+
define ptr @ret_maybe_null_pointer(ptr %p) {
243+
; CHECK-LABEL: define ptr @ret_maybe_null_pointer(
244+
; CHECK-SAME: ptr [[P:%.*]]) {
245+
; CHECK-NEXT: ret ptr [[P]]
246+
;
247+
ret ptr %p
248+
}
249+
234250
;.
235251
; SCCP: [[META0]] = !{}
236252
;.

0 commit comments

Comments
 (0)