[timow1337]

If loops are implemented as tail calls, doesn't the call opcode get optimized away thus preventing the reduction checker from being run?

[jacquesm]

It marks the point just before the call as a yield. That yield remains after optimization.