Lines Matching refs:CC
239 CC[Var("Reserved",F16),Mop(Cast F1,bVar"FZ"),Var("RC",FTy 2),
277 CC[Apply
301 CC[Apply
325 CC[Apply
349 CC[Apply
1333 CC[LS"Binary op not implemented: ",
1438 CC[LS"read_cond: ",
1463 CC[LS"read_cond: ",
1492 CC[LS"read_cond: ",
1530 CC[LS"read_cond: ",
2704 TP[CC[Var("r1",F64),Var("r2",F64)],
2766 TP[CC[Var("r1",F32),Var("r2",F32),
2873 TP[CC[Call
2903 TP[CC[Call
2955 TP[CC[Var("r1",F64),Var("r2",F64)],
3007 TP[CC[Var("r1",F32),Var("r2",F32),
3211 TP[CC[Mop(FPFromInt 64,
3255 TP[CC[Var("d1",F32),Var("d2",F32),
3311 CC[Var("w1",F32),Var("w2",F32)],
3356 CC[Var("r1",F32),
3397 TP[CC[Var("w1",F32),Var("w2",F32),
3424 TP[CC[Mop(FP32To64,Var("d1",F32)),
3898 TP[CC[ITE(EQ(EX(Var("v",FTy 128),LN 127,LN 64,F64),
3938 TP[CC[Bop(Lsl,
3965 TP[CC[Bop(Lsl,
3986 TP[CC[Bop(Lsl,
4025 TP[CC[Bop(Asr,
4052 TP[CC[Bop(Asr,
4109 TP[CC[Bop(Lsr,
4136 TP[CC[Bop(Lsr,
4157 TP[CC[Bop(Lsr,
4203 TP[CC[Var("r1",F64),Var("r2",F64)],
4274 TP[CC[Var("r1",F32),Var("r2",F32),
5786 TP[Mop(SE F64,CC[Var("b2",F8),Var("b1",F8)]),
5796 CC[Var("b4",F8),Var("b3",F8),Var("b2",F8),Var("b1",F8)]),
5806 TP[CC[Var("b8",F8),Var("b7",F8),Var("b6",F8),Var("b5",F8),
5848 CC[Mop(Cast F1,bVar"W"),Mop(Cast F1,bVar"R"),Mop(Cast F1,bVar"X"),
5861 Mop(Cast(CTy"Zreg"),CC[Mop(Cast F1,bVar"b"),Var("r",FTy 3)]))
6200 CC[Mop(Cast F1,
7248 CC[LS
7254 CC[LS"Unsupported opcode: 0F 38 ",
7260 CC[LS"Unsupported opcode: 0F 3A ",
7711 CC[LS
7720 CC[LS
7803 CC[LS
8270 CC[LS
8281 CC[LS
8290 CC[LS
8464 CC[LS
8604 CC[LS
8660 CC[LS
8905 CC[LS
9635 CC[LS
9980 CC[LS"Unsupported opcode: 0F ",
9987 CC[LS"Unsupported opcode: ",
10114 TP[CC[LW(0,1),EX(Var("r",F4),LN 3,LN 3,F1),LW(0,2)],
10115 LLC([CC[LW(0,2),EX(Var("r",F4),LN 2,LN 0,FTy 3),LW(5,3)]],
10120 TP[CC[LW(0,1),EX(Var("r",F4),LN 3,LN 3,F1),LW(0,1),
10122 LL[CC[LW(3,2),EX(Var("r",F4),LN 2,LN 0,FTy 3),
10132 TP[CC[LW(0,1),EX(Var("r",F4),LN 3,LN 3,F1),LW(0,2)],
10133 CC[LL[CC[LW(0,2),EX(Var("r",F4),LN 2,LN 0,FTy 3),
10144 TP[CC[LW(0,1),EX(Var("r",F4),LN 3,LN 3,F1),
10146 CC[LL[CC[LW(0,2),EX(Var("r",F4),LN 2,LN 0,FTy 3),
10148 CC[Var("ss",FTy 2),
10167 TP[CC[LW(0,1),
10171 CC[LL[CC[CS(nVar"s",
10177 CC[Var("ss",FTy 2),
10196 TP[CC[LW(0,1),EX(Var("r",F4),LN 3,LN 3,F1),
10198 CC[LLC([CC[CS(nVar"s",
10205 LL[CC[LW(4,5),
10213 ITE(EQ(Var("rex",F4),LW(0,4)),LNL F8,LL[CC[LW(4,4),Var("rex",F4)]]))
10223 TP[CC[LL[LW(102,8)],
10283 CC[Call("rex_prefix",LTy F8,Var("rex",F4)),
10298 CC[Var("prefixes",LTy F8),Var("p",LTy F8),
10318 CC[Var("prefixes",LTy F8),
10339 CC[Var("prefixes",LTy F8),
10354 CC[Mop(Fst,
10368 CC[Var("prefixes",LTy F8),LL[Bop(BOr,Var("opc",F8),Var("v",F8))],
10382 CC[LL[LW(15,8),
10383 CC[LW(8,4),Mop(Cast F4,Var("cond",CTy"Zcond"))]],
10431 CC[LW(5,4),LW(1,1),
10444 CC[LW(5,4),LW(1,1),
10457 CC[LW(5,4),LW(1,1),
10471 CC[LW(5,4),LW(1,1),
10485 CC[LW(5,4),LW(1,2),
10497 CC[LW(5,4),LW(1,2),
10504 CC[LLC([LW(102,8)],
10517 CC[Call
10528 CC[LLC([LW(242,8)],
10541 CC[LLC([LW(243,8)],
10694 CC[ITE(bVar"double",LL[LW(102,8)],LNL F8),
10705 CC[ITE(bVar"double",LL[LW(102,8)],LNL F8),
10719 CC[ITE(bVar"double",LL[LW(102,8)],LNL F8),
10730 CC[ITE(bVar"double",LL[LW(102,8)],LNL F8),
10795 CC[LW(3,3),Mop(Cast F1,Mop(Not,bVar"to_xmm")),LW(14,4)],
10835 CC[LLC([LW(102,8)],
10845 CC[LLC([LW(102,8)],
10855 CC[LLC([LW(102,8)],
10865 CC[LLC([LW(102,8)],
10875 CC[LLC([LW(102,8)],
10885 CC[LLC([LW(102,8)],
10895 CC[LLC([LW(102,8)],
10905 CC[LLC([LW(102,8)],
10915 CC[LLC([LW(102,8)],
10925 CC[LLC([LW(102,8)],
11015 CC[LW(0,2),EX(Var("opc",F4),LN 2,LN 0,FTy 3),
11044 CC[LW(0,2),EX(Var("opc",F4),LN 2,LN 0,FTy 3),
11058 CC[LW(0,2),EX(Var("opc",F4),LN 2,LN 0,FTy 3),LW(2,3)],
11070 CC[LW(5,3),Mop(Cast(FTy 2),Var("bt",CTy"Zbit_test_name")),
11131 LLC([CC[LW(7,4),Mop(Cast F4,Var("cond",CTy"Zcond"))]],
11134 CC[LL[LW(15,8),
11135 CC[LW(8,4),Mop(Cast F4,Var("cond",CTy"Zcond"))]],
11252 CC[Var("prefixes",LTy F8),
11253 LL[CC[LW(11,4),Mop(Cast F1,Var("v",F8)),
11372 CC[Call
11378 CC[Call
11405 CC[ITE(Bop(Bit,Var("r",F4),LN 3),LL[LW(73,8)],LNL F8),
11406 LL[CC[LW(11,5),EX(Var("r",F4),LN 2,LN 0,FTy 3)]]])),
11414 CC[ITE(Bop(Bit,Var("r",F4),LN 3),LL[LW(73,8)],LNL F8),
11415 LL[CC[LW(10,5),EX(Var("r",F4),LN 2,LN 0,FTy 3)]]])),
11444 CC[LW(9,4),Mop(Cast F4,Var("cond",CTy"Zcond"))],LO F8])),
11465 CC[Var("prefixes",LTy F8),
11466 LL[CC[LW(18,5),EX(Var("r",F4),LN 2,LN 0,FTy 3)]]],