- Recognize __builtin_fabs as an operator, not just a builtin,

  enabling more aggressive optimizations.
- Less aggressive CSE for EF_builtin builtins, causes problems
  for __builtin_write{16,32}_reversed.


git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@2363 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e

1 files changed, 1 insertions, 0 deletions

diff --git a/cfrontend/Cshmgen.v b/cfrontend/Cshmgen.v
index fd34985..f37e8c7 100644
--- a/cfrontend/Cshmgen.v
+++ b/cfrontend/Cshmgen.v
@@ -329,6 +329,7 @@ Definition transl_unop (op: Cop.unary_operation) (a: expr) (ta: type) : res expr
   | Cop.Onotbool => make_notbool a ta
   | Cop.Onotint => make_notint a ta
   | Cop.Oneg => make_neg a ta
+  | Cop.Oabsfloat => OK (Eunop Oabsf a)
   end.
 
 Definition transl_binop (op: Cop.binary_operation)