From 8462e1b5b65b61e837e673229e1bae4dc78c7840 Mon Sep 17 00:00:00 2001 From: ajax Date: Thu, 12 Jun 2014 17:41:05 +0200 Subject: Test: Simplifications: Use ".msb()" instead of hard coded [31:32] --- test/expression/simplifications.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'test/expression/simplifications.py') diff --git a/test/expression/simplifications.py b/test/expression/simplifications.py index 7d76b6e2..9a4fbe8c 100644 --- a/test/expression/simplifications.py +++ b/test/expression/simplifications.py @@ -177,9 +177,9 @@ for e, e_check in to_test[:]: # Test conds to_test = [ - (((a - b) ^ ((a ^ b) & ((a - b) ^ a)))[31:32], + (((a - b) ^ ((a ^ b) & ((a - b) ^ a))).msb(), ExprOp(TOK_INF_SIGNED, a, b)), - ((((a - b) ^ ((a ^ b) & ((a - b) ^ a))) ^ a ^ b)[31:32], + ((((a - b) ^ ((a ^ b) & ((a - b) ^ a))) ^ a ^ b).msb(), ExprOp(TOK_INF_UNSIGNED, a, b)), (ExprOp(TOK_INF_UNSIGNED, ExprInt32(-1), ExprInt32(3)), ExprInt1(0)), (ExprOp(TOK_INF_SIGNED, ExprInt32(-1), ExprInt32(3)), ExprInt1(1)), -- cgit 1.4.1