mit-plv/fiat-crypto

Reorder rewriting passes?

JasonGross opened this issue · 0 comments

If we delay DCE until after absint and rewriting, we may be able to take advantage of lazy fusion of PHOAS passes to avoid the quartic blowup in p256 synthesis.

Idea came from conversation with Tom Smeding.