From d8d22519bff9414f973a1310cb32eb60e6695796 Mon Sep 17 00:00:00 2001
From: David Monniaux <david.monniaux@univ-grenoble-alpes.fr>
Date: Sat, 11 May 2019 06:02:13 +0200
Subject: begin generating Prevsub etc. from Oxxx to Pxxx

---
 mppa_k1c/PostpassSchedulingOracle.ml | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

(limited to 'mppa_k1c/PostpassSchedulingOracle.ml')

diff --git a/mppa_k1c/PostpassSchedulingOracle.ml b/mppa_k1c/PostpassSchedulingOracle.ml
index 9b22cd01..9dc1ab44 100644
--- a/mppa_k1c/PostpassSchedulingOracle.ml
+++ b/mppa_k1c/PostpassSchedulingOracle.ml
@@ -63,7 +63,7 @@ let arith_rrr_str = function
   | Paddw -> "Paddw"
   | Paddxw _ -> "Paddxw"
   | Psubw -> "Psubw"
-  | Psubxw _ -> "Psubxw"
+  | Prevsubxw _ -> "Psubxw"
   | Pmulw -> "Pmulw"
   | Pandw -> "Pandw"
   | Pnandw -> "Pnandw"
@@ -80,7 +80,7 @@ let arith_rrr_str = function
   | Paddl -> "Paddl"
   | Paddxl _ -> "Paddxl"
   | Psubl -> "Psubl"
-  | Psubxl _ -> "Psubxl"
+  | Prevsubxl _ -> "Psubxl"
   | Pandl -> "Pandl"
   | Pnandl -> "Pnandl"
   | Porl -> "Porl"
@@ -105,8 +105,8 @@ let arith_rri32_str = function
   | Pcompiw it -> "Pcompiw"
   | Paddiw -> "Paddiw"
   | Paddxiw _ -> "Paddxiw"
-  | Psubiw -> "Psubiw"
-  | Psubxiw _ -> "Psubxiw"
+  | Prevsubiw -> "Psubiw"
+  | Prevsubxiw _ -> "Psubxiw"
   | Pmuliw -> "Pmuliw"
   | Pandiw -> "Pandiw"
   | Pnandiw -> "Pnandiw"
@@ -129,9 +129,9 @@ let arith_rri32_str = function
 let arith_rri64_str = function
   | Pcompil it -> "Pcompil"
   | Paddil -> "Paddil"
-  | Psubil -> "Psubil"
+  | Prevsubil -> "Psubil"
   | Paddxil _ -> "Paddxil"
-  | Psubxil _ -> "Psubxil"
+  | Prevsubxil _ -> "Psubxil"
   | Pmulil -> "Pmulil"
   | Pandil -> "Pandil"
   | Pnandil -> "Pnandil"
-- 
cgit