search

arcana-lab / noelle

NOELLE Offers Empowering LLVM Extensions
MIT License
72 stars 34 forks source link

BUG FIX: Identifying wrong instructions as invariants in LICM pass #24

Closed bgodala closed 3 years ago

bgodala commented 3 years ago

Adding RAW dependency edge conservatively since WAW and WAR are eventually disproved by SCAF. SCAF identifies this dependency to be RAW. So conservatively adding RAW edge at the time of construction of PDG