Reconstruct update in place operators like `+=`

[sonmarcho]

A statement such as x += 1 gets extracted to x = x + 1 while we would like to preserve x += 1 in the C code (and same issue with operators like -, |, etc.) .

[protz]

Is there any way to tell whether it was a += operator in the source based on LLBC?

I can peephole-optimize x = x + 1 into x += 1 (unconditionally), but if you want the source to be preserved, then I need a way to tell which it is... right now it seems like LLBC only has Add, not AddInPlace...?

[sonmarcho]

There is indeed no way to tell whether there was a += operator in the source. I was simply thinking of implementing a peep-hole optimization.