BuildLibCalls.cpp 55 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374757677787980818283848586878889909192939495969798991001011021031041051061071081091101111121131141151161171181191201211221231241251261271281291301311321331341351361371381391401411421431441451461471481491501511521531541551561571581591601611621631641651661671681691701711721731741751761771781791801811821831841851861871881891901911921931941951961971981992002012022032042052062072082092102112122132142152162172182192202212222232242252262272282292302312322332342352362372382392402412422432442452462472482492502512522532542552562572582592602612622632642652662672682692702712722732742752762772782792802812822832842852862872882892902912922932942952962972982993003013023033043053063073083093103113123133143153163173183193203213223233243253263273283293303313323333343353363373383393403413423433443453463473483493503513523533543553563573583593603613623633643653663673683693703713723733743753763773783793803813823833843853863873883893903913923933943953963973983994004014024034044054064074084094104114124134144154164174184194204214224234244254264274284294304314324334344354364374384394404414424434444454464474484494504514524534544554564574584594604614624634644654664674684694704714724734744754764774784794804814824834844854864874884894904914924934944954964974984995005015025035045055065075085095105115125135145155165175185195205215225235245255265275285295305315325335345355365375385395405415425435445455465475485495505515525535545555565575585595605615625635645655665675685695705715725735745755765775785795805815825835845855865875885895905915925935945955965975985996006016026036046056066076086096106116126136146156166176186196206216226236246256266276286296306316326336346356366376386396406416426436446456466476486496506516526536546556566576586596606616626636646656666676686696706716726736746756766776786796806816826836846856866876886896906916926936946956966976986997007017027037047057067077087097107117127137147157167177187197207217227237247257267277287297307317327337347357367377387397407417427437447457467477487497507517527537547557567577587597607617627637647657667677687697707717727737747757767777787797807817827837847857867877887897907917927937947957967977987998008018028038048058068078088098108118128138148158168178188198208218228238248258268278288298308318328338348358368378388398408418428438448458468478488498508518528538548558568578588598608618628638648658668678688698708718728738748758768778788798808818828838848858868878888898908918928938948958968978988999009019029039049059069079089099109119129139149159169179189199209219229239249259269279289299309319329339349359369379389399409419429439449459469479489499509519529539549559569579589599609619629639649659669679689699709719729739749759769779789799809819829839849859869879889899909919929939949959969979989991000100110021003100410051006100710081009101010111012101310141015101610171018101910201021102210231024102510261027102810291030103110321033103410351036103710381039104010411042104310441045104610471048104910501051105210531054105510561057105810591060106110621063106410651066106710681069107010711072107310741075107610771078107910801081108210831084108510861087108810891090109110921093109410951096109710981099110011011102110311041105110611071108110911101111111211131114111511161117111811191120112111221123112411251126112711281129113011311132113311341135113611371138113911401141114211431144114511461147114811491150115111521153115411551156115711581159116011611162116311641165116611671168116911701171117211731174117511761177117811791180118111821183118411851186118711881189119011911192119311941195119611971198119912001201120212031204120512061207120812091210121112121213121412151216121712181219122012211222122312241225122612271228122912301231123212331234123512361237123812391240124112421243124412451246124712481249125012511252125312541255125612571258125912601261126212631264126512661267126812691270127112721273127412751276127712781279128012811282128312841285128612871288128912901291129212931294129512961297129812991300130113021303130413051306130713081309131013111312131313141315131613171318131913201321132213231324132513261327132813291330133113321333133413351336133713381339134013411342134313441345134613471348134913501351135213531354135513561357135813591360136113621363136413651366136713681369137013711372137313741375137613771378137913801381138213831384138513861387138813891390139113921393139413951396139713981399140014011402140314041405140614071408140914101411141214131414141514161417141814191420142114221423142414251426142714281429143014311432143314341435143614371438143914401441144214431444144514461447144814491450145114521453145414551456145714581459146014611462146314641465146614671468146914701471147214731474147514761477147814791480148114821483148414851486148714881489149014911492149314941495149614971498149915001501150215031504150515061507150815091510151115121513151415151516151715181519152015211522152315241525152615271528152915301531153215331534153515361537153815391540154115421543154415451546154715481549155015511552155315541555155615571558155915601561156215631564156515661567156815691570157115721573157415751576157715781579158015811582158315841585158615871588158915901591159215931594159515961597159815991600160116021603160416051606160716081609161016111612161316141615161616171618161916201621162216231624162516261627162816291630163116321633163416351636163716381639164016411642164316441645164616471648164916501651165216531654165516561657
  1. //===- BuildLibCalls.cpp - Utility builder for libcalls -------------------===//
  2. //
  3. // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
  4. // See https://llvm.org/LICENSE.txt for license information.
  5. // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
  6. //
  7. //===----------------------------------------------------------------------===//
  8. //
  9. // This file implements some functions that will create standard C libcalls.
  10. //
  11. //===----------------------------------------------------------------------===//
  12. #include "llvm/Transforms/Utils/BuildLibCalls.h"
  13. #include "llvm/ADT/SmallString.h"
  14. #include "llvm/ADT/Statistic.h"
  15. #include "llvm/Analysis/TargetLibraryInfo.h"
  16. #include "llvm/IR/Constants.h"
  17. #include "llvm/IR/DataLayout.h"
  18. #include "llvm/IR/Function.h"
  19. #include "llvm/IR/IRBuilder.h"
  20. #include "llvm/IR/Intrinsics.h"
  21. #include "llvm/IR/LLVMContext.h"
  22. #include "llvm/IR/Module.h"
  23. #include "llvm/IR/Type.h"
  24. #include "llvm/Analysis/MemoryBuiltins.h"
  25. using namespace llvm;
  26. #define DEBUG_TYPE "build-libcalls"
  27. //- Infer Attributes ---------------------------------------------------------//
  28. STATISTIC(NumReadNone, "Number of functions inferred as readnone");
  29. STATISTIC(NumInaccessibleMemOnly,
  30. "Number of functions inferred as inaccessiblememonly");
  31. STATISTIC(NumReadOnly, "Number of functions inferred as readonly");
  32. STATISTIC(NumArgMemOnly, "Number of functions inferred as argmemonly");
  33. STATISTIC(NumInaccessibleMemOrArgMemOnly,
  34. "Number of functions inferred as inaccessiblemem_or_argmemonly");
  35. STATISTIC(NumNoUnwind, "Number of functions inferred as nounwind");
  36. STATISTIC(NumNoCapture, "Number of arguments inferred as nocapture");
  37. STATISTIC(NumWriteOnlyArg, "Number of arguments inferred as writeonly");
  38. STATISTIC(NumSExtArg, "Number of arguments inferred as signext");
  39. STATISTIC(NumReadOnlyArg, "Number of arguments inferred as readonly");
  40. STATISTIC(NumNoAlias, "Number of function returns inferred as noalias");
  41. STATISTIC(NumNoUndef, "Number of function returns inferred as noundef returns");
  42. STATISTIC(NumNonNull, "Number of function returns inferred as nonnull returns");
  43. STATISTIC(NumReturnedArg, "Number of arguments inferred as returned");
  44. STATISTIC(NumWillReturn, "Number of functions inferred as willreturn");
  45. static bool setDoesNotAccessMemory(Function &F) {
  46. if (F.doesNotAccessMemory())
  47. return false;
  48. F.setDoesNotAccessMemory();
  49. ++NumReadNone;
  50. return true;
  51. }
  52. static bool setOnlyAccessesInaccessibleMemory(Function &F) {
  53. if (F.onlyAccessesInaccessibleMemory())
  54. return false;
  55. F.setOnlyAccessesInaccessibleMemory();
  56. ++NumInaccessibleMemOnly;
  57. return true;
  58. }
  59. static bool setOnlyReadsMemory(Function &F) {
  60. if (F.onlyReadsMemory())
  61. return false;
  62. F.setOnlyReadsMemory();
  63. ++NumReadOnly;
  64. return true;
  65. }
  66. static bool setOnlyAccessesArgMemory(Function &F) {
  67. if (F.onlyAccessesArgMemory())
  68. return false;
  69. F.setOnlyAccessesArgMemory();
  70. ++NumArgMemOnly;
  71. return true;
  72. }
  73. static bool setOnlyAccessesInaccessibleMemOrArgMem(Function &F) {
  74. if (F.onlyAccessesInaccessibleMemOrArgMem())
  75. return false;
  76. F.setOnlyAccessesInaccessibleMemOrArgMem();
  77. ++NumInaccessibleMemOrArgMemOnly;
  78. return true;
  79. }
  80. static bool setDoesNotThrow(Function &F) {
  81. if (F.doesNotThrow())
  82. return false;
  83. F.setDoesNotThrow();
  84. ++NumNoUnwind;
  85. return true;
  86. }
  87. static bool setRetDoesNotAlias(Function &F) {
  88. if (F.hasAttribute(AttributeList::ReturnIndex, Attribute::NoAlias))
  89. return false;
  90. F.addAttribute(AttributeList::ReturnIndex, Attribute::NoAlias);
  91. ++NumNoAlias;
  92. return true;
  93. }
  94. static bool setDoesNotCapture(Function &F, unsigned ArgNo) {
  95. if (F.hasParamAttribute(ArgNo, Attribute::NoCapture))
  96. return false;
  97. F.addParamAttr(ArgNo, Attribute::NoCapture);
  98. ++NumNoCapture;
  99. return true;
  100. }
  101. static bool setDoesNotAlias(Function &F, unsigned ArgNo) {
  102. if (F.hasParamAttribute(ArgNo, Attribute::NoAlias))
  103. return false;
  104. F.addParamAttr(ArgNo, Attribute::NoAlias);
  105. ++NumNoAlias;
  106. return true;
  107. }
  108. static bool setOnlyReadsMemory(Function &F, unsigned ArgNo) {
  109. if (F.hasParamAttribute(ArgNo, Attribute::ReadOnly))
  110. return false;
  111. F.addParamAttr(ArgNo, Attribute::ReadOnly);
  112. ++NumReadOnlyArg;
  113. return true;
  114. }
  115. static bool setOnlyWritesMemory(Function &F, unsigned ArgNo) {
  116. if (F.hasParamAttribute(ArgNo, Attribute::WriteOnly))
  117. return false;
  118. F.addParamAttr(ArgNo, Attribute::WriteOnly);
  119. ++NumWriteOnlyArg;
  120. return true;
  121. }
  122. static bool setSignExtendedArg(Function &F, unsigned ArgNo) {
  123. if (F.hasParamAttribute(ArgNo, Attribute::SExt))
  124. return false;
  125. F.addParamAttr(ArgNo, Attribute::SExt);
  126. ++NumSExtArg;
  127. return true;
  128. }
  129. static bool setRetNoUndef(Function &F) {
  130. if (!F.getReturnType()->isVoidTy() &&
  131. !F.hasAttribute(AttributeList::ReturnIndex, Attribute::NoUndef)) {
  132. F.addAttribute(AttributeList::ReturnIndex, Attribute::NoUndef);
  133. ++NumNoUndef;
  134. return true;
  135. }
  136. return false;
  137. }
  138. static bool setArgsNoUndef(Function &F) {
  139. bool Changed = false;
  140. for (unsigned ArgNo = 0; ArgNo < F.arg_size(); ++ArgNo) {
  141. if (!F.hasParamAttribute(ArgNo, Attribute::NoUndef)) {
  142. F.addParamAttr(ArgNo, Attribute::NoUndef);
  143. ++NumNoUndef;
  144. Changed = true;
  145. }
  146. }
  147. return Changed;
  148. }
  149. static bool setRetAndArgsNoUndef(Function &F) {
  150. return setRetNoUndef(F) | setArgsNoUndef(F);
  151. }
  152. static bool setReturnedArg(Function &F, unsigned ArgNo) {
  153. if (F.hasParamAttribute(ArgNo, Attribute::Returned))
  154. return false;
  155. F.addParamAttr(ArgNo, Attribute::Returned);
  156. ++NumReturnedArg;
  157. return true;
  158. }
  159. static bool setNonLazyBind(Function &F) {
  160. if (F.hasFnAttribute(Attribute::NonLazyBind))
  161. return false;
  162. F.addFnAttr(Attribute::NonLazyBind);
  163. return true;
  164. }
  165. static bool setDoesNotFreeMemory(Function &F) {
  166. if (F.hasFnAttribute(Attribute::NoFree))
  167. return false;
  168. F.addFnAttr(Attribute::NoFree);
  169. return true;
  170. }
  171. static bool setWillReturn(Function &F) {
  172. if (F.hasFnAttribute(Attribute::WillReturn))
  173. return false;
  174. F.addFnAttr(Attribute::WillReturn);
  175. ++NumWillReturn;
  176. return true;
  177. }
  178. bool llvm::inferLibFuncAttributes(Module *M, StringRef Name,
  179. const TargetLibraryInfo &TLI) {
  180. Function *F = M->getFunction(Name);
  181. if (!F)
  182. return false;
  183. return inferLibFuncAttributes(*F, TLI);
  184. }
  185. bool llvm::inferLibFuncAttributes(Function &F, const TargetLibraryInfo &TLI) {
  186. LibFunc TheLibFunc;
  187. if (!(TLI.getLibFunc(F, TheLibFunc) && TLI.has(TheLibFunc)))
  188. return false;
  189. bool Changed = false;
  190. if(!isLibFreeFunction(&F, TheLibFunc) && !isReallocLikeFn(&F, &TLI))
  191. Changed |= setDoesNotFreeMemory(F);
  192. if (F.getParent() != nullptr && F.getParent()->getRtLibUseGOT())
  193. Changed |= setNonLazyBind(F);
  194. switch (TheLibFunc) {
  195. case LibFunc_strlen:
  196. case LibFunc_wcslen:
  197. Changed |= setOnlyReadsMemory(F);
  198. Changed |= setDoesNotThrow(F);
  199. Changed |= setOnlyAccessesArgMemory(F);
  200. Changed |= setWillReturn(F);
  201. Changed |= setDoesNotCapture(F, 0);
  202. return Changed;
  203. case LibFunc_strchr:
  204. case LibFunc_strrchr:
  205. Changed |= setOnlyAccessesArgMemory(F);
  206. Changed |= setOnlyReadsMemory(F);
  207. Changed |= setDoesNotThrow(F);
  208. Changed |= setWillReturn(F);
  209. return Changed;
  210. case LibFunc_strtol:
  211. case LibFunc_strtod:
  212. case LibFunc_strtof:
  213. case LibFunc_strtoul:
  214. case LibFunc_strtoll:
  215. case LibFunc_strtold:
  216. case LibFunc_strtoull:
  217. Changed |= setDoesNotThrow(F);
  218. Changed |= setWillReturn(F);
  219. Changed |= setDoesNotCapture(F, 1);
  220. Changed |= setOnlyReadsMemory(F, 0);
  221. return Changed;
  222. case LibFunc_strcpy:
  223. case LibFunc_strncpy:
  224. case LibFunc_strcat:
  225. case LibFunc_strncat:
  226. Changed |= setWillReturn(F);
  227. Changed |= setReturnedArg(F, 0);
  228. LLVM_FALLTHROUGH;
  229. case LibFunc_stpcpy:
  230. case LibFunc_stpncpy:
  231. Changed |= setOnlyAccessesArgMemory(F);
  232. Changed |= setDoesNotThrow(F);
  233. Changed |= setWillReturn(F);
  234. Changed |= setDoesNotCapture(F, 1);
  235. Changed |= setOnlyWritesMemory(F, 0);
  236. Changed |= setOnlyReadsMemory(F, 1);
  237. Changed |= setDoesNotAlias(F, 0);
  238. Changed |= setDoesNotAlias(F, 1);
  239. return Changed;
  240. case LibFunc_strxfrm:
  241. Changed |= setDoesNotThrow(F);
  242. Changed |= setWillReturn(F);
  243. Changed |= setDoesNotCapture(F, 0);
  244. Changed |= setDoesNotCapture(F, 1);
  245. Changed |= setOnlyReadsMemory(F, 1);
  246. return Changed;
  247. case LibFunc_strcmp: // 0,1
  248. case LibFunc_strspn: // 0,1
  249. case LibFunc_strncmp: // 0,1
  250. case LibFunc_strcspn: // 0,1
  251. Changed |= setDoesNotThrow(F);
  252. Changed |= setOnlyAccessesArgMemory(F);
  253. Changed |= setWillReturn(F);
  254. Changed |= setOnlyReadsMemory(F);
  255. Changed |= setDoesNotCapture(F, 0);
  256. Changed |= setDoesNotCapture(F, 1);
  257. return Changed;
  258. case LibFunc_strcoll:
  259. case LibFunc_strcasecmp: // 0,1
  260. case LibFunc_strncasecmp: //
  261. // Those functions may depend on the locale, which may be accessed through
  262. // global memory.
  263. Changed |= setOnlyReadsMemory(F);
  264. Changed |= setDoesNotThrow(F);
  265. Changed |= setWillReturn(F);
  266. Changed |= setDoesNotCapture(F, 0);
  267. Changed |= setDoesNotCapture(F, 1);
  268. return Changed;
  269. case LibFunc_strstr:
  270. case LibFunc_strpbrk:
  271. Changed |= setOnlyAccessesArgMemory(F);
  272. Changed |= setOnlyReadsMemory(F);
  273. Changed |= setDoesNotThrow(F);
  274. Changed |= setWillReturn(F);
  275. Changed |= setDoesNotCapture(F, 1);
  276. return Changed;
  277. case LibFunc_strtok:
  278. case LibFunc_strtok_r:
  279. Changed |= setDoesNotThrow(F);
  280. Changed |= setWillReturn(F);
  281. Changed |= setDoesNotCapture(F, 1);
  282. Changed |= setOnlyReadsMemory(F, 1);
  283. return Changed;
  284. case LibFunc_scanf:
  285. Changed |= setRetAndArgsNoUndef(F);
  286. Changed |= setDoesNotThrow(F);
  287. Changed |= setDoesNotCapture(F, 0);
  288. Changed |= setOnlyReadsMemory(F, 0);
  289. return Changed;
  290. case LibFunc_setbuf:
  291. case LibFunc_setvbuf:
  292. Changed |= setRetAndArgsNoUndef(F);
  293. Changed |= setDoesNotThrow(F);
  294. Changed |= setDoesNotCapture(F, 0);
  295. return Changed;
  296. case LibFunc_strdup:
  297. case LibFunc_strndup:
  298. Changed |= setOnlyAccessesInaccessibleMemOrArgMem(F);
  299. Changed |= setDoesNotThrow(F);
  300. Changed |= setRetDoesNotAlias(F);
  301. Changed |= setWillReturn(F);
  302. Changed |= setDoesNotCapture(F, 0);
  303. Changed |= setOnlyReadsMemory(F, 0);
  304. return Changed;
  305. case LibFunc_stat:
  306. case LibFunc_statvfs:
  307. Changed |= setRetAndArgsNoUndef(F);
  308. Changed |= setDoesNotThrow(F);
  309. Changed |= setDoesNotCapture(F, 0);
  310. Changed |= setDoesNotCapture(F, 1);
  311. Changed |= setOnlyReadsMemory(F, 0);
  312. return Changed;
  313. case LibFunc_sscanf:
  314. Changed |= setRetAndArgsNoUndef(F);
  315. Changed |= setDoesNotThrow(F);
  316. Changed |= setDoesNotCapture(F, 0);
  317. Changed |= setDoesNotCapture(F, 1);
  318. Changed |= setOnlyReadsMemory(F, 0);
  319. Changed |= setOnlyReadsMemory(F, 1);
  320. return Changed;
  321. case LibFunc_sprintf:
  322. Changed |= setRetAndArgsNoUndef(F);
  323. Changed |= setDoesNotThrow(F);
  324. Changed |= setDoesNotCapture(F, 0);
  325. Changed |= setDoesNotAlias(F, 0);
  326. Changed |= setOnlyWritesMemory(F, 0);
  327. Changed |= setDoesNotCapture(F, 1);
  328. Changed |= setOnlyReadsMemory(F, 1);
  329. return Changed;
  330. case LibFunc_snprintf:
  331. Changed |= setRetAndArgsNoUndef(F);
  332. Changed |= setDoesNotThrow(F);
  333. Changed |= setDoesNotCapture(F, 0);
  334. Changed |= setDoesNotAlias(F, 0);
  335. Changed |= setOnlyWritesMemory(F, 0);
  336. Changed |= setDoesNotCapture(F, 2);
  337. Changed |= setOnlyReadsMemory(F, 2);
  338. return Changed;
  339. case LibFunc_setitimer:
  340. Changed |= setRetAndArgsNoUndef(F);
  341. Changed |= setDoesNotThrow(F);
  342. Changed |= setWillReturn(F);
  343. Changed |= setDoesNotCapture(F, 1);
  344. Changed |= setDoesNotCapture(F, 2);
  345. Changed |= setOnlyReadsMemory(F, 1);
  346. return Changed;
  347. case LibFunc_system:
  348. // May throw; "system" is a valid pthread cancellation point.
  349. Changed |= setRetAndArgsNoUndef(F);
  350. Changed |= setDoesNotCapture(F, 0);
  351. Changed |= setOnlyReadsMemory(F, 0);
  352. return Changed;
  353. case LibFunc_malloc:
  354. case LibFunc_vec_malloc:
  355. Changed |= setOnlyAccessesInaccessibleMemory(F);
  356. Changed |= setRetNoUndef(F);
  357. Changed |= setDoesNotThrow(F);
  358. Changed |= setRetDoesNotAlias(F);
  359. Changed |= setWillReturn(F);
  360. return Changed;
  361. case LibFunc_memcmp:
  362. Changed |= setOnlyAccessesArgMemory(F);
  363. Changed |= setOnlyReadsMemory(F);
  364. Changed |= setDoesNotThrow(F);
  365. Changed |= setWillReturn(F);
  366. Changed |= setDoesNotCapture(F, 0);
  367. Changed |= setDoesNotCapture(F, 1);
  368. return Changed;
  369. case LibFunc_memchr:
  370. case LibFunc_memrchr:
  371. Changed |= setDoesNotThrow(F);
  372. Changed |= setOnlyAccessesArgMemory(F);
  373. Changed |= setOnlyReadsMemory(F);
  374. Changed |= setWillReturn(F);
  375. return Changed;
  376. case LibFunc_modf:
  377. case LibFunc_modff:
  378. case LibFunc_modfl:
  379. Changed |= setDoesNotThrow(F);
  380. Changed |= setWillReturn(F);
  381. Changed |= setDoesNotCapture(F, 1);
  382. return Changed;
  383. case LibFunc_memcpy:
  384. Changed |= setDoesNotThrow(F);
  385. Changed |= setOnlyAccessesArgMemory(F);
  386. Changed |= setWillReturn(F);
  387. Changed |= setDoesNotAlias(F, 0);
  388. Changed |= setReturnedArg(F, 0);
  389. Changed |= setOnlyWritesMemory(F, 0);
  390. Changed |= setDoesNotAlias(F, 1);
  391. Changed |= setDoesNotCapture(F, 1);
  392. Changed |= setOnlyReadsMemory(F, 1);
  393. return Changed;
  394. case LibFunc_memmove:
  395. Changed |= setDoesNotThrow(F);
  396. Changed |= setOnlyAccessesArgMemory(F);
  397. Changed |= setWillReturn(F);
  398. Changed |= setReturnedArg(F, 0);
  399. Changed |= setOnlyWritesMemory(F, 0);
  400. Changed |= setDoesNotCapture(F, 1);
  401. Changed |= setOnlyReadsMemory(F, 1);
  402. return Changed;
  403. case LibFunc_mempcpy:
  404. case LibFunc_memccpy:
  405. Changed |= setDoesNotThrow(F);
  406. Changed |= setOnlyAccessesArgMemory(F);
  407. Changed |= setWillReturn(F);
  408. Changed |= setDoesNotAlias(F, 0);
  409. Changed |= setOnlyWritesMemory(F, 0);
  410. Changed |= setDoesNotAlias(F, 1);
  411. Changed |= setDoesNotCapture(F, 1);
  412. Changed |= setOnlyReadsMemory(F, 1);
  413. return Changed;
  414. case LibFunc_memcpy_chk:
  415. Changed |= setDoesNotThrow(F);
  416. return Changed;
  417. case LibFunc_memalign:
  418. Changed |= setOnlyAccessesInaccessibleMemory(F);
  419. Changed |= setRetNoUndef(F);
  420. Changed |= setDoesNotThrow(F);
  421. Changed |= setRetDoesNotAlias(F);
  422. Changed |= setWillReturn(F);
  423. return Changed;
  424. case LibFunc_mkdir:
  425. Changed |= setRetAndArgsNoUndef(F);
  426. Changed |= setDoesNotThrow(F);
  427. Changed |= setDoesNotCapture(F, 0);
  428. Changed |= setOnlyReadsMemory(F, 0);
  429. return Changed;
  430. case LibFunc_mktime:
  431. Changed |= setRetAndArgsNoUndef(F);
  432. Changed |= setDoesNotThrow(F);
  433. Changed |= setWillReturn(F);
  434. Changed |= setDoesNotCapture(F, 0);
  435. return Changed;
  436. case LibFunc_realloc:
  437. case LibFunc_vec_realloc:
  438. Changed |= setOnlyAccessesInaccessibleMemOrArgMem(F);
  439. Changed |= setRetNoUndef(F);
  440. Changed |= setDoesNotThrow(F);
  441. Changed |= setRetDoesNotAlias(F);
  442. Changed |= setWillReturn(F);
  443. Changed |= setDoesNotCapture(F, 0);
  444. return Changed;
  445. case LibFunc_reallocf:
  446. Changed |= setRetNoUndef(F);
  447. Changed |= setWillReturn(F);
  448. return Changed;
  449. case LibFunc_read:
  450. // May throw; "read" is a valid pthread cancellation point.
  451. Changed |= setRetAndArgsNoUndef(F);
  452. Changed |= setDoesNotCapture(F, 1);
  453. return Changed;
  454. case LibFunc_rewind:
  455. Changed |= setRetAndArgsNoUndef(F);
  456. Changed |= setDoesNotThrow(F);
  457. Changed |= setDoesNotCapture(F, 0);
  458. return Changed;
  459. case LibFunc_rmdir:
  460. case LibFunc_remove:
  461. case LibFunc_realpath:
  462. Changed |= setRetAndArgsNoUndef(F);
  463. Changed |= setDoesNotThrow(F);
  464. Changed |= setDoesNotCapture(F, 0);
  465. Changed |= setOnlyReadsMemory(F, 0);
  466. return Changed;
  467. case LibFunc_rename:
  468. Changed |= setRetAndArgsNoUndef(F);
  469. Changed |= setDoesNotThrow(F);
  470. Changed |= setDoesNotCapture(F, 0);
  471. Changed |= setDoesNotCapture(F, 1);
  472. Changed |= setOnlyReadsMemory(F, 0);
  473. Changed |= setOnlyReadsMemory(F, 1);
  474. return Changed;
  475. case LibFunc_readlink:
  476. Changed |= setRetAndArgsNoUndef(F);
  477. Changed |= setDoesNotThrow(F);
  478. Changed |= setDoesNotCapture(F, 0);
  479. Changed |= setDoesNotCapture(F, 1);
  480. Changed |= setOnlyReadsMemory(F, 0);
  481. return Changed;
  482. case LibFunc_write:
  483. // May throw; "write" is a valid pthread cancellation point.
  484. Changed |= setRetAndArgsNoUndef(F);
  485. Changed |= setDoesNotCapture(F, 1);
  486. Changed |= setOnlyReadsMemory(F, 1);
  487. return Changed;
  488. case LibFunc_aligned_alloc:
  489. Changed |= setOnlyAccessesInaccessibleMemory(F);
  490. Changed |= setRetNoUndef(F);
  491. Changed |= setDoesNotThrow(F);
  492. Changed |= setRetDoesNotAlias(F);
  493. Changed |= setWillReturn(F);
  494. return Changed;
  495. case LibFunc_bcopy:
  496. Changed |= setDoesNotThrow(F);
  497. Changed |= setOnlyAccessesArgMemory(F);
  498. Changed |= setWillReturn(F);
  499. Changed |= setDoesNotCapture(F, 0);
  500. Changed |= setOnlyReadsMemory(F, 0);
  501. Changed |= setOnlyWritesMemory(F, 1);
  502. Changed |= setDoesNotCapture(F, 1);
  503. return Changed;
  504. case LibFunc_bcmp:
  505. Changed |= setDoesNotThrow(F);
  506. Changed |= setOnlyAccessesArgMemory(F);
  507. Changed |= setOnlyReadsMemory(F);
  508. Changed |= setWillReturn(F);
  509. Changed |= setDoesNotCapture(F, 0);
  510. Changed |= setDoesNotCapture(F, 1);
  511. return Changed;
  512. case LibFunc_bzero:
  513. Changed |= setDoesNotThrow(F);
  514. Changed |= setOnlyAccessesArgMemory(F);
  515. Changed |= setWillReturn(F);
  516. Changed |= setDoesNotCapture(F, 0);
  517. Changed |= setOnlyWritesMemory(F, 0);
  518. return Changed;
  519. case LibFunc_calloc:
  520. case LibFunc_vec_calloc:
  521. Changed |= setOnlyAccessesInaccessibleMemory(F);
  522. Changed |= setRetNoUndef(F);
  523. Changed |= setDoesNotThrow(F);
  524. Changed |= setRetDoesNotAlias(F);
  525. Changed |= setWillReturn(F);
  526. return Changed;
  527. case LibFunc_chmod:
  528. case LibFunc_chown:
  529. Changed |= setRetAndArgsNoUndef(F);
  530. Changed |= setDoesNotThrow(F);
  531. Changed |= setDoesNotCapture(F, 0);
  532. Changed |= setOnlyReadsMemory(F, 0);
  533. return Changed;
  534. case LibFunc_ctermid:
  535. case LibFunc_clearerr:
  536. case LibFunc_closedir:
  537. Changed |= setRetAndArgsNoUndef(F);
  538. Changed |= setDoesNotThrow(F);
  539. Changed |= setDoesNotCapture(F, 0);
  540. return Changed;
  541. case LibFunc_atoi:
  542. case LibFunc_atol:
  543. case LibFunc_atof:
  544. case LibFunc_atoll:
  545. Changed |= setDoesNotThrow(F);
  546. Changed |= setOnlyReadsMemory(F);
  547. Changed |= setWillReturn(F);
  548. Changed |= setDoesNotCapture(F, 0);
  549. return Changed;
  550. case LibFunc_access:
  551. Changed |= setRetAndArgsNoUndef(F);
  552. Changed |= setDoesNotThrow(F);
  553. Changed |= setDoesNotCapture(F, 0);
  554. Changed |= setOnlyReadsMemory(F, 0);
  555. return Changed;
  556. case LibFunc_fopen:
  557. Changed |= setRetAndArgsNoUndef(F);
  558. Changed |= setDoesNotThrow(F);
  559. Changed |= setRetDoesNotAlias(F);
  560. Changed |= setDoesNotCapture(F, 0);
  561. Changed |= setDoesNotCapture(F, 1);
  562. Changed |= setOnlyReadsMemory(F, 0);
  563. Changed |= setOnlyReadsMemory(F, 1);
  564. return Changed;
  565. case LibFunc_fdopen:
  566. Changed |= setRetAndArgsNoUndef(F);
  567. Changed |= setDoesNotThrow(F);
  568. Changed |= setRetDoesNotAlias(F);
  569. Changed |= setDoesNotCapture(F, 1);
  570. Changed |= setOnlyReadsMemory(F, 1);
  571. return Changed;
  572. case LibFunc_feof:
  573. Changed |= setRetAndArgsNoUndef(F);
  574. Changed |= setDoesNotThrow(F);
  575. Changed |= setDoesNotCapture(F, 0);
  576. return Changed;
  577. case LibFunc_free:
  578. case LibFunc_vec_free:
  579. Changed |= setOnlyAccessesInaccessibleMemOrArgMem(F);
  580. Changed |= setArgsNoUndef(F);
  581. Changed |= setDoesNotThrow(F);
  582. Changed |= setWillReturn(F);
  583. Changed |= setDoesNotCapture(F, 0);
  584. return Changed;
  585. case LibFunc_fseek:
  586. case LibFunc_ftell:
  587. case LibFunc_fgetc:
  588. case LibFunc_fgetc_unlocked:
  589. case LibFunc_fseeko:
  590. case LibFunc_ftello:
  591. case LibFunc_fileno:
  592. case LibFunc_fflush:
  593. case LibFunc_fclose:
  594. case LibFunc_fsetpos:
  595. case LibFunc_flockfile:
  596. case LibFunc_funlockfile:
  597. case LibFunc_ftrylockfile:
  598. Changed |= setRetAndArgsNoUndef(F);
  599. Changed |= setDoesNotThrow(F);
  600. Changed |= setDoesNotCapture(F, 0);
  601. return Changed;
  602. case LibFunc_ferror:
  603. Changed |= setRetAndArgsNoUndef(F);
  604. Changed |= setDoesNotThrow(F);
  605. Changed |= setDoesNotCapture(F, 0);
  606. Changed |= setOnlyReadsMemory(F);
  607. return Changed;
  608. case LibFunc_fputc:
  609. case LibFunc_fputc_unlocked:
  610. case LibFunc_fstat:
  611. Changed |= setRetAndArgsNoUndef(F);
  612. Changed |= setDoesNotThrow(F);
  613. Changed |= setDoesNotCapture(F, 1);
  614. return Changed;
  615. case LibFunc_frexp:
  616. case LibFunc_frexpf:
  617. case LibFunc_frexpl:
  618. Changed |= setDoesNotThrow(F);
  619. Changed |= setWillReturn(F);
  620. Changed |= setDoesNotCapture(F, 1);
  621. return Changed;
  622. case LibFunc_fstatvfs:
  623. Changed |= setRetAndArgsNoUndef(F);
  624. Changed |= setDoesNotThrow(F);
  625. Changed |= setDoesNotCapture(F, 1);
  626. return Changed;
  627. case LibFunc_fgets:
  628. case LibFunc_fgets_unlocked:
  629. Changed |= setRetAndArgsNoUndef(F);
  630. Changed |= setDoesNotThrow(F);
  631. Changed |= setDoesNotCapture(F, 2);
  632. return Changed;
  633. case LibFunc_fread:
  634. case LibFunc_fread_unlocked:
  635. Changed |= setRetAndArgsNoUndef(F);
  636. Changed |= setDoesNotThrow(F);
  637. Changed |= setDoesNotCapture(F, 0);
  638. Changed |= setDoesNotCapture(F, 3);
  639. return Changed;
  640. case LibFunc_fwrite:
  641. case LibFunc_fwrite_unlocked:
  642. Changed |= setRetAndArgsNoUndef(F);
  643. Changed |= setDoesNotThrow(F);
  644. Changed |= setDoesNotCapture(F, 0);
  645. Changed |= setDoesNotCapture(F, 3);
  646. // FIXME: readonly #1?
  647. return Changed;
  648. case LibFunc_fputs:
  649. case LibFunc_fputs_unlocked:
  650. Changed |= setRetAndArgsNoUndef(F);
  651. Changed |= setDoesNotThrow(F);
  652. Changed |= setDoesNotCapture(F, 0);
  653. Changed |= setDoesNotCapture(F, 1);
  654. Changed |= setOnlyReadsMemory(F, 0);
  655. return Changed;
  656. case LibFunc_fscanf:
  657. case LibFunc_fprintf:
  658. Changed |= setRetAndArgsNoUndef(F);
  659. Changed |= setDoesNotThrow(F);
  660. Changed |= setDoesNotCapture(F, 0);
  661. Changed |= setDoesNotCapture(F, 1);
  662. Changed |= setOnlyReadsMemory(F, 1);
  663. return Changed;
  664. case LibFunc_fgetpos:
  665. Changed |= setRetAndArgsNoUndef(F);
  666. Changed |= setDoesNotThrow(F);
  667. Changed |= setDoesNotCapture(F, 0);
  668. Changed |= setDoesNotCapture(F, 1);
  669. return Changed;
  670. case LibFunc_getc:
  671. Changed |= setRetAndArgsNoUndef(F);
  672. Changed |= setDoesNotThrow(F);
  673. Changed |= setDoesNotCapture(F, 0);
  674. return Changed;
  675. case LibFunc_getlogin_r:
  676. Changed |= setRetAndArgsNoUndef(F);
  677. Changed |= setDoesNotThrow(F);
  678. Changed |= setDoesNotCapture(F, 0);
  679. return Changed;
  680. case LibFunc_getc_unlocked:
  681. Changed |= setRetAndArgsNoUndef(F);
  682. Changed |= setDoesNotThrow(F);
  683. Changed |= setDoesNotCapture(F, 0);
  684. return Changed;
  685. case LibFunc_getenv:
  686. Changed |= setRetAndArgsNoUndef(F);
  687. Changed |= setDoesNotThrow(F);
  688. Changed |= setOnlyReadsMemory(F);
  689. Changed |= setDoesNotCapture(F, 0);
  690. return Changed;
  691. case LibFunc_gets:
  692. case LibFunc_getchar:
  693. case LibFunc_getchar_unlocked:
  694. Changed |= setRetAndArgsNoUndef(F);
  695. Changed |= setDoesNotThrow(F);
  696. return Changed;
  697. case LibFunc_getitimer:
  698. Changed |= setRetAndArgsNoUndef(F);
  699. Changed |= setDoesNotThrow(F);
  700. Changed |= setDoesNotCapture(F, 1);
  701. return Changed;
  702. case LibFunc_getpwnam:
  703. Changed |= setRetAndArgsNoUndef(F);
  704. Changed |= setDoesNotThrow(F);
  705. Changed |= setDoesNotCapture(F, 0);
  706. Changed |= setOnlyReadsMemory(F, 0);
  707. return Changed;
  708. case LibFunc_ungetc:
  709. Changed |= setRetAndArgsNoUndef(F);
  710. Changed |= setDoesNotThrow(F);
  711. Changed |= setDoesNotCapture(F, 1);
  712. return Changed;
  713. case LibFunc_uname:
  714. Changed |= setRetAndArgsNoUndef(F);
  715. Changed |= setDoesNotThrow(F);
  716. Changed |= setDoesNotCapture(F, 0);
  717. return Changed;
  718. case LibFunc_unlink:
  719. Changed |= setRetAndArgsNoUndef(F);
  720. Changed |= setDoesNotThrow(F);
  721. Changed |= setDoesNotCapture(F, 0);
  722. Changed |= setOnlyReadsMemory(F, 0);
  723. return Changed;
  724. case LibFunc_unsetenv:
  725. Changed |= setRetAndArgsNoUndef(F);
  726. Changed |= setDoesNotThrow(F);
  727. Changed |= setDoesNotCapture(F, 0);
  728. Changed |= setOnlyReadsMemory(F, 0);
  729. return Changed;
  730. case LibFunc_utime:
  731. case LibFunc_utimes:
  732. Changed |= setRetAndArgsNoUndef(F);
  733. Changed |= setDoesNotThrow(F);
  734. Changed |= setDoesNotCapture(F, 0);
  735. Changed |= setDoesNotCapture(F, 1);
  736. Changed |= setOnlyReadsMemory(F, 0);
  737. Changed |= setOnlyReadsMemory(F, 1);
  738. return Changed;
  739. case LibFunc_putc:
  740. case LibFunc_putc_unlocked:
  741. Changed |= setRetAndArgsNoUndef(F);
  742. Changed |= setDoesNotThrow(F);
  743. Changed |= setDoesNotCapture(F, 1);
  744. return Changed;
  745. case LibFunc_puts:
  746. case LibFunc_printf:
  747. case LibFunc_perror:
  748. Changed |= setRetAndArgsNoUndef(F);
  749. Changed |= setDoesNotThrow(F);
  750. Changed |= setDoesNotCapture(F, 0);
  751. Changed |= setOnlyReadsMemory(F, 0);
  752. return Changed;
  753. case LibFunc_pread:
  754. // May throw; "pread" is a valid pthread cancellation point.
  755. Changed |= setRetAndArgsNoUndef(F);
  756. Changed |= setDoesNotCapture(F, 1);
  757. return Changed;
  758. case LibFunc_pwrite:
  759. // May throw; "pwrite" is a valid pthread cancellation point.
  760. Changed |= setRetAndArgsNoUndef(F);
  761. Changed |= setDoesNotCapture(F, 1);
  762. Changed |= setOnlyReadsMemory(F, 1);
  763. return Changed;
  764. case LibFunc_putchar:
  765. case LibFunc_putchar_unlocked:
  766. Changed |= setRetAndArgsNoUndef(F);
  767. Changed |= setDoesNotThrow(F);
  768. return Changed;
  769. case LibFunc_popen:
  770. Changed |= setRetAndArgsNoUndef(F);
  771. Changed |= setDoesNotThrow(F);
  772. Changed |= setRetDoesNotAlias(F);
  773. Changed |= setDoesNotCapture(F, 0);
  774. Changed |= setDoesNotCapture(F, 1);
  775. Changed |= setOnlyReadsMemory(F, 0);
  776. Changed |= setOnlyReadsMemory(F, 1);
  777. return Changed;
  778. case LibFunc_pclose:
  779. Changed |= setRetAndArgsNoUndef(F);
  780. Changed |= setDoesNotThrow(F);
  781. Changed |= setDoesNotCapture(F, 0);
  782. return Changed;
  783. case LibFunc_vscanf:
  784. Changed |= setRetAndArgsNoUndef(F);
  785. Changed |= setDoesNotThrow(F);
  786. Changed |= setDoesNotCapture(F, 0);
  787. Changed |= setOnlyReadsMemory(F, 0);
  788. return Changed;
  789. case LibFunc_vsscanf:
  790. Changed |= setRetAndArgsNoUndef(F);
  791. Changed |= setDoesNotThrow(F);
  792. Changed |= setDoesNotCapture(F, 0);
  793. Changed |= setDoesNotCapture(F, 1);
  794. Changed |= setOnlyReadsMemory(F, 0);
  795. Changed |= setOnlyReadsMemory(F, 1);
  796. return Changed;
  797. case LibFunc_vfscanf:
  798. Changed |= setRetAndArgsNoUndef(F);
  799. Changed |= setDoesNotThrow(F);
  800. Changed |= setDoesNotCapture(F, 0);
  801. Changed |= setDoesNotCapture(F, 1);
  802. Changed |= setOnlyReadsMemory(F, 1);
  803. return Changed;
  804. case LibFunc_valloc:
  805. Changed |= setOnlyAccessesInaccessibleMemory(F);
  806. Changed |= setRetNoUndef(F);
  807. Changed |= setDoesNotThrow(F);
  808. Changed |= setRetDoesNotAlias(F);
  809. Changed |= setWillReturn(F);
  810. return Changed;
  811. case LibFunc_vprintf:
  812. Changed |= setRetAndArgsNoUndef(F);
  813. Changed |= setDoesNotThrow(F);
  814. Changed |= setDoesNotCapture(F, 0);
  815. Changed |= setOnlyReadsMemory(F, 0);
  816. return Changed;
  817. case LibFunc_vfprintf:
  818. case LibFunc_vsprintf:
  819. Changed |= setRetAndArgsNoUndef(F);
  820. Changed |= setDoesNotThrow(F);
  821. Changed |= setDoesNotCapture(F, 0);
  822. Changed |= setDoesNotCapture(F, 1);
  823. Changed |= setOnlyReadsMemory(F, 1);
  824. return Changed;
  825. case LibFunc_vsnprintf:
  826. Changed |= setRetAndArgsNoUndef(F);
  827. Changed |= setDoesNotThrow(F);
  828. Changed |= setDoesNotCapture(F, 0);
  829. Changed |= setDoesNotCapture(F, 2);
  830. Changed |= setOnlyReadsMemory(F, 2);
  831. return Changed;
  832. case LibFunc_open:
  833. // May throw; "open" is a valid pthread cancellation point.
  834. Changed |= setRetAndArgsNoUndef(F);
  835. Changed |= setDoesNotCapture(F, 0);
  836. Changed |= setOnlyReadsMemory(F, 0);
  837. return Changed;
  838. case LibFunc_opendir:
  839. Changed |= setRetAndArgsNoUndef(F);
  840. Changed |= setDoesNotThrow(F);
  841. Changed |= setRetDoesNotAlias(F);
  842. Changed |= setDoesNotCapture(F, 0);
  843. Changed |= setOnlyReadsMemory(F, 0);
  844. return Changed;
  845. case LibFunc_tmpfile:
  846. Changed |= setRetAndArgsNoUndef(F);
  847. Changed |= setDoesNotThrow(F);
  848. Changed |= setRetDoesNotAlias(F);
  849. return Changed;
  850. case LibFunc_times:
  851. Changed |= setRetAndArgsNoUndef(F);
  852. Changed |= setDoesNotThrow(F);
  853. Changed |= setDoesNotCapture(F, 0);
  854. return Changed;
  855. case LibFunc_htonl:
  856. case LibFunc_htons:
  857. case LibFunc_ntohl:
  858. case LibFunc_ntohs:
  859. Changed |= setDoesNotThrow(F);
  860. Changed |= setDoesNotAccessMemory(F);
  861. return Changed;
  862. case LibFunc_lstat:
  863. Changed |= setRetAndArgsNoUndef(F);
  864. Changed |= setDoesNotThrow(F);
  865. Changed |= setDoesNotCapture(F, 0);
  866. Changed |= setDoesNotCapture(F, 1);
  867. Changed |= setOnlyReadsMemory(F, 0);
  868. return Changed;
  869. case LibFunc_lchown:
  870. Changed |= setRetAndArgsNoUndef(F);
  871. Changed |= setDoesNotThrow(F);
  872. Changed |= setDoesNotCapture(F, 0);
  873. Changed |= setOnlyReadsMemory(F, 0);
  874. return Changed;
  875. case LibFunc_qsort:
  876. // May throw; places call through function pointer.
  877. // Cannot give undef pointer/size
  878. Changed |= setRetAndArgsNoUndef(F);
  879. Changed |= setDoesNotCapture(F, 3);
  880. return Changed;
  881. case LibFunc_dunder_strdup:
  882. case LibFunc_dunder_strndup:
  883. Changed |= setDoesNotThrow(F);
  884. Changed |= setRetDoesNotAlias(F);
  885. Changed |= setWillReturn(F);
  886. Changed |= setDoesNotCapture(F, 0);
  887. Changed |= setOnlyReadsMemory(F, 0);
  888. return Changed;
  889. case LibFunc_dunder_strtok_r:
  890. Changed |= setDoesNotThrow(F);
  891. Changed |= setDoesNotCapture(F, 1);
  892. Changed |= setOnlyReadsMemory(F, 1);
  893. return Changed;
  894. case LibFunc_under_IO_getc:
  895. Changed |= setRetAndArgsNoUndef(F);
  896. Changed |= setDoesNotThrow(F);
  897. Changed |= setDoesNotCapture(F, 0);
  898. return Changed;
  899. case LibFunc_under_IO_putc:
  900. Changed |= setRetAndArgsNoUndef(F);
  901. Changed |= setDoesNotThrow(F);
  902. Changed |= setDoesNotCapture(F, 1);
  903. return Changed;
  904. case LibFunc_dunder_isoc99_scanf:
  905. Changed |= setRetAndArgsNoUndef(F);
  906. Changed |= setDoesNotThrow(F);
  907. Changed |= setDoesNotCapture(F, 0);
  908. Changed |= setOnlyReadsMemory(F, 0);
  909. return Changed;
  910. case LibFunc_stat64:
  911. case LibFunc_lstat64:
  912. case LibFunc_statvfs64:
  913. Changed |= setRetAndArgsNoUndef(F);
  914. Changed |= setDoesNotThrow(F);
  915. Changed |= setDoesNotCapture(F, 0);
  916. Changed |= setDoesNotCapture(F, 1);
  917. Changed |= setOnlyReadsMemory(F, 0);
  918. return Changed;
  919. case LibFunc_dunder_isoc99_sscanf:
  920. Changed |= setRetAndArgsNoUndef(F);
  921. Changed |= setDoesNotThrow(F);
  922. Changed |= setDoesNotCapture(F, 0);
  923. Changed |= setDoesNotCapture(F, 1);
  924. Changed |= setOnlyReadsMemory(F, 0);
  925. Changed |= setOnlyReadsMemory(F, 1);
  926. return Changed;
  927. case LibFunc_fopen64:
  928. Changed |= setRetAndArgsNoUndef(F);
  929. Changed |= setDoesNotThrow(F);
  930. Changed |= setRetDoesNotAlias(F);
  931. Changed |= setDoesNotCapture(F, 0);
  932. Changed |= setDoesNotCapture(F, 1);
  933. Changed |= setOnlyReadsMemory(F, 0);
  934. Changed |= setOnlyReadsMemory(F, 1);
  935. return Changed;
  936. case LibFunc_fseeko64:
  937. case LibFunc_ftello64:
  938. Changed |= setRetAndArgsNoUndef(F);
  939. Changed |= setDoesNotThrow(F);
  940. Changed |= setDoesNotCapture(F, 0);
  941. return Changed;
  942. case LibFunc_tmpfile64:
  943. Changed |= setRetAndArgsNoUndef(F);
  944. Changed |= setDoesNotThrow(F);
  945. Changed |= setRetDoesNotAlias(F);
  946. return Changed;
  947. case LibFunc_fstat64:
  948. case LibFunc_fstatvfs64:
  949. Changed |= setRetAndArgsNoUndef(F);
  950. Changed |= setDoesNotThrow(F);
  951. Changed |= setDoesNotCapture(F, 1);
  952. return Changed;
  953. case LibFunc_open64:
  954. // May throw; "open" is a valid pthread cancellation point.
  955. Changed |= setRetAndArgsNoUndef(F);
  956. Changed |= setDoesNotCapture(F, 0);
  957. Changed |= setOnlyReadsMemory(F, 0);
  958. return Changed;
  959. case LibFunc_gettimeofday:
  960. // Currently some platforms have the restrict keyword on the arguments to
  961. // gettimeofday. To be conservative, do not add noalias to gettimeofday's
  962. // arguments.
  963. Changed |= setRetAndArgsNoUndef(F);
  964. Changed |= setDoesNotThrow(F);
  965. Changed |= setDoesNotCapture(F, 0);
  966. Changed |= setDoesNotCapture(F, 1);
  967. return Changed;
  968. // TODO: add LibFunc entries for:
  969. // case LibFunc_memset_pattern4:
  970. // case LibFunc_memset_pattern8:
  971. case LibFunc_memset_pattern16:
  972. Changed |= setOnlyAccessesArgMemory(F);
  973. Changed |= setDoesNotCapture(F, 0);
  974. Changed |= setOnlyWritesMemory(F, 0);
  975. Changed |= setDoesNotCapture(F, 1);
  976. Changed |= setOnlyReadsMemory(F, 1);
  977. return Changed;
  978. case LibFunc_memset:
  979. Changed |= setOnlyAccessesArgMemory(F);
  980. Changed |= setWillReturn(F);
  981. Changed |= setDoesNotThrow(F);
  982. Changed |= setOnlyWritesMemory(F, 0);
  983. return Changed;
  984. // int __nvvm_reflect(const char *)
  985. case LibFunc_nvvm_reflect:
  986. Changed |= setRetAndArgsNoUndef(F);
  987. Changed |= setDoesNotAccessMemory(F);
  988. Changed |= setDoesNotThrow(F);
  989. return Changed;
  990. case LibFunc_ldexp:
  991. case LibFunc_ldexpf:
  992. case LibFunc_ldexpl:
  993. Changed |= setSignExtendedArg(F, 1);
  994. Changed |= setWillReturn(F);
  995. return Changed;
  996. case LibFunc_abs:
  997. case LibFunc_acos:
  998. case LibFunc_acosf:
  999. case LibFunc_acosh:
  1000. case LibFunc_acoshf:
  1001. case LibFunc_acoshl:
  1002. case LibFunc_acosl:
  1003. case LibFunc_asin:
  1004. case LibFunc_asinf:
  1005. case LibFunc_asinh:
  1006. case LibFunc_asinhf:
  1007. case LibFunc_asinhl:
  1008. case LibFunc_asinl:
  1009. case LibFunc_atan:
  1010. case LibFunc_atan2:
  1011. case LibFunc_atan2f:
  1012. case LibFunc_atan2l:
  1013. case LibFunc_atanf:
  1014. case LibFunc_atanh:
  1015. case LibFunc_atanhf:
  1016. case LibFunc_atanhl:
  1017. case LibFunc_atanl:
  1018. case LibFunc_cbrt:
  1019. case LibFunc_cbrtf:
  1020. case LibFunc_cbrtl:
  1021. case LibFunc_ceil:
  1022. case LibFunc_ceilf:
  1023. case LibFunc_ceill:
  1024. case LibFunc_copysign:
  1025. case LibFunc_copysignf:
  1026. case LibFunc_copysignl:
  1027. case LibFunc_cos:
  1028. case LibFunc_cosh:
  1029. case LibFunc_coshf:
  1030. case LibFunc_coshl:
  1031. case LibFunc_cosf:
  1032. case LibFunc_cosl:
  1033. case LibFunc_cospi:
  1034. case LibFunc_cospif:
  1035. case LibFunc_exp:
  1036. case LibFunc_expf:
  1037. case LibFunc_expl:
  1038. case LibFunc_exp2:
  1039. case LibFunc_exp2f:
  1040. case LibFunc_exp2l:
  1041. case LibFunc_expm1:
  1042. case LibFunc_expm1f:
  1043. case LibFunc_expm1l:
  1044. case LibFunc_fabs:
  1045. case LibFunc_fabsf:
  1046. case LibFunc_fabsl:
  1047. case LibFunc_ffs:
  1048. case LibFunc_ffsl:
  1049. case LibFunc_ffsll:
  1050. case LibFunc_floor:
  1051. case LibFunc_floorf:
  1052. case LibFunc_floorl:
  1053. case LibFunc_fls:
  1054. case LibFunc_flsl:
  1055. case LibFunc_flsll:
  1056. case LibFunc_fmax:
  1057. case LibFunc_fmaxf:
  1058. case LibFunc_fmaxl:
  1059. case LibFunc_fmin:
  1060. case LibFunc_fminf:
  1061. case LibFunc_fminl:
  1062. case LibFunc_fmod:
  1063. case LibFunc_fmodf:
  1064. case LibFunc_fmodl:
  1065. case LibFunc_isascii:
  1066. case LibFunc_isdigit:
  1067. case LibFunc_labs:
  1068. case LibFunc_llabs:
  1069. case LibFunc_log:
  1070. case LibFunc_log10:
  1071. case LibFunc_log10f:
  1072. case LibFunc_log10l:
  1073. case LibFunc_log1p:
  1074. case LibFunc_log1pf:
  1075. case LibFunc_log1pl:
  1076. case LibFunc_log2:
  1077. case LibFunc_log2f:
  1078. case LibFunc_log2l:
  1079. case LibFunc_logb:
  1080. case LibFunc_logbf:
  1081. case LibFunc_logbl:
  1082. case LibFunc_logf:
  1083. case LibFunc_logl:
  1084. case LibFunc_nearbyint:
  1085. case LibFunc_nearbyintf:
  1086. case LibFunc_nearbyintl:
  1087. case LibFunc_pow:
  1088. case LibFunc_powf:
  1089. case LibFunc_powl:
  1090. case LibFunc_rint:
  1091. case LibFunc_rintf:
  1092. case LibFunc_rintl:
  1093. case LibFunc_round:
  1094. case LibFunc_roundf:
  1095. case LibFunc_roundl:
  1096. case LibFunc_sin:
  1097. case LibFunc_sincospif_stret:
  1098. case LibFunc_sinf:
  1099. case LibFunc_sinh:
  1100. case LibFunc_sinhf:
  1101. case LibFunc_sinhl:
  1102. case LibFunc_sinl:
  1103. case LibFunc_sinpi:
  1104. case LibFunc_sinpif:
  1105. case LibFunc_sqrt:
  1106. case LibFunc_sqrtf:
  1107. case LibFunc_sqrtl:
  1108. case LibFunc_strnlen:
  1109. case LibFunc_tan:
  1110. case LibFunc_tanf:
  1111. case LibFunc_tanh:
  1112. case LibFunc_tanhf:
  1113. case LibFunc_tanhl:
  1114. case LibFunc_tanl:
  1115. case LibFunc_toascii:
  1116. case LibFunc_trunc:
  1117. case LibFunc_truncf:
  1118. case LibFunc_truncl:
  1119. Changed |= setDoesNotThrow(F);
  1120. Changed |= setDoesNotFreeMemory(F);
  1121. Changed |= setWillReturn(F);
  1122. return Changed;
  1123. default:
  1124. // FIXME: It'd be really nice to cover all the library functions we're
  1125. // aware of here.
  1126. return false;
  1127. }
  1128. }
  1129. bool llvm::hasFloatFn(const TargetLibraryInfo *TLI, Type *Ty,
  1130. LibFunc DoubleFn, LibFunc FloatFn, LibFunc LongDoubleFn) {
  1131. switch (Ty->getTypeID()) {
  1132. case Type::HalfTyID:
  1133. return false;
  1134. case Type::FloatTyID:
  1135. return TLI->has(FloatFn);
  1136. case Type::DoubleTyID:
  1137. return TLI->has(DoubleFn);
  1138. default:
  1139. return TLI->has(LongDoubleFn);
  1140. }
  1141. }
  1142. StringRef llvm::getFloatFnName(const TargetLibraryInfo *TLI, Type *Ty,
  1143. LibFunc DoubleFn, LibFunc FloatFn,
  1144. LibFunc LongDoubleFn) {
  1145. assert(hasFloatFn(TLI, Ty, DoubleFn, FloatFn, LongDoubleFn) &&
  1146. "Cannot get name for unavailable function!");
  1147. switch (Ty->getTypeID()) {
  1148. case Type::HalfTyID:
  1149. llvm_unreachable("No name for HalfTy!");
  1150. case Type::FloatTyID:
  1151. return TLI->getName(FloatFn);
  1152. case Type::DoubleTyID:
  1153. return TLI->getName(DoubleFn);
  1154. default:
  1155. return TLI->getName(LongDoubleFn);
  1156. }
  1157. }
  1158. //- Emit LibCalls ------------------------------------------------------------//
  1159. Value *llvm::castToCStr(Value *V, IRBuilderBase &B) {
  1160. unsigned AS = V->getType()->getPointerAddressSpace();
  1161. return B.CreateBitCast(V, B.getInt8PtrTy(AS), "cstr");
  1162. }
  1163. static Value *emitLibCall(LibFunc TheLibFunc, Type *ReturnType,
  1164. ArrayRef<Type *> ParamTypes,
  1165. ArrayRef<Value *> Operands, IRBuilderBase &B,
  1166. const TargetLibraryInfo *TLI,
  1167. bool IsVaArgs = false) {
  1168. if (!TLI->has(TheLibFunc))
  1169. return nullptr;
  1170. Module *M = B.GetInsertBlock()->getModule();
  1171. StringRef FuncName = TLI->getName(TheLibFunc);
  1172. FunctionType *FuncType = FunctionType::get(ReturnType, ParamTypes, IsVaArgs);
  1173. FunctionCallee Callee = M->getOrInsertFunction(FuncName, FuncType);
  1174. inferLibFuncAttributes(M, FuncName, *TLI);
  1175. CallInst *CI = B.CreateCall(Callee, Operands, FuncName);
  1176. if (const Function *F =
  1177. dyn_cast<Function>(Callee.getCallee()->stripPointerCasts()))
  1178. CI->setCallingConv(F->getCallingConv());
  1179. return CI;
  1180. }
  1181. Value *llvm::emitStrLen(Value *Ptr, IRBuilderBase &B, const DataLayout &DL,
  1182. const TargetLibraryInfo *TLI) {
  1183. LLVMContext &Context = B.GetInsertBlock()->getContext();
  1184. return emitLibCall(LibFunc_strlen, DL.getIntPtrType(Context),
  1185. B.getInt8PtrTy(), castToCStr(Ptr, B), B, TLI);
  1186. }
  1187. Value *llvm::emitStrDup(Value *Ptr, IRBuilderBase &B,
  1188. const TargetLibraryInfo *TLI) {
  1189. return emitLibCall(LibFunc_strdup, B.getInt8PtrTy(), B.getInt8PtrTy(),
  1190. castToCStr(Ptr, B), B, TLI);
  1191. }
  1192. Value *llvm::emitStrChr(Value *Ptr, char C, IRBuilderBase &B,
  1193. const TargetLibraryInfo *TLI) {
  1194. Type *I8Ptr = B.getInt8PtrTy();
  1195. Type *I32Ty = B.getInt32Ty();
  1196. return emitLibCall(LibFunc_strchr, I8Ptr, {I8Ptr, I32Ty},
  1197. {castToCStr(Ptr, B), ConstantInt::get(I32Ty, C)}, B, TLI);
  1198. }
  1199. Value *llvm::emitStrNCmp(Value *Ptr1, Value *Ptr2, Value *Len, IRBuilderBase &B,
  1200. const DataLayout &DL, const TargetLibraryInfo *TLI) {
  1201. LLVMContext &Context = B.GetInsertBlock()->getContext();
  1202. return emitLibCall(
  1203. LibFunc_strncmp, B.getInt32Ty(),
  1204. {B.getInt8PtrTy(), B.getInt8PtrTy(), DL.getIntPtrType(Context)},
  1205. {castToCStr(Ptr1, B), castToCStr(Ptr2, B), Len}, B, TLI);
  1206. }
  1207. Value *llvm::emitStrCpy(Value *Dst, Value *Src, IRBuilderBase &B,
  1208. const TargetLibraryInfo *TLI) {
  1209. Type *I8Ptr = B.getInt8PtrTy();
  1210. return emitLibCall(LibFunc_strcpy, I8Ptr, {I8Ptr, I8Ptr},
  1211. {castToCStr(Dst, B), castToCStr(Src, B)}, B, TLI);
  1212. }
  1213. Value *llvm::emitStpCpy(Value *Dst, Value *Src, IRBuilderBase &B,
  1214. const TargetLibraryInfo *TLI) {
  1215. Type *I8Ptr = B.getInt8PtrTy();
  1216. return emitLibCall(LibFunc_stpcpy, I8Ptr, {I8Ptr, I8Ptr},
  1217. {castToCStr(Dst, B), castToCStr(Src, B)}, B, TLI);
  1218. }
  1219. Value *llvm::emitStrNCpy(Value *Dst, Value *Src, Value *Len, IRBuilderBase &B,
  1220. const TargetLibraryInfo *TLI) {
  1221. Type *I8Ptr = B.getInt8PtrTy();
  1222. return emitLibCall(LibFunc_strncpy, I8Ptr, {I8Ptr, I8Ptr, Len->getType()},
  1223. {castToCStr(Dst, B), castToCStr(Src, B), Len}, B, TLI);
  1224. }
  1225. Value *llvm::emitStpNCpy(Value *Dst, Value *Src, Value *Len, IRBuilderBase &B,
  1226. const TargetLibraryInfo *TLI) {
  1227. Type *I8Ptr = B.getInt8PtrTy();
  1228. return emitLibCall(LibFunc_stpncpy, I8Ptr, {I8Ptr, I8Ptr, Len->getType()},
  1229. {castToCStr(Dst, B), castToCStr(Src, B), Len}, B, TLI);
  1230. }
  1231. Value *llvm::emitMemCpyChk(Value *Dst, Value *Src, Value *Len, Value *ObjSize,
  1232. IRBuilderBase &B, const DataLayout &DL,
  1233. const TargetLibraryInfo *TLI) {
  1234. if (!TLI->has(LibFunc_memcpy_chk))
  1235. return nullptr;
  1236. Module *M = B.GetInsertBlock()->getModule();
  1237. AttributeList AS;
  1238. AS = AttributeList::get(M->getContext(), AttributeList::FunctionIndex,
  1239. Attribute::NoUnwind);
  1240. LLVMContext &Context = B.GetInsertBlock()->getContext();
  1241. FunctionCallee MemCpy = M->getOrInsertFunction(
  1242. "__memcpy_chk", AttributeList::get(M->getContext(), AS), B.getInt8PtrTy(),
  1243. B.getInt8PtrTy(), B.getInt8PtrTy(), DL.getIntPtrType(Context),
  1244. DL.getIntPtrType(Context));
  1245. Dst = castToCStr(Dst, B);
  1246. Src = castToCStr(Src, B);
  1247. CallInst *CI = B.CreateCall(MemCpy, {Dst, Src, Len, ObjSize});
  1248. if (const Function *F =
  1249. dyn_cast<Function>(MemCpy.getCallee()->stripPointerCasts()))
  1250. CI->setCallingConv(F->getCallingConv());
  1251. return CI;
  1252. }
  1253. Value *llvm::emitMemPCpy(Value *Dst, Value *Src, Value *Len, IRBuilderBase &B,
  1254. const DataLayout &DL, const TargetLibraryInfo *TLI) {
  1255. LLVMContext &Context = B.GetInsertBlock()->getContext();
  1256. return emitLibCall(
  1257. LibFunc_mempcpy, B.getInt8PtrTy(),
  1258. {B.getInt8PtrTy(), B.getInt8PtrTy(), DL.getIntPtrType(Context)},
  1259. {Dst, Src, Len}, B, TLI);
  1260. }
  1261. Value *llvm::emitMemChr(Value *Ptr, Value *Val, Value *Len, IRBuilderBase &B,
  1262. const DataLayout &DL, const TargetLibraryInfo *TLI) {
  1263. LLVMContext &Context = B.GetInsertBlock()->getContext();
  1264. return emitLibCall(
  1265. LibFunc_memchr, B.getInt8PtrTy(),
  1266. {B.getInt8PtrTy(), B.getInt32Ty(), DL.getIntPtrType(Context)},
  1267. {castToCStr(Ptr, B), Val, Len}, B, TLI);
  1268. }
  1269. Value *llvm::emitMemCmp(Value *Ptr1, Value *Ptr2, Value *Len, IRBuilderBase &B,
  1270. const DataLayout &DL, const TargetLibraryInfo *TLI) {
  1271. LLVMContext &Context = B.GetInsertBlock()->getContext();
  1272. return emitLibCall(
  1273. LibFunc_memcmp, B.getInt32Ty(),
  1274. {B.getInt8PtrTy(), B.getInt8PtrTy(), DL.getIntPtrType(Context)},
  1275. {castToCStr(Ptr1, B), castToCStr(Ptr2, B), Len}, B, TLI);
  1276. }
  1277. Value *llvm::emitBCmp(Value *Ptr1, Value *Ptr2, Value *Len, IRBuilderBase &B,
  1278. const DataLayout &DL, const TargetLibraryInfo *TLI) {
  1279. LLVMContext &Context = B.GetInsertBlock()->getContext();
  1280. return emitLibCall(
  1281. LibFunc_bcmp, B.getInt32Ty(),
  1282. {B.getInt8PtrTy(), B.getInt8PtrTy(), DL.getIntPtrType(Context)},
  1283. {castToCStr(Ptr1, B), castToCStr(Ptr2, B), Len}, B, TLI);
  1284. }
  1285. Value *llvm::emitMemCCpy(Value *Ptr1, Value *Ptr2, Value *Val, Value *Len,
  1286. IRBuilderBase &B, const TargetLibraryInfo *TLI) {
  1287. return emitLibCall(
  1288. LibFunc_memccpy, B.getInt8PtrTy(),
  1289. {B.getInt8PtrTy(), B.getInt8PtrTy(), B.getInt32Ty(), Len->getType()},
  1290. {Ptr1, Ptr2, Val, Len}, B, TLI);
  1291. }
  1292. Value *llvm::emitSNPrintf(Value *Dest, Value *Size, Value *Fmt,
  1293. ArrayRef<Value *> VariadicArgs, IRBuilderBase &B,
  1294. const TargetLibraryInfo *TLI) {
  1295. SmallVector<Value *, 8> Args{castToCStr(Dest, B), Size, castToCStr(Fmt, B)};
  1296. llvm::append_range(Args, VariadicArgs);
  1297. return emitLibCall(LibFunc_snprintf, B.getInt32Ty(),
  1298. {B.getInt8PtrTy(), Size->getType(), B.getInt8PtrTy()},
  1299. Args, B, TLI, /*IsVaArgs=*/true);
  1300. }
  1301. Value *llvm::emitSPrintf(Value *Dest, Value *Fmt,
  1302. ArrayRef<Value *> VariadicArgs, IRBuilderBase &B,
  1303. const TargetLibraryInfo *TLI) {
  1304. SmallVector<Value *, 8> Args{castToCStr(Dest, B), castToCStr(Fmt, B)};
  1305. llvm::append_range(Args, VariadicArgs);
  1306. return emitLibCall(LibFunc_sprintf, B.getInt32Ty(),
  1307. {B.getInt8PtrTy(), B.getInt8PtrTy()}, Args, B, TLI,
  1308. /*IsVaArgs=*/true);
  1309. }
  1310. Value *llvm::emitStrCat(Value *Dest, Value *Src, IRBuilderBase &B,
  1311. const TargetLibraryInfo *TLI) {
  1312. return emitLibCall(LibFunc_strcat, B.getInt8PtrTy(),
  1313. {B.getInt8PtrTy(), B.getInt8PtrTy()},
  1314. {castToCStr(Dest, B), castToCStr(Src, B)}, B, TLI);
  1315. }
  1316. Value *llvm::emitStrLCpy(Value *Dest, Value *Src, Value *Size, IRBuilderBase &B,
  1317. const TargetLibraryInfo *TLI) {
  1318. return emitLibCall(LibFunc_strlcpy, Size->getType(),
  1319. {B.getInt8PtrTy(), B.getInt8PtrTy(), Size->getType()},
  1320. {castToCStr(Dest, B), castToCStr(Src, B), Size}, B, TLI);
  1321. }
  1322. Value *llvm::emitStrLCat(Value *Dest, Value *Src, Value *Size, IRBuilderBase &B,
  1323. const TargetLibraryInfo *TLI) {
  1324. return emitLibCall(LibFunc_strlcat, Size->getType(),
  1325. {B.getInt8PtrTy(), B.getInt8PtrTy(), Size->getType()},
  1326. {castToCStr(Dest, B), castToCStr(Src, B), Size}, B, TLI);
  1327. }
  1328. Value *llvm::emitStrNCat(Value *Dest, Value *Src, Value *Size, IRBuilderBase &B,
  1329. const TargetLibraryInfo *TLI) {
  1330. return emitLibCall(LibFunc_strncat, B.getInt8PtrTy(),
  1331. {B.getInt8PtrTy(), B.getInt8PtrTy(), Size->getType()},
  1332. {castToCStr(Dest, B), castToCStr(Src, B), Size}, B, TLI);
  1333. }
  1334. Value *llvm::emitVSNPrintf(Value *Dest, Value *Size, Value *Fmt, Value *VAList,
  1335. IRBuilderBase &B, const TargetLibraryInfo *TLI) {
  1336. return emitLibCall(
  1337. LibFunc_vsnprintf, B.getInt32Ty(),
  1338. {B.getInt8PtrTy(), Size->getType(), B.getInt8PtrTy(), VAList->getType()},
  1339. {castToCStr(Dest, B), Size, castToCStr(Fmt, B), VAList}, B, TLI);
  1340. }
  1341. Value *llvm::emitVSPrintf(Value *Dest, Value *Fmt, Value *VAList,
  1342. IRBuilderBase &B, const TargetLibraryInfo *TLI) {
  1343. return emitLibCall(LibFunc_vsprintf, B.getInt32Ty(),
  1344. {B.getInt8PtrTy(), B.getInt8PtrTy(), VAList->getType()},
  1345. {castToCStr(Dest, B), castToCStr(Fmt, B), VAList}, B, TLI);
  1346. }
  1347. /// Append a suffix to the function name according to the type of 'Op'.
  1348. static void appendTypeSuffix(Value *Op, StringRef &Name,
  1349. SmallString<20> &NameBuffer) {
  1350. if (!Op->getType()->isDoubleTy()) {
  1351. NameBuffer += Name;
  1352. if (Op->getType()->isFloatTy())
  1353. NameBuffer += 'f';
  1354. else
  1355. NameBuffer += 'l';
  1356. Name = NameBuffer;
  1357. }
  1358. }
  1359. static Value *emitUnaryFloatFnCallHelper(Value *Op, StringRef Name,
  1360. IRBuilderBase &B,
  1361. const AttributeList &Attrs) {
  1362. assert((Name != "") && "Must specify Name to emitUnaryFloatFnCall");
  1363. Module *M = B.GetInsertBlock()->getModule();
  1364. FunctionCallee Callee =
  1365. M->getOrInsertFunction(Name, Op->getType(), Op->getType());
  1366. CallInst *CI = B.CreateCall(Callee, Op, Name);
  1367. // The incoming attribute set may have come from a speculatable intrinsic, but
  1368. // is being replaced with a library call which is not allowed to be
  1369. // speculatable.
  1370. CI->setAttributes(Attrs.removeAttribute(B.getContext(),
  1371. AttributeList::FunctionIndex,
  1372. Attribute::Speculatable));
  1373. if (const Function *F =
  1374. dyn_cast<Function>(Callee.getCallee()->stripPointerCasts()))
  1375. CI->setCallingConv(F->getCallingConv());
  1376. return CI;
  1377. }
  1378. Value *llvm::emitUnaryFloatFnCall(Value *Op, StringRef Name, IRBuilderBase &B,
  1379. const AttributeList &Attrs) {
  1380. SmallString<20> NameBuffer;
  1381. appendTypeSuffix(Op, Name, NameBuffer);
  1382. return emitUnaryFloatFnCallHelper(Op, Name, B, Attrs);
  1383. }
  1384. Value *llvm::emitUnaryFloatFnCall(Value *Op, const TargetLibraryInfo *TLI,
  1385. LibFunc DoubleFn, LibFunc FloatFn,
  1386. LibFunc LongDoubleFn, IRBuilderBase &B,
  1387. const AttributeList &Attrs) {
  1388. // Get the name of the function according to TLI.
  1389. StringRef Name = getFloatFnName(TLI, Op->getType(),
  1390. DoubleFn, FloatFn, LongDoubleFn);
  1391. return emitUnaryFloatFnCallHelper(Op, Name, B, Attrs);
  1392. }
  1393. static Value *emitBinaryFloatFnCallHelper(Value *Op1, Value *Op2,
  1394. StringRef Name, IRBuilderBase &B,
  1395. const AttributeList &Attrs,
  1396. const TargetLibraryInfo *TLI = nullptr) {
  1397. assert((Name != "") && "Must specify Name to emitBinaryFloatFnCall");
  1398. Module *M = B.GetInsertBlock()->getModule();
  1399. FunctionCallee Callee = M->getOrInsertFunction(Name, Op1->getType(),
  1400. Op1->getType(), Op2->getType());
  1401. if (TLI != nullptr)
  1402. inferLibFuncAttributes(M, Name, *TLI);
  1403. CallInst *CI = B.CreateCall(Callee, { Op1, Op2 }, Name);
  1404. // The incoming attribute set may have come from a speculatable intrinsic, but
  1405. // is being replaced with a library call which is not allowed to be
  1406. // speculatable.
  1407. CI->setAttributes(Attrs.removeAttribute(B.getContext(),
  1408. AttributeList::FunctionIndex,
  1409. Attribute::Speculatable));
  1410. if (const Function *F =
  1411. dyn_cast<Function>(Callee.getCallee()->stripPointerCasts()))
  1412. CI->setCallingConv(F->getCallingConv());
  1413. return CI;
  1414. }
  1415. Value *llvm::emitBinaryFloatFnCall(Value *Op1, Value *Op2, StringRef Name,
  1416. IRBuilderBase &B,
  1417. const AttributeList &Attrs) {
  1418. assert((Name != "") && "Must specify Name to emitBinaryFloatFnCall");
  1419. SmallString<20> NameBuffer;
  1420. appendTypeSuffix(Op1, Name, NameBuffer);
  1421. return emitBinaryFloatFnCallHelper(Op1, Op2, Name, B, Attrs);
  1422. }
  1423. Value *llvm::emitBinaryFloatFnCall(Value *Op1, Value *Op2,
  1424. const TargetLibraryInfo *TLI,
  1425. LibFunc DoubleFn, LibFunc FloatFn,
  1426. LibFunc LongDoubleFn, IRBuilderBase &B,
  1427. const AttributeList &Attrs) {
  1428. // Get the name of the function according to TLI.
  1429. StringRef Name = getFloatFnName(TLI, Op1->getType(),
  1430. DoubleFn, FloatFn, LongDoubleFn);
  1431. return emitBinaryFloatFnCallHelper(Op1, Op2, Name, B, Attrs, TLI);
  1432. }
  1433. Value *llvm::emitPutChar(Value *Char, IRBuilderBase &B,
  1434. const TargetLibraryInfo *TLI) {
  1435. if (!TLI->has(LibFunc_putchar))
  1436. return nullptr;
  1437. Module *M = B.GetInsertBlock()->getModule();
  1438. StringRef PutCharName = TLI->getName(LibFunc_putchar);
  1439. FunctionCallee PutChar =
  1440. M->getOrInsertFunction(PutCharName, B.getInt32Ty(), B.getInt32Ty());
  1441. inferLibFuncAttributes(M, PutCharName, *TLI);
  1442. CallInst *CI = B.CreateCall(PutChar,
  1443. B.CreateIntCast(Char,
  1444. B.getInt32Ty(),
  1445. /*isSigned*/true,
  1446. "chari"),
  1447. PutCharName);
  1448. if (const Function *F =
  1449. dyn_cast<Function>(PutChar.getCallee()->stripPointerCasts()))
  1450. CI->setCallingConv(F->getCallingConv());
  1451. return CI;
  1452. }
  1453. Value *llvm::emitPutS(Value *Str, IRBuilderBase &B,
  1454. const TargetLibraryInfo *TLI) {
  1455. if (!TLI->has(LibFunc_puts))
  1456. return nullptr;
  1457. Module *M = B.GetInsertBlock()->getModule();
  1458. StringRef PutsName = TLI->getName(LibFunc_puts);
  1459. FunctionCallee PutS =
  1460. M->getOrInsertFunction(PutsName, B.getInt32Ty(), B.getInt8PtrTy());
  1461. inferLibFuncAttributes(M, PutsName, *TLI);
  1462. CallInst *CI = B.CreateCall(PutS, castToCStr(Str, B), PutsName);
  1463. if (const Function *F =
  1464. dyn_cast<Function>(PutS.getCallee()->stripPointerCasts()))
  1465. CI->setCallingConv(F->getCallingConv());
  1466. return CI;
  1467. }
  1468. Value *llvm::emitFPutC(Value *Char, Value *File, IRBuilderBase &B,
  1469. const TargetLibraryInfo *TLI) {
  1470. if (!TLI->has(LibFunc_fputc))
  1471. return nullptr;
  1472. Module *M = B.GetInsertBlock()->getModule();
  1473. StringRef FPutcName = TLI->getName(LibFunc_fputc);
  1474. FunctionCallee F = M->getOrInsertFunction(FPutcName, B.getInt32Ty(),
  1475. B.getInt32Ty(), File->getType());
  1476. if (File->getType()->isPointerTy())
  1477. inferLibFuncAttributes(M, FPutcName, *TLI);
  1478. Char = B.CreateIntCast(Char, B.getInt32Ty(), /*isSigned*/true,
  1479. "chari");
  1480. CallInst *CI = B.CreateCall(F, {Char, File}, FPutcName);
  1481. if (const Function *Fn =
  1482. dyn_cast<Function>(F.getCallee()->stripPointerCasts()))
  1483. CI->setCallingConv(Fn->getCallingConv());
  1484. return CI;
  1485. }
  1486. Value *llvm::emitFPutS(Value *Str, Value *File, IRBuilderBase &B,
  1487. const TargetLibraryInfo *TLI) {
  1488. if (!TLI->has(LibFunc_fputs))
  1489. return nullptr;
  1490. Module *M = B.GetInsertBlock()->getModule();
  1491. StringRef FPutsName = TLI->getName(LibFunc_fputs);
  1492. FunctionCallee F = M->getOrInsertFunction(FPutsName, B.getInt32Ty(),
  1493. B.getInt8PtrTy(), File->getType());
  1494. if (File->getType()->isPointerTy())
  1495. inferLibFuncAttributes(M, FPutsName, *TLI);
  1496. CallInst *CI = B.CreateCall(F, {castToCStr(Str, B), File}, FPutsName);
  1497. if (const Function *Fn =
  1498. dyn_cast<Function>(F.getCallee()->stripPointerCasts()))
  1499. CI->setCallingConv(Fn->getCallingConv());
  1500. return CI;
  1501. }
  1502. Value *llvm::emitFWrite(Value *Ptr, Value *Size, Value *File, IRBuilderBase &B,
  1503. const DataLayout &DL, const TargetLibraryInfo *TLI) {
  1504. if (!TLI->has(LibFunc_fwrite))
  1505. return nullptr;
  1506. Module *M = B.GetInsertBlock()->getModule();
  1507. LLVMContext &Context = B.GetInsertBlock()->getContext();
  1508. StringRef FWriteName = TLI->getName(LibFunc_fwrite);
  1509. FunctionCallee F = M->getOrInsertFunction(
  1510. FWriteName, DL.getIntPtrType(Context), B.getInt8PtrTy(),
  1511. DL.getIntPtrType(Context), DL.getIntPtrType(Context), File->getType());
  1512. if (File->getType()->isPointerTy())
  1513. inferLibFuncAttributes(M, FWriteName, *TLI);
  1514. CallInst *CI =
  1515. B.CreateCall(F, {castToCStr(Ptr, B), Size,
  1516. ConstantInt::get(DL.getIntPtrType(Context), 1), File});
  1517. if (const Function *Fn =
  1518. dyn_cast<Function>(F.getCallee()->stripPointerCasts()))
  1519. CI->setCallingConv(Fn->getCallingConv());
  1520. return CI;
  1521. }
  1522. Value *llvm::emitMalloc(Value *Num, IRBuilderBase &B, const DataLayout &DL,
  1523. const TargetLibraryInfo *TLI) {
  1524. if (!TLI->has(LibFunc_malloc))
  1525. return nullptr;
  1526. Module *M = B.GetInsertBlock()->getModule();
  1527. StringRef MallocName = TLI->getName(LibFunc_malloc);
  1528. LLVMContext &Context = B.GetInsertBlock()->getContext();
  1529. FunctionCallee Malloc = M->getOrInsertFunction(MallocName, B.getInt8PtrTy(),
  1530. DL.getIntPtrType(Context));
  1531. inferLibFuncAttributes(M, MallocName, *TLI);
  1532. CallInst *CI = B.CreateCall(Malloc, Num, MallocName);
  1533. if (const Function *F =
  1534. dyn_cast<Function>(Malloc.getCallee()->stripPointerCasts()))
  1535. CI->setCallingConv(F->getCallingConv());
  1536. return CI;
  1537. }
  1538. Value *llvm::emitCalloc(Value *Num, Value *Size, const AttributeList &Attrs,
  1539. IRBuilderBase &B, const TargetLibraryInfo &TLI) {
  1540. if (!TLI.has(LibFunc_calloc))
  1541. return nullptr;
  1542. Module *M = B.GetInsertBlock()->getModule();
  1543. StringRef CallocName = TLI.getName(LibFunc_calloc);
  1544. const DataLayout &DL = M->getDataLayout();
  1545. IntegerType *PtrType = DL.getIntPtrType((B.GetInsertBlock()->getContext()));
  1546. FunctionCallee Calloc = M->getOrInsertFunction(
  1547. CallocName, Attrs, B.getInt8PtrTy(), PtrType, PtrType);
  1548. inferLibFuncAttributes(M, CallocName, TLI);
  1549. CallInst *CI = B.CreateCall(Calloc, {Num, Size}, CallocName);
  1550. if (const auto *F =
  1551. dyn_cast<Function>(Calloc.getCallee()->stripPointerCasts()))
  1552. CI->setCallingConv(F->getCallingConv());
  1553. return CI;
  1554. }