diff options
author | David Monniaux <David.Monniaux@univ-grenoble-alpes.fr> | 2022-02-12 16:20:38 +0100 |
---|---|---|
committer | David Monniaux <David.Monniaux@univ-grenoble-alpes.fr> | 2022-02-12 16:20:38 +0100 |
commit | b7aea86a0c6ace274e585fddfd0d88d13528cc90 (patch) | |
tree | 147cfa58716bb9876122d4c9cfefa772fdba6e9f /kvx | |
parent | 337c490d12c437dcbb5941e204ec1b1c4efa992b (diff) | |
download | compcert-kvx-b7aea86a0c6ace274e585fddfd0d88d13528cc90.tar.gz compcert-kvx-b7aea86a0c6ace274e585fddfd0d88d13528cc90.zip |
fix bad changes
Diffstat (limited to 'kvx')
-rw-r--r-- | kvx/PostpassSchedulingOracle.ml | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/kvx/PostpassSchedulingOracle.ml b/kvx/PostpassSchedulingOracle.ml index e752624c..47849dd5 100644 --- a/kvx/PostpassSchedulingOracle.ml +++ b/kvx/PostpassSchedulingOracle.ml @@ -87,10 +87,10 @@ let arith_rr_real = function | Pfloatuwrnsz -> Floatuwz | Pfloatudrnsz -> Floatudz | Pfloatdrnsz -> Floatdz - | Pfixedwrzz | Pfixedwrne -> Fixedw - | Pfixeduwrzz | Pfixeduwrne -> Fixeduw - | Pfixeddrzz | Pfixeddrne -> Fixedd - | Pfixedudrzz| Pfixedudrne -> Fixedud + | Pfixedwrzz -> Fixedw + | Pfixeduwrzz -> Fixeduw + | Pfixeddrzz -> Fixedd + | Pfixedudrzz -> Fixedud | Pfixeddrzz_i32 -> Fixedd | Pfixedudrzz_i32 -> Fixedud |