From 6702a6149c57c54bcece3fb1cd00b8c09af6e74a Mon Sep 17 00:00:00 2001
From: Fabrice Desclaux <fabrice.desclaux@cea.fr>
Date: Tue, 13 Feb 2018 14:24:05 +0100
Subject: X86: remove c_rez/rcl_rez/rcr_rez special operator

---
 test/expression/simplifications.py | 12 ------------
 1 file changed, 12 deletions(-)

(limited to 'test/expression/simplifications.py')

diff --git a/test/expression/simplifications.py b/test/expression/simplifications.py
index 1e8e73ba..8923cb3e 100644
--- a/test/expression/simplifications.py
+++ b/test/expression/simplifications.py
@@ -297,18 +297,6 @@ to_test = [(ExprInt(1, 32) - ExprInt(1, 32), ExprInt(0, 32)),
     (expr_cmps(ExprInt(-10, 32), ExprInt(-5, 32)),
      ExprInt(0, 1)),
 
-    (ExprOp("<<<c_rez", i1, i0, i0),
-     i1),
-    (ExprOp("<<<c_rez", i1, i1, i0),
-     ExprInt(2, 32)),
-    (ExprOp("<<<c_rez", i1, i1, i1),
-     ExprInt(3, 32)),
-    (ExprOp(">>>c_rez", icustom, i0, i0),
-     icustom),
-    (ExprOp(">>>c_rez", icustom, i1, i0),
-     ExprInt(0x91A2B3C, 32)),
-    (ExprOp(">>>c_rez", icustom, i1, i1),
-     ExprInt(0x891A2B3C, 32)),
     (ExprOp("idiv", ExprInt(0x0123, 16), ExprInt(0xfffb, 16))[:8],
      ExprInt(0xc6, 8)),
     (ExprOp("imod", ExprInt(0x0123, 16), ExprInt(0xfffb, 16))[:8],
-- 
cgit 1.4.1