diff options
| author | Brian Campbell | 2020-11-19 13:53:14 +0000 |
|---|---|---|
| committer | Brian Campbell | 2020-11-19 13:53:14 +0000 |
| commit | 3d526b799eeb699fab913994e0739959688e9963 (patch) | |
| tree | fa9323c6b7f0ed77919b5a7c3526796d49ae0968 /test | |
| parent | 2173dc28a24bc829ca93205e2fafc1a3daf404d5 (diff) | |
Make mono rewrites be more careful to produce constant-sized types
While the backends will usually manage to find the constant size anyway,
this ensures that implicit arguments will be filled in with the constant
value too. (For example, this was affecting isla execution in one corner
case because the slice_mask primitive didn't see that the size was
constant.)
Diffstat (limited to 'test')
| -rw-r--r-- | test/mono/rewrites.sail | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/test/mono/rewrites.sail b/test/mono/rewrites.sail index b08af90f..5f409cdf 100644 --- a/test/mono/rewrites.sail +++ b/test/mono/rewrites.sail @@ -23,4 +23,5 @@ function run() = { assert(sign_ext_fun(x, z, 32) == 0x00000200); assert(sail_zero_extend(y[7..4] @ sail_zeros(8), 32) == 0x00000800); assert(sign_ext_fun(y, z, 32) == 0xfffff800); + assert(sail_ones(i) @ sail_zeros(9) == 0xfe00); } |