jwanggit86 wrote: > Should also add a test for what happens on undefined behavior, and flat_scratch does end up really getting used. We shouldn't have any verifier errors or anything Please elaborate on "undefined behavior". https://github.com/llvm/llvm-project/pull/130198