So, give an example. The M4F intrinsic QADD for saturated add of two integers. The problem with this instruction is that it is very inefficient to implement using rai primitives. Saturate on 31 bits might be more efficient since the overflow condition is not lost. So there is definitely a mismatch that makes it even impossible with the current set to implement any reverse matching.