> It's not literal UB it's well known what it compiles down to, every time. (.loop: jmp .loop)

...Uh, the example shown at the literal top of the blog demonstrates precisely the opposite?