Content-Length: 207888 | pFad | http://github.com/johnmcfarlane/fixed_point/issues/102

8A Prove single-instruction specialization · Issue #102 · johnmcfarlane/fixed_point · GitHub

This repository has been archived by the owner on Apr 6, 2019. It is now read-only.

Prove single-instruction specialization #102

Open

johnmcfarlane opened this issue Apr 25, 2016 · 2 comments

Labels

Owner

johnmcfarlane commented Apr 25, 2016

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

johnmcfarlane added P0037 P0554 labels

Owner Author

johnmcfarlane commented Feb 7, 2017

Proved. Now add to a paper.

Owner Author

johnmcfarlane commented Jun 30, 2017

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

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.