Lines Matching defs:rotate
12357 (rotate'1,
12358 (rotate'0,
12384 ([rotate'1,rotate'0],2),BitsN.B(0x0,3)))
12412 (rotate'1,
12413 (rotate'0,
12439 ([rotate'1,rotate'0],2),BitsN.B(0x0,3)))
12467 (rotate'1,
12468 (rotate'0,
12494 ([rotate'1,rotate'0],2),BitsN.B(0x0,3)))
19005 (sb'0'0'0,(rotate'1,(rotate'0,(Rm'3,(Rm'2,(Rm'1,Rm'0)))))))))))))))) =>
19026 (BitsN.fromBitstring([rotate'1,rotate'0],2),
20689 val rotate = BitsN.bits(4,3) rot
20698 [c,BitsN.B(0xD,5),U,BitsN.B(0x2,2),Rn,Rd,rotate,
20720 [BitsN.B(0xF,4),Rd,BitsN.B(0x2,2),rotate,Rm])
20727 val rotate = BitsN.bits(4,3) rot
20736 [c,BitsN.B(0xD,5),U,BitsN.B(0x3,2),Rn,Rd,rotate,
20758 [BitsN.B(0xF,4),Rd,BitsN.B(0x2,2),rotate,Rm])
20765 val rotate = BitsN.bits(4,3) rot
20770 [c,BitsN.B(0xD,5),U,BitsN.B(0x0,2),Rn,Rd,rotate,
20775 BitsN.concat[BitsN.B(0xF,4),Rd,BitsN.B(0x2,2),rotate,Rm])