diff options
author | Léo Gourdin <leo.gourdin@univ-grenoble-alpes.fr> | 2021-01-20 19:50:28 +0100 |
---|---|---|
committer | Léo Gourdin <leo.gourdin@univ-grenoble-alpes.fr> | 2021-01-20 19:50:28 +0100 |
commit | 30fb0f149770f2a99e099d7b2fcde852b84f6c59 (patch) | |
tree | fdbde14e143d748571c24ef7ff1c14239d42ec75 | |
parent | 05c77498f8f6b6f47a4669e0da79ec6f685e6722 (diff) | |
download | compcert-kvx-30fb0f149770f2a99e099d7b2fcde852b84f6c59.tar.gz compcert-kvx-30fb0f149770f2a99e099d7b2fcde852b84f6c59.zip |
fix str string in peephole
-rw-r--r-- | aarch64/PeepholeOracle.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/aarch64/PeepholeOracle.ml b/aarch64/PeepholeOracle.ml index 9e37b3c6..b97f84b4 100644 --- a/aarch64/PeepholeOracle.ml +++ b/aarch64/PeepholeOracle.ml @@ -311,7 +311,7 @@ let is_valid_ldr rd1 rd2 b1 b2 n1 n2 stype = let is_valid_str b1 b2 n1 n2 stype = match stype with - | "str32" -> is_valid_str32 b1 b2 n1 n2 + | "str32" | "str32f" -> is_valid_str32 b1 b2 n1 n2 | _ -> is_valid_str64 b1 b2 n1 n2 (* Try to find the index of the first previous compatible |