Author here, the fun part was LLVM already had this in InstCombine, just without a cost model