https://github.com/RoboTux commented: Can we have some negative tests as well that show when the verification fail on invalid tosa.cond_if and tosa.while_loop. Also a positive test for tosa.while_loop please. https://github.com/llvm/llvm-project/pull/159754