jdoerfert added a comment. I don't understand what we do before, and how this work, is `[[#` special in lit? Also, why i32/64 only, that seems arbitrary, no? CHANGES SINCE LAST ACTION https://reviews.llvm.org/D104743/new/ https://reviews.llvm.org/D104743