diff options
author | Xavier Leroy <xavier.leroy@inria.fr> | 2015-12-22 11:31:38 +0100 |
---|---|---|
committer | Xavier Leroy <xavier.leroy@inria.fr> | 2015-12-22 11:31:38 +0100 |
commit | 7540d6eabadbef888fbe4a3dda7b9910094fa05e (patch) | |
tree | 7e1c4fb1b4c005fc724738e005817d12163b4519 | |
parent | f531d386db7051761bd31f2740a893ff97ce65aa (diff) | |
download | compcert-7540d6eabadbef888fbe4a3dda7b9910094fa05e.tar.gz compcert-7540d6eabadbef888fbe4a3dda7b9910094fa05e.zip |
ARM: bug in expansion of __builtin_clzll
Follow-up to commit f531d38
-rw-r--r-- | arm/Asmexpand.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/arm/Asmexpand.ml b/arm/Asmexpand.ml index 65bb19ee..a64645ca 100644 --- a/arm/Asmexpand.ml +++ b/arm/Asmexpand.ml @@ -292,7 +292,7 @@ let expand_builtin_inline name args res = | "__builtin_clzll", [BA_splitlong(BA (IR ah), BA (IR al))], BR(IR res) -> emit (Pclz (IR14, al)); emit (Pcmp (ah, SOimm _0)); - emit (Pmovite (TCeq, IR14, SOimm _0, SOreg IR14)); + emit (Pmovite (TCeq, IR14, SOreg IR14, SOimm _0)); emit (Pclz (res, ah)); emit (Padd (res, res, SOreg IR14)) (* Float arithmetic *) |