f5d83fb404
There's no world where the subgroup ID (or the intermediate values needed to compute it) will be negative or will have signed overflow. This commit adds flags accordingly, which is helpful as this is a rather low-level rewrite that might run after the analyses that would ordinarily add these flags.
Multi-Level Intermediate Representation
See https://mlir.llvm.org/ for more information.