yavtuk wrote: Hi @paschalis-mpeis, it seems to better check that foo function does not contain adr instruction, sequence of instructions inside foo function is not particularly important https://github.com/llvm/llvm-project/pull/143151