Lines Matching refs:transition

227   transition(vtos, vtos);
232 transition(vtos, vtos);
237 transition(vtos, atos);
243 transition(vtos, itos);
249 transition(vtos, ltos);
261 transition(vtos, ftos);
277 transition(vtos, dtos);
294 transition(vtos, itos);
299 transition(vtos, itos);
304 transition(vtos, vtos);
372 transition(vtos, atos);
412 transition(vtos, vtos);
468 transition(vtos, itos);
505 transition(vtos, itos);
514 transition(vtos, itos);
520 transition(vtos, ltos);
527 transition(vtos, ftos);
534 transition(vtos, dtos);
541 transition(vtos, atos);
548 transition(vtos, itos);
555 transition(vtos, ltos);
562 transition(vtos, ftos);
569 transition(vtos, dtos);
576 transition(vtos, atos);
584 transition(itos, itos);
593 transition(itos, ltos);
602 transition(itos, ftos);
611 transition(itos, dtos);
620 transition(itos, atos);
630 transition(itos, itos);
639 transition(itos, itos);
647 transition(vtos, itos);
658 transition(itos, itos);
667 transition(vtos, itos);
673 transition(vtos, ltos);
680 transition(vtos, ftos);
687 transition(vtos, dtos);
694 transition(vtos, atos);
700 transition(vtos, atos);
759 transition(itos, vtos);
766 transition(ltos, vtos);
773 transition(ftos, vtos);
780 transition(dtos, vtos);
787 transition(vtos, vtos);
797 transition(vtos, vtos);
805 transition(vtos, vtos);
813 transition(vtos, vtos);
821 transition(vtos, vtos);
829 transition(vtos, vtos);
839 transition(itos, vtos);
849 transition(ltos, vtos);
859 transition(ftos, vtos);
869 transition(dtos, vtos);
880 transition(vtos, vtos);
935 transition(itos, vtos);
945 transition(itos, vtos);
961 transition(itos, vtos);
967 transition(ltos, vtos);
975 transition(ftos, vtos);
982 transition(dtos, vtos);
989 transition(vtos, vtos);
998 transition(vtos, vtos);
1004 transition(vtos, vtos);
1010 transition(vtos, vtos);
1020 transition(vtos, vtos);
1032 transition(vtos, vtos);
1051 transition(vtos, vtos);
1061 transition(vtos, vtos);
1081 transition(vtos, vtos);
1100 transition(vtos, vtos);
1111 transition(itos, itos);
1130 transition(ltos, ltos);
1155 transition(itos, itos);
1196 transition(itos, itos);
1205 transition(ltos, ltos);
1217 transition(ltos, ltos);
1234 transition(ltos, ltos);
1253 transition(itos, ltos); // %%%% could optimize, fill delay slot or opt for ultra
1265 transition(itos, ltos); // %%%% see lshl comment
1278 transition(itos, ltos); // %%%% see lshl comment
1290 transition(ftos, ftos);
1317 transition(dtos, dtos);
1346 transition(itos, itos);
1352 transition(ltos, ltos);
1362 transition(ftos, ftos);
1368 transition(dtos, dtos);
1375 transition(vtos, vtos);
1385 transition(vtos, vtos);
1435 transition(tos_in, tos_out);
1581 transition(ltos, itos);
1742 transition(itos, vtos);
1750 transition(itos, vtos);
1758 transition(atos, vtos);
1765 transition(atos, vtos);
1776 transition(vtos, vtos);
1809 transition(vtos, vtos);
1824 transition(itos, vtos);
1862 transition(itos, itos);
1867 transition(itos, vtos);
1914 transition(itos, vtos);
2032 transition(state, state);
2267 transition(vtos, vtos);
2444 transition(atos, state);
2628 transition(vtos, vtos);
2836 transition(state, vtos);
2903 transition(vtos, state);
3037 transition(vtos, vtos);
3086 transition(vtos, vtos);
3125 transition(vtos, vtos);
3143 transition(vtos, vtos);
3189 transition(vtos, vtos);
3296 transition(vtos, vtos);
3326 transition(vtos, vtos);
3365 transition(vtos, atos);
3551 transition(itos, atos);
3558 transition(itos, atos);
3566 transition(atos, itos);
3577 transition(atos, atos);
3633 transition(atos, itos);
3690 transition(vtos, vtos);
3707 transition(atos, vtos);
3727 transition(atos, vtos);
3808 transition(atos, vtos);
3850 transition(vtos, vtos);
3866 transition(vtos, atos);