tschuett wrote: Alex Bradbury: IMHO use of MachineIR is more of a defining feature than “global” scope. We test the correctness of combines in MIR. For the DAGCombiner noise in end-to-end tests seems to be sufficient for acceptance. https://github.com/llvm/llvm-project/pull/105991