Lines Matching defs:x0
722 val MEM = ref (Map.mkMap(SOME 18446744073709551616,BitsN.B(0x0,8)))
728 RC = BitsN.B(0x0,2), Reserved = BitsN.B(0x0,16), UE = false,
731 val REG = ref (Map.mkMap(SOME 16,BitsN.B(0x0,64)))
734 val RIP = ref (BitsN.B(0x0,64)): BitsN.nbit ref
736 val XMM_REG = ref (Map.mkMap(SOME 8,BitsN.B(0x0,128)))
758 fun DE_exception () = raise INTERRUPT_EXCEPTION (BitsN.B(0x0,8));
878 NONE => BitsN.B(0x0,64)
886 ZnoBase => BitsN.B(0x0,64)
1000 Zea_i(_,i) => BitsN.B(0x0,64)
1001 | Zea_r(_,r) => BitsN.B(0x0,64)
1039 Z8 _ => (BitsN.fromNat(BitsN.toNat w,8)) = (BitsN.B(0x0,8))
1040 | Z16 => (BitsN.fromNat(BitsN.toNat w,16)) = (BitsN.B(0x0,16))
1041 | Z32 => (BitsN.fromNat(BitsN.toNat w,32)) = (BitsN.B(0x0,32))
1042 | Z64 => w = (BitsN.B(0x0,64)));
1342 ( if not((BitsN.bits(7,0) imm) = (BitsN.B(0x0,8)))
1423 (IntExtra.pow(2,Nat.-(BitsN.size(BitsN.BV(0x0,N)),1))),i)) andalso
1427 (IntExtra.pow(2,Nat.-(BitsN.size(BitsN.BV(0x0,N)),1)),1)))
1445 (IntExtra.pow(2,Nat.-(BitsN.size(BitsN.BV(0x0,N)),1))),i)) andalso
1449 (IntExtra.pow(2,Nat.-(BitsN.size(BitsN.BV(0x0,N)),1)),1)))
1597 BitsN.B(0x0,_) => IEEEReal.TO_NEAREST
1738 val x0 = XMM src
1740 sse_binop64(bop,(BitsN.bits(127,64) x,BitsN.bits(127,64) x0))
1742 sse_binop64(bop,(BitsN.bits(63,0) x,BitsN.bits(63,0) x0))
1751 val x0 = XMM src
1753 sse_binop32(bop,(BitsN.bits(127,96) x,BitsN.bits(127,96) x0))
1755 sse_binop32(bop,(BitsN.bits(95,64) x,BitsN.bits(95,64) x0))
1757 sse_binop32(bop,(BitsN.bits(63,32) x,BitsN.bits(63,32) x0))
1759 sse_binop32(bop,(BitsN.bits(31,0) x,BitsN.bits(31,0) x0))
1770 val x0 = XMM src
1771 val (f,r) = sse_binop64(bop,(BitsN.bits(63,0) x,BitsN.bits(63,0) x0))
1786 val x0 = XMM src
1787 val (f,r) = sse_binop32(bop,(BitsN.bits(31,0) x,BitsN.bits(31,0) x0))
1802 val x0 = XMM src
1804 sse_logic 64 (bop,(BitsN.bits(127,64) x,BitsN.bits(127,64) x0))
1805 val r2 = sse_logic 64 (bop,(BitsN.bits(63,0) x,BitsN.bits(63,0) x0))
1814 val x0 = XMM src
1816 sse_logic 32 (bop,(BitsN.bits(127,96) x,BitsN.bits(127,96) x0))
1817 val r2 = sse_logic 32 (bop,(BitsN.bits(95,64) x,BitsN.bits(95,64) x0))
1818 val r3 = sse_logic 32 (bop,(BitsN.bits(63,32) x,BitsN.bits(63,32) x0))
1819 val r4 = sse_logic 32 (bop,(BitsN.bits(31,0) x,BitsN.bits(31,0) x0))
1828 val x0 = XMM src
1830 sse_compare64(cmp,(BitsN.bits(127,64) x,BitsN.bits(127,64) x0))
1832 sse_compare64(cmp,(BitsN.bits(63,0) x,BitsN.bits(63,0) x0))
1841 val x0 = XMM src
1843 sse_compare32(cmp,(BitsN.bits(127,96) x,BitsN.bits(127,96) x0))
1845 sse_compare32(cmp,(BitsN.bits(95,64) x,BitsN.bits(95,64) x0))
1847 sse_compare32(cmp,(BitsN.bits(63,32) x,BitsN.bits(63,32) x0))
1849 sse_compare32(cmp,(BitsN.bits(31,0) x,BitsN.bits(31,0) x0))
1860 val x0 = XMM src
1862 sse_compare64(cmp,(BitsN.bits(63,0) x,BitsN.bits(63,0) x0))
1877 val x0 = XMM src
1879 sse_compare32(cmp,(BitsN.bits(31,0) x,BitsN.bits(31,0) x0))
1893 val x0 = XMM src2
1895 ( case FP64.compare(BitsN.bits(63,0) x,BitsN.bits(63,0) x0) of
1913 val x0 = XMM src2
1915 ( case FP32.compare(BitsN.bits(31,0) x,BitsN.bits(31,0) x0) of
1934 val x0 = xmm_reg dst
1939 FP64.fromInt(mode,BitsN.toInt(BitsN.bits(31,0) x))),x0)
2230 val x0 = XMM src
2234 (if (BitsN.bits(127,64) x) = (BitsN.bits(127,64) x0)
2236 else BitsN.B(0x0,64),
2237 if (BitsN.bits(63,0) x) = (BitsN.bits(63,0) x0)
2239 else BitsN.B(0x0,64)),dst)
2560 ; if (not(ecx1 = (BitsN.B(0x0,64)))) andalso (read_cond cond)
2827 | _ => (BitsN.B(0x0,64),NONE);
2835 | _ => (BitsN.B(0x0,64),NONE);
2841 | _ => (BitsN.B(0x0,64),NONE);
2847 | _ => (BitsN.B(0x0,64),NONE);
2858 | NONE => (BitsN.B(0x0,64),NONE);
2885 else (BitsN.B(0x0,64),Option.SOME strm);
2917 if Mod = (BitsN.B(0x0,2))
2930 | _ => (Zm(NONE,(ZnoBase,BitsN.B(0x0,64))),NONE);
2983 | _ => (RAX,(Zm(NONE,(ZnoBase,BitsN.B(0x0,64))),NONE));
3014 then Option.SOME(p,(false,(rec'REX(BitsN.B(0x0,4)),strm)))
3028 if v = (BitsN.B(0x0,1))
3063 (BitsN.B(0x0,1))
3102 (BitsN.B(0x0,1))
3243 (BitsN.B(0x0,1))
3272 if opcode = (BitsN.B(0x0,3))
3358 (if (BitsN.fromBitstring([v'0],1)) = (BitsN.B(0x0,1))
3365 (p,(Zret(BitsN.B(0x0,64)),Option.SOME strm2)))
3380 if opcode = (BitsN.B(0x0,3))
3404 (BitsN.B(0x0,1))
3424 (BitsN.B(0x0,1))
3452 (BitsN.B(0x0,1))
3474 BitsN.B(0x0,_) =>
3510 if opcode = (BitsN.B(0x0,3))
3531 BitsN.B(0x0,_) =>
3757 (BitsN.B(0x0,_),[BitsN.B(0x66,_)]) =>
3760 | (BitsN.B(0x0,_),[BitsN.B(0xF3,_)]) =>
3762 | (BitsN.B(0x0,_),[BitsN.B(0xF2,_)]) =>
3764 | (BitsN.B(0x0,_),_) =>
4258 (BitsN.concat[BitsN.B(0x0,1),BitsN.bits(3,3) r,BitsN.B(0x0,2)],
4259 (BitsN.concat[BitsN.B(0x0,2),BitsN.bits(2,0) r,BitsN.B(0x5,3)])
4268 [BitsN.B(0x0,1),BitsN.bits(3,3) r,BitsN.B(0x0,1),
4278 (BitsN.concat[BitsN.B(0x0,1),BitsN.bits(3,3) r,BitsN.B(0x0,2)],
4279 [BitsN.concat[BitsN.B(0x0,2),BitsN.bits(2,0) r,BitsN.B(0x4,3)],
4292 [BitsN.B(0x0,1),BitsN.bits(3,3) r,BitsN.bits(3,3) i,
4293 BitsN.B(0x0,1)],
4295 [BitsN.B(0x0,2),BitsN.bits(2,0) r,BitsN.B(0x4,3)],
4306 if (imm = (BitsN.B(0x0,64))) andalso
4314 [BitsN.B(0x0,1),BitsN.bits(3,3) r,BitsN.bits(3,3) i,
4318 0 => BitsN.B(0x0,2)
4332 if (imm = (BitsN.B(0x0,64))) andalso
4340 [BitsN.B(0x0,1),BitsN.bits(3,3) r,BitsN.B(0x0,1),
4344 0 => BitsN.B(0x0,2)
4358 if rex = (BitsN.B(0x0,4)) then [] else [BitsN.@@(BitsN.B(0x4,4),rex)];
4367 BitsN.B(0x0,8))
4384 (if v = (BitsN.B(0x0,8))
4458 case e_opsize_imm(sz,(BitsN.B(0x0,4),(imm,true))) of
4487 sse_add => BitsN.B(0x0,3)
4506 Option.SOME(BitsN.B(0x0,8))))))))
4515 Option.SOME(BitsN.B(0x0,8)))))))
4526 Option.SOME(BitsN.B(0x0,8))))))))
4537 Option.SOME(BitsN.B(0x0,8))))))))
4549 Option.SOME(BitsN.B(0x0,8))))))))
4559 Option.SOME(BitsN.B(0x0,8)))))))
4568 (BitsN.B(0xC2,8),Option.SOME(BitsN.B(0x0,8)))))))))
4576 ([BitsN.B(0xF,8)],(BitsN.B(0xC2,8),Option.SOME(BitsN.B(0x0,8))))))))
4587 (BitsN.B(0xC2,8),Option.SOME(BitsN.B(0x0,8)))))))))
4598 (BitsN.B(0xC2,8),Option.SOME(BitsN.B(0x0,8)))))))))
4609 (BitsN.B(0x2F,8),Option.SOME(BitsN.B(0x0,8))))))))
4624 (BitsN.B(0xE6,8),Option.SOME(BitsN.B(0x0,8))))))))
4630 ([BitsN.B(0xF,8)],(BitsN.B(0x5B,8),Option.SOME(BitsN.B(0x0,8)))))))
4639 (BitsN.B(0xE6,8),Option.SOME(BitsN.B(0x0,8))))))))
4648 (BitsN.B(0x5A,8),Option.SOME(BitsN.B(0x0,8))))))))
4657 (BitsN.B(0x5B,8),Option.SOME(BitsN.B(0x0,8))))))))
4663 ([BitsN.B(0xF,8)],(BitsN.B(0x5A,8),Option.SOME(BitsN.B(0x0,8)))))))
4682 (BitsN.B(0x5A,8),Option.SOME(BitsN.B(0x0,8))))))))
4691 (BitsN.B(0x2A,8),Option.SOME(BitsN.B(0x0,8))))))))
4700 (BitsN.B(0x2A,8),Option.SOME(BitsN.B(0x0,8))))))))
4709 (BitsN.B(0x5A,8),Option.SOME(BitsN.B(0x0,8))))))))
4728 (BitsN.B(0x28,8),Option.SOME(BitsN.B(0x0,8))))))))
4737 (BitsN.B(0x29,8),Option.SOME(BitsN.B(0x0,8))))))))
4747 (BitsN.B(0x10,8),Option.SOME(BitsN.B(0x0,8))))))))
4756 (BitsN.B(0x11,8),Option.SOME(BitsN.B(0x0,8))))))))
4766 (BitsN.B(0x10,8),Option.SOME(BitsN.B(0x0,8))))))))
4775 (BitsN.B(0x11,8),Option.SOME(BitsN.B(0x0,8))))))))
4785 (BitsN.B(0x10,8),Option.SOME(BitsN.B(0x0,8))))))))
4794 (BitsN.B(0x11,8),Option.SOME(BitsN.B(0x0,8))))))))
4806 Option.SOME(BitsN.B(0x0,8))))))))
4832 (BitsN.B(0x29,8),Option.SOME(BitsN.B(0x0,8))))))))
4841 (BitsN.B(0x71,8),Option.SOME(BitsN.B(0x0,8)))))))))
4852 (BitsN.B(0x71,8),Option.SOME(BitsN.B(0x0,8)))))))))
4863 (BitsN.B(0x71,8),Option.SOME(BitsN.B(0x0,8)))))))))
4874 (BitsN.B(0x72,8),Option.SOME(BitsN.B(0x0,8)))))))))
4885 (BitsN.B(0x72,8),Option.SOME(BitsN.B(0x0,8)))))))))
4896 (BitsN.B(0x72,8),Option.SOME(BitsN.B(0x0,8)))))))))
4907 (BitsN.B(0x73,8),Option.SOME(BitsN.B(0x0,8)))))))))
4918 (BitsN.B(0x73,8),Option.SOME(BitsN.B(0x0,8)))))))))
4929 (BitsN.B(0x73,8),Option.SOME(BitsN.B(0x0,8)))))))))
4940 (BitsN.B(0x73,8),Option.SOME(BitsN.B(0x0,8)))))))))
4951 (BitsN.B(0x51,8),Option.SOME(BitsN.B(0x0,8))))))))
4960 (BitsN.B(0x51,8),Option.SOME(BitsN.B(0x0,8))))))))
4966 ([BitsN.B(0xF,8)],(BitsN.B(0x51,8),Option.SOME(BitsN.B(0x0,8)))))))
4975 (BitsN.B(0x51,8),Option.SOME(BitsN.B(0x0,8))))))));
4984 else e_rm_imm(sz,(rm,(imm,(BitsN.B(0x0,4),BitsN.B(0xF6,8)))))
5008 [BitsN.B(0x0,2),BitsN.bits(2,0) opc,
5036 [BitsN.B(0x0,2),BitsN.bits(2,0) opc,
5037 BitsN.B(0x0,3)],NONE)))))
5051 [BitsN.B(0x0,2),BitsN.bits(2,0) opc,BitsN.B(0x2,3)],
5125 | Zmonop(Zinc,(Z8 _,rm)) => e_opc(BitsN.B(0xFE,8),(BitsN.B(0x0,3),rm))
5128 e_gen_rm_reg(sz,(rm,(BitsN.B(0x0,4),([],(BitsN.B(0xFF,8),NONE)))))
5148 val rex = if BitsN.bit(r,3) then BitsN.B(0x1,4) else BitsN.B(0x0,4)
5160 e_rm_imm(sz,(rm,(imm,(BitsN.B(0x0,4),BitsN.B(0xC6,8)))))
5180 if sz1 = Z16 then BitsN.B(0x1,8) else BitsN.B(0x0,8)
5194 if sz1 = Z16 then BitsN.B(0x1,8) else BitsN.B(0x0,8)
5240 | Znop 3 => [BitsN.B(0xF,8),BitsN.B(0x1F,8),BitsN.B(0x0,8)]
5242 [BitsN.B(0xF,8),BitsN.B(0x1F,8),BitsN.B(0x40,8),BitsN.B(0x0,8)]
5244 [BitsN.B(0xF,8),BitsN.B(0x1F,8),BitsN.B(0x44,8),BitsN.B(0x0,8),
5245 BitsN.B(0x0,8)]
5248 BitsN.B(0x0,8),BitsN.B(0x0,8)]
5250 [BitsN.B(0xF,8),BitsN.B(0x1F,8),BitsN.B(0x80,8),BitsN.B(0x0,8),
5251 BitsN.B(0x0,8),BitsN.B(0x0,8),BitsN.B(0x0,8)]
5253 [BitsN.B(0xF,8),BitsN.B(0x1F,8),BitsN.B(0x84,8),BitsN.B(0x0,8),
5254 BitsN.B(0x0,8),BitsN.B(0x0,8),BitsN.B(0x0,8),BitsN.B(0x0,8)]
5257 BitsN.B(0x0,8),BitsN.B(0x0,8),BitsN.B(0x0,8),BitsN.B(0x0,8),
5258 BitsN.B(0x0,8)]
5268 | Zpop rm => e_opc(BitsN.B(0x8F,8),(BitsN.B(0x0,3),rm))
5286 | Zret(BitsN.B(0x0,64)) => [BitsN.B(0xC3,8)]
5294 (BitsN.B(0x0,4),
5309 if BitsN.bit(r,3) then BitsN.B(0x1,4) else BitsN.B(0x0,4)
5510 "1" => Option.SOME(BitsN.B(0x0,2))
5556 then Option.SOME(true,BitsN.B(0x0,64))
5597 ((Option.SOME(BitsN.B(0x0,2),rg),(b,disp)),r)
5607 (if n1 = (BitsN.B(0x0,2))
5611 else if n2 = (BitsN.B(0x0,2))
5636 ((Option.SOME(BitsN.B(0x0,2),rg),(b,disp)),r)
5646 (if n1 = (BitsN.B(0x0,2))
5650 else if n2 = (BitsN.B(0x0,2))
5666 (Option.SOME(BitsN.B(0x0,_),r),(NONE,disp)) =>
5668 | (Option.SOME(BitsN.B(0x0,_),RSP),(Option.SOME r,disp)) =>
5669 (Option.SOME(BitsN.B(0x0,2),r),(Option.SOME RSP,disp))
5677 case disp of Option.SOME imm => imm | NONE => BitsN.B(0x0,64)))
5887 | _ => ("syntax error",Zm(NONE,(ZnoBase,BitsN.B(0x0,64))))
6005 (BitsN.B(0x0,3),xmm_mem(NONE,(ZnoBase,BitsN.B(0x0,64)))))
6094 BitsN.B(0x0,_) => PSRLW_imm a
6194 PENDING(l,Zcall(Zimm(BitsN.B(0x0,64))))
6292 (l,Zloop(c,BitsN.B(0x0,64)))
6617 p_pshift(BitsN.B(0x0,4),(String.implode a,b))
6662 | "ret" => OK(Zret(BitsN.B(0x0,64)))
6741 if BitsN.<(q,BitsN.B(0x0,64))
6746 if q = (BitsN.B(0x0,64))
6748 else if BitsN.<(q,BitsN.B(0x0,64))
6755 (if scale = (BitsN.B(0x0,2))