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(
"//MULW\n");
49cp.
code() +=
"etiss_coverage_count(1, 209);\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, 8206);\n";
59cp.
code() +=
"{ // block\n";
60cp.
code() +=
"etiss_coverage_count(1, 8172);\n";
61if ((rd % 32ULL) != 0LL) {
62cp.
code() +=
"etiss_coverage_count(5, 8178, 8175, 8173, 8176, 8177);\n";
64cp.
code() +=
"etiss_coverage_count(1, 8205);\n";
65cp.
code() +=
"{ // block\n";
66cp.
code() +=
"*((RV64IMACFD*)cpu)->X[" + std::to_string(rd % 32ULL) +
"ULL] = (etiss_uint64)((etiss_int32)(((etiss_int32)(*((RV64IMACFD*)cpu)->X[" + std::to_string(rs1 % 32ULL) +
"ULL]) * (etiss_int32)(*((RV64IMACFD*)cpu)->X[" + std::to_string(rs2 % 32ULL) +
"ULL]))));\n";
67cp.
code() +=
"etiss_coverage_count(16, 8204, 8183, 8182, 8180, 8203, 8201, 8198, 8190, 8188, 8187, 8185, 8197, 8195, 8194, 8192, 8199);\n";
68cp.
code() +=
"} // block\n";
71cp.
code() +=
"} // block\n";
74cp.
code() +=
"cpu->instructionPointer = cpu->nextPc;\n";
87rd += R_rd_0.read(ba) << 0;
90rs1 += R_rs1_0.read(ba) << 0;
93rs2 += R_rs2_0.read(ba) << 0;
99ss <<
"mulw" <<
" # " << ba << (
" [rd=" + std::to_string(rd) +
" | rs1=" + std::to_string(rs1) +
" | rs2=" + std::to_string(rs2) +
"]");
109 (uint64_t) 0x200403b,
110 (uint64_t) 0xfe00707f,
122rd += R_rd_0.
read(ba) << 0;
125rs1 += R_rs1_0.
read(ba) << 0;
128rs2 += R_rs2_0.
read(ba) << 0;
136 cp.
code() = std::string(
"//DIVW\n");
139cp.
code() +=
"etiss_coverage_count(1, 210);\n";
141cp.
code() +=
"etiss_coverage_count(1, 1189);\n";
142cp.
code() +=
"{ // block\n";
144cp.
code() +=
"etiss_coverage_count(7, 1188, 1181, 1187, 1184, 1182, 1183, 1185);\n";
145cp.
code() +=
"} // block\n";
148cp.
code() +=
"etiss_coverage_count(1, 8294);\n";
149cp.
code() +=
"{ // block\n";
150cp.
code() +=
"etiss_coverage_count(1, 8207);\n";
151if ((rd % 32ULL) != 0LL) {
152cp.
code() +=
"etiss_coverage_count(5, 8213, 8210, 8208, 8211, 8212);\n";
154cp.
code() +=
"etiss_coverage_count(1, 8293);\n";
155cp.
code() +=
"{ // block\n";
156cp.
code() +=
"etiss_coverage_count(1, 8214);\n";
157cp.
code() +=
"if (*((RV64IMACFD*)cpu)->X[" + std::to_string(rs2 % 32ULL) +
"ULL] != 0LL) { // conditional\n";
158cp.
code() +=
"etiss_coverage_count(5, 8221, 8219, 8218, 8216, 8220);\n";
160cp.
code() +=
"etiss_coverage_count(1, 8284);\n";
161cp.
code() +=
"{ // block\n";
163cp.
code() +=
"etiss_coverage_count(1, 8228);\n";
164cp.
code() +=
"etiss_coverage_count(1, 8229);\n";
165cp.
code() +=
"if ((etiss_int32)(*((RV64IMACFD*)cpu)->X[" + std::to_string(rs1 % 32ULL) +
"ULL]) == " + std::to_string(MMIN) +
"LL && (etiss_int32)(*((RV64IMACFD*)cpu)->X[" + std::to_string(rs2 % 32ULL) +
"ULL]) == -1LL) { // conditional\n";
166cp.
code() +=
"etiss_coverage_count(12, 8249, 8238, 8236, 8234, 8233, 8231, 8237, 8248, 8245, 8243, 8242, 8240);\n";
167cp.
code() +=
"*((RV64IMACFD*)cpu)->X[" + std::to_string(rd % 32ULL) +
"ULL] = -2147483648LL;\n";
168cp.
code() +=
"etiss_coverage_count(4, 8259, 8254, 8253, 8251);\n";
169cp.
code() +=
"} // conditional\n";
170cp.
code() +=
"else { // conditional\n";
171cp.
code() +=
"*((RV64IMACFD*)cpu)->X[" + std::to_string(rd % 32ULL) +
"ULL] = (etiss_int64)(((etiss_int32)(*((RV64IMACFD*)cpu)->X[" + std::to_string(rs1 % 32ULL) +
"ULL]) / (etiss_int32)(*((RV64IMACFD*)cpu)->X[" + std::to_string(rs2 % 32ULL) +
"ULL])));\n";
172cp.
code() +=
"etiss_coverage_count(15, 8283, 8264, 8263, 8261, 8282, 8279, 8271, 8269, 8268, 8266, 8278, 8276, 8275, 8273, 8280);\n";
173cp.
code() +=
"} // conditional\n";
174cp.
code() +=
"} // block\n";
176cp.
code() +=
"} // conditional\n";
177cp.
code() +=
"else { // conditional\n";
178cp.
code() +=
"*((RV64IMACFD*)cpu)->X[" + std::to_string(rd % 32ULL) +
"ULL] = -1LL;\n";
179cp.
code() +=
"etiss_coverage_count(4, 8292, 8289, 8288, 8286);\n";
180cp.
code() +=
"} // conditional\n";
181cp.
code() +=
"} // block\n";
184cp.
code() +=
"} // block\n";
187cp.
code() +=
"cpu->instructionPointer = cpu->nextPc;\n";
200rd += R_rd_0.read(ba) << 0;
203rs1 += R_rs1_0.read(ba) << 0;
206rs2 += R_rs2_0.read(ba) << 0;
210 std::stringstream ss;
212ss <<
"divw" <<
" # " << ba << (
" [rd=" + std::to_string(rd) +
" | rs1=" + std::to_string(rs1) +
" | rs2=" + std::to_string(rs2) +
"]");
222 (uint64_t) 0x200503b,
223 (uint64_t) 0xfe00707f,
235rd += R_rd_0.
read(ba) << 0;
238rs1 += R_rs1_0.
read(ba) << 0;
241rs2 += R_rs2_0.
read(ba) << 0;
249 cp.
code() = std::string(
"//DIVUW\n");
252cp.
code() +=
"etiss_coverage_count(1, 211);\n";
254cp.
code() +=
"etiss_coverage_count(1, 1189);\n";
255cp.
code() +=
"{ // block\n";
257cp.
code() +=
"etiss_coverage_count(7, 1188, 1181, 1187, 1184, 1182, 1183, 1185);\n";
258cp.
code() +=
"} // block\n";
261cp.
code() +=
"etiss_coverage_count(1, 8346);\n";
262cp.
code() +=
"{ // block\n";
263cp.
code() +=
"etiss_coverage_count(1, 8295);\n";
264if ((rd % 32ULL) != 0LL) {
265cp.
code() +=
"etiss_coverage_count(5, 8301, 8298, 8296, 8299, 8300);\n";
267cp.
code() +=
"etiss_coverage_count(1, 8345);\n";
268cp.
code() +=
"{ // block\n";
269cp.
code() +=
"etiss_coverage_count(1, 8302);\n";
270cp.
code() +=
"if ((etiss_uint32)(*((RV64IMACFD*)cpu)->X[" + std::to_string(rs2 % 32ULL) +
"ULL]) != 0LL) { // conditional\n";
271cp.
code() +=
"etiss_coverage_count(6, 8311, 8309, 8307, 8306, 8304, 8310);\n";
272cp.
code() +=
"*((RV64IMACFD*)cpu)->X[" + std::to_string(rd % 32ULL) +
"ULL] = (etiss_uint64)((etiss_int32)(((etiss_uint32)(*((RV64IMACFD*)cpu)->X[" + std::to_string(rs1 % 32ULL) +
"ULL]) / (etiss_uint32)(*((RV64IMACFD*)cpu)->X[" + std::to_string(rs2 % 32ULL) +
"ULL]))));\n";
273cp.
code() +=
"etiss_coverage_count(16, 8336, 8316, 8315, 8313, 8335, 8333, 8331, 8323, 8321, 8320, 8318, 8330, 8328, 8327, 8325, 8332);\n";
274cp.
code() +=
"} // conditional\n";
275cp.
code() +=
"else { // conditional\n";
276cp.
code() +=
"*((RV64IMACFD*)cpu)->X[" + std::to_string(rd % 32ULL) +
"ULL] = -1LL;\n";
277cp.
code() +=
"etiss_coverage_count(4, 8344, 8341, 8340, 8338);\n";
278cp.
code() +=
"} // conditional\n";
279cp.
code() +=
"} // block\n";
282cp.
code() +=
"} // block\n";
285cp.
code() +=
"cpu->instructionPointer = cpu->nextPc;\n";
298rd += R_rd_0.read(ba) << 0;
301rs1 += R_rs1_0.read(ba) << 0;
304rs2 += R_rs2_0.read(ba) << 0;
308 std::stringstream ss;
310ss <<
"divuw" <<
" # " << ba << (
" [rd=" + std::to_string(rd) +
" | rs1=" + std::to_string(rs1) +
" | rs2=" + std::to_string(rs2) +
"]");
320 (uint64_t) 0x200603b,
321 (uint64_t) 0xfe00707f,
333rd += R_rd_0.
read(ba) << 0;
336rs1 += R_rs1_0.
read(ba) << 0;
339rs2 += R_rs2_0.
read(ba) << 0;
347 cp.
code() = std::string(
"//REMW\n");
350cp.
code() +=
"etiss_coverage_count(1, 212);\n";
352cp.
code() +=
"etiss_coverage_count(1, 1189);\n";
353cp.
code() +=
"{ // block\n";
355cp.
code() +=
"etiss_coverage_count(7, 1188, 1181, 1187, 1184, 1182, 1183, 1185);\n";
356cp.
code() +=
"} // block\n";
359cp.
code() +=
"etiss_coverage_count(1, 8439);\n";
360cp.
code() +=
"{ // block\n";
361cp.
code() +=
"etiss_coverage_count(1, 8347);\n";
362if ((rd % 32ULL) != 0LL) {
363cp.
code() +=
"etiss_coverage_count(5, 8353, 8350, 8348, 8351, 8352);\n";
365cp.
code() +=
"etiss_coverage_count(1, 8438);\n";
366cp.
code() +=
"{ // block\n";
367cp.
code() +=
"etiss_coverage_count(1, 8354);\n";
368cp.
code() +=
"if (*((RV64IMACFD*)cpu)->X[" + std::to_string(rs2 % 32ULL) +
"ULL] != 0LL) { // conditional\n";
369cp.
code() +=
"etiss_coverage_count(5, 8361, 8359, 8358, 8356, 8360);\n";
371cp.
code() +=
"etiss_coverage_count(1, 8421);\n";
372cp.
code() +=
"{ // block\n";
374cp.
code() +=
"etiss_coverage_count(1, 8368);\n";
375cp.
code() +=
"etiss_coverage_count(1, 8369);\n";
376cp.
code() +=
"if ((etiss_int32)(*((RV64IMACFD*)cpu)->X[" + std::to_string(rs1 % 32ULL) +
"ULL]) == " + std::to_string(MMIN) +
"LL && (etiss_int32)(*((RV64IMACFD*)cpu)->X[" + std::to_string(rs2 % 32ULL) +
"ULL]) == -1LL) { // conditional\n";
377cp.
code() +=
"etiss_coverage_count(12, 8389, 8378, 8376, 8374, 8373, 8371, 8377, 8388, 8385, 8383, 8382, 8380);\n";
378cp.
code() +=
"*((RV64IMACFD*)cpu)->X[" + std::to_string(rd % 32ULL) +
"ULL] = 0LL;\n";
379cp.
code() +=
"etiss_coverage_count(5, 8396, 8394, 8393, 8391, 8395);\n";
380cp.
code() +=
"} // conditional\n";
381cp.
code() +=
"else { // conditional\n";
382cp.
code() +=
"*((RV64IMACFD*)cpu)->X[" + std::to_string(rd % 32ULL) +
"ULL] = (etiss_int64)(((etiss_int32)(*((RV64IMACFD*)cpu)->X[" + std::to_string(rs1 % 32ULL) +
"ULL]) % (etiss_int32)(*((RV64IMACFD*)cpu)->X[" + std::to_string(rs2 % 32ULL) +
"ULL])));\n";
383cp.
code() +=
"etiss_coverage_count(15, 8420, 8401, 8400, 8398, 8419, 8416, 8408, 8406, 8405, 8403, 8415, 8413, 8412, 8410, 8417);\n";
384cp.
code() +=
"} // conditional\n";
385cp.
code() +=
"} // block\n";
387cp.
code() +=
"} // conditional\n";
388cp.
code() +=
"else { // conditional\n";
389cp.
code() +=
"*((RV64IMACFD*)cpu)->X[" + std::to_string(rd % 32ULL) +
"ULL] = (etiss_int64)(((etiss_int32)(*((RV64IMACFD*)cpu)->X[" + std::to_string(rs1 % 32ULL) +
"ULL])));\n";
390cp.
code() +=
"etiss_coverage_count(10, 8437, 8426, 8425, 8423, 8436, 8433, 8431, 8430, 8428, 8434);\n";
391cp.
code() +=
"} // conditional\n";
392cp.
code() +=
"} // block\n";
395cp.
code() +=
"} // block\n";
398cp.
code() +=
"cpu->instructionPointer = cpu->nextPc;\n";
411rd += R_rd_0.read(ba) << 0;
414rs1 += R_rs1_0.read(ba) << 0;
417rs2 += R_rs2_0.read(ba) << 0;
421 std::stringstream ss;
423ss <<
"remw" <<
" # " << ba << (
" [rd=" + std::to_string(rd) +
" | rs1=" + std::to_string(rs1) +
" | rs2=" + std::to_string(rs2) +
"]");
433 (uint64_t) 0x200703b,
434 (uint64_t) 0xfe00707f,
446rd += R_rd_0.
read(ba) << 0;
449rs1 += R_rs1_0.
read(ba) << 0;
452rs2 += R_rs2_0.
read(ba) << 0;
460 cp.
code() = std::string(
"//REMUW\n");
463cp.
code() +=
"etiss_coverage_count(1, 213);\n";
465cp.
code() +=
"etiss_coverage_count(1, 1189);\n";
466cp.
code() +=
"{ // block\n";
468cp.
code() +=
"etiss_coverage_count(7, 1188, 1181, 1187, 1184, 1182, 1183, 1185);\n";
469cp.
code() +=
"} // block\n";
472cp.
code() +=
"etiss_coverage_count(1, 8499);\n";
473cp.
code() +=
"{ // block\n";
474cp.
code() +=
"etiss_coverage_count(1, 8440);\n";
475if ((rd % 32ULL) != 0LL) {
476cp.
code() +=
"etiss_coverage_count(5, 8446, 8443, 8441, 8444, 8445);\n";
478cp.
code() +=
"etiss_coverage_count(1, 8498);\n";
479cp.
code() +=
"{ // block\n";
480cp.
code() +=
"etiss_coverage_count(1, 8447);\n";
481cp.
code() +=
"if ((etiss_uint32)(*((RV64IMACFD*)cpu)->X[" + std::to_string(rs2 % 32ULL) +
"ULL]) != 0LL) { // conditional\n";
482cp.
code() +=
"etiss_coverage_count(6, 8456, 8454, 8452, 8451, 8449, 8455);\n";
483cp.
code() +=
"*((RV64IMACFD*)cpu)->X[" + std::to_string(rd % 32ULL) +
"ULL] = (etiss_uint64)((etiss_int32)(((etiss_uint32)(*((RV64IMACFD*)cpu)->X[" + std::to_string(rs1 % 32ULL) +
"ULL]) % (etiss_uint32)(*((RV64IMACFD*)cpu)->X[" + std::to_string(rs2 % 32ULL) +
"ULL]))));\n";
484cp.
code() +=
"etiss_coverage_count(16, 8481, 8461, 8460, 8458, 8480, 8478, 8476, 8468, 8466, 8465, 8463, 8475, 8473, 8472, 8470, 8477);\n";
485cp.
code() +=
"} // conditional\n";
486cp.
code() +=
"else { // conditional\n";
487cp.
code() +=
"*((RV64IMACFD*)cpu)->X[" + std::to_string(rd % 32ULL) +
"ULL] = (etiss_uint64)(((etiss_int32)(*((RV64IMACFD*)cpu)->X[" + std::to_string(rs1 % 32ULL) +
"ULL])));\n";
488cp.
code() +=
"etiss_coverage_count(10, 8497, 8486, 8485, 8483, 8496, 8493, 8491, 8490, 8488, 8494);\n";
489cp.
code() +=
"} // conditional\n";
490cp.
code() +=
"} // block\n";
493cp.
code() +=
"} // block\n";
496cp.
code() +=
"cpu->instructionPointer = cpu->nextPc;\n";
509rd += R_rd_0.read(ba) << 0;
512rs1 += R_rs1_0.read(ba) << 0;
515rs2 += R_rs2_0.read(ba) << 0;
519 std::stringstream ss;
521ss <<
"remuw" <<
" # " << ba << (
" [rd=" + std::to_string(rd) +
" | rs1=" + std::to_string(rs1) +
" | rs2=" + std::to_string(rs2) +
"]");
etiss::instr::InstructionGroup ISA32_RV64IMACFD("ISA32_RV64IMACFD", 32)
static InstructionDefinition remw_rd_rs1_rs2(ISA32_RV64IMACFD, "remw",(uint64_t) 0x200603b,(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("//REMW\n");cp.code()+="etiss_coverage_count(1, 212);\n";{ cp.code()+="etiss_coverage_count(1, 1189);\n";cp.code()+="{ // block\n";cp.code()+="cpu->nextPc = "+std::to_string((etiss_uint64)((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, 8439);\n";cp.code()+="{ // block\n";cp.code()+="etiss_coverage_count(1, 8347);\n";if((rd % 32ULL) !=0LL) { cp.code()+="etiss_coverage_count(5, 8353, 8350, 8348, 8351, 8352);\n";{ cp.code()+="etiss_coverage_count(1, 8438);\n";cp.code()+="{ // block\n";cp.code()+="etiss_coverage_count(1, 8354);\n";cp.code()+="if (*((RV64IMACFD*)cpu)->X["+std::to_string(rs2 % 32ULL)+"ULL] != 0LL) { // conditional\n";cp.code()+="etiss_coverage_count(5, 8361, 8359, 8358, 8356, 8360);\n";{ cp.code()+="etiss_coverage_count(1, 8421);\n";cp.code()+="{ // block\n";etiss_int32 MMIN=-2147483648LL;cp.code()+="etiss_coverage_count(1, 8368);\n";cp.code()+="etiss_coverage_count(1, 8369);\n";cp.code()+="if ((etiss_int32)(*((RV64IMACFD*)cpu)->X["+std::to_string(rs1 % 32ULL)+"ULL]) == "+std::to_string(MMIN)+"LL && (etiss_int32)(*((RV64IMACFD*)cpu)->X["+std::to_string(rs2 % 32ULL)+"ULL]) == -1LL) { // conditional\n";cp.code()+="etiss_coverage_count(12, 8389, 8378, 8376, 8374, 8373, 8371, 8377, 8388, 8385, 8383, 8382, 8380);\n";cp.code()+="*((RV64IMACFD*)cpu)->X["+std::to_string(rd % 32ULL)+"ULL] = 0LL;\n";cp.code()+="etiss_coverage_count(5, 8396, 8394, 8393, 8391, 8395);\n";cp.code()+="} // conditional\n";cp.code()+="else { // conditional\n";cp.code()+="*((RV64IMACFD*)cpu)->X["+std::to_string(rd % 32ULL)+"ULL] = (etiss_int64)(((etiss_int32)(*((RV64IMACFD*)cpu)->X["+std::to_string(rs1 % 32ULL)+"ULL]) % (etiss_int32)(*((RV64IMACFD*)cpu)->X["+std::to_string(rs2 % 32ULL)+"ULL])));\n";cp.code()+="etiss_coverage_count(15, 8420, 8401, 8400, 8398, 8419, 8416, 8408, 8406, 8405, 8403, 8415, 8413, 8412, 8410, 8417);\n";cp.code()+="} // conditional\n";cp.code()+="} // block\n";} cp.code()+="} // conditional\n";cp.code()+="else { // conditional\n";cp.code()+="*((RV64IMACFD*)cpu)->X["+std::to_string(rd % 32ULL)+"ULL] = (etiss_int64)(((etiss_int32)(*((RV64IMACFD*)cpu)->X["+std::to_string(rs1 % 32ULL)+"ULL])));\n";cp.code()+="etiss_coverage_count(10, 8437, 8426, 8425, 8423, 8436, 8433, 8431, 8430, 8428, 8434);\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<< "remw"<< " # "<< ba<<(" [rd="+std::to_string(rd)+" | rs1="+std::to_string(rs1)+" | rs2="+std::to_string(rs2)+"]");return ss.str();})
static InstructionDefinition remuw_rd_rs1_rs2(ISA32_RV64IMACFD, "remuw",(uint64_t) 0x200703b,(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("//REMUW\n");cp.code()+="etiss_coverage_count(1, 213);\n";{ cp.code()+="etiss_coverage_count(1, 1189);\n";cp.code()+="{ // block\n";cp.code()+="cpu->nextPc = "+std::to_string((etiss_uint64)((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, 8499);\n";cp.code()+="{ // block\n";cp.code()+="etiss_coverage_count(1, 8440);\n";if((rd % 32ULL) !=0LL) { cp.code()+="etiss_coverage_count(5, 8446, 8443, 8441, 8444, 8445);\n";{ cp.code()+="etiss_coverage_count(1, 8498);\n";cp.code()+="{ // block\n";cp.code()+="etiss_coverage_count(1, 8447);\n";cp.code()+="if ((etiss_uint32)(*((RV64IMACFD*)cpu)->X["+std::to_string(rs2 % 32ULL)+"ULL]) != 0LL) { // conditional\n";cp.code()+="etiss_coverage_count(6, 8456, 8454, 8452, 8451, 8449, 8455);\n";cp.code()+="*((RV64IMACFD*)cpu)->X["+std::to_string(rd % 32ULL)+"ULL] = (etiss_uint64)((etiss_int32)(((etiss_uint32)(*((RV64IMACFD*)cpu)->X["+std::to_string(rs1 % 32ULL)+"ULL]) % (etiss_uint32)(*((RV64IMACFD*)cpu)->X["+std::to_string(rs2 % 32ULL)+"ULL]))));\n";cp.code()+="etiss_coverage_count(16, 8481, 8461, 8460, 8458, 8480, 8478, 8476, 8468, 8466, 8465, 8463, 8475, 8473, 8472, 8470, 8477);\n";cp.code()+="} // conditional\n";cp.code()+="else { // conditional\n";cp.code()+="*((RV64IMACFD*)cpu)->X["+std::to_string(rd % 32ULL)+"ULL] = (etiss_uint64)(((etiss_int32)(*((RV64IMACFD*)cpu)->X["+std::to_string(rs1 % 32ULL)+"ULL])));\n";cp.code()+="etiss_coverage_count(10, 8497, 8486, 8485, 8483, 8496, 8493, 8491, 8490, 8488, 8494);\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<< "remuw"<< " # "<< ba<<(" [rd="+std::to_string(rd)+" | rs1="+std::to_string(rs1)+" | rs2="+std::to_string(rs2)+"]");return ss.str();})
static InstructionDefinition mulw_rd_rs1_rs2(ISA32_RV64IMACFD, "mulw",(uint64_t) 0x200003b,(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("//MULW\n");cp.code()+="etiss_coverage_count(1, 209);\n";{ cp.code()+="etiss_coverage_count(1, 1189);\n";cp.code()+="{ // block\n";cp.code()+="cpu->nextPc = "+std::to_string((etiss_uint64)((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, 8206);\n";cp.code()+="{ // block\n";cp.code()+="etiss_coverage_count(1, 8172);\n";if((rd % 32ULL) !=0LL) { cp.code()+="etiss_coverage_count(5, 8178, 8175, 8173, 8176, 8177);\n";{ cp.code()+="etiss_coverage_count(1, 8205);\n";cp.code()+="{ // block\n";cp.code()+="*((RV64IMACFD*)cpu)->X["+std::to_string(rd % 32ULL)+"ULL] = (etiss_uint64)((etiss_int32)(((etiss_int32)(*((RV64IMACFD*)cpu)->X["+std::to_string(rs1 % 32ULL)+"ULL]) * (etiss_int32)(*((RV64IMACFD*)cpu)->X["+std::to_string(rs2 % 32ULL)+"ULL]))));\n";cp.code()+="etiss_coverage_count(16, 8204, 8183, 8182, 8180, 8203, 8201, 8198, 8190, 8188, 8187, 8185, 8197, 8195, 8194, 8192, 8199);\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<< "mulw"<< " # "<< ba<<(" [rd="+std::to_string(rd)+" | rs1="+std::to_string(rs1)+" | rs2="+std::to_string(rs2)+"]");return ss.str();})
static InstructionDefinition divw_rd_rs1_rs2(ISA32_RV64IMACFD, "divw",(uint64_t) 0x200403b,(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("//DIVW\n");cp.code()+="etiss_coverage_count(1, 210);\n";{ cp.code()+="etiss_coverage_count(1, 1189);\n";cp.code()+="{ // block\n";cp.code()+="cpu->nextPc = "+std::to_string((etiss_uint64)((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, 8294);\n";cp.code()+="{ // block\n";cp.code()+="etiss_coverage_count(1, 8207);\n";if((rd % 32ULL) !=0LL) { cp.code()+="etiss_coverage_count(5, 8213, 8210, 8208, 8211, 8212);\n";{ cp.code()+="etiss_coverage_count(1, 8293);\n";cp.code()+="{ // block\n";cp.code()+="etiss_coverage_count(1, 8214);\n";cp.code()+="if (*((RV64IMACFD*)cpu)->X["+std::to_string(rs2 % 32ULL)+"ULL] != 0LL) { // conditional\n";cp.code()+="etiss_coverage_count(5, 8221, 8219, 8218, 8216, 8220);\n";{ cp.code()+="etiss_coverage_count(1, 8284);\n";cp.code()+="{ // block\n";etiss_int32 MMIN=-2147483648LL;cp.code()+="etiss_coverage_count(1, 8228);\n";cp.code()+="etiss_coverage_count(1, 8229);\n";cp.code()+="if ((etiss_int32)(*((RV64IMACFD*)cpu)->X["+std::to_string(rs1 % 32ULL)+"ULL]) == "+std::to_string(MMIN)+"LL && (etiss_int32)(*((RV64IMACFD*)cpu)->X["+std::to_string(rs2 % 32ULL)+"ULL]) == -1LL) { // conditional\n";cp.code()+="etiss_coverage_count(12, 8249, 8238, 8236, 8234, 8233, 8231, 8237, 8248, 8245, 8243, 8242, 8240);\n";cp.code()+="*((RV64IMACFD*)cpu)->X["+std::to_string(rd % 32ULL)+"ULL] = -2147483648LL;\n";cp.code()+="etiss_coverage_count(4, 8259, 8254, 8253, 8251);\n";cp.code()+="} // conditional\n";cp.code()+="else { // conditional\n";cp.code()+="*((RV64IMACFD*)cpu)->X["+std::to_string(rd % 32ULL)+"ULL] = (etiss_int64)(((etiss_int32)(*((RV64IMACFD*)cpu)->X["+std::to_string(rs1 % 32ULL)+"ULL]) / (etiss_int32)(*((RV64IMACFD*)cpu)->X["+std::to_string(rs2 % 32ULL)+"ULL])));\n";cp.code()+="etiss_coverage_count(15, 8283, 8264, 8263, 8261, 8282, 8279, 8271, 8269, 8268, 8266, 8278, 8276, 8275, 8273, 8280);\n";cp.code()+="} // conditional\n";cp.code()+="} // block\n";} cp.code()+="} // conditional\n";cp.code()+="else { // conditional\n";cp.code()+="*((RV64IMACFD*)cpu)->X["+std::to_string(rd % 32ULL)+"ULL] = -1LL;\n";cp.code()+="etiss_coverage_count(4, 8292, 8289, 8288, 8286);\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<< "divw"<< " # "<< ba<<(" [rd="+std::to_string(rd)+" | rs1="+std::to_string(rs1)+" | rs2="+std::to_string(rs2)+"]");return ss.str();})
static InstructionDefinition divuw_rd_rs1_rs2(ISA32_RV64IMACFD, "divuw",(uint64_t) 0x200503b,(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("//DIVUW\n");cp.code()+="etiss_coverage_count(1, 211);\n";{ cp.code()+="etiss_coverage_count(1, 1189);\n";cp.code()+="{ // block\n";cp.code()+="cpu->nextPc = "+std::to_string((etiss_uint64)((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, 8346);\n";cp.code()+="{ // block\n";cp.code()+="etiss_coverage_count(1, 8295);\n";if((rd % 32ULL) !=0LL) { cp.code()+="etiss_coverage_count(5, 8301, 8298, 8296, 8299, 8300);\n";{ cp.code()+="etiss_coverage_count(1, 8345);\n";cp.code()+="{ // block\n";cp.code()+="etiss_coverage_count(1, 8302);\n";cp.code()+="if ((etiss_uint32)(*((RV64IMACFD*)cpu)->X["+std::to_string(rs2 % 32ULL)+"ULL]) != 0LL) { // conditional\n";cp.code()+="etiss_coverage_count(6, 8311, 8309, 8307, 8306, 8304, 8310);\n";cp.code()+="*((RV64IMACFD*)cpu)->X["+std::to_string(rd % 32ULL)+"ULL] = (etiss_uint64)((etiss_int32)(((etiss_uint32)(*((RV64IMACFD*)cpu)->X["+std::to_string(rs1 % 32ULL)+"ULL]) / (etiss_uint32)(*((RV64IMACFD*)cpu)->X["+std::to_string(rs2 % 32ULL)+"ULL]))));\n";cp.code()+="etiss_coverage_count(16, 8336, 8316, 8315, 8313, 8335, 8333, 8331, 8323, 8321, 8320, 8318, 8330, 8328, 8327, 8325, 8332);\n";cp.code()+="} // conditional\n";cp.code()+="else { // conditional\n";cp.code()+="*((RV64IMACFD*)cpu)->X["+std::to_string(rd % 32ULL)+"ULL] = -1LL;\n";cp.code()+="etiss_coverage_count(4, 8344, 8341, 8340, 8338);\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<< "divuw"<< " # "<< 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.