sail/test/mono/pass/itself_rewriting, branch sail2 Formal specification language for ISAs Remove unnecessary size_itself_int uses in guards (for Lem) 2018-03-14T14:09:30+00:00 Brian Campbell 2018-03-14T14:09:17+00:00 f5e92e2fa59a672c21d301407cd6f545810e2830 Doesn't remove them from function bodies because that can produce more work for the sizeof rewriting. 
Doesn't remove them from function bodies because that can produce
more work for the sizeof rewriting.