Make profilings optional

vgene commented 3 years ago

Make LAMP and SpecPriv optional

[x] LAMP
[ ] SpecPriv

gchan510 commented 3 years ago

Added option -lamp-ignore to ignore LAMP profile or to indicate that it doesn't exist in f7d44abb45a7a4e089c88d363b8c03e453d9a6da Querying LAMPLoadProfile for number of deps with this option enabled conservatively returns UINT_MAX.

TODOs:

Merge LAMP and LAMPLoad into one library (contains identical versions of same pass in each)
SpecPriv optional

QUESTIONS:

Why is LAMP run twice in our pipeline?
SmtxAA is the only pass that uses LAMP directly? Maybe it should be renamed and moved to SCAF at some point.

sapostolakis commented 3 years ago

I use LAMP results in the aggressive inliner. And then it needs to run again for the post-inlining code.

PrincetonUniversity / cpf

Make profilings optional #28