[sim, pk, xcc, opcodes] great instruction renaming of 2011

riscv/execute.h

@@ -98,18 +98,47 @@ switch((insn.bits >> 0x0) & 0x7f)
     }
     break;
   }
+  case 0x67:
+  {
+    switch((insn.bits >> 0x7) & 0x7)
+    {
+      case 0x0:
+      {
+        if((insn.bits & 0xfff) == 0x67)
+        {
+          #include "insns/fsel_s.h"
+          break;
+        }
+        #include "insns/unimp.h"
+      }
+      case 0x3:
+      {
+        if((insn.bits & 0xfff) == 0x1e7)
+        {
+          #include "insns/fsel_d.h"
+          break;
+        }
+        #include "insns/unimp.h"
+      }
+      default:
+      {
+        #include "insns/unimp.h"
+      }
+    }
+    break;
+  }
   case 0x68:
   {
     switch((insn.bits >> 0x7) & 0x7)
     {
       case 0x2:
       {
-        #include "insns/l_s.h"
+        #include "insns/lf_w.h"
         break;
       }
       case 0x3:
       {
-        #include "insns/l_d.h"
+        #include "insns/lf_d.h"
         break;
       }
       default:
@@ -125,12 +154,12 @@ switch((insn.bits >> 0x0) & 0x7f)
     {
       case 0x2:
       {
-        #include "insns/s_s.h"
+        #include "insns/sf_w.h"
         break;
       }
       case 0x3:
       {
-        #include "insns/s_d.h"
+        #include "insns/sf_d.h"
         break;
       }
       default:
@@ -146,39 +175,39 @@ switch((insn.bits >> 0x0) & 0x7f)
     {
       case 0x0:
       {
-        if((insn.bits & 0x1ffff) == 0x1506a)
+        if((insn.bits & 0x1ffff) == 0x606a)
         {
-          #include "insns/c_eq_s.h"
+          #include "insns/fsinjn_s.h"
           break;
         }
-        if((insn.bits & 0x1ffff) == 0x506a)
+        if((insn.bits & 0x7c1ffff) == 0x1846a)
         {
-          #include "insns/sgninj_s.h"
+          #include "insns/mff_s.h"
           break;
         }
-        if((insn.bits & 0x3ff1ff) == 0xa06a)
+        if((insn.bits & 0x3ff1ff) == 0x1306a)
         {
-          #include "insns/cvt_w_s.h"
+          #include "insns/fcvt_s_d.h"
           break;
         }
-        if((insn.bits & 0x3ff1ff) == 0xe06a)
+        if((insn.bits & 0x1f1ff) == 0x6a)
         {
-          #include "insns/cvt_s_w.h"
+          #include "insns/fadd_s.h"
           break;
         }
-        if((insn.bits & 0x1f1ff) == 0x6a)
+        if((insn.bits & 0x3ff1ff) == 0xe06a)
         {
-          #include "insns/add_s.h"
+          #include "insns/fcvt_s_w.h"
           break;
         }
-        if((insn.bits & 0x3ff1ff) == 0x906a)
+        if((insn.bits & 0x3ff1ff) == 0xb06a)
         {
-          #include "insns/cvtu_l_s.h"
+          #include "insns/fcvtu_w_s.h"
           break;
         }
-        if((insn.bits & 0x7c1ffff) == 0x1846a)
+        if((insn.bits & 0x3ff1ff) == 0x806a)
         {
-          #include "insns/mff_s.h"
+          #include "insns/fcvt_l_s.h"
           break;
         }
         if((insn.bits & 0x3fffff) == 0x1c46a)
@@ -186,158 +215,153 @@ switch((insn.bits >> 0x0) & 0x7f)
           #include "insns/mtf_s.h"
           break;
         }
-        if((insn.bits & 0x1ffff) == 0x606a)
+        if((insn.bits & 0x1f1ff) == 0x306a)
         {
-          #include "insns/sgninjn_s.h"
+          #include "insns/fdiv_s.h"
           break;
         }
-        if((insn.bits & 0x3ff1ff) == 0x806a)
+        if((insn.bits & 0x1ffff) == 0x1606a)
         {
-          #include "insns/cvt_l_s.h"
+          #include "insns/fc_lt_s.h"
           break;
         }
-        if((insn.bits & 0x3ff1ff) == 0xf06a)
+        if((insn.bits & 0x1f1ff) == 0x206a)
         {
-          #include "insns/cvtu_s_w.h"
+          #include "insns/fmul_s.h"
           break;
         }
-        if((insn.bits & 0x3ff1ff) == 0xd06a)
+        if((insn.bits & 0x1ffff) == 0x706a)
         {
-          #include "insns/cvtu_s_l.h"
+          #include "insns/fsmul_s.h"
           break;
         }
-        if((insn.bits & 0x1f1ff) == 0x106a)
+        if((insn.bits & 0x3ff1ff) == 0xa06a)
         {
-          #include "insns/sub_s.h"
+          #include "insns/fcvt_w_s.h"
           break;
         }
-        if((insn.bits & 0x3ff1ff) == 0x406a)
+        if((insn.bits & 0x1ffff) == 0x506a)
         {
-          #include "insns/sqrt_s.h"
+          #include "insns/fsinj_s.h"
           break;
         }
-        if((insn.bits & 0x1ffff) == 0x1606a)
+        if((insn.bits & 0x1f1ff) == 0x106a)
         {
-          #include "insns/c_lt_s.h"
+          #include "insns/fsub_s.h"
           break;
         }
-        if((insn.bits & 0x1ffff) == 0x706a)
+        if((insn.bits & 0x1ffff) == 0x1706a)
         {
-          #include "insns/sgnmul_s.h"
+          #include "insns/fc_le_s.h"
           break;
         }
-        if((insn.bits & 0x3ff1ff) == 0xc06a)
+        if((insn.bits & 0x3ff1ff) == 0xf06a)
         {
-          #include "insns/cvt_s_l.h"
+          #include "insns/fcvtu_s_w.h"
           break;
         }
-        if((insn.bits & 0x1f1ff) == 0x306a)
+        if((insn.bits & 0x3ff1ff) == 0xd06a)
         {
-          #include "insns/div_s.h"
+          #include "insns/fcvtu_s_l.h"
           break;
         }
-        if((insn.bits & 0x3ff1ff) == 0x1306a)
+        if((insn.bits & 0x3ff1ff) == 0x906a)
         {
-          #include "insns/cvt_s_d.h"
+          #include "insns/fcvtu_l_s.h"
           break;
         }
-        if((insn.bits & 0x1ffff) == 0x1706a)
+        if((insn.bits & 0x3ff1ff) == 0xc06a)
         {
-          #include "insns/c_le_s.h"
+          #include "insns/fcvt_s_l.h"
           break;
         }
-        if((insn.bits & 0x1f1ff) == 0x206a)
+        if((insn.bits & 0x3ff1ff) == 0x406a)
         {
-          #include "insns/mul_s.h"
+          #include "insns/fsqrt_s.h"
           break;
         }
-        if((insn.bits & 0x3ff1ff) == 0xb06a)
+        if((insn.bits & 0x1ffff) == 0x1506a)
         {
-          #include "insns/cvtu_w_s.h"
+          #include "insns/fc_eq_s.h"
           break;
         }
         #include "insns/unimp.h"
       }
       case 0x3:
       {
-        if((insn.bits & 0x3ff1ff) == 0xa1ea)
-        {
-          #include "insns/cvt_w_d.h"
-          break;
-        }
         if((insn.bits & 0x7c1ffff) == 0x185ea)
         {
           #include "insns/mff_d.h"
           break;
         }
-        if((insn.bits & 0x1ffff) == 0x51ea)
+        if((insn.bits & 0x1ffff) == 0x61ea)
         {
-          #include "insns/sgninj_d.h"
+          #include "insns/fsinjn_d.h"
           break;
         }
-        if((insn.bits & 0x1f1ff) == 0x31ea)
+        if((insn.bits & 0x3ff1ff) == 0xc1ea)
         {
-          #include "insns/div_d.h"
+          #include "insns/fcvt_d_l.h"
           break;
         }
-        if((insn.bits & 0x1ffff) == 0x151ea)
+        if((insn.bits & 0x3fffff) == 0xe1ea)
         {
-          #include "insns/c_eq_d.h"
+          #include "insns/fcvt_d_w.h"
           break;
         }
-        if((insn.bits & 0x3ff1ff) == 0xd1ea)
+        if((insn.bits & 0x3fffff) == 0x101ea)
         {
-          #include "insns/cvtu_d_l.h"
+          #include "insns/fcvt_d_s.h"
           break;
         }
-        if((insn.bits & 0x3fffff) == 0xf1ea)
+        if((insn.bits & 0x7c1ffff) == 0x195ea)
         {
-          #include "insns/cvtu_d_w.h"
+          #include "insns/mffl_d.h"
           break;
         }
-        if((insn.bits & 0x3ff1ff) == 0x91ea)
+        if((insn.bits & 0x7c1ffff) == 0x1a5ea)
         {
-          #include "insns/cvtu_l_d.h"
+          #include "insns/mffh_d.h"
           break;
         }
-        if((insn.bits & 0x7c1ffff) == 0x195ea)
+        if((insn.bits & 0x3ff1ff) == 0x81ea)
         {
-          #include "insns/mffl_d.h"
+          #include "insns/fcvt_l_d.h"
           break;
         }
-        if((insn.bits & 0x1ffff) == 0x71ea)
+        if((insn.bits & 0x3fffff) == 0xf1ea)
         {
-          #include "insns/sgnmul_d.h"
+          #include "insns/fcvtu_d_w.h"
           break;
         }
-        if((insn.bits & 0x1f1ff) == 0x1ea)
+        if((insn.bits & 0x1ffff) == 0x161ea)
         {
-          #include "insns/add_d.h"
+          #include "insns/fc_lt_d.h"
           break;
         }
-        if((insn.bits & 0x7c1ffff) == 0x1a5ea)
+        if((insn.bits & 0x1f1ff) == 0x21ea)
         {
-          #include "insns/mffh_d.h"
+          #include "insns/fmul_d.h"
           break;
         }
-        if((insn.bits & 0x1ffff) == 0x171ea)
+        if((insn.bits & 0x1ffff) == 0x151ea)
         {
-          #include "insns/c_le_d.h"
+          #include "insns/fc_eq_d.h"
           break;
         }
-        if((insn.bits & 0x1ffff) == 0x61ea)
+        if((insn.bits & 0x1ffff) == 0x71ea)
         {
-          #include "insns/sgninjn_d.h"
+          #include "insns/fsmul_d.h"
           break;
         }
-        if((insn.bits & 0x3ff1ff) == 0x81ea)
+        if((insn.bits & 0x1ffff) == 0x51ea)
         {
-          #include "insns/cvt_l_d.h"
+          #include "insns/fsinj_d.h"
           break;
         }
-        if((insn.bits & 0x1f1ff) == 0x11ea)
+        if((insn.bits & 0x3ff1ff) == 0xa1ea)
         {
-          #include "insns/sub_d.h"
+          #include "insns/fcvt_w_d.h"
           break;
         }
         if((insn.bits & 0x3fffff) == 0x1c5ea)
@@ -345,39 +369,44 @@ switch((insn.bits >> 0x0) & 0x7f)
           #include "insns/mtf_d.h"
           break;
         }
-        if((insn.bits & 0x3ff1ff) == 0x41ea)
+        if((insn.bits & 0x1ffff) == 0x171ea)
         {
-          #include "insns/sqrt_d.h"
+          #include "insns/fc_le_d.h"
           break;
         }
-        if((insn.bits & 0x3fffff) == 0x101ea)
+        if((insn.bits & 0x3ff1ff) == 0xb1ea)
         {
-          #include "insns/cvt_d_s.h"
+          #include "insns/fcvtu_w_d.h"
           break;
         }
-        if((insn.bits & 0x3fffff) == 0xe1ea)
+        if((insn.bits & 0x1f1ff) == 0x1ea)
         {
-          #include "insns/cvt_d_w.h"
+          #include "insns/fadd_d.h"
           break;
         }
-        if((insn.bits & 0x3ff1ff) == 0xc1ea)
+        if((insn.bits & 0x3ff1ff) == 0x91ea)
         {
-          #include "insns/cvt_d_l.h"
+          #include "insns/fcvtu_l_d.h"
           break;
         }
-        if((insn.bits & 0x1f1ff) == 0x21ea)
+        if((insn.bits & 0x1f1ff) == 0x11ea)
         {
-          #include "insns/mul_d.h"
+          #include "insns/fsub_d.h"
           break;
         }
-        if((insn.bits & 0x3ff1ff) == 0xb1ea)
+        if((insn.bits & 0x3ff1ff) == 0x41ea)
         {
-          #include "insns/cvtu_w_d.h"
+          #include "insns/fsqrt_d.h"
           break;
         }
-        if((insn.bits & 0x1ffff) == 0x161ea)
+        if((insn.bits & 0x1f1ff) == 0x31ea)
+        {
+          #include "insns/fdiv_d.h"
+          break;
+        }
+        if((insn.bits & 0x3ff1ff) == 0xd1ea)
         {
-          #include "insns/c_lt_d.h"
+          #include "insns/fcvtu_d_l.h"
           break;
         }
         #include "insns/unimp.h"
@@ -452,12 +481,12 @@ switch((insn.bits >> 0x0) & 0x7f)
     {
       case 0x0:
       {
-        #include "insns/madd_s.h"
+        #include "insns/fmadd_s.h"
         break;
       }
       case 0x3:
       {
-        #include "insns/madd_d.h"
+        #include "insns/fmadd_d.h"
         break;
       }
       default:
@@ -473,12 +502,12 @@ switch((insn.bits >> 0x0) & 0x7f)
     {
       case 0x0:
       {
-        #include "insns/msub_s.h"
+        #include "insns/fmsub_s.h"
         break;
       }
       case 0x3:
       {
-        #include "insns/msub_d.h"
+        #include "insns/fmsub_d.h"
         break;
       }
       default:
@@ -494,12 +523,12 @@ switch((insn.bits >> 0x0) & 0x7f)
     {
       case 0x0:
       {
-        #include "insns/nmsub_s.h"
+        #include "insns/fnmsub_s.h"
         break;
       }
       case 0x3:
       {
-        #include "insns/nmsub_d.h"
+        #include "insns/fnmsub_d.h"
         break;
       }
       default:
@@ -515,12 +544,12 @@ switch((insn.bits >> 0x0) & 0x7f)
     {
       case 0x0:
       {
-        #include "insns/nmadd_s.h"
+        #include "insns/fnmadd_s.h"
         break;
       }
       case 0x3:
       {
-        #include "insns/nmadd_d.h"
+        #include "insns/fnmadd_d.h"
         break;
       }
       default:
@@ -817,37 +846,37 @@ switch((insn.bits >> 0x0) & 0x7f)
     {
       case 0x0:
       {
-        #include "insns/lb.h"
+        #include "insns/l_b.h"
         break;
       }
       case 0x1:
       {
-        #include "insns/lh.h"
+        #include "insns/l_h.h"
         break;
       }
       case 0x2:
       {
-        #include "insns/lw.h"
+        #include "insns/l_w.h"
         break;
       }
       case 0x3:
       {
-        #include "insns/ld.h"
+        #include "insns/l_d.h"
         break;
       }
       case 0x4:
       {
-        #include "insns/lbu.h"
+        #include "insns/l_bu.h"
         break;
       }
       case 0x5:
       {
-        #include "insns/lhu.h"
+        #include "insns/l_hu.h"
         break;
       }
       case 0x6:
       {
-        #include "insns/lwu.h"
+        #include "insns/l_wu.h"
         break;
       }
       case 0x7:
@@ -872,22 +901,22 @@ switch((insn.bits >> 0x0) & 0x7f)
     {
       case 0x0:
       {
-        #include "insns/sb.h"
+        #include "insns/s_b.h"
         break;
       }
       case 0x1:
       {
-        #include "insns/sh.h"
+        #include "insns/s_h.h"
         break;
       }
       case 0x2:
       {
-        #include "insns/sw.h"
+        #include "insns/s_w.h"
         break;
       }
       case 0x3:
       {
-        #include "insns/sd.h"
+        #include "insns/s_d.h"
         break;
       }
       default:
@@ -903,88 +932,88 @@ switch((insn.bits >> 0x0) & 0x7f)
     {
       case 0x2:
       {
-        if((insn.bits & 0x1ffff) == 0x157a)
+        if((insn.bits & 0x1ffff) == 0x197a)
         {
-          #include "insns/amow_max.h"
+          #include "insns/amominu_w.h"
           break;
         }
         if((insn.bits & 0x1ffff) == 0x97a)
         {
-          #include "insns/amow_and.h"
+          #include "insns/amoand_w.h"
           break;
         }
-        if((insn.bits & 0x1ffff) == 0x117a)
+        if((insn.bits & 0x1ffff) == 0x1d7a)
         {
-          #include "insns/amow_min.h"
+          #include "insns/amomaxu_w.h"
           break;
         }
-        if((insn.bits & 0x1ffff) == 0xd7a)
+        if((insn.bits & 0x1ffff) == 0x157a)
         {
-          #include "insns/amow_or.h"
+          #include "insns/amomax_w.h"
           break;
         }
-        if((insn.bits & 0x1ffff) == 0x197a)
+        if((insn.bits & 0x1ffff) == 0x17a)
         {
-          #include "insns/amow_minu.h"
+          #include "insns/amoadd_w.h"
           break;
         }
-        if((insn.bits & 0x1ffff) == 0x17a)
+        if((insn.bits & 0x1ffff) == 0xd7a)
         {
-          #include "insns/amow_add.h"
+          #include "insns/amoor_w.h"
           break;
         }
-        if((insn.bits & 0x1ffff) == 0x57a)
+        if((insn.bits & 0x1ffff) == 0x117a)
         {
-          #include "insns/amow_swap.h"
+          #include "insns/amomin_w.h"
           break;
         }
-        if((insn.bits & 0x1ffff) == 0x1d7a)
+        if((insn.bits & 0x1ffff) == 0x57a)
         {
-          #include "insns/amow_maxu.h"
+          #include "insns/amoswap_w.h"
           break;
         }
         #include "insns/unimp.h"
       }
       case 0x3:
       {
-        if((insn.bits & 0x1ffff) == 0x1fa)
+        if((insn.bits & 0x1ffff) == 0x19fa)
         {
-          #include "insns/amo_add.h"
+          #include "insns/amominu_d.h"
           break;
         }
-        if((insn.bits & 0x1ffff) == 0x5fa)
+        if((insn.bits & 0x1ffff) == 0x9fa)
         {
-          #include "insns/amo_swap.h"
+          #include "insns/amoand_d.h"
           break;
         }
-        if((insn.bits & 0x1ffff) == 0xdfa)
+        if((insn.bits & 0x1ffff) == 0x1dfa)
         {
-          #include "insns/amo_or.h"
+          #include "insns/amomaxu_d.h"
           break;
         }
-        if((insn.bits & 0x1ffff) == 0x15fa)
+        if((insn.bits & 0x1ffff) == 0x11fa)
         {
-          #include "insns/amo_max.h"
+          #include "insns/amomin_d.h"
           break;
         }
-        if((insn.bits & 0x1ffff) == 0x11fa)
+        if((insn.bits & 0x1ffff) == 0x1fa)
         {
-          #include "insns/amo_min.h"
+          #include "insns/amoadd_d.h"
           break;
         }
-        if((insn.bits & 0x1ffff) == 0x19fa)
+        if((insn.bits & 0x1ffff) == 0x15fa)
         {
-          #include "insns/amo_minu.h"
+          #include "insns/amomax_d.h"
           break;
         }
-        if((insn.bits & 0x1ffff) == 0x9fa)
+        if((insn.bits & 0x1ffff) == 0xdfa)
         {
-          #include "insns/amo_and.h"
+          #include "insns/amoor_d.h"
           break;
         }
-        if((insn.bits & 0x1ffff) == 0x1dfa)
+        if((insn.bits & 0x1ffff) == 0x5fa)
         {
-          #include "insns/amo_maxu.h"
+          #include "insns/amoswap_d.h"
           break;
         }
         #include "insns/unimp.h"

riscv/insns/fsel_d.h

@@ -0,0 +1,3 @@
+require_fp;
+FRD = !f64_eq(FRS1, 0) ? FRS2 : FRS3;
+set_fp_exceptions;

riscv/insns/fsel_s.h

@@ -0,0 +1,3 @@
+require_fp;
+FRD = !f32_eq(FRS1, 0) ? FRS2 : FRS3;
+set_fp_exceptions;

riscv/insns/l_d.h

@@ -1,2 +1,2 @@
-require_fp;
-FRD = mmu.load_int64(RS1+SIMM);
+require_xpr64;
+RD = mmu.load_int64(RS1+SIMM);

riscv/insns/ld.h

@@ -1,2 +0,0 @@
-require_xpr64;
-RD = mmu.load_int64(RS1+SIMM);

riscv/insns/lf_d.h

@@ -0,0 +1,2 @@
+require_fp;
+FRD = mmu.load_int64(RS1+SIMM);

riscv/insns/s_d.h

@@ -1,2 +1,2 @@
-require_fp;
-mmu.store_uint64(RS1+BIMM, FRS2);
+require_xpr64;
+mmu.store_uint64(RS1+BIMM, RS2);

riscv/insns/sd.h

@@ -1,2 +0,0 @@
-require_xpr64;
-mmu.store_uint64(RS1+BIMM, RS2);

riscv/insns/sf_d.h

@@ -0,0 +1,2 @@
+require_fp;
+mmu.store_uint64(RS1+BIMM, FRS2);