Fix atomicity of register field writes

Previous merge commit caused some code that was generating

register.field = value

to instead generate

temp = register
temp.field = value
register = temp

This was caused by rewriter changes affecting the ANF form, and the Jib
compilation was sensitive to small changes in the ANF form when
compiling l-expressions. Rather than applying a band-aid fix in the
rewriter this commit re-factors the ANF translation of l-expressions to
ensure that the jib compilation is more robust and able to consistently
generate the correct l-expressions without introducing additional
read-modify-write expressions in the code.

0 files changed, 0 insertions, 0 deletions