Skip to content

Commit 4c2422e

Browse files
committed
[StackSafetyAnalysis] Add test with non-pointer use (NFC)
1 parent 5877949 commit 4c2422e

File tree

1 file changed

+14
-0
lines changed
  • llvm/test/Analysis/StackSafetyAnalysis

1 file changed

+14
-0
lines changed

llvm/test/Analysis/StackSafetyAnalysis/local.ll

Lines changed: 14 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -12,6 +12,7 @@ declare void @llvm.memmove.p0.p0.i32(ptr %dest, ptr %src, i32 %len, i1 %isvolati
1212
declare void @llvm.memset.p0.i64(ptr %dest, i8 %val, i64 %len, i1 %isvolatile)
1313

1414
declare void @unknown_call(ptr %dest)
15+
declare void @unknown_call_int(i64 %i)
1516
declare ptr @retptr(ptr returned)
1617

1718
; Address leaked.
@@ -1106,5 +1107,18 @@ entry:
11061107
ret void
11071108
}
11081109

1110+
define void @NonPointer(ptr %p) {
1111+
; CHECK-LABEL: @NonPointer
1112+
; CHECK-NEXT: args uses:
1113+
; LOCAL-NEXT: p[]: empty-set, @unknown_call_int(arg0, full-set)
1114+
; GLOBAL-NEXT: p[]: full-set, @unknown_call_int(arg0, full-set)
1115+
; CHECK-NEXT: allocas uses:
1116+
; GLOBAL-NEXT: safe accesses:
1117+
; CHECK-EMPTY:
1118+
%int = ptrtoint ptr %p to i64
1119+
call void @unknown_call_int(i64 %int)
1120+
ret void
1121+
}
1122+
11091123
declare void @llvm.lifetime.start.p0(i64, ptr nocapture)
11101124
declare void @llvm.lifetime.end.p0(i64, ptr nocapture)

0 commit comments

Comments
 (0)