vamo: remove instruction implementation

Signed-off-by: Chih-Min Chao <chihmin.chao@sifive.com>

36 files changed, 0 insertions, 72 deletions

diff --git a/riscv/insns/vamoaddei16_v.h b/riscv/insns/vamoaddei16_v.h
deleted file mode 100644
index 3cb3db7..0000000
--- a/riscv/insns/vamoaddei16_v.h
+++ /dev/null
@@ -1,2 +0,0 @@
-//vamoadde.v vd, (rs1), vs2, vd
-VI_AMO({ return lhs + vs3; }, uint, e16);
diff --git a/riscv/insns/vamoaddei32_v.h b/riscv/insns/vamoaddei32_v.h
deleted file mode 100644
index 2bd77fc..0000000
--- a/riscv/insns/vamoaddei32_v.h
+++ /dev/null
@@ -1,2 +0,0 @@
-//vamoadde.v vd, (rs1), vs2, vd
-VI_AMO({ return lhs + vs3; }, uint, e32);
diff --git a/riscv/insns/vamoaddei64_v.h b/riscv/insns/vamoaddei64_v.h
deleted file mode 100644
index 79ca748..0000000
--- a/riscv/insns/vamoaddei64_v.h
+++ /dev/null
@@ -1,2 +0,0 @@
-//vamoadde.v vd, (rs1), vs2, vd
-VI_AMO({ return lhs + vs3; }, uint, e64);
diff --git a/riscv/insns/vamoaddei8_v.h b/riscv/insns/vamoaddei8_v.h
deleted file mode 100644
index 06b8c79..0000000
--- a/riscv/insns/vamoaddei8_v.h
+++ /dev/null
@@ -1,2 +0,0 @@
-//vamoadde.v vd, (rs1), vs2, vd
-VI_AMO({ return lhs + vs3; }, uint, e8);
diff --git a/riscv/insns/vamoandei16_v.h b/riscv/insns/vamoandei16_v.h
deleted file mode 100644
index be11949..0000000
--- a/riscv/insns/vamoandei16_v.h
+++ /dev/null
@@ -1,2 +0,0 @@
-//vamoande.v vd, (rs1), vs2, vd
-VI_AMO({ return lhs & vs3; }, uint, e16);
diff --git a/riscv/insns/vamoandei32_v.h b/riscv/insns/vamoandei32_v.h
deleted file mode 100644
index 7150670..0000000
--- a/riscv/insns/vamoandei32_v.h
+++ /dev/null
@@ -1,2 +0,0 @@
-//vamoande.v vd, (rs1), vs2, vd
-VI_AMO({ return lhs & vs3; }, uint, e32);
diff --git a/riscv/insns/vamoandei64_v.h b/riscv/insns/vamoandei64_v.h
deleted file mode 100644
index 3efae3b..0000000
--- a/riscv/insns/vamoandei64_v.h
+++ /dev/null
@@ -1,2 +0,0 @@
-//vamoande.v vd, (rs1), vs2, vd
-VI_AMO({ return lhs & vs3; }, uint, e64);
diff --git a/riscv/insns/vamoandei8_v.h b/riscv/insns/vamoandei8_v.h
deleted file mode 100644
index c47645d..0000000
--- a/riscv/insns/vamoandei8_v.h
+++ /dev/null
@@ -1,2 +0,0 @@
-//vamoande.v vd, (rs1), vs2, vd
-VI_AMO({ return lhs & vs3; }, uint, e8);
diff --git a/riscv/insns/vamomaxei16_v.h b/riscv/insns/vamomaxei16_v.h
deleted file mode 100644
index ca67893..0000000
--- a/riscv/insns/vamomaxei16_v.h
+++ /dev/null
@@ -1,2 +0,0 @@
-//vamomaxe.v vd, (rs1), vs2, vd
-VI_AMO({ return lhs >= vs3 ? lhs : vs3; }, int, e16);
diff --git a/riscv/insns/vamomaxei32_v.h b/riscv/insns/vamomaxei32_v.h
deleted file mode 100644
index b6823cd..0000000
--- a/riscv/insns/vamomaxei32_v.h
+++ /dev/null
@@ -1,2 +0,0 @@
-//vamomaxe.v vd, (rs1), vs2, vd
-VI_AMO({ return lhs >= vs3 ? lhs : vs3; }, int, e32);
diff --git a/riscv/insns/vamomaxei64_v.h b/riscv/insns/vamomaxei64_v.h
deleted file mode 100644
index 46e8a3b..0000000
--- a/riscv/insns/vamomaxei64_v.h
+++ /dev/null
@@ -1,2 +0,0 @@
-//vamomaxe.v vd, (rs1), vs2, vd
-VI_AMO({ return lhs >= vs3 ? lhs : vs3; }, int, e64);
diff --git a/riscv/insns/vamomaxei8_v.h b/riscv/insns/vamomaxei8_v.h
deleted file mode 100644
index 9697b3a..0000000
--- a/riscv/insns/vamomaxei8_v.h
+++ /dev/null
@@ -1,2 +0,0 @@
-//vamomaxe.v vd, (rs1), vs2, vd
-VI_AMO({ return lhs >= vs3 ? lhs : vs3; }, int, e8);
diff --git a/riscv/insns/vamomaxuei16_v.h b/riscv/insns/vamomaxuei16_v.h
deleted file mode 100644
index e05971d..0000000
--- a/riscv/insns/vamomaxuei16_v.h
+++ /dev/null
@@ -1,2 +0,0 @@
-//vamomaxue.v vd, (rs1), vs2, vd
-VI_AMO({ return lhs >= vs3 ? lhs : vs3;; }, uint, e16);
diff --git a/riscv/insns/vamomaxuei32_v.h b/riscv/insns/vamomaxuei32_v.h
deleted file mode 100644
index 9b87354..0000000
--- a/riscv/insns/vamomaxuei32_v.h
+++ /dev/null
@@ -1,2 +0,0 @@
-//vamomaxue.v vd, (rs1), vs2, vd
-VI_AMO({ return lhs >= vs3 ? lhs : vs3;; }, uint, e32);
diff --git a/riscv/insns/vamomaxuei64_v.h b/riscv/insns/vamomaxuei64_v.h
deleted file mode 100644
index bbfbc9f..0000000
--- a/riscv/insns/vamomaxuei64_v.h
+++ /dev/null
@@ -1,2 +0,0 @@
-//vamomaxue.v vd, (rs1), vs2, vd
-VI_AMO({ return lhs >= vs3 ? lhs : vs3;; }, uint, e64);
diff --git a/riscv/insns/vamomaxuei8_v.h b/riscv/insns/vamomaxuei8_v.h
deleted file mode 100644
index 357ba24..0000000
--- a/riscv/insns/vamomaxuei8_v.h
+++ /dev/null
@@ -1,2 +0,0 @@
-//vamomaxue.v vd, (rs1), vs2, vd
-VI_AMO({ return lhs >= vs3 ? lhs : vs3;; }, uint, e8);
diff --git a/riscv/insns/vamominei16_v.h b/riscv/insns/vamominei16_v.h
deleted file mode 100644
index 9d1ecac..0000000
--- a/riscv/insns/vamominei16_v.h
+++ /dev/null
@@ -1,2 +0,0 @@
-//vamomine.v vd, (rs1), vs2, vd
-VI_AMO({ return lhs < vs3 ? lhs : vs3; }, int, e16);
diff --git a/riscv/insns/vamominei32_v.h b/riscv/insns/vamominei32_v.h
deleted file mode 100644
index 6cb8475..0000000
--- a/riscv/insns/vamominei32_v.h
+++ /dev/null
@@ -1,2 +0,0 @@
-//vamomine.v vd, (rs1), vs2, vd
-VI_AMO({ return lhs < vs3 ? lhs : vs3; }, int, e32);
diff --git a/riscv/insns/vamominei64_v.h b/riscv/insns/vamominei64_v.h
deleted file mode 100644
index 9ef3d4e..0000000
--- a/riscv/insns/vamominei64_v.h
+++ /dev/null
@@ -1,2 +0,0 @@
-//vamomine.v vd, (rs1), vs2, vd
-VI_AMO({ return lhs < vs3 ? lhs : vs3; }, int, e64);
diff --git a/riscv/insns/vamominei8_v.h b/riscv/insns/vamominei8_v.h
deleted file mode 100644
index 5c035ea..0000000
--- a/riscv/insns/vamominei8_v.h
+++ /dev/null
@@ -1,2 +0,0 @@
-//vamomine.v vd, (rs1), vs2, vd
-VI_AMO({ return lhs < vs3 ? lhs : vs3; }, int, e8);
diff --git a/riscv/insns/vamominuei16_v.h b/riscv/insns/vamominuei16_v.h
deleted file mode 100644
index d4a8f89..0000000
--- a/riscv/insns/vamominuei16_v.h
+++ /dev/null
@@ -1,2 +0,0 @@
-//vamominue.v vd, (rs1), vs2, vd
-VI_AMO({ return lhs < vs3 ? lhs : vs3;; }, uint, e16);
diff --git a/riscv/insns/vamominuei32_v.h b/riscv/insns/vamominuei32_v.h
deleted file mode 100644
index 16296c5..0000000
--- a/riscv/insns/vamominuei32_v.h
+++ /dev/null
@@ -1,2 +0,0 @@
-//vamominue.v vd, (rs1), vs2, vd
-VI_AMO({ return lhs < vs3 ? lhs : vs3;; }, uint, e32);
diff --git a/riscv/insns/vamominuei64_v.h b/riscv/insns/vamominuei64_v.h
deleted file mode 100644
index fd850fd..0000000
--- a/riscv/insns/vamominuei64_v.h
+++ /dev/null
@@ -1,2 +0,0 @@
-//vamominue.v vd, (rs1), vs2, vd
-VI_AMO({ return lhs < vs3 ? lhs : vs3;; }, uint, e64);
diff --git a/riscv/insns/vamominuei8_v.h b/riscv/insns/vamominuei8_v.h
deleted file mode 100644
index 3749d05..0000000
--- a/riscv/insns/vamominuei8_v.h
+++ /dev/null
@@ -1,2 +0,0 @@
-//vamominue.v vd, (rs1), vs2, vd
-VI_AMO({ return lhs < vs3 ? lhs : vs3;; }, uint, e8);
diff --git a/riscv/insns/vamoorei16_v.h b/riscv/insns/vamoorei16_v.h
deleted file mode 100644
index a5ba1ca..0000000
--- a/riscv/insns/vamoorei16_v.h
+++ /dev/null
@@ -1,2 +0,0 @@
-//vamoore.v vd, (rs1), vs2, vd
-VI_AMO({ return lhs | vs3; }, uint, e16);
diff --git a/riscv/insns/vamoorei32_v.h b/riscv/insns/vamoorei32_v.h
deleted file mode 100644
index 94e4458..0000000
--- a/riscv/insns/vamoorei32_v.h
+++ /dev/null
@@ -1,2 +0,0 @@
-//vamoore.v vd, (rs1), vs2, vd
-VI_AMO({ return lhs | vs3; }, uint, e32);
diff --git a/riscv/insns/vamoorei64_v.h b/riscv/insns/vamoorei64_v.h
deleted file mode 100644
index 84e0394..0000000
--- a/riscv/insns/vamoorei64_v.h
+++ /dev/null
@@ -1,2 +0,0 @@
-//vamoore.v vd, (rs1), vs2, vd
-VI_AMO({ return lhs | vs3; }, uint, e64);
diff --git a/riscv/insns/vamoorei8_v.h b/riscv/insns/vamoorei8_v.h
deleted file mode 100644
index 364035d..0000000
--- a/riscv/insns/vamoorei8_v.h
+++ /dev/null
@@ -1,2 +0,0 @@
-//vamoore.v vd, (rs1), vs2, vd
-VI_AMO({ return lhs | vs3; }, uint, e8);
diff --git a/riscv/insns/vamoswapei16_v.h b/riscv/insns/vamoswapei16_v.h
deleted file mode 100644
index 31ff021..0000000
--- a/riscv/insns/vamoswapei16_v.h
+++ /dev/null
@@ -1,2 +0,0 @@
-//vamoswape.v vd, (rs1), vs2, vd
-VI_AMO({ return vs3; }, uint, e16);
diff --git a/riscv/insns/vamoswapei32_v.h b/riscv/insns/vamoswapei32_v.h
deleted file mode 100644
index a574192..0000000
--- a/riscv/insns/vamoswapei32_v.h
+++ /dev/null
@@ -1,2 +0,0 @@
-//vamoswape.v vd, (rs1), vs2, vd
-VI_AMO({ return vs3; }, uint, e32);
diff --git a/riscv/insns/vamoswapei64_v.h b/riscv/insns/vamoswapei64_v.h
deleted file mode 100644
index 58bd035..0000000
--- a/riscv/insns/vamoswapei64_v.h
+++ /dev/null
@@ -1,2 +0,0 @@
-//vamoswape.v vd, (rs1), vs2, vd
-VI_AMO({ return vs3; }, uint, e64);
diff --git a/riscv/insns/vamoswapei8_v.h b/riscv/insns/vamoswapei8_v.h
deleted file mode 100644
index af37c8c..0000000
--- a/riscv/insns/vamoswapei8_v.h
+++ /dev/null
@@ -1,2 +0,0 @@
-//vamoswape.v vd, (rs1), vs2, vd
-VI_AMO({ return vs3; }, uint, e8);
diff --git a/riscv/insns/vamoxorei16_v.h b/riscv/insns/vamoxorei16_v.h
deleted file mode 100644
index 61e8c32..0000000
--- a/riscv/insns/vamoxorei16_v.h
+++ /dev/null
@@ -1,2 +0,0 @@
-//vamoore.v vd, (rs1), vs2, vd
-VI_AMO({ return lhs ^ vs3; }, uint, e16);
diff --git a/riscv/insns/vamoxorei32_v.h b/riscv/insns/vamoxorei32_v.h
deleted file mode 100644
index d48d951..0000000
--- a/riscv/insns/vamoxorei32_v.h
+++ /dev/null
@@ -1,2 +0,0 @@
-//vamoore.v vd, (rs1), vs2, vd
-VI_AMO({ return lhs ^ vs3; }, uint, e32);
diff --git a/riscv/insns/vamoxorei64_v.h b/riscv/insns/vamoxorei64_v.h
deleted file mode 100644
index f7a3ca4..0000000
--- a/riscv/insns/vamoxorei64_v.h
+++ /dev/null
@@ -1,2 +0,0 @@
-//vamoore.v vd, (rs1), vs2, vd
-VI_AMO({ return lhs ^ vs3; }, uint, e64);
diff --git a/riscv/insns/vamoxorei8_v.h b/riscv/insns/vamoxorei8_v.h
deleted file mode 100644
index 4b6c798..0000000
--- a/riscv/insns/vamoxorei8_v.h
+++ /dev/null
@@ -1,2 +0,0 @@
-//vamoore.v vd, (rs1), vs2, vd
-VI_AMO({ return lhs ^ vs3; }, uint, e8);