Hi Juzhe, > The approach is quite simple and obvious, changing extension pattern > into define_insn_and_split will make combine PASS combine into widen > operations naturally.
looks good to me. Tiny nit: I would add a comment above the patterns to clarify why insn_and_split instead of expand. Something like "to help combine match...", no need for a V2 though. Regards Robin