jayfoad wrote: > Can you please review the changes I made for L1 as a buffer? I'm confused that c2625c2 changes the text about what `global_inv` are required, but does not update anything in the code sequences table. https://github.com/llvm/llvm-project/pull/98599