https://github.com/definelicht commented: While modifying `llvmir.mlir` I noticed that there are some `CHECK`s here that are missing a `:` and thus aren't actually tested 😬 Could you fix this in a followup? https://github.com/llvm/llvm-project/pull/77361