diff options
Diffstat (limited to 'test')
| -rw-r--r-- | test/expression/simplifications.py | 25 |
1 files changed, 25 insertions, 0 deletions
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: |