search

AliveToolkit / alive2

Automatic verification of LLVM optimizations
MIT License
719 stars 93 forks source link

callees metadata #1064

Closed Hels15 closed 4 days ago

Hels15 commented 5 days ago

Callees metadata support for alive2 IR. See here: https://llvm.org/docs/LangRef.html#callees-metadata

Sample code: tests/alive-tv/callees.srctgt.ll

Hels15 commented 5 days ago

for review: @nunoplopes