Skip to content

Commit cd3dda7

Browse files
committed
Make function not dead
1 parent f6768f9 commit cd3dda7

File tree

1 file changed

+12
-11
lines changed

1 file changed

+12
-11
lines changed

llvm/test/Transforms/FunctionAttrs/nocapture.ll

Lines changed: 12 additions & 11 deletions
Original file line numberDiff line numberDiff line change
@@ -360,21 +360,22 @@ define void @nc3(ptr %p) {
360360
ret void
361361
}
362362

363-
declare void @external(ptr) readonly nounwind
364-
define void @nc4(ptr %p) {
363+
declare i32 @external(ptr) readonly nounwind
364+
define i32 @nc4(ptr %p) {
365365
; FNATTRS: Function Attrs: nofree nounwind memory(read)
366-
; FNATTRS-LABEL: define void @nc4
367-
; FNATTRS-SAME: (ptr nocapture readonly [[P:%.*]]) #[[ATTR9:[0-9]+]] {
368-
; FNATTRS-NEXT: call void @external(ptr [[P]])
369-
; FNATTRS-NEXT: ret void
366+
; FNATTRS-LABEL: define i32 @nc4
367+
; FNATTRS-SAME: (ptr readonly [[P:%.*]]) #[[ATTR9:[0-9]+]] {
368+
; FNATTRS-NEXT: [[RESULT:%.*]] = call i32 @external(ptr [[P]])
369+
; FNATTRS-NEXT: ret i32 [[RESULT]]
370370
;
371371
; ATTRIBUTOR: Function Attrs: nosync nounwind memory(read)
372-
; ATTRIBUTOR-LABEL: define void @nc4
373-
; ATTRIBUTOR-SAME: (ptr nocapture readonly [[P:%.*]]) #[[ATTR7:[0-9]+]] {
374-
; ATTRIBUTOR-NEXT: ret void
372+
; ATTRIBUTOR-LABEL: define i32 @nc4
373+
; ATTRIBUTOR-SAME: (ptr readonly [[P:%.*]]) #[[ATTR7:[0-9]+]] {
374+
; ATTRIBUTOR-NEXT: [[RESULT:%.*]] = call i32 @external(ptr [[P]]) #[[ATTR7]]
375+
; ATTRIBUTOR-NEXT: ret i32 [[RESULT]]
375376
;
376-
call void @external(ptr %p)
377-
ret void
377+
%result = call i32 @external(ptr %p)
378+
ret i32 %result
378379
}
379380

380381
define void @nc5(ptr %f, ptr %p) {

0 commit comments

Comments
 (0)