20 (uint64_t) 0xfe00707f,
32rd += R_rd_0.
read(ba) << 0;
35rs1 += R_rs1_0.
read(ba) << 0;
38rs2 += R_rs2_0.
read(ba) << 0;
46 cp.
code() = std::string(
"//MUL\n");
49cp.
code() +=
"etiss_coverage_count(1, 72);\n";
51cp.
code() +=
"etiss_coverage_count(1, 1189);\n";
52cp.
code() +=
"{ // block\n";
54cp.
code() +=
"etiss_coverage_count(7, 1188, 1181, 1187, 1184, 1182, 1183, 1185);\n";
55cp.
code() +=
"} // block\n";
58cp.
code() +=
"etiss_coverage_count(1, 2786);\n";
59cp.
code() +=
"{ // block\n";
60cp.
code() +=
"etiss_coverage_count(1, 2750);\n";
61if ((rd % 32ULL) != 0LL) {
62cp.
code() +=
"etiss_coverage_count(5, 2756, 2753, 2751, 2754, 2755);\n";
64cp.
code() +=
"etiss_coverage_count(1, 2785);\n";
65cp.
code() +=
"{ // block\n";
66cp.
code() +=
"etiss_int64 res = (etiss_int64)((etiss_int32)(*((RV32IMACFD*)cpu)->X[" + std::to_string(rs1 % 32ULL) +
"ULL])) * (etiss_int64)((etiss_int32)(*((RV32IMACFD*)cpu)->X[" + std::to_string(rs2 % 32ULL) +
"ULL]));\n";
67cp.
code() +=
"etiss_coverage_count(12, 2775, 2774, 2765, 2763, 2762, 2761, 2759, 2773, 2771, 2770, 2769, 2767);\n";
68cp.
code() +=
"*((RV32IMACFD*)cpu)->X[" + std::to_string(rd % 32ULL) +
"ULL] = (etiss_uint32)(res);\n";
69cp.
code() +=
"etiss_coverage_count(6, 2784, 2780, 2779, 2777, 2783, 2781);\n";
70cp.
code() +=
"} // block\n";
73cp.
code() +=
"} // block\n";
76cp.
code() +=
"cpu->instructionPointer = cpu->nextPc;\n";
89rd += R_rd_0.read(ba) << 0;
92rs1 += R_rs1_0.read(ba) << 0;
95rs2 += R_rs2_0.read(ba) << 0;
101ss <<
"mul" <<
" # " << ba << (
" [rd=" + std::to_string(rd) +
" | rs1=" + std::to_string(rs1) +
" | rs2=" + std::to_string(rs2) +
"]");
111 (uint64_t) 0x2001033,
112 (uint64_t) 0xfe00707f,
124rd += R_rd_0.
read(ba) << 0;
127rs1 += R_rs1_0.
read(ba) << 0;
130rs2 += R_rs2_0.
read(ba) << 0;
138 cp.
code() = std::string(
"//MULH\n");
141cp.
code() +=
"etiss_coverage_count(1, 73);\n";
143cp.
code() +=
"etiss_coverage_count(1, 1189);\n";
144cp.
code() +=
"{ // block\n";
146cp.
code() +=
"etiss_coverage_count(7, 1188, 1181, 1187, 1184, 1182, 1183, 1185);\n";
147cp.
code() +=
"} // block\n";
150cp.
code() +=
"etiss_coverage_count(1, 2826);\n";
151cp.
code() +=
"{ // block\n";
152cp.
code() +=
"etiss_coverage_count(1, 2787);\n";
153if ((rd % 32ULL) != 0LL) {
154cp.
code() +=
"etiss_coverage_count(5, 2793, 2790, 2788, 2791, 2792);\n";
156cp.
code() +=
"etiss_coverage_count(1, 2825);\n";
157cp.
code() +=
"{ // block\n";
158cp.
code() +=
"etiss_int64 res = (etiss_int64)((etiss_int32)(*((RV32IMACFD*)cpu)->X[" + std::to_string(rs1 % 32ULL) +
"ULL])) * (etiss_int64)((etiss_int32)(*((RV32IMACFD*)cpu)->X[" + std::to_string(rs2 % 32ULL) +
"ULL]));\n";
159cp.
code() +=
"etiss_coverage_count(12, 2812, 2811, 2802, 2800, 2799, 2798, 2796, 2810, 2808, 2807, 2806, 2804);\n";
160cp.
code() +=
"*((RV32IMACFD*)cpu)->X[" + std::to_string(rd % 32ULL) +
"ULL] = (etiss_uint32)((res >> 32ULL));\n";
161cp.
code() +=
"etiss_coverage_count(8, 2824, 2817, 2816, 2814, 2823, 2820, 2818, 2821);\n";
162cp.
code() +=
"} // block\n";
165cp.
code() +=
"} // block\n";
168cp.
code() +=
"cpu->instructionPointer = cpu->nextPc;\n";
181rd += R_rd_0.read(ba) << 0;
184rs1 += R_rs1_0.read(ba) << 0;
187rs2 += R_rs2_0.read(ba) << 0;
191 std::stringstream ss;
193ss <<
"mulh" <<
" # " << ba << (
" [rd=" + std::to_string(rd) +
" | rs1=" + std::to_string(rs1) +
" | rs2=" + std::to_string(rs2) +
"]");
203 (uint64_t) 0x2002033,
204 (uint64_t) 0xfe00707f,
216rd += R_rd_0.
read(ba) << 0;
219rs1 += R_rs1_0.
read(ba) << 0;
222rs2 += R_rs2_0.
read(ba) << 0;
230 cp.
code() = std::string(
"//MULHSU\n");
233cp.
code() +=
"etiss_coverage_count(1, 74);\n";
235cp.
code() +=
"etiss_coverage_count(1, 1189);\n";
236cp.
code() +=
"{ // block\n";
238cp.
code() +=
"etiss_coverage_count(7, 1188, 1181, 1187, 1184, 1182, 1183, 1185);\n";
239cp.
code() +=
"} // block\n";
242cp.
code() +=
"etiss_coverage_count(1, 2865);\n";
243cp.
code() +=
"{ // block\n";
244cp.
code() +=
"etiss_coverage_count(1, 2827);\n";
245if ((rd % 32ULL) != 0LL) {
246cp.
code() +=
"etiss_coverage_count(5, 2833, 2830, 2828, 2831, 2832);\n";
248cp.
code() +=
"etiss_coverage_count(1, 2864);\n";
249cp.
code() +=
"{ // block\n";
250cp.
code() +=
"etiss_int64 res = (etiss_int64)((etiss_int32)(*((RV32IMACFD*)cpu)->X[" + std::to_string(rs1 % 32ULL) +
"ULL])) * (etiss_uint64)(*((RV32IMACFD*)cpu)->X[" + std::to_string(rs2 % 32ULL) +
"ULL]);\n";
251cp.
code() +=
"etiss_coverage_count(11, 2851, 2850, 2842, 2840, 2839, 2838, 2836, 2849, 2847, 2846, 2844);\n";
252cp.
code() +=
"*((RV32IMACFD*)cpu)->X[" + std::to_string(rd % 32ULL) +
"ULL] = (etiss_uint32)((res >> 32ULL));\n";
253cp.
code() +=
"etiss_coverage_count(8, 2863, 2856, 2855, 2853, 2862, 2859, 2857, 2860);\n";
254cp.
code() +=
"} // block\n";
257cp.
code() +=
"} // block\n";
260cp.
code() +=
"cpu->instructionPointer = cpu->nextPc;\n";
273rd += R_rd_0.read(ba) << 0;
276rs1 += R_rs1_0.read(ba) << 0;
279rs2 += R_rs2_0.read(ba) << 0;
283 std::stringstream ss;
285ss <<
"mulhsu" <<
" # " << ba << (
" [rd=" + std::to_string(rd) +
" | rs1=" + std::to_string(rs1) +
" | rs2=" + std::to_string(rs2) +
"]");
295 (uint64_t) 0x2003033,
296 (uint64_t) 0xfe00707f,
308rd += R_rd_0.
read(ba) << 0;
311rs1 += R_rs1_0.
read(ba) << 0;
314rs2 += R_rs2_0.
read(ba) << 0;
322 cp.
code() = std::string(
"//MULHU\n");
325cp.
code() +=
"etiss_coverage_count(1, 75);\n";
327cp.
code() +=
"etiss_coverage_count(1, 1189);\n";
328cp.
code() +=
"{ // block\n";
330cp.
code() +=
"etiss_coverage_count(7, 1188, 1181, 1187, 1184, 1182, 1183, 1185);\n";
331cp.
code() +=
"} // block\n";
334cp.
code() +=
"etiss_coverage_count(1, 2903);\n";
335cp.
code() +=
"{ // block\n";
336cp.
code() +=
"etiss_coverage_count(1, 2866);\n";
337if ((rd % 32ULL) != 0LL) {
338cp.
code() +=
"etiss_coverage_count(5, 2872, 2869, 2867, 2870, 2871);\n";
340cp.
code() +=
"etiss_coverage_count(1, 2902);\n";
341cp.
code() +=
"{ // block\n";
342cp.
code() +=
"etiss_uint64 res = (etiss_uint64)(*((RV32IMACFD*)cpu)->X[" + std::to_string(rs1 % 32ULL) +
"ULL]) * (etiss_uint64)(*((RV32IMACFD*)cpu)->X[" + std::to_string(rs2 % 32ULL) +
"ULL]);\n";
343cp.
code() +=
"etiss_coverage_count(10, 2889, 2888, 2880, 2878, 2877, 2875, 2887, 2885, 2884, 2882);\n";
344cp.
code() +=
"*((RV32IMACFD*)cpu)->X[" + std::to_string(rd % 32ULL) +
"ULL] = (etiss_uint32)((res >> 32ULL));\n";
345cp.
code() +=
"etiss_coverage_count(8, 2901, 2894, 2893, 2891, 2900, 2897, 2895, 2898);\n";
346cp.
code() +=
"} // block\n";
349cp.
code() +=
"} // block\n";
352cp.
code() +=
"cpu->instructionPointer = cpu->nextPc;\n";
365rd += R_rd_0.read(ba) << 0;
368rs1 += R_rs1_0.read(ba) << 0;
371rs2 += R_rs2_0.read(ba) << 0;
375 std::stringstream ss;
377ss <<
"mulhu" <<
" # " << ba << (
" [rd=" + std::to_string(rd) +
" | rs1=" + std::to_string(rs1) +
" | rs2=" + std::to_string(rs2) +
"]");
387 (uint64_t) 0x2004033,
388 (uint64_t) 0xfe00707f,
400rd += R_rd_0.
read(ba) << 0;
403rs1 += R_rs1_0.
read(ba) << 0;
406rs2 += R_rs2_0.
read(ba) << 0;
414 cp.
code() = std::string(
"//DIV\n");
417cp.
code() +=
"etiss_coverage_count(1, 76);\n";
419cp.
code() +=
"etiss_coverage_count(1, 1189);\n";
420cp.
code() +=
"{ // block\n";
422cp.
code() +=
"etiss_coverage_count(7, 1188, 1181, 1187, 1184, 1182, 1183, 1185);\n";
423cp.
code() +=
"} // block\n";
426cp.
code() +=
"etiss_coverage_count(1, 2984);\n";
427cp.
code() +=
"{ // block\n";
428cp.
code() +=
"etiss_coverage_count(1, 2904);\n";
429if ((rd % 32ULL) != 0LL) {
430cp.
code() +=
"etiss_coverage_count(5, 2910, 2907, 2905, 2908, 2909);\n";
432cp.
code() +=
"etiss_coverage_count(1, 2983);\n";
433cp.
code() +=
"{ // block\n";
434cp.
code() +=
"etiss_coverage_count(1, 2911);\n";
435cp.
code() +=
"if (*((RV32IMACFD*)cpu)->X[" + std::to_string(rs2 % 32ULL) +
"ULL] != 0LL) { // conditional\n";
436cp.
code() +=
"etiss_coverage_count(5, 2918, 2916, 2915, 2913, 2917);\n";
438cp.
code() +=
"etiss_coverage_count(1, 2974);\n";
439cp.
code() +=
"{ // block\n";
441cp.
code() +=
"etiss_coverage_count(1, 2926);\n";
442cp.
code() +=
"etiss_coverage_count(1, 2927);\n";
443cp.
code() +=
"if (*((RV32IMACFD*)cpu)->X[" + std::to_string(rs1 % 32ULL) +
"ULL] == " + std::to_string(MMIN) +
"ULL && (etiss_int32)(*((RV32IMACFD*)cpu)->X[" + std::to_string(rs2 % 32ULL) +
"ULL]) == -1LL) { // conditional\n";
444cp.
code() +=
"etiss_coverage_count(11, 2945, 2934, 2932, 2931, 2929, 2933, 2944, 2941, 2939, 2938, 2936);\n";
445cp.
code() +=
"*((RV32IMACFD*)cpu)->X[" + std::to_string(rd % 32ULL) +
"ULL] = " + std::to_string(MMIN) +
"ULL;\n";
446cp.
code() +=
"etiss_coverage_count(5, 2952, 2950, 2949, 2947, 2951);\n";
447cp.
code() +=
"} // conditional\n";
448cp.
code() +=
"else { // conditional\n";
449cp.
code() +=
"*((RV32IMACFD*)cpu)->X[" + std::to_string(rd % 32ULL) +
"ULL] = (etiss_int32)(*((RV32IMACFD*)cpu)->X[" + std::to_string(rs1 % 32ULL) +
"ULL]) / (etiss_int32)(*((RV32IMACFD*)cpu)->X[" + std::to_string(rs2 % 32ULL) +
"ULL]);\n";
450cp.
code() +=
"etiss_coverage_count(13, 2973, 2957, 2956, 2954, 2972, 2964, 2962, 2961, 2959, 2971, 2969, 2968, 2966);\n";
451cp.
code() +=
"} // conditional\n";
452cp.
code() +=
"} // block\n";
454cp.
code() +=
"} // conditional\n";
455cp.
code() +=
"else { // conditional\n";
456cp.
code() +=
"*((RV32IMACFD*)cpu)->X[" + std::to_string(rd % 32ULL) +
"ULL] = -1LL;\n";
457cp.
code() +=
"etiss_coverage_count(4, 2982, 2979, 2978, 2976);\n";
458cp.
code() +=
"} // conditional\n";
459cp.
code() +=
"} // block\n";
462cp.
code() +=
"} // block\n";
465cp.
code() +=
"cpu->instructionPointer = cpu->nextPc;\n";
478rd += R_rd_0.read(ba) << 0;
481rs1 += R_rs1_0.read(ba) << 0;
484rs2 += R_rs2_0.read(ba) << 0;
488 std::stringstream ss;
490ss <<
"div" <<
" # " << ba << (
" [rd=" + std::to_string(rd) +
" | rs1=" + std::to_string(rs1) +
" | rs2=" + std::to_string(rs2) +
"]");
500 (uint64_t) 0x2005033,
501 (uint64_t) 0xfe00707f,
513rd += R_rd_0.
read(ba) << 0;
516rs1 += R_rs1_0.
read(ba) << 0;
519rs2 += R_rs2_0.
read(ba) << 0;
527 cp.
code() = std::string(
"//DIVU\n");
530cp.
code() +=
"etiss_coverage_count(1, 77);\n";
532cp.
code() +=
"etiss_coverage_count(1, 1189);\n";
533cp.
code() +=
"{ // block\n";
535cp.
code() +=
"etiss_coverage_count(7, 1188, 1181, 1187, 1184, 1182, 1183, 1185);\n";
536cp.
code() +=
"} // block\n";
539cp.
code() +=
"etiss_coverage_count(1, 3026);\n";
540cp.
code() +=
"{ // block\n";
541cp.
code() +=
"etiss_coverage_count(1, 2985);\n";
542if ((rd % 32ULL) != 0LL) {
543cp.
code() +=
"etiss_coverage_count(5, 2991, 2988, 2986, 2989, 2990);\n";
545cp.
code() +=
"etiss_coverage_count(1, 3025);\n";
546cp.
code() +=
"{ // block\n";
547cp.
code() +=
"etiss_coverage_count(1, 2992);\n";
548cp.
code() +=
"if (*((RV32IMACFD*)cpu)->X[" + std::to_string(rs2 % 32ULL) +
"ULL] != 0LL) { // conditional\n";
549cp.
code() +=
"etiss_coverage_count(5, 2999, 2997, 2996, 2994, 2998);\n";
550cp.
code() +=
"*((RV32IMACFD*)cpu)->X[" + std::to_string(rd % 32ULL) +
"ULL] = *((RV32IMACFD*)cpu)->X[" + std::to_string(rs1 % 32ULL) +
"ULL] / *((RV32IMACFD*)cpu)->X[" + std::to_string(rs2 % 32ULL) +
"ULL];\n";
551cp.
code() +=
"etiss_coverage_count(11, 3016, 3004, 3003, 3001, 3015, 3009, 3008, 3006, 3014, 3013, 3011);\n";
552cp.
code() +=
"} // conditional\n";
553cp.
code() +=
"else { // conditional\n";
554cp.
code() +=
"*((RV32IMACFD*)cpu)->X[" + std::to_string(rd % 32ULL) +
"ULL] = -1LL;\n";
555cp.
code() +=
"etiss_coverage_count(4, 3024, 3021, 3020, 3018);\n";
556cp.
code() +=
"} // conditional\n";
557cp.
code() +=
"} // block\n";
560cp.
code() +=
"} // block\n";
563cp.
code() +=
"cpu->instructionPointer = cpu->nextPc;\n";
576rd += R_rd_0.read(ba) << 0;
579rs1 += R_rs1_0.read(ba) << 0;
582rs2 += R_rs2_0.read(ba) << 0;
586 std::stringstream ss;
588ss <<
"divu" <<
" # " << ba << (
" [rd=" + std::to_string(rd) +
" | rs1=" + std::to_string(rs1) +
" | rs2=" + std::to_string(rs2) +
"]");
598 (uint64_t) 0x2006033,
599 (uint64_t) 0xfe00707f,
611rd += R_rd_0.
read(ba) << 0;
614rs1 += R_rs1_0.
read(ba) << 0;
617rs2 += R_rs2_0.
read(ba) << 0;
625 cp.
code() = std::string(
"//REM\n");
628cp.
code() +=
"etiss_coverage_count(1, 78);\n";
630cp.
code() +=
"etiss_coverage_count(1, 1189);\n";
631cp.
code() +=
"{ // block\n";
633cp.
code() +=
"etiss_coverage_count(7, 1188, 1181, 1187, 1184, 1182, 1183, 1185);\n";
634cp.
code() +=
"} // block\n";
637cp.
code() +=
"etiss_coverage_count(1, 3110);\n";
638cp.
code() +=
"{ // block\n";
639cp.
code() +=
"etiss_coverage_count(1, 3027);\n";
640if ((rd % 32ULL) != 0LL) {
641cp.
code() +=
"etiss_coverage_count(5, 3033, 3030, 3028, 3031, 3032);\n";
643cp.
code() +=
"etiss_coverage_count(1, 3109);\n";
644cp.
code() +=
"{ // block\n";
645cp.
code() +=
"etiss_coverage_count(1, 3034);\n";
646cp.
code() +=
"if (*((RV32IMACFD*)cpu)->X[" + std::to_string(rs2 % 32ULL) +
"ULL] != 0LL) { // conditional\n";
647cp.
code() +=
"etiss_coverage_count(5, 3041, 3039, 3038, 3036, 3040);\n";
649cp.
code() +=
"etiss_coverage_count(1, 3097);\n";
650cp.
code() +=
"{ // block\n";
652cp.
code() +=
"etiss_coverage_count(1, 3049);\n";
653cp.
code() +=
"etiss_coverage_count(1, 3050);\n";
654cp.
code() +=
"if (*((RV32IMACFD*)cpu)->X[" + std::to_string(rs1 % 32ULL) +
"ULL] == " + std::to_string(MMIN) +
"ULL && (etiss_int32)(*((RV32IMACFD*)cpu)->X[" + std::to_string(rs2 % 32ULL) +
"ULL]) == -1LL) { // conditional\n";
655cp.
code() +=
"etiss_coverage_count(11, 3068, 3057, 3055, 3054, 3052, 3056, 3067, 3064, 3062, 3061, 3059);\n";
656cp.
code() +=
"*((RV32IMACFD*)cpu)->X[" + std::to_string(rd % 32ULL) +
"ULL] = 0LL;\n";
657cp.
code() +=
"etiss_coverage_count(5, 3075, 3073, 3072, 3070, 3074);\n";
658cp.
code() +=
"} // conditional\n";
659cp.
code() +=
"else { // conditional\n";
660cp.
code() +=
"*((RV32IMACFD*)cpu)->X[" + std::to_string(rd % 32ULL) +
"ULL] = (etiss_int32)(*((RV32IMACFD*)cpu)->X[" + std::to_string(rs1 % 32ULL) +
"ULL]) % (etiss_int32)(*((RV32IMACFD*)cpu)->X[" + std::to_string(rs2 % 32ULL) +
"ULL]);\n";
661cp.
code() +=
"etiss_coverage_count(13, 3096, 3080, 3079, 3077, 3095, 3087, 3085, 3084, 3082, 3094, 3092, 3091, 3089);\n";
662cp.
code() +=
"} // conditional\n";
663cp.
code() +=
"} // block\n";
665cp.
code() +=
"} // conditional\n";
666cp.
code() +=
"else { // conditional\n";
667cp.
code() +=
"*((RV32IMACFD*)cpu)->X[" + std::to_string(rd % 32ULL) +
"ULL] = *((RV32IMACFD*)cpu)->X[" + std::to_string(rs1 % 32ULL) +
"ULL];\n";
668cp.
code() +=
"etiss_coverage_count(7, 3108, 3102, 3101, 3099, 3107, 3106, 3104);\n";
669cp.
code() +=
"} // conditional\n";
670cp.
code() +=
"} // block\n";
673cp.
code() +=
"} // block\n";
676cp.
code() +=
"cpu->instructionPointer = cpu->nextPc;\n";
689rd += R_rd_0.read(ba) << 0;
692rs1 += R_rs1_0.read(ba) << 0;
695rs2 += R_rs2_0.read(ba) << 0;
699 std::stringstream ss;
701ss <<
"rem" <<
" # " << ba << (
" [rd=" + std::to_string(rd) +
" | rs1=" + std::to_string(rs1) +
" | rs2=" + std::to_string(rs2) +
"]");
711 (uint64_t) 0x2007033,
712 (uint64_t) 0xfe00707f,
724rd += R_rd_0.
read(ba) << 0;
727rs1 += R_rs1_0.
read(ba) << 0;
730rs2 += R_rs2_0.
read(ba) << 0;
738 cp.
code() = std::string(
"//REMU\n");
741cp.
code() +=
"etiss_coverage_count(1, 79);\n";
743cp.
code() +=
"etiss_coverage_count(1, 1189);\n";
744cp.
code() +=
"{ // block\n";
746cp.
code() +=
"etiss_coverage_count(7, 1188, 1181, 1187, 1184, 1182, 1183, 1185);\n";
747cp.
code() +=
"} // block\n";
750cp.
code() +=
"etiss_coverage_count(1, 3155);\n";
751cp.
code() +=
"{ // block\n";
752cp.
code() +=
"etiss_coverage_count(1, 3111);\n";
753if ((rd % 32ULL) != 0LL) {
754cp.
code() +=
"etiss_coverage_count(5, 3117, 3114, 3112, 3115, 3116);\n";
756cp.
code() +=
"etiss_coverage_count(1, 3154);\n";
757cp.
code() +=
"{ // block\n";
758cp.
code() +=
"etiss_coverage_count(1, 3118);\n";
759cp.
code() +=
"if (*((RV32IMACFD*)cpu)->X[" + std::to_string(rs2 % 32ULL) +
"ULL] != 0LL) { // conditional\n";
760cp.
code() +=
"etiss_coverage_count(5, 3125, 3123, 3122, 3120, 3124);\n";
761cp.
code() +=
"*((RV32IMACFD*)cpu)->X[" + std::to_string(rd % 32ULL) +
"ULL] = *((RV32IMACFD*)cpu)->X[" + std::to_string(rs1 % 32ULL) +
"ULL] % *((RV32IMACFD*)cpu)->X[" + std::to_string(rs2 % 32ULL) +
"ULL];\n";
762cp.
code() +=
"etiss_coverage_count(11, 3142, 3130, 3129, 3127, 3141, 3135, 3134, 3132, 3140, 3139, 3137);\n";
763cp.
code() +=
"} // conditional\n";
764cp.
code() +=
"else { // conditional\n";
765cp.
code() +=
"*((RV32IMACFD*)cpu)->X[" + std::to_string(rd % 32ULL) +
"ULL] = *((RV32IMACFD*)cpu)->X[" + std::to_string(rs1 % 32ULL) +
"ULL];\n";
766cp.
code() +=
"etiss_coverage_count(7, 3153, 3147, 3146, 3144, 3152, 3151, 3149);\n";
767cp.
code() +=
"} // conditional\n";
768cp.
code() +=
"} // block\n";
771cp.
code() +=
"} // block\n";
774cp.
code() +=
"cpu->instructionPointer = cpu->nextPc;\n";
787rd += R_rd_0.read(ba) << 0;
790rs1 += R_rs1_0.read(ba) << 0;
793rs2 += R_rs2_0.read(ba) << 0;
797 std::stringstream ss;
799ss <<
"remu" <<
" # " << ba << (
" [rd=" + std::to_string(rd) +
" | rs1=" + std::to_string(rs1) +
" | rs2=" + std::to_string(rs2) +
"]");
etiss::instr::InstructionGroup ISA32_RV32IMACFD("ISA32_RV32IMACFD", 32)
static InstructionDefinition div_rd_rs1_rs2(ISA32_RV32IMACFD, "div",(uint64_t) 0x2004033,(uint64_t) 0xfe00707f, [](BitArray &ba, etiss::CodeSet &cs, InstructionContext &ic) { etiss_uint8 rd=0;static BitArrayRange R_rd_0(11, 7);rd+=R_rd_0.read(ba)<< 0;etiss_uint8 rs1=0;static BitArrayRange R_rs1_0(19, 15);rs1+=R_rs1_0.read(ba)<< 0;etiss_uint8 rs2=0;static BitArrayRange R_rs2_0(24, 20);rs2+=R_rs2_0.read(ba)<< 0;{ CodePart &cp=cs.append(CodePart::INITIALREQUIRED);cp.code()=std::string("//DIV\n");cp.code()+="etiss_coverage_count(1, 76);\n";{ cp.code()+="etiss_coverage_count(1, 1189);\n";cp.code()+="{ // block\n";cp.code()+="cpu->nextPc = "+std::to_string((etiss_uint32)((ic.current_address_+4)))+"ULL;\n";cp.code()+="etiss_coverage_count(7, 1188, 1181, 1187, 1184, 1182, 1183, 1185);\n";cp.code()+="} // block\n";} { cp.code()+="etiss_coverage_count(1, 2984);\n";cp.code()+="{ // block\n";cp.code()+="etiss_coverage_count(1, 2904);\n";if((rd % 32ULL) !=0LL) { cp.code()+="etiss_coverage_count(5, 2910, 2907, 2905, 2908, 2909);\n";{ cp.code()+="etiss_coverage_count(1, 2983);\n";cp.code()+="{ // block\n";cp.code()+="etiss_coverage_count(1, 2911);\n";cp.code()+="if (*((RV32IMACFD*)cpu)->X["+std::to_string(rs2 % 32ULL)+"ULL] != 0LL) { // conditional\n";cp.code()+="etiss_coverage_count(5, 2918, 2916, 2915, 2913, 2917);\n";{ cp.code()+="etiss_coverage_count(1, 2974);\n";cp.code()+="{ // block\n";etiss_uint32 MMIN=2147483648ULL;cp.code()+="etiss_coverage_count(1, 2926);\n";cp.code()+="etiss_coverage_count(1, 2927);\n";cp.code()+="if (*((RV32IMACFD*)cpu)->X["+std::to_string(rs1 % 32ULL)+"ULL] == "+std::to_string(MMIN)+"ULL && (etiss_int32)(*((RV32IMACFD*)cpu)->X["+std::to_string(rs2 % 32ULL)+"ULL]) == -1LL) { // conditional\n";cp.code()+="etiss_coverage_count(11, 2945, 2934, 2932, 2931, 2929, 2933, 2944, 2941, 2939, 2938, 2936);\n";cp.code()+="*((RV32IMACFD*)cpu)->X["+std::to_string(rd % 32ULL)+"ULL] = "+std::to_string(MMIN)+"ULL;\n";cp.code()+="etiss_coverage_count(5, 2952, 2950, 2949, 2947, 2951);\n";cp.code()+="} // conditional\n";cp.code()+="else { // conditional\n";cp.code()+="*((RV32IMACFD*)cpu)->X["+std::to_string(rd % 32ULL)+"ULL] = (etiss_int32)(*((RV32IMACFD*)cpu)->X["+std::to_string(rs1 % 32ULL)+"ULL]) / (etiss_int32)(*((RV32IMACFD*)cpu)->X["+std::to_string(rs2 % 32ULL)+"ULL]);\n";cp.code()+="etiss_coverage_count(13, 2973, 2957, 2956, 2954, 2972, 2964, 2962, 2961, 2959, 2971, 2969, 2968, 2966);\n";cp.code()+="} // conditional\n";cp.code()+="} // block\n";} cp.code()+="} // conditional\n";cp.code()+="else { // conditional\n";cp.code()+="*((RV32IMACFD*)cpu)->X["+std::to_string(rd % 32ULL)+"ULL] = -1LL;\n";cp.code()+="etiss_coverage_count(4, 2982, 2979, 2978, 2976);\n";cp.code()+="} // conditional\n";cp.code()+="} // block\n";} } cp.code()+="} // block\n";} cp.code()+="instr_exit_"+std::to_string(ic.current_address_)+":\n";cp.code()+="cpu->instructionPointer = cpu->nextPc;\n";cp.getAffectedRegisters().add("instructionPointer", 32);} return true;}, 0, [](BitArray &ba, Instruction &instr) { etiss_uint8 rd=0;static BitArrayRange R_rd_0(11, 7);rd+=R_rd_0.read(ba)<< 0;etiss_uint8 rs1=0;static BitArrayRange R_rs1_0(19, 15);rs1+=R_rs1_0.read(ba)<< 0;etiss_uint8 rs2=0;static BitArrayRange R_rs2_0(24, 20);rs2+=R_rs2_0.read(ba)<< 0;std::stringstream ss;ss<< "div"<< " # "<< ba<<(" [rd="+std::to_string(rd)+" | rs1="+std::to_string(rs1)+" | rs2="+std::to_string(rs2)+"]");return ss.str();})
static InstructionDefinition mulhu_rd_rs1_rs2(ISA32_RV32IMACFD, "mulhu",(uint64_t) 0x2003033,(uint64_t) 0xfe00707f, [](BitArray &ba, etiss::CodeSet &cs, InstructionContext &ic) { etiss_uint8 rd=0;static BitArrayRange R_rd_0(11, 7);rd+=R_rd_0.read(ba)<< 0;etiss_uint8 rs1=0;static BitArrayRange R_rs1_0(19, 15);rs1+=R_rs1_0.read(ba)<< 0;etiss_uint8 rs2=0;static BitArrayRange R_rs2_0(24, 20);rs2+=R_rs2_0.read(ba)<< 0;{ CodePart &cp=cs.append(CodePart::INITIALREQUIRED);cp.code()=std::string("//MULHU\n");cp.code()+="etiss_coverage_count(1, 75);\n";{ cp.code()+="etiss_coverage_count(1, 1189);\n";cp.code()+="{ // block\n";cp.code()+="cpu->nextPc = "+std::to_string((etiss_uint32)((ic.current_address_+4)))+"ULL;\n";cp.code()+="etiss_coverage_count(7, 1188, 1181, 1187, 1184, 1182, 1183, 1185);\n";cp.code()+="} // block\n";} { cp.code()+="etiss_coverage_count(1, 2903);\n";cp.code()+="{ // block\n";cp.code()+="etiss_coverage_count(1, 2866);\n";if((rd % 32ULL) !=0LL) { cp.code()+="etiss_coverage_count(5, 2872, 2869, 2867, 2870, 2871);\n";{ cp.code()+="etiss_coverage_count(1, 2902);\n";cp.code()+="{ // block\n";cp.code()+="etiss_uint64 res = (etiss_uint64)(*((RV32IMACFD*)cpu)->X["+std::to_string(rs1 % 32ULL)+"ULL]) * (etiss_uint64)(*((RV32IMACFD*)cpu)->X["+std::to_string(rs2 % 32ULL)+"ULL]);\n";cp.code()+="etiss_coverage_count(10, 2889, 2888, 2880, 2878, 2877, 2875, 2887, 2885, 2884, 2882);\n";cp.code()+="*((RV32IMACFD*)cpu)->X["+std::to_string(rd % 32ULL)+"ULL] = (etiss_uint32)((res >> 32ULL));\n";cp.code()+="etiss_coverage_count(8, 2901, 2894, 2893, 2891, 2900, 2897, 2895, 2898);\n";cp.code()+="} // block\n";} } cp.code()+="} // block\n";} cp.code()+="instr_exit_"+std::to_string(ic.current_address_)+":\n";cp.code()+="cpu->instructionPointer = cpu->nextPc;\n";cp.getAffectedRegisters().add("instructionPointer", 32);} return true;}, 0, [](BitArray &ba, Instruction &instr) { etiss_uint8 rd=0;static BitArrayRange R_rd_0(11, 7);rd+=R_rd_0.read(ba)<< 0;etiss_uint8 rs1=0;static BitArrayRange R_rs1_0(19, 15);rs1+=R_rs1_0.read(ba)<< 0;etiss_uint8 rs2=0;static BitArrayRange R_rs2_0(24, 20);rs2+=R_rs2_0.read(ba)<< 0;std::stringstream ss;ss<< "mulhu"<< " # "<< ba<<(" [rd="+std::to_string(rd)+" | rs1="+std::to_string(rs1)+" | rs2="+std::to_string(rs2)+"]");return ss.str();})
static InstructionDefinition remu_rd_rs1_rs2(ISA32_RV32IMACFD, "remu",(uint64_t) 0x2007033,(uint64_t) 0xfe00707f, [](BitArray &ba, etiss::CodeSet &cs, InstructionContext &ic) { etiss_uint8 rd=0;static BitArrayRange R_rd_0(11, 7);rd+=R_rd_0.read(ba)<< 0;etiss_uint8 rs1=0;static BitArrayRange R_rs1_0(19, 15);rs1+=R_rs1_0.read(ba)<< 0;etiss_uint8 rs2=0;static BitArrayRange R_rs2_0(24, 20);rs2+=R_rs2_0.read(ba)<< 0;{ CodePart &cp=cs.append(CodePart::INITIALREQUIRED);cp.code()=std::string("//REMU\n");cp.code()+="etiss_coverage_count(1, 79);\n";{ cp.code()+="etiss_coverage_count(1, 1189);\n";cp.code()+="{ // block\n";cp.code()+="cpu->nextPc = "+std::to_string((etiss_uint32)((ic.current_address_+4)))+"ULL;\n";cp.code()+="etiss_coverage_count(7, 1188, 1181, 1187, 1184, 1182, 1183, 1185);\n";cp.code()+="} // block\n";} { cp.code()+="etiss_coverage_count(1, 3155);\n";cp.code()+="{ // block\n";cp.code()+="etiss_coverage_count(1, 3111);\n";if((rd % 32ULL) !=0LL) { cp.code()+="etiss_coverage_count(5, 3117, 3114, 3112, 3115, 3116);\n";{ cp.code()+="etiss_coverage_count(1, 3154);\n";cp.code()+="{ // block\n";cp.code()+="etiss_coverage_count(1, 3118);\n";cp.code()+="if (*((RV32IMACFD*)cpu)->X["+std::to_string(rs2 % 32ULL)+"ULL] != 0LL) { // conditional\n";cp.code()+="etiss_coverage_count(5, 3125, 3123, 3122, 3120, 3124);\n";cp.code()+="*((RV32IMACFD*)cpu)->X["+std::to_string(rd % 32ULL)+"ULL] = *((RV32IMACFD*)cpu)->X["+std::to_string(rs1 % 32ULL)+"ULL] % *((RV32IMACFD*)cpu)->X["+std::to_string(rs2 % 32ULL)+"ULL];\n";cp.code()+="etiss_coverage_count(11, 3142, 3130, 3129, 3127, 3141, 3135, 3134, 3132, 3140, 3139, 3137);\n";cp.code()+="} // conditional\n";cp.code()+="else { // conditional\n";cp.code()+="*((RV32IMACFD*)cpu)->X["+std::to_string(rd % 32ULL)+"ULL] = *((RV32IMACFD*)cpu)->X["+std::to_string(rs1 % 32ULL)+"ULL];\n";cp.code()+="etiss_coverage_count(7, 3153, 3147, 3146, 3144, 3152, 3151, 3149);\n";cp.code()+="} // conditional\n";cp.code()+="} // block\n";} } cp.code()+="} // block\n";} cp.code()+="instr_exit_"+std::to_string(ic.current_address_)+":\n";cp.code()+="cpu->instructionPointer = cpu->nextPc;\n";cp.getAffectedRegisters().add("instructionPointer", 32);} return true;}, 0, [](BitArray &ba, Instruction &instr) { etiss_uint8 rd=0;static BitArrayRange R_rd_0(11, 7);rd+=R_rd_0.read(ba)<< 0;etiss_uint8 rs1=0;static BitArrayRange R_rs1_0(19, 15);rs1+=R_rs1_0.read(ba)<< 0;etiss_uint8 rs2=0;static BitArrayRange R_rs2_0(24, 20);rs2+=R_rs2_0.read(ba)<< 0;std::stringstream ss;ss<< "remu"<< " # "<< ba<<(" [rd="+std::to_string(rd)+" | rs1="+std::to_string(rs1)+" | rs2="+std::to_string(rs2)+"]");return ss.str();})
static InstructionDefinition rem_rd_rs1_rs2(ISA32_RV32IMACFD, "rem",(uint64_t) 0x2006033,(uint64_t) 0xfe00707f, [](BitArray &ba, etiss::CodeSet &cs, InstructionContext &ic) { etiss_uint8 rd=0;static BitArrayRange R_rd_0(11, 7);rd+=R_rd_0.read(ba)<< 0;etiss_uint8 rs1=0;static BitArrayRange R_rs1_0(19, 15);rs1+=R_rs1_0.read(ba)<< 0;etiss_uint8 rs2=0;static BitArrayRange R_rs2_0(24, 20);rs2+=R_rs2_0.read(ba)<< 0;{ CodePart &cp=cs.append(CodePart::INITIALREQUIRED);cp.code()=std::string("//REM\n");cp.code()+="etiss_coverage_count(1, 78);\n";{ cp.code()+="etiss_coverage_count(1, 1189);\n";cp.code()+="{ // block\n";cp.code()+="cpu->nextPc = "+std::to_string((etiss_uint32)((ic.current_address_+4)))+"ULL;\n";cp.code()+="etiss_coverage_count(7, 1188, 1181, 1187, 1184, 1182, 1183, 1185);\n";cp.code()+="} // block\n";} { cp.code()+="etiss_coverage_count(1, 3110);\n";cp.code()+="{ // block\n";cp.code()+="etiss_coverage_count(1, 3027);\n";if((rd % 32ULL) !=0LL) { cp.code()+="etiss_coverage_count(5, 3033, 3030, 3028, 3031, 3032);\n";{ cp.code()+="etiss_coverage_count(1, 3109);\n";cp.code()+="{ // block\n";cp.code()+="etiss_coverage_count(1, 3034);\n";cp.code()+="if (*((RV32IMACFD*)cpu)->X["+std::to_string(rs2 % 32ULL)+"ULL] != 0LL) { // conditional\n";cp.code()+="etiss_coverage_count(5, 3041, 3039, 3038, 3036, 3040);\n";{ cp.code()+="etiss_coverage_count(1, 3097);\n";cp.code()+="{ // block\n";etiss_uint32 MMIN=2147483648ULL;cp.code()+="etiss_coverage_count(1, 3049);\n";cp.code()+="etiss_coverage_count(1, 3050);\n";cp.code()+="if (*((RV32IMACFD*)cpu)->X["+std::to_string(rs1 % 32ULL)+"ULL] == "+std::to_string(MMIN)+"ULL && (etiss_int32)(*((RV32IMACFD*)cpu)->X["+std::to_string(rs2 % 32ULL)+"ULL]) == -1LL) { // conditional\n";cp.code()+="etiss_coverage_count(11, 3068, 3057, 3055, 3054, 3052, 3056, 3067, 3064, 3062, 3061, 3059);\n";cp.code()+="*((RV32IMACFD*)cpu)->X["+std::to_string(rd % 32ULL)+"ULL] = 0LL;\n";cp.code()+="etiss_coverage_count(5, 3075, 3073, 3072, 3070, 3074);\n";cp.code()+="} // conditional\n";cp.code()+="else { // conditional\n";cp.code()+="*((RV32IMACFD*)cpu)->X["+std::to_string(rd % 32ULL)+"ULL] = (etiss_int32)(*((RV32IMACFD*)cpu)->X["+std::to_string(rs1 % 32ULL)+"ULL]) % (etiss_int32)(*((RV32IMACFD*)cpu)->X["+std::to_string(rs2 % 32ULL)+"ULL]);\n";cp.code()+="etiss_coverage_count(13, 3096, 3080, 3079, 3077, 3095, 3087, 3085, 3084, 3082, 3094, 3092, 3091, 3089);\n";cp.code()+="} // conditional\n";cp.code()+="} // block\n";} cp.code()+="} // conditional\n";cp.code()+="else { // conditional\n";cp.code()+="*((RV32IMACFD*)cpu)->X["+std::to_string(rd % 32ULL)+"ULL] = *((RV32IMACFD*)cpu)->X["+std::to_string(rs1 % 32ULL)+"ULL];\n";cp.code()+="etiss_coverage_count(7, 3108, 3102, 3101, 3099, 3107, 3106, 3104);\n";cp.code()+="} // conditional\n";cp.code()+="} // block\n";} } cp.code()+="} // block\n";} cp.code()+="instr_exit_"+std::to_string(ic.current_address_)+":\n";cp.code()+="cpu->instructionPointer = cpu->nextPc;\n";cp.getAffectedRegisters().add("instructionPointer", 32);} return true;}, 0, [](BitArray &ba, Instruction &instr) { etiss_uint8 rd=0;static BitArrayRange R_rd_0(11, 7);rd+=R_rd_0.read(ba)<< 0;etiss_uint8 rs1=0;static BitArrayRange R_rs1_0(19, 15);rs1+=R_rs1_0.read(ba)<< 0;etiss_uint8 rs2=0;static BitArrayRange R_rs2_0(24, 20);rs2+=R_rs2_0.read(ba)<< 0;std::stringstream ss;ss<< "rem"<< " # "<< ba<<(" [rd="+std::to_string(rd)+" | rs1="+std::to_string(rs1)+" | rs2="+std::to_string(rs2)+"]");return ss.str();})
static InstructionDefinition mulhsu_rd_rs1_rs2(ISA32_RV32IMACFD, "mulhsu",(uint64_t) 0x2002033,(uint64_t) 0xfe00707f, [](BitArray &ba, etiss::CodeSet &cs, InstructionContext &ic) { etiss_uint8 rd=0;static BitArrayRange R_rd_0(11, 7);rd+=R_rd_0.read(ba)<< 0;etiss_uint8 rs1=0;static BitArrayRange R_rs1_0(19, 15);rs1+=R_rs1_0.read(ba)<< 0;etiss_uint8 rs2=0;static BitArrayRange R_rs2_0(24, 20);rs2+=R_rs2_0.read(ba)<< 0;{ CodePart &cp=cs.append(CodePart::INITIALREQUIRED);cp.code()=std::string("//MULHSU\n");cp.code()+="etiss_coverage_count(1, 74);\n";{ cp.code()+="etiss_coverage_count(1, 1189);\n";cp.code()+="{ // block\n";cp.code()+="cpu->nextPc = "+std::to_string((etiss_uint32)((ic.current_address_+4)))+"ULL;\n";cp.code()+="etiss_coverage_count(7, 1188, 1181, 1187, 1184, 1182, 1183, 1185);\n";cp.code()+="} // block\n";} { cp.code()+="etiss_coverage_count(1, 2865);\n";cp.code()+="{ // block\n";cp.code()+="etiss_coverage_count(1, 2827);\n";if((rd % 32ULL) !=0LL) { cp.code()+="etiss_coverage_count(5, 2833, 2830, 2828, 2831, 2832);\n";{ cp.code()+="etiss_coverage_count(1, 2864);\n";cp.code()+="{ // block\n";cp.code()+="etiss_int64 res = (etiss_int64)((etiss_int32)(*((RV32IMACFD*)cpu)->X["+std::to_string(rs1 % 32ULL)+"ULL])) * (etiss_uint64)(*((RV32IMACFD*)cpu)->X["+std::to_string(rs2 % 32ULL)+"ULL]);\n";cp.code()+="etiss_coverage_count(11, 2851, 2850, 2842, 2840, 2839, 2838, 2836, 2849, 2847, 2846, 2844);\n";cp.code()+="*((RV32IMACFD*)cpu)->X["+std::to_string(rd % 32ULL)+"ULL] = (etiss_uint32)((res >> 32ULL));\n";cp.code()+="etiss_coverage_count(8, 2863, 2856, 2855, 2853, 2862, 2859, 2857, 2860);\n";cp.code()+="} // block\n";} } cp.code()+="} // block\n";} cp.code()+="instr_exit_"+std::to_string(ic.current_address_)+":\n";cp.code()+="cpu->instructionPointer = cpu->nextPc;\n";cp.getAffectedRegisters().add("instructionPointer", 32);} return true;}, 0, [](BitArray &ba, Instruction &instr) { etiss_uint8 rd=0;static BitArrayRange R_rd_0(11, 7);rd+=R_rd_0.read(ba)<< 0;etiss_uint8 rs1=0;static BitArrayRange R_rs1_0(19, 15);rs1+=R_rs1_0.read(ba)<< 0;etiss_uint8 rs2=0;static BitArrayRange R_rs2_0(24, 20);rs2+=R_rs2_0.read(ba)<< 0;std::stringstream ss;ss<< "mulhsu"<< " # "<< ba<<(" [rd="+std::to_string(rd)+" | rs1="+std::to_string(rs1)+" | rs2="+std::to_string(rs2)+"]");return ss.str();})
static InstructionDefinition divu_rd_rs1_rs2(ISA32_RV32IMACFD, "divu",(uint64_t) 0x2005033,(uint64_t) 0xfe00707f, [](BitArray &ba, etiss::CodeSet &cs, InstructionContext &ic) { etiss_uint8 rd=0;static BitArrayRange R_rd_0(11, 7);rd+=R_rd_0.read(ba)<< 0;etiss_uint8 rs1=0;static BitArrayRange R_rs1_0(19, 15);rs1+=R_rs1_0.read(ba)<< 0;etiss_uint8 rs2=0;static BitArrayRange R_rs2_0(24, 20);rs2+=R_rs2_0.read(ba)<< 0;{ CodePart &cp=cs.append(CodePart::INITIALREQUIRED);cp.code()=std::string("//DIVU\n");cp.code()+="etiss_coverage_count(1, 77);\n";{ cp.code()+="etiss_coverage_count(1, 1189);\n";cp.code()+="{ // block\n";cp.code()+="cpu->nextPc = "+std::to_string((etiss_uint32)((ic.current_address_+4)))+"ULL;\n";cp.code()+="etiss_coverage_count(7, 1188, 1181, 1187, 1184, 1182, 1183, 1185);\n";cp.code()+="} // block\n";} { cp.code()+="etiss_coverage_count(1, 3026);\n";cp.code()+="{ // block\n";cp.code()+="etiss_coverage_count(1, 2985);\n";if((rd % 32ULL) !=0LL) { cp.code()+="etiss_coverage_count(5, 2991, 2988, 2986, 2989, 2990);\n";{ cp.code()+="etiss_coverage_count(1, 3025);\n";cp.code()+="{ // block\n";cp.code()+="etiss_coverage_count(1, 2992);\n";cp.code()+="if (*((RV32IMACFD*)cpu)->X["+std::to_string(rs2 % 32ULL)+"ULL] != 0LL) { // conditional\n";cp.code()+="etiss_coverage_count(5, 2999, 2997, 2996, 2994, 2998);\n";cp.code()+="*((RV32IMACFD*)cpu)->X["+std::to_string(rd % 32ULL)+"ULL] = *((RV32IMACFD*)cpu)->X["+std::to_string(rs1 % 32ULL)+"ULL] / *((RV32IMACFD*)cpu)->X["+std::to_string(rs2 % 32ULL)+"ULL];\n";cp.code()+="etiss_coverage_count(11, 3016, 3004, 3003, 3001, 3015, 3009, 3008, 3006, 3014, 3013, 3011);\n";cp.code()+="} // conditional\n";cp.code()+="else { // conditional\n";cp.code()+="*((RV32IMACFD*)cpu)->X["+std::to_string(rd % 32ULL)+"ULL] = -1LL;\n";cp.code()+="etiss_coverage_count(4, 3024, 3021, 3020, 3018);\n";cp.code()+="} // conditional\n";cp.code()+="} // block\n";} } cp.code()+="} // block\n";} cp.code()+="instr_exit_"+std::to_string(ic.current_address_)+":\n";cp.code()+="cpu->instructionPointer = cpu->nextPc;\n";cp.getAffectedRegisters().add("instructionPointer", 32);} return true;}, 0, [](BitArray &ba, Instruction &instr) { etiss_uint8 rd=0;static BitArrayRange R_rd_0(11, 7);rd+=R_rd_0.read(ba)<< 0;etiss_uint8 rs1=0;static BitArrayRange R_rs1_0(19, 15);rs1+=R_rs1_0.read(ba)<< 0;etiss_uint8 rs2=0;static BitArrayRange R_rs2_0(24, 20);rs2+=R_rs2_0.read(ba)<< 0;std::stringstream ss;ss<< "divu"<< " # "<< ba<<(" [rd="+std::to_string(rd)+" | rs1="+std::to_string(rs1)+" | rs2="+std::to_string(rs2)+"]");return ss.str();})
static InstructionDefinition mul_rd_rs1_rs2(ISA32_RV32IMACFD, "mul",(uint64_t) 0x2000033,(uint64_t) 0xfe00707f, [](BitArray &ba, etiss::CodeSet &cs, InstructionContext &ic) { etiss_uint8 rd=0;static BitArrayRange R_rd_0(11, 7);rd+=R_rd_0.read(ba)<< 0;etiss_uint8 rs1=0;static BitArrayRange R_rs1_0(19, 15);rs1+=R_rs1_0.read(ba)<< 0;etiss_uint8 rs2=0;static BitArrayRange R_rs2_0(24, 20);rs2+=R_rs2_0.read(ba)<< 0;{ CodePart &cp=cs.append(CodePart::INITIALREQUIRED);cp.code()=std::string("//MUL\n");cp.code()+="etiss_coverage_count(1, 72);\n";{ cp.code()+="etiss_coverage_count(1, 1189);\n";cp.code()+="{ // block\n";cp.code()+="cpu->nextPc = "+std::to_string((etiss_uint32)((ic.current_address_+4)))+"ULL;\n";cp.code()+="etiss_coverage_count(7, 1188, 1181, 1187, 1184, 1182, 1183, 1185);\n";cp.code()+="} // block\n";} { cp.code()+="etiss_coverage_count(1, 2786);\n";cp.code()+="{ // block\n";cp.code()+="etiss_coverage_count(1, 2750);\n";if((rd % 32ULL) !=0LL) { cp.code()+="etiss_coverage_count(5, 2756, 2753, 2751, 2754, 2755);\n";{ cp.code()+="etiss_coverage_count(1, 2785);\n";cp.code()+="{ // block\n";cp.code()+="etiss_int64 res = (etiss_int64)((etiss_int32)(*((RV32IMACFD*)cpu)->X["+std::to_string(rs1 % 32ULL)+"ULL])) * (etiss_int64)((etiss_int32)(*((RV32IMACFD*)cpu)->X["+std::to_string(rs2 % 32ULL)+"ULL]));\n";cp.code()+="etiss_coverage_count(12, 2775, 2774, 2765, 2763, 2762, 2761, 2759, 2773, 2771, 2770, 2769, 2767);\n";cp.code()+="*((RV32IMACFD*)cpu)->X["+std::to_string(rd % 32ULL)+"ULL] = (etiss_uint32)(res);\n";cp.code()+="etiss_coverage_count(6, 2784, 2780, 2779, 2777, 2783, 2781);\n";cp.code()+="} // block\n";} } cp.code()+="} // block\n";} cp.code()+="instr_exit_"+std::to_string(ic.current_address_)+":\n";cp.code()+="cpu->instructionPointer = cpu->nextPc;\n";cp.getAffectedRegisters().add("instructionPointer", 32);} return true;}, 0, [](BitArray &ba, Instruction &instr) { etiss_uint8 rd=0;static BitArrayRange R_rd_0(11, 7);rd+=R_rd_0.read(ba)<< 0;etiss_uint8 rs1=0;static BitArrayRange R_rs1_0(19, 15);rs1+=R_rs1_0.read(ba)<< 0;etiss_uint8 rs2=0;static BitArrayRange R_rs2_0(24, 20);rs2+=R_rs2_0.read(ba)<< 0;std::stringstream ss;ss<< "mul"<< " # "<< ba<<(" [rd="+std::to_string(rd)+" | rs1="+std::to_string(rs1)+" | rs2="+std::to_string(rs2)+"]");return ss.str();})
static InstructionDefinition mulh_rd_rs1_rs2(ISA32_RV32IMACFD, "mulh",(uint64_t) 0x2001033,(uint64_t) 0xfe00707f, [](BitArray &ba, etiss::CodeSet &cs, InstructionContext &ic) { etiss_uint8 rd=0;static BitArrayRange R_rd_0(11, 7);rd+=R_rd_0.read(ba)<< 0;etiss_uint8 rs1=0;static BitArrayRange R_rs1_0(19, 15);rs1+=R_rs1_0.read(ba)<< 0;etiss_uint8 rs2=0;static BitArrayRange R_rs2_0(24, 20);rs2+=R_rs2_0.read(ba)<< 0;{ CodePart &cp=cs.append(CodePart::INITIALREQUIRED);cp.code()=std::string("//MULH\n");cp.code()+="etiss_coverage_count(1, 73);\n";{ cp.code()+="etiss_coverage_count(1, 1189);\n";cp.code()+="{ // block\n";cp.code()+="cpu->nextPc = "+std::to_string((etiss_uint32)((ic.current_address_+4)))+"ULL;\n";cp.code()+="etiss_coverage_count(7, 1188, 1181, 1187, 1184, 1182, 1183, 1185);\n";cp.code()+="} // block\n";} { cp.code()+="etiss_coverage_count(1, 2826);\n";cp.code()+="{ // block\n";cp.code()+="etiss_coverage_count(1, 2787);\n";if((rd % 32ULL) !=0LL) { cp.code()+="etiss_coverage_count(5, 2793, 2790, 2788, 2791, 2792);\n";{ cp.code()+="etiss_coverage_count(1, 2825);\n";cp.code()+="{ // block\n";cp.code()+="etiss_int64 res = (etiss_int64)((etiss_int32)(*((RV32IMACFD*)cpu)->X["+std::to_string(rs1 % 32ULL)+"ULL])) * (etiss_int64)((etiss_int32)(*((RV32IMACFD*)cpu)->X["+std::to_string(rs2 % 32ULL)+"ULL]));\n";cp.code()+="etiss_coverage_count(12, 2812, 2811, 2802, 2800, 2799, 2798, 2796, 2810, 2808, 2807, 2806, 2804);\n";cp.code()+="*((RV32IMACFD*)cpu)->X["+std::to_string(rd % 32ULL)+"ULL] = (etiss_uint32)((res >> 32ULL));\n";cp.code()+="etiss_coverage_count(8, 2824, 2817, 2816, 2814, 2823, 2820, 2818, 2821);\n";cp.code()+="} // block\n";} } cp.code()+="} // block\n";} cp.code()+="instr_exit_"+std::to_string(ic.current_address_)+":\n";cp.code()+="cpu->instructionPointer = cpu->nextPc;\n";cp.getAffectedRegisters().add("instructionPointer", 32);} return true;}, 0, [](BitArray &ba, Instruction &instr) { etiss_uint8 rd=0;static BitArrayRange R_rd_0(11, 7);rd+=R_rd_0.read(ba)<< 0;etiss_uint8 rs1=0;static BitArrayRange R_rs1_0(19, 15);rs1+=R_rs1_0.read(ba)<< 0;etiss_uint8 rs2=0;static BitArrayRange R_rs2_0(24, 20);rs2+=R_rs2_0.read(ba)<< 0;std::stringstream ss;ss<< "mulh"<< " # "<< ba<<(" [rd="+std::to_string(rd)+" | rs1="+std::to_string(rs1)+" | rs2="+std::to_string(rs2)+"]");return ss.str();})
Contains a small code snipped.
RegisterSet & getAffectedRegisters()
void append(const CodePart &part, CodePart::TYPE type)
void add(const RegisterPart &rp)
add a registerPart to the set or just its relevant bits if a register with the same name is already p...
Reading through it will only return bits within the range.
I read(const BitArray &ba)
reads bits from the range to the return value starting at the lsb.
this class contains parameters that persist in between instruction lookpus/translation within a trans...
uint64_t current_address_
start address of current instruction
holds information and translation callbacks for an instruction.