diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/test/vectors.sail | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/src/test/vectors.sail b/src/test/vectors.sail index de610a39..da5a525b 100644 --- a/src/test/vectors.sail +++ b/src/test/vectors.sail @@ -17,6 +17,9 @@ let (vector<0,3,inc,(register<(bit[10])>)>) gpr_small = [slice_check,slice_check function unit decode ([bitzero, bitzero, bitone, bitzero]) = match_success := 1 and decode x = match_success := x +register (bit[32 : 63]) CR +register (bit[5]) BA + function bit main _ = { slice_check := v3; @@ -71,6 +74,10 @@ function bit main _ = { i[0] := bitzero; i[2 .. 3] := [bitone, bitone]; + (* constraints checking *) + BA := 12; + CR[32 + BA] := CR[32 + BA]; + (* slice access of literal *) v[0]; } |