arcana-lab / noelle

NOELLE Offers Empowering LLVM Extensions
MIT License
75 stars 35 forks source link

LICM bug #4

Closed scampanoni closed 3 years ago

scampanoni commented 3 years ago

The LICM transformation has the following bug. The order of loop invariants to extract is computed incorrectly using dominators. We need to use the PDG instead.

Benchmark affected:

scampanoni commented 3 years ago

This bug has been fixed by recomputing the dominators in LICM