70 lines · plain
1; RUN: opt -S -passes=declare-runtime-libcalls -mtriple=x86_64-unknown-linux-gnu < %s | FileCheck %s2 3; Check an already declared function4; CHECK: declare float @logf(float)5declare float @logf(float)6 7; Check an already defined function8; CHECK: define float @sinf(float %x) {9define float @sinf(float %x) {10 ret float %x11}12 13; CHECK: declare void @_Unwind_Resume(...)14 15; CHECK: declare void @__memcpy_chk(...)16; CHECK: declare void @__memmove_chk(...)17; CHECK: declare void @__memset_chk(...)18 19; CHECK: declare void @__umodti3(...)20 21; CHECK: declare void @acosf(...)22 23; CHECK: declare noalias noundef ptr @calloc(i64 noundef, i64 noundef) [[CALLOC_ATTRS:#[0-9]+]]24 25; CHECK: declare void @fdim(...)26; CHECK: declare void @fdimf(...)27; CHECK: declare void @fdiml(...)28 29; CHECK: declare void @free(ptr allocptr noundef captures(none)) [[FREE_ATTRS:#[0-9]+]]30 31; CHECK: declare noalias noundef ptr @malloc(i64 noundef) [[MALLOC_ATTRS:#[0-9]+]]32 33; CHECK: declare void @nan(...)34; CHECK: declare void @nanf(...)35; CHECK: declare void @nanl(...)36 37; CHECK: declare void @nexttoward(...)38; CHECK: declare void @nexttowardf(...)39; CHECK: declare void @nexttowardl(...)40 41; CHECK: declare void @remainder(...)42; CHECK: declare void @remainderf(...)43; CHECK: declare void @remainderl(...)44 45; CHECK: declare void @remquo(...)46; CHECK: declare void @remquof(...)47; CHECK: declare void @remquol(...)48 49; CHECK: declare void @scalbln(...)50; CHECK: declare void @scalblnf(...)51; CHECK: declare void @scalblnl(...)52 53; CHECK: declare void @scalbn(...)54; CHECK: declare void @scalbnf(...)55; CHECK: declare void @scalbnl(...)56 57; CHECK: declare nofpclass(ninf nsub nnorm) double @sqrt(double) [[SQRT_ATTRS:#[0-9]+]]58 59; CHECK: declare nofpclass(ninf nsub nnorm) float @sqrtf(float) [[SQRT_ATTRS:#[0-9]+]]60 61; CHECK: declare void @tgamma(...)62; CHECK: declare void @tgammaf(...)63; CHECK: declare void @tgammal(...)64 65; CHECK: declare void @truncl(...)66 67; CHECK: attributes [[CALLOC_ATTRS]] = { mustprogress nofree nounwind willreturn allockind("alloc") allocsize(0,1) "alloc-family"="malloc" }68; CHECK: attributes [[FREE_ATTRS]] = { mustprogress nounwind willreturn allockind("free") "alloc-family"="malloc" }69; CHECK: attributes [[MALLOC_ATTRS]] = { mustprogress nofree nounwind willreturn allockind("alloc,uninitialized") allocsize(0) "alloc-family"="malloc" }70