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 /aarch64/TargetPrinter.ml | |
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 'aarch64/TargetPrinter.ml')
-rw-r--r-- | aarch64/TargetPrinter.ml | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/aarch64/TargetPrinter.ml b/aarch64/TargetPrinter.ml index fec05cc6..78b9eb2a 100644 --- a/aarch64/TargetPrinter.ml +++ b/aarch64/TargetPrinter.ml @@ -467,6 +467,10 @@ module Target : TARGET = fprintf oc " fnmadd %a, %a, %a, %a\n" freg (sz, rd) freg (sz, r1) freg (sz, r2) freg (sz, r3) | Pfnmsub(sz, rd, r1, r2, r3) -> fprintf oc " fnmsub %a, %a, %a, %a\n" freg (sz, rd) freg (sz, r1) freg (sz, r2) freg (sz, r3) + | Pfmax (sz, rd, r1, r2) -> + fprintf oc " fmax %a, %a, %a\n" freg (sz, rd) freg (sz, r1) freg (sz, r2) + | Pfmin (sz, rd, r1, r2) -> + fprintf oc " fmin %a, %a, %a\n" freg (sz, rd) freg (sz, r1) freg (sz, r2) (* Floating-point comparison *) | Pfcmp(sz, r1, r2) -> fprintf oc " fcmp %a, %a\n" freg (sz, r1) freg (sz, r2) |