UQ-PAC / aslp

Partial evaluator for Arm's Architecture Specification Language (ASL)
Other
7 stars 2 forks source link

Limit CSE to generating bitvec temps #58

Closed ncough closed 6 months ago

ncough commented 6 months ago

We want to avoid the introduction of integer/boolean temporaries in CSE, as these are not expected in the reduced ASL structures we produce. Also prevents CSE from commoning impure operations. Should address #46.