It turns out that the optimizer completely breaks (a + b) % (a - b) with v6 code.
I don't remember what half these tests were for :/