| ; RUN: opt -S -mtriple=amdgcn-- -passes=inferattrs %s | FileCheck -check-prefix=NOBUILTIN %s |
| ; RUN: opt -S -enable-builtin=malloc -mtriple=amdgcn-- -passes=inferattrs %s | FileCheck -check-prefix=WITHBUILTIN %s |
| |
| ; Test that the -enable-builtin flag works and forces recognition of |
| ; malloc despite the target's default TargetLibraryInfo. |
| |
| ; NOBUILTIN: declare ptr @malloc(i64) |
| |
| ; WITHBUILTIN: declare noalias noundef ptr @malloc(i64 noundef) #0 |
| ; WITHBUILTIN: attributes #0 = { mustprogress nofree nounwind willreturn allockind("alloc,uninitialized") allocsize(0) memory(inaccessiblemem: readwrite) "alloc-family"="malloc" } |
| |
| declare ptr @malloc(i64) |
| |
