makslevental wrote: Note, I would prefer to perform this check in https://github.com/llvm/llvm-project/blob/73f651fa5473271738bbecec36b6c5c795173eb3/mlir/lib/ExecutionEngine/ExecutionEngine.cpp#L101 but by that point the module is not accessible. https://github.com/llvm/llvm-project/pull/164478