https://github.com/cor3ntin requested changes to this pull request. I like the simplification but the changes to subsumption do not look correct to me I also want to make sure @zyn0217 sees this https://github.com/llvm/llvm-project/pull/132626