diff options
Diffstat (limited to 'aarch64/PeepholeOracle.ml')
| -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 |