Add Z/Named/DeadCodeElimination.v

1 files changed, 14 insertions, 0 deletions

diff --git a/src/Compilers/Z/Named/DeadCodeElimination.v b/src/Compilers/Z/Named/DeadCodeElimination.v
new file mode 100644
index 000000000..b74064ff9
--- /dev/null
+++ b/src/Compilers/Z/Named/DeadCodeElimination.v
@@ -0,0 +1,14 @@
+Require Import Coq.PArith.BinPos.
+Require Import Crypto.Compilers.Named.Context.
+Require Import Crypto.Compilers.Named.DeadCodeElimination.
+Require Import Crypto.Compilers.Z.Syntax.
+
+Section language.
+  Context {Name : Type}
+          {Context : Context Name (fun _ : base_type => positive)}.
+
+  Definition EliminateDeadCode {t} e ls
+    := @EliminateDeadCode base_type op Name Context t e ls.
+  Definition CompileAndEliminateDeadCode {t} e ls
+    := @CompileAndEliminateDeadCode base_type op Name Context t e ls.
+End language.