diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2022-01-21 11:48:06 +0100 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2022-02-07 11:52:22 +0100 |
| commit | 87de3969856cf6a5eb5e1615ec817a015ed90d1c (patch) | |
| tree | 8b526118ce6e2e9209f93d6886c36253644351f3 /x86/Op.v | |
| parent | a882f78c069f7337dd9f4abff117d4df98ef38a6 (diff) | |
| download | compcert-kvx-87de3969856cf6a5eb5e1615ec817a015ed90d1c.tar.gz compcert-kvx-87de3969856cf6a5eb5e1615ec817a015ed90d1c.zip | |
Return second arg for float min/max on x86.
If both arguments are zero the second argument is returned independ from
their sign.
Bug 32640
Diffstat (limited to 'x86/Op.v')
0 files changed, 0 insertions, 0 deletions