From ce175bb51b8d391ea0da2ef1396b79b495b8cdf5 Mon Sep 17 00:00:00 2001 From: Fabrice Desclaux Date: Thu, 25 Jun 2020 13:41:24 +0200 Subject: Add cond CC flag simplification --- test/expression/simplifications.py | 25 +++++++++++++++++++++++++ 1 file changed, 25 insertions(+) (limited to 'test/expression/simplifications.py') diff --git a/test/expression/simplifications.py b/test/expression/simplifications.py index 1f243425..c75dc0d3 100644 --- a/test/expression/simplifications.py +++ b/test/expression/simplifications.py @@ -784,6 +784,31 @@ to_test = [ ExprOp(TOK_EQUAL, a, i0) ), + + ( + ExprCond( + ExprOp("CC_U<", a[0:1]), + b, c + ), + ExprCond( + a[0:1], + b, c + ), + ), + + ( + ExprCond( + ExprOp("CC_U>=", a[0:1]), + b, c + ), + ExprCond( + a[0:1], + c, b + ), + ), + + + ] for e_input, e_check in to_test: -- cgit 1.4.1