Sun Sep 21 10:41:07 CEST 2014

Reverse macros

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.