lpy wrote: Thanks for the feedback. I have added a few lines to the roundtrip test and updated the `verify` function to capture the usage of `inbounds_flag` in early stage. Please take a look :) https://github.com/llvm/llvm-project/pull/137272