On 7/1/24 06:42, Jeff Law wrote: >>> This works because those expanders are allowed to use FAIL. Some >>> expanders aren't allowed to do that (they're supposed to be documented >>> appropriately in the internals manual). >>> >>> In the matching define_insns, you can use X and adjust their names. >> Sorry I'm still not sure how to use X in the define insn. It seems we >> have to skip mode in match_operand specification there as well. >> I'll post v2 and take it from there. > It's the expander I was most focused on. For the fclass case I'd > indirect through an expander. ie, have an expander without a model ike > I've suggested for isfinite/isnormal, then match it with a define_insn > that accepts X. > > The define_insn's name can have an additional <X:mode> suffix in that > case to distinguish between the SI and DI variants.
Thx this works. -Vineet
