Skip to content

Commit

Permalink
Fix Context::printRegs()
Browse files Browse the repository at this point in the history
  • Loading branch information
fractasy committed Apr 16, 2024
1 parent 4b7545e commit b358641
Show file tree
Hide file tree
Showing 3 changed files with 33 additions and 21 deletions.
18 changes: 11 additions & 7 deletions src/main_sm/fork_7/main/context.cpp
Original file line number Diff line number Diff line change
Expand Up @@ -14,24 +14,26 @@ void Context::printRegs(string &log)

log.clear();

log +=
log =
"Registers: SR=" + reg2string(pols.SR0[*pStep], pols.SR1[*pStep], pols.SR2[*pStep], pols.SR3[*pStep], pols.SR4[*pStep], pols.SR5[*pStep], pols.SR6[*pStep], pols.SR7[*pStep]) +
" CONST=" + reg2string(pols.CONST0[*pStep], pols.CONST1[*pStep], pols.CONST2[*pStep], pols.CONST3[*pStep], pols.CONST4[*pStep], pols.CONST5[*pStep], pols.CONST6[*pStep], pols.CONST7[*pStep]) +
" FREE=" + reg2string(pols.FREE0[*pStep], pols.FREE1[*pStep], pols.FREE2[*pStep], pols.FREE3[*pStep], pols.FREE4[*pStep], pols.FREE5[*pStep], pols.FREE6[*pStep], pols.FREE7[*pStep]);
zklog.error(log);

log +=
string aux;
aux =
"A=" + reg2string(pols.A0[*pStep], pols.A1[*pStep], pols.A2[*pStep], pols.A3[*pStep], pols.A4[*pStep], pols.A5[*pStep], pols.A6[*pStep], pols.A7[*pStep]) +
" B=" + reg2string(pols.B0[*pStep], pols.B1[*pStep], pols.B2[*pStep], pols.B3[*pStep], pols.B4[*pStep], pols.B5[*pStep], pols.B6[*pStep], pols.B7[*pStep]) +
" C=" + reg2string(pols.C0[*pStep], pols.C1[*pStep], pols.C2[*pStep], pols.C3[*pStep], pols.C4[*pStep], pols.C5[*pStep], pols.C6[*pStep], pols.C7[*pStep]) +
" D=" + reg2string(pols.D0[*pStep], pols.D1[*pStep], pols.D2[*pStep], pols.D3[*pStep], pols.D4[*pStep], pols.D5[*pStep], pols.D6[*pStep], pols.D7[*pStep]) +
" E=" + reg2string(pols.E0[*pStep], pols.E1[*pStep], pols.E2[*pStep], pols.E3[*pStep], pols.E4[*pStep], pols.E5[*pStep], pols.E6[*pStep], pols.E7[*pStep]);
zklog.error(log);
zklog.error(aux);
log += " " + aux;

Goldilocks::Element step;
step = fr.fromU64(*pStep);

log +=
aux =
"CTX=" + reg2string(pols.CTX[*pStep]) +
" SP=" + reg2string(pols.SP[*pStep]) +
" PC=" + reg2string(pols.PC[*pStep]) +
Expand All @@ -41,17 +43,19 @@ void Context::printRegs(string &log)
" RR=" + reg2string(pols.RR[*pStep]) +
" HASHPOS=" + reg2string(pols.HASHPOS[*pStep]) +
" RCX=" + reg2string(pols.RCX[*pStep]);
zklog.error(log);
zklog.error(aux);
log += " " + aux;

log +=
aux =
"cntArith=" + reg2string(pols.cntArith[*pStep]) +
" cntBinary=" + reg2string(pols.cntBinary[*pStep]) +
" cntMemAlign=" + reg2string(pols.cntMemAlign[*pStep]) +
" cntKeccakF=" + reg2string(pols.cntKeccakF[*pStep]) +
" cntSha256F=" + reg2string(pols.cntSha256F[*pStep]) +
" cntPoseidonG=" + reg2string(pols.cntPoseidonG[*pStep]) +
" cntPaddingPG=" + reg2string(pols.cntPaddingPG[*pStep]);
zklog.error(log);
zklog.error(aux);
log += " " + aux;

