diff options
Diffstat (limited to 'example/expression')
| -rw-r--r-- | example/expression/expr_grapher.py | 2 | ||||
| -rw-r--r-- | example/expression/expr_reduce.py | 4 | ||||
| -rw-r--r-- | example/expression/simplification_tools.py | 4 |
3 files changed, 5 insertions, 5 deletions
diff --git a/example/expression/expr_grapher.py b/example/expression/expr_grapher.py index 9bf6cd84..e0562852 100644 --- a/example/expression/expr_grapher.py +++ b/example/expression/expr_grapher.py @@ -6,7 +6,7 @@ a = ExprId("A", 32) b = ExprId("B", 32) c = ExprId("C", 32) d = ExprId("D", 32) -m = ExprMem(a + b + c + a) +m = ExprMem(a + b + c + a, 32) e1 = ExprCompose(a + b - (c * a) / m | b, a + m) e2 = ExprInt(15, 64) diff --git a/example/expression/expr_reduce.py b/example/expression/expr_reduce.py index 7c6e0c4c..0f575e57 100644 --- a/example/expression/expr_reduce.py +++ b/example/expression/expr_reduce.py @@ -81,8 +81,8 @@ def test(): (ptr, StructLookup.FIELD_A_PTR), (ptr + int4, StructLookup.FIELD_A_PTR), (ptr + int4 * int4, StructLookup.FIELD_A_PTR), - (ExprMem(ptr), StructLookup.FIELD_A), - (ExprMem(ptr + int4 * int4), StructLookup.FIELD_A), + (ExprMem(ptr, 32), StructLookup.FIELD_A), + (ExprMem(ptr + int4 * int4, 32), StructLookup.FIELD_A), ] for expr_in, result in tests: diff --git a/example/expression/simplification_tools.py b/example/expression/simplification_tools.py index 1fb95a80..7c15b3e7 100644 --- a/example/expression/simplification_tools.py +++ b/example/expression/simplification_tools.py @@ -13,7 +13,7 @@ c = ExprId('c', 32) d = ExprId('d', 32) e = ExprId('e', 32) -m = ExprMem(a) +m = ExprMem(a, 32) s = a[:8] i1 = ExprInt(0x1, 32) @@ -28,7 +28,7 @@ l = [a[:8], b[:8], c[:8], m[:8], s, i1[:8], i2[:8], o[:8]] l2 = l[::-1] -x = ExprMem(a + b + ExprInt(0x42, 32)) +x = ExprMem(a + b + ExprInt(0x42, 32), 32) def replace_expr(e): |