fixed_point Prove single-instruction specialization

Prove single-instruction specialization

Open johnmcfarlane opened this issue 9 years ago • 2 comments

trafficstars

E.g. an instruction that multiplies with saturation, then shifts right by 15 digits.

Apr 25 '16 20:04 johnmcfarlane

Proved. Now add to a paper.

Feb 07 '17 06:02 johnmcfarlane

In other words, prove that an special purpose intrinsic, e.g. from an embedded systems chipset, could be injected into fixed_point.

Jun 30 '17 06:06 johnmcfarlane