> This would be transformed by the compiler into something like this:

Even modern C compilers for "modern" 8051-derived MCUs work like this :)