From 1847bba4d356264268116d7d0b313b86e0af7c5b Mon Sep 17 00:00:00 2001
From: Alex AUVOLAT <alex.auvolat@ens.fr>
Date: Fri, 3 Jan 2014 22:43:07 +0100
Subject: CPU all implemented except missing ALU operations.

---
 sched/simplify.ml | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'sched/simplify.ml')

diff --git a/sched/simplify.ml b/sched/simplify.ml
index c68fe66..86c4790 100644
--- a/sched/simplify.ml
+++ b/sched/simplify.ml
@@ -143,6 +143,10 @@ let arith_simplify p =
         Earg(Aconst(Array.make sz false))
       | Ebinop(_, Avar(a), Avar(b)) when a = b ->
         Earg(Avar(a))
+      
+      | Emux(_, a, b) when a = b -> Earg(a)
+      | Emux(Aconst[|false|], a, b) -> Earg(a)    
+      | Emux(Aconst[|true|], a, b) -> Earg(b)
 
       | Eslice(i, j, k) when i = j -> Eselect(i, k)
 
-- 
cgit v1.2.3