diff options
Diffstat (limited to 'aarch64_small/armV8_pstate.sail')
| -rw-r--r-- | aarch64_small/armV8_pstate.sail | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/aarch64_small/armV8_pstate.sail b/aarch64_small/armV8_pstate.sail index 38932472..65b8f2bd 100644 --- a/aarch64_small/armV8_pstate.sail +++ b/aarch64_small/armV8_pstate.sail @@ -119,8 +119,8 @@ register PSTATE_M : bits(5) /* Mode field [AArc /* this is a convenient way to do "PSTATE.<N,Z,C,V> = nzcv;" */ -val wPSTATE_NZCV : (unit, bits(4)) -> unit effect {wreg} -function wPSTATE_NZCV((), [n,z,c,v]) = { +val wPSTATE_NZCV : (bits(4)) -> unit effect {wreg} +function wPSTATE_NZCV([n,z,c,v]) = { PSTATE_N() = [n]; PSTATE_Z() = [z]; PSTATE_C() = [c]; |