yavtuk wrote: Hello, Ash, how much of this code actually exists? From the test, it's not clear to me why first_block is not marked with $x. Is the code written in assembly or generated from a high-level programming language? https://github.com/llvm/llvm-project/pull/160143