blob: 02453c721f52b4c1e6448b84343d2b345f8bf255 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
default Order dec
infix 4 ==
val operator == = {lem: "eq_vec"} : forall 'n. (bitvector('n, dec), bitvector('n, dec)) -> bool
struct ProcState ('n : Int) = {
N : bitvector('n, dec),
Z : bitvector(1, dec),
C : bitvector(1, dec),
V : bitvector(1, dec)
}
register PSTATE : ProcState(1)
function test () -> bool = PSTATE.N == 0b1
|
