diff options
| author | Cyril SIX <cyril.six@kalray.eu> | 2020-01-22 16:42:23 +0100 |
|---|---|---|
| committer | Cyril SIX <cyril.six@kalray.eu> | 2020-01-22 16:42:23 +0100 |
| commit | 89e029310d175ee7ddbb157494bac46a08304b19 (patch) | |
| tree | bd516047d1cea2be0141d00c1a18e440f4f368aa /arm/Asmgen.v | |
| parent | 60c15c9d1105dc2e53c17b3fb28ee9cc4716cbc6 (diff) | |
| parent | fd2181ce5f6a3a5ba27349d1642ee4c59a6d9b34 (diff) | |
| download | compcert-kvx-89e029310d175ee7ddbb157494bac46a08304b19.tar.gz compcert-kvx-89e029310d175ee7ddbb157494bac46a08304b19.zip | |
Merge branch 'mppa-work' into mppa-duplicate-oracle
Diffstat (limited to 'arm/Asmgen.v')
| -rw-r--r-- | arm/Asmgen.v | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/arm/Asmgen.v b/arm/Asmgen.v index 016a1c5a..f428feea 100644 --- a/arm/Asmgen.v +++ b/arm/Asmgen.v @@ -481,6 +481,9 @@ Definition transl_op do r <- ireg_of res; do r1 <- ireg_of a1; if Int.eq n Int.zero then OK (Pmov r (SOreg r1) :: k) + else if Int.eq n Int.one then + OK (Padd IR14 r1 (SOlsr r1 (Int.repr 31)) :: + Pmov r (SOasr IR14 n) :: k) else OK (Pmov IR14 (SOasr r1 (Int.repr 31)) :: Padd IR14 r1 (SOlsr IR14 (Int.sub Int.iwordsize n)) :: |