diff options
author | Xavier Leroy <xavier.leroy@college-de-france.fr> | 2020-07-25 10:37:05 +0200 |
---|---|---|
committer | Xavier Leroy <xavierleroy@users.noreply.github.com> | 2020-07-27 16:29:38 +0200 |
commit | 465f6b4120bb38d2ef2871de4972df92ee935ed6 (patch) | |
tree | 1b012cd6a662c0f6b21c8dc2be0ac0bb4a0ee49a /aarch64/Asmexpand.ml | |
parent | 907a9042ffb8d21fece6fc8e663ce23d32aa8fa1 (diff) | |
download | compcert-465f6b4120bb38d2ef2871de4972df92ee935ed6.tar.gz compcert-465f6b4120bb38d2ef2871de4972df92ee935ed6.zip |
No need to process __builtin_fabs in $ARCH/Asmexpand.ml
__builtin_fabs has already been expanded in backend/Selection.v .
Diffstat (limited to 'aarch64/Asmexpand.ml')
-rw-r--r-- | aarch64/Asmexpand.ml | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/aarch64/Asmexpand.ml b/aarch64/Asmexpand.ml index 471ad501..dcb2d1aa 100644 --- a/aarch64/Asmexpand.ml +++ b/aarch64/Asmexpand.ml @@ -347,8 +347,6 @@ let expand_builtin_inline name args res = | ("__builtin_clsl" | "__builtin_clsll"), [BA(IR a1)], BR(IR res) -> emit (Pcls(X, res, a1)) (* Float arithmetic *) - | "__builtin_fabs", [BA(FR a1)], BR(FR res) -> - emit (Pfabs(D, res, a1)) | "__builtin_fsqrt", [BA(FR a1)], BR(FR res) -> emit (Pfsqrt(D, res, a1)) | "__builtin_fmadd", [BA(FR a1); BA(FR a2); BA(FR a3)], BR(FR res) -> |