#ifdef LOG_FILENAME
zklog.info("File: " + fileName + " Line: " + to_string(line));
Expand Down
18 changes: 11 additions & 7 deletions src/main_sm/fork_8/main/context.cpp
Original file line number Diff line number Diff line change
Expand Up @@ -14,24 +14,26 @@ void Context::printRegs(string &log)

log.clear();

log +=
log =
"Registers: SR=" + reg2string(pols.SR0[*pStep], pols.SR1[*pStep], pols.SR2[*pStep], pols.SR3[*pStep], pols.SR4[*pStep], pols.SR5[*pStep], pols.SR6[*pStep], pols.SR7[*pStep]) +
" CONST=" + reg2string(pols.CONST0[*pStep], pols.CONST1[*pStep], pols.CONST2[*pStep], pols.CONST3[*pStep], pols.CONST4[*pStep], pols.CONST5[*pStep], pols.CONST6[*pStep], pols.CONST7[*pStep]) +
" FREE=" + reg2string(pols.FREE0[*pStep], pols.FREE1[*pStep], pols.FREE2[*pStep], pols.FREE3[*pStep], pols.FREE4[*pStep], pols.FREE5[*pStep], pols.FREE6[*pStep], pols.FREE7[*pStep]);
zklog.error(log);

log +=
string aux;
aux =
"A=" + reg2string(pols.A0[*pStep], pols.A1[*pStep], pols.A2[*pStep], pols.A3[*pStep], pols.A4[*pStep], pols.A5[*pStep], pols.A6[*pStep], pols.A7[*pStep]) +
" B=" + reg2string(pols.B0[*pStep], pols.B1[*pStep], pols.B2[*pStep], pols.B3[*pStep], pols.B4[*pStep], pols.B5[*pStep], pols.B6[*pStep], pols.B7[*pStep]) +
" C=" + reg2string(pols.C0[*pStep], pols.C1[*pStep], pols.C2[*pStep], pols.C3[*pStep], pols.C4[*pStep], pols.C5[*pStep], pols.C6[*pStep], pols.C7[*pStep]) +
" D=" + reg2string(pols.D0[*pStep], pols.D1[*pStep], pols.D2[*pStep], pols.D3[*pStep], pols.D4[*pStep], pols.D5[*pStep], pols.D6[*pStep], pols.D7[*pStep]) +
" E=" + reg2string(pols.E0[*pStep], pols.E1[*pStep], pols.E2[*pStep], pols.E3[*pStep], pols.E4[*pStep], pols.E5[*pStep], pols.E6[*pStep], pols.E7[*pStep]);
zklog.error(log);
zklog.error(aux);
log += " " + aux;

Goldilocks::Element step;
step = fr.fromU64(*pStep);

log +=
aux =
"CTX=" + reg2string(pols.CTX[*pStep]) +
" SP=" + reg2string(pols.SP[*pStep]) +
" PC=" + reg2string(pols.PC[*pStep]) +
Expand All @@ -41,17 +43,19 @@ void Context::printRegs(string &log)
" RR=" + reg2string(pols.RR[*pStep]) +
" HASHPOS=" + reg2string(pols.HASHPOS[*pStep]) +
" RCX=" + reg2string(pols.RCX[*pStep]);
zklog.error(log);
zklog.error(aux);
log += " " + aux;

log +=
aux =
"cntArith=" + reg2string(pols.cntArith[*pStep]) +
" cntBinary=" + reg2string(pols.cntBinary[*pStep]) +
" cntMemAlign=" + reg2string(pols.cntMemAlign[*pStep]) +
" cntKeccakF=" + reg2string(pols.cntKeccakF[*pStep]) +
" cntSha256F=" + reg2string(pols.cntSha256F[*pStep]) +
" cntPoseidonG=" + reg2string(pols.cntPoseidonG[*pStep]) +
" cntPaddingPG=" + reg2string(pols.cntPaddingPG[*pStep]);
zklog.error(log);
zklog.error(aux);
log += " " + aux;

