[asl] Improvements to expression propagation. - Githubissues

herd / herdtools7

The Herd toolsuite to deal with .cat memory models (version 7.xx)

Other

225 stars 62 forks source link

[asl] Improvements to expression propagation. #921

Closed HadrienRenaud closed 3 months ago

HadrienRenaud commented 3 months ago

This PR implements 2 things:

[x] Propagate the immutable expressions through ATCs.
[x] Propagate the global immutable expressions.

This is a follow-up of #894.