From 6f3a19f40c9d941666cdba8742d4f431579d42c9 Mon Sep 17 00:00:00 2001
From: Fabrice Desclaux <fabrice.desclaux@cea.fr>
Date: Mon, 28 Dec 2020 20:07:22 +0100
Subject: Add simplification

The simplification added in ce175bb51 may take reduction before
simp_cc_conds. This add simplifications for remaining case.
---
 test/expression/simplifications.py | 11 +++++++++++
 1 file changed, 11 insertions(+)

(limited to 'test/expression')

diff --git a/test/expression/simplifications.py b/test/expression/simplifications.py
index c75dc0d3..96ab8a59 100644
--- a/test/expression/simplifications.py
+++ b/test/expression/simplifications.py
@@ -807,6 +807,17 @@ to_test = [
         ),
     ),
 
+    (
+        ExprCond(
+            ExprOp("FLAG_SUB_CF", a, b),
+            c, d
+        ),
+        ExprCond(
+            ExprOp("<u", a, b),
+            c, d
+        ),
+    ),
+
 
 
 ]
-- 
cgit 1.4.1