#ifdef LOG_FILENAME
zklog.info("File: " + fileName + " Line: " + to_string(line));
Expand Down
18 changes: 11 additions & 7 deletions src/main_sm/fork_9/main/context.cpp
Original file line number Diff line number Diff line change
Expand Up @@ -14,24 +14,26 @@ void Context::printRegs(string &log)

log.clear();

log +=
log =
"Registers: SR=" + reg2string(pols.SR0[*pStep], pols.SR1[*pStep], pols.SR2[*pStep], pols.SR3[*pStep], pols.SR4[*pStep], pols.SR5[*pStep], pols.SR6[*pStep], pols.SR7[*pStep]) +
" CONST=" + reg2string(pols.CONST0[*pStep], pols.CONST1[*pStep], pols.CONST2[*pStep], pols.CONST3[*pStep], pols.CONST4[*pStep], pols.CONST5[*pStep], pols.CONST6[*pStep], pols.CONST7[*pStep]) +
" FREE=" + reg2string(pols.FREE0[*pStep], pols.FREE1[*pStep], pols.FREE2[*pStep], pols.FREE3[*pStep], pols.FREE4[*pStep], pols.FREE5[*pStep], pols.FREE6[*pStep], pols.FREE7[*pStep]);
zklog.error(log);

log +=
string aux;
aux =
"A=" + reg2string(pols.A0[*pStep], pols.A1[*pStep], pols.A2[*pStep], pols.A3[*pStep], pols.A4[*pStep], pols.A5[*pStep], pols.A6[*pStep], pols.A7[*pStep]) +
" B=" + reg2string(pols.B0[*pStep], pols.B1[*pStep], pols.B2[*pStep], pols.B3[*pStep], pols.B4[*pStep], pols.B5[*pStep], pols.B6[*pStep], pols.B7[*pStep]) +
" C=" + reg2string(pols.C0[*pStep], pols.C1[*pStep], pols.C2[*pStep], pols.C3[*pStep], pols.C4[*pStep], pols.C5[*pStep], pols.C6[*pStep], pols.C7[*pStep]) +
" D=" + reg2string(pols.D0[*pStep], pols.D1[*pStep], pols.D2[*pStep], pols.D3[*pStep], pols.D4[*pStep], pols.D5[*pStep], pols.D6[*pStep], pols.D7[*pStep]) +
" E=" + reg2string(pols.E0[*pStep], pols.E1[*pStep], pols.E2[*pStep], pols.E3[*pStep], pols.E4[*pStep], pols.E5[*pStep], pols.E6[*pStep], pols.E7[*pStep]);
zklog.error(log);
zklog.error(aux);
log += " " + aux;

Goldilocks::Element step;
step = fr.fromU64(*pStep);

log +=
aux =
"CTX=" + reg2string(pols.CTX[*pStep]) +
" SP=" + reg2string(pols.SP[*pStep]) +
" PC=" + reg2string(pols.PC[*pStep]) +
Expand All @@ -41,17 +43,19 @@ void Context::printRegs(string &log)
" RR=" + reg2string(pols.RR[*pStep]) +
" HASHPOS=" + reg2string(pols.HASHPOS[*pStep]) +
" RCX=" + reg2string(pols.RCX[*pStep]);
zklog.error(log);
zklog.error(aux);
log += " " + aux;

log +=
aux =
"cntArith=" + reg2string(pols.cntArith[*pStep]) +
" cntBinary=" + reg2string(pols.cntBinary[*pStep]) +
" cntMemAlign=" + reg2string(pols.cntMemAlign[*pStep]) +
" cntKeccakF=" + reg2string(pols.cntKeccakF[*pStep]) +
" cntSha256F=" + reg2string(pols.cntSha256F[*pStep]) +
" cntPoseidonG=" + reg2string(pols.cntPoseidonG[*pStep]) +
" cntPaddingPG=" + reg2string(pols.cntPaddingPG[*pStep]);
zklog.error(log);
zklog.error(aux);
log += " " + aux;

#ifdef LOG_FILENAME
zklog.info("File: " + fileName + " Line: " + to_string(line));
Expand Down

0 comments on commit b358641

Please sign in to comment.