diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2020-10-29 18:10:16 +0100 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2020-11-06 18:30:21 +0100 |
| commit | acaabc6c481cc70e5597ccb74052a7f6d330b0f1 (patch) | |
| tree | 38e7b9f6a25282ffc089261a8400bd646125192a /powerpc | |
| parent | c3c7d3a417b37bf7268562c20a27916ae0c51adf (diff) | |
| download | compcert-kvx-acaabc6c481cc70e5597ccb74052a7f6d330b0f1.tar.gz compcert-kvx-acaabc6c481cc70e5597ccb74052a7f6d330b0f1.zip | |
Added implementation for fmin/fmax for aarch64.
The two built-in function map to the fmax and fmin instruction.
Bug 30035
Diffstat (limited to 'powerpc')
0 files changed, 0 insertions, 0 deletions