[Mlir-commits] [mlir] [mlir][LLVM] Preserve !associated and !absolute_symbol on llvm.mlir.global (PR #218839)

[Tanishq Khurana]

ktanishqk wrote:

@gysit fyi the mlir verifier only does the structural checks (self-associated by name, even-length integer range pairs). we don’t match llvm’s full `!associated` / `!absolute_symbol` rules: missing symbols, alias-to-self after stripping, empty/overlapping ranges, `intptr` width, etc. those only fail later on export via `llvm::verifyModule`. should we tighten the mlir verifier to catch that, or leave it for a follow-up?

https://github.com/llvm/llvm-project/pull/218839