Lines Matching defs:regs
6753 val regs =
6762 (0,Nat.-(regs,1),
6800 val regs =
6809 (0,Nat.-(regs,1),
7232 val (d,regs) =
7237 if (regs = 0) orelse
7238 ((Nat.>(Nat.+(BitsN.toNat d,regs),32)) orelse
7241 ((Nat.>(regs,16)) orelse (BitsN.bit(imm8,0))))))
7286 val (d,regs) =
7291 if (regs = 0) orelse
7292 ((Nat.>(Nat.+(BitsN.toNat d,regs),32)) orelse
7295 ((Nat.>(regs,16)) orelse (BitsN.bit(imm8,0))))))
26407 val regs =
26415 (BitsN.-(BitsN.<<^(BitsN.B(0x1,32),regs),BitsN.B(0x1,32)),
26420 val regs =
26430 (BitsN.-(BitsN.<<^(BitsN.B(0x1,32),regs),BitsN.B(0x1,32)),
26435 val regs =
26443 (BitsN.-(BitsN.<<^(BitsN.B(0x1,32),regs),BitsN.B(0x1,32)),
26448 val regs =
26458 (BitsN.-(BitsN.<<^(BitsN.B(0x1,32),regs),BitsN.B(0x1,32)),