Lines Matching defs:res1
57 void do_mulx64 ( /*OUT*/ULong* res1, /*OUT*/ULong* res2,
77 *res1 = tem1;
91 if (*res1 != tem1 || *res2 != tem2)
98 void do_mulx32 ( /*OUT*/ULong* res1, /*OUT*/ULong* res2,
118 *res1 = tem1;
132 if (*res1 != tem1 || *res2 != tem2)
377 void do_rorx64 ( /*OUT*/ULong* res1, /*OUT*/ULong* res2, ULong arg )
393 *res1 = tem;
413 void do_rorx32 ( /*OUT*/ULong* res1, /*OUT*/ULong* res2, UInt arg )
429 *res1 = tem;
887 ULong res1, res2;
888 do_mulx64(&res1, &res2, w1, w2);
889 printf("mulx64 %016llx %016llx -> %016llx %016llx\n", w1, w2, res1, res2);
898 ULong res1, res2;
899 do_mulx32(&res1, &res2, w1, w2);
900 printf("mulx32 %016llx %016llx -> %016llx %016llx\n", w1, w2, res1, res2);
974 ULong res1, res2;
975 do_rorx64(&res1, &res2, w1);
976 printf("rorx64 %016llx -> %016llx %016llx\n", w1, res1, res2);
983 ULong res1, res2;
984 do_rorx32(&res1, &res2, w1);
985 printf("rorx32 %016llx -> %016llx %016llx\n", w1, res1, res2);
