eddyz87 wrote: On the other hand, after assembly instructions are compiled, there is no way to distinguish `may_goto +0` from `may_goto <param>`, where param is 0. Removal of explicit `may_goto +0` goes against what we do for `goto +0`. https://github.com/llvm/llvm-project/pull/123482