diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2020-10-29 18:16:59 +0100 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2020-11-07 15:23:45 +0100 |
| commit | 0aeff47ea220a16fec90bcad05e4b79b838a69c9 (patch) | |
| tree | 45b121a50a93b08041e6ac09c20bd614eeddb4c0 /Changelog | |
| parent | 4011a085abee25df19c6e7659f2168ef17c7c344 (diff) | |
| download | compcert-kvx-0aeff47ea220a16fec90bcad05e4b79b838a69c9.tar.gz compcert-kvx-0aeff47ea220a16fec90bcad05e4b79b838a69c9.zip | |
Added semantics for the PowerPC sel and mulh built-ins
The semantics of the various selection functions are defined analogously
to the ones from the type generic sel function. The semantics for the
various high word multiplication functions is defined using the Integer
functions.
Bug 30035
Diffstat (limited to 'Changelog')
0 files changed, 0 insertions, 0 deletions