InterpretedVirtualMachine.cpp 24 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843
  1. /*
  2. Copyright (c) 2018 tevador
  3. This file is part of RandomX.
  4. RandomX is free software: you can redistribute it and/or modify
  5. it under the terms of the GNU General Public License as published by
  6. the Free Software Foundation, either version 3 of the License, or
  7. (at your option) any later version.
  8. RandomX is distributed in the hope that it will be useful,
  9. but WITHOUT ANY WARRANTY; without even the implied warranty of
  10. MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
  11. GNU General Public License for more details.
  12. You should have received a copy of the GNU General Public License
  13. along with RandomX. If not, see<http://www.gnu.org/licenses/>.
  14. */
  15. //#define TRACE
  16. //#define FPUCHECK
  17. #define RANDOMX_JUMP
  18. #include "InterpretedVirtualMachine.hpp"
  19. #include "dataset.hpp"
  20. #include "Cache.hpp"
  21. #include "LightClientAsyncWorker.hpp"
  22. #include <iostream>
  23. #include <iomanip>
  24. #include <stdexcept>
  25. #include <sstream>
  26. #include <cmath>
  27. #include <cfloat>
  28. #include <thread>
  29. #include <climits>
  30. #include "intrinPortable.h"
  31. #include "reciprocal.h"
  32. #ifdef STATS
  33. #include <algorithm>
  34. #endif
  35. #ifdef FPUCHECK
  36. constexpr bool fpuCheck = true;
  37. #else
  38. constexpr bool fpuCheck = false;
  39. #endif
  40. namespace RandomX {
  41. InterpretedVirtualMachine::~InterpretedVirtualMachine() {
  42. }
  43. void InterpretedVirtualMachine::setDataset(dataset_t ds, uint64_t size) {
  44. mem.ds = ds;
  45. readDataset = &datasetReadLight;
  46. datasetRange = (size - RANDOMX_DATASET_SIZE + CacheLineSize) / CacheLineSize;
  47. }
  48. void InterpretedVirtualMachine::initialize() {
  49. VirtualMachine::initialize();
  50. for (unsigned i = 0; i < RANDOMX_PROGRAM_SIZE; ++i) {
  51. program(i).src %= RegistersCount;
  52. program(i).dst %= RegistersCount;
  53. }
  54. }
  55. void InterpretedVirtualMachine::executeBytecode(int_reg_t(&r)[8], __m128d (&f)[4], __m128d (&e)[4], __m128d (&a)[4]) {
  56. for (int ic = 0; ic < RANDOMX_PROGRAM_SIZE; ++ic) {
  57. executeBytecode(ic, r, f, e, a);
  58. }
  59. }
  60. static void print(int_reg_t r) {
  61. std::cout << std::hex << std::setw(16) << std::setfill('0') << r << std::endl;
  62. }
  63. static void print(__m128d f) {
  64. uint64_t lo = *(((uint64_t*)&f) + 0);
  65. uint64_t hi = *(((uint64_t*)&f) + 1);
  66. std::cout << std::hex << std::setw(16) << std::setfill('0') << hi << '-' << std::hex << std::setw(16) << std::setfill('0') << lo << std::endl;
  67. }
  68. static void printState(int_reg_t(&r)[8], __m128d (&f)[4], __m128d (&e)[4], __m128d (&a)[4]) {
  69. for (int i = 0; i < 8; ++i) {
  70. std::cout << "r" << i << " = "; print(r[i]);
  71. }
  72. for (int i = 0; i < 4; ++i) {
  73. std::cout << "f" << i << " = "; print(f[i]);
  74. }
  75. for (int i = 0; i < 4; ++i) {
  76. std::cout << "e" << i << " = "; print(e[i]);
  77. }
  78. for (int i = 0; i < 4; ++i) {
  79. std::cout << "a" << i << " = "; print(a[i]);
  80. }
  81. }
  82. static bool isDenormal(double x) {
  83. return std::fpclassify(x) == FP_SUBNORMAL;
  84. }
  85. FORCE_INLINE void InterpretedVirtualMachine::executeBytecode(int& ic, int_reg_t(&r)[8], __m128d (&f)[4], __m128d (&e)[4], __m128d (&a)[4]) {
  86. auto& ibc = byteCode[ic];
  87. if (trace) std::cout << std::dec << std::setw(3) << ic << " " << program(ic);
  88. //if(trace) printState(r, f, e, a);
  89. switch (ibc.type)
  90. {
  91. case InstructionType::IADD_R: {
  92. *ibc.idst += *ibc.isrc;
  93. } break;
  94. case InstructionType::IADD_M: {
  95. *ibc.idst += load64(scratchpad + (*ibc.isrc & ibc.memMask));
  96. } break;
  97. case InstructionType::IADD_RC: {
  98. *ibc.idst += *ibc.isrc + ibc.imm;
  99. } break;
  100. case InstructionType::ISUB_R: {
  101. *ibc.idst -= *ibc.isrc;
  102. } break;
  103. case InstructionType::ISUB_M: {
  104. *ibc.idst -= load64(scratchpad + (*ibc.isrc & ibc.memMask));
  105. } break;
  106. case InstructionType::IMUL_9C: {
  107. *ibc.idst += 8 * *ibc.idst + ibc.imm;
  108. } break;
  109. case InstructionType::IMUL_R: { //also handles IMUL_RCP
  110. *ibc.idst *= *ibc.isrc;
  111. } break;
  112. case InstructionType::IMUL_M: {
  113. *ibc.idst *= load64(scratchpad + (*ibc.isrc & ibc.memMask));
  114. } break;
  115. case InstructionType::IMULH_R: {
  116. *ibc.idst = mulh(*ibc.idst, *ibc.isrc);
  117. } break;
  118. case InstructionType::IMULH_M: {
  119. *ibc.idst = mulh(*ibc.idst, load64(scratchpad + (*ibc.isrc & ibc.memMask)));
  120. } break;
  121. case InstructionType::ISMULH_R: {
  122. *ibc.idst = smulh(unsigned64ToSigned2sCompl(*ibc.idst), unsigned64ToSigned2sCompl(*ibc.isrc));
  123. } break;
  124. case InstructionType::ISMULH_M: {
  125. *ibc.idst = smulh(unsigned64ToSigned2sCompl(*ibc.idst), unsigned64ToSigned2sCompl(load64(scratchpad + (*ibc.isrc & ibc.memMask))));
  126. } break;
  127. case InstructionType::INEG_R: {
  128. *ibc.idst = ~(*ibc.idst) + 1; //two's complement negative
  129. } break;
  130. case InstructionType::IXOR_R: {
  131. *ibc.idst ^= *ibc.isrc;
  132. } break;
  133. case InstructionType::IXOR_M: {
  134. *ibc.idst ^= load64(scratchpad + (*ibc.isrc & ibc.memMask));
  135. } break;
  136. case InstructionType::IROR_R: {
  137. *ibc.idst = rotr(*ibc.idst, *ibc.isrc & 63);
  138. } break;
  139. case InstructionType::IROL_R: {
  140. *ibc.idst = rotl(*ibc.idst, *ibc.isrc & 63);
  141. } break;
  142. case InstructionType::ISWAP_R: {
  143. int_reg_t temp = *ibc.isrc;
  144. *ibc.isrc = *ibc.idst;
  145. *ibc.idst = temp;
  146. } break;
  147. case InstructionType::FSWAP_R: {
  148. *ibc.fdst = _mm_shuffle_pd(*ibc.fdst, *ibc.fdst, 1);
  149. } break;
  150. case InstructionType::FADD_R: {
  151. *ibc.fdst = _mm_add_pd(*ibc.fdst, *ibc.fsrc);
  152. } break;
  153. case InstructionType::FADD_M: {
  154. __m128d fsrc = load_cvt_i32x2(scratchpad + (*ibc.isrc & ibc.memMask));
  155. *ibc.fdst = _mm_add_pd(*ibc.fdst, fsrc);
  156. } break;
  157. case InstructionType::FSUB_R: {
  158. *ibc.fdst = _mm_sub_pd(*ibc.fdst, *ibc.fsrc);
  159. } break;
  160. case InstructionType::FSUB_M: {
  161. __m128d fsrc = load_cvt_i32x2(scratchpad + (*ibc.isrc & ibc.memMask));
  162. *ibc.fdst = _mm_sub_pd(*ibc.fdst, fsrc);
  163. } break;
  164. case InstructionType::FSCAL_R: {
  165. const __m128d mask = _mm_castsi128_pd(_mm_set1_epi64x(0x81F0000000000000));
  166. *ibc.fdst = _mm_xor_pd(*ibc.fdst, mask);
  167. } break;
  168. case InstructionType::FMUL_R: {
  169. *ibc.fdst = _mm_mul_pd(*ibc.fdst, *ibc.fsrc);
  170. } break;
  171. case InstructionType::FDIV_M: {
  172. __m128d fsrc = ieee_set_exponent<-240>(load_cvt_i32x2(scratchpad + (*ibc.isrc & ibc.memMask)));
  173. *ibc.fdst = _mm_div_pd(*ibc.fdst, fsrc);
  174. } break;
  175. case InstructionType::FSQRT_R: {
  176. *ibc.fdst = _mm_sqrt_pd(*ibc.fdst);
  177. } break;
  178. case InstructionType::COND_R: {
  179. #ifdef RANDOMX_JUMP
  180. *ibc.creg += (1 << ibc.shift);
  181. const uint64_t conditionMask = ((1ULL << RANDOMX_CONDITION_BITS) - 1) << ibc.shift;
  182. if ((*ibc.creg & conditionMask) == 0) {
  183. #ifdef STATS
  184. count_JUMP_taken++;
  185. #endif
  186. ic = ibc.target;
  187. break;
  188. }
  189. #ifdef STATS
  190. count_JUMP_not_taken++;
  191. #endif
  192. #endif
  193. *ibc.idst += condition(ibc.condition, *ibc.isrc, ibc.imm) ? 1 : 0;
  194. } break;
  195. case InstructionType::COND_M: {
  196. #ifdef RANDOMX_JUMP
  197. *ibc.creg += (1uLL << ibc.shift);
  198. const uint64_t conditionMask = ((1ULL << RANDOMX_CONDITION_BITS) - 1) << ibc.shift;
  199. if ((*ibc.creg & conditionMask) == 0) {
  200. #ifdef STATS
  201. count_JUMP_taken++;
  202. #endif
  203. ic = ibc.target;
  204. break;
  205. }
  206. #ifdef STATS
  207. count_JUMP_not_taken++;
  208. #endif
  209. #endif
  210. *ibc.idst += condition(ibc.condition, load64(scratchpad + (*ibc.isrc & ibc.memMask)), ibc.imm) ? 1 : 0;
  211. } break;
  212. case InstructionType::CFROUND: {
  213. setRoundMode(rotr(*ibc.isrc, ibc.imm) % 4);
  214. } break;
  215. case InstructionType::ISTORE: {
  216. store64(scratchpad + (*ibc.idst & ibc.memMask), *ibc.isrc);
  217. } break;
  218. case InstructionType::NOP: {
  219. //nothing
  220. } break;
  221. default:
  222. UNREACHABLE;
  223. }
  224. if (trace) {
  225. if(ibc.type < 20 || ibc.type == 31 || ibc.type == 32)
  226. print(*ibc.idst);
  227. else //if(ibc.type >= 20 && ibc.type <= 30)
  228. print(0);
  229. }
  230. #ifdef FPUCHECK
  231. if (ibc.type >= 26 && ibc.type <= 30) {
  232. double lo = *(((double*)ibc.fdst) + 0);
  233. double hi = *(((double*)ibc.fdst) + 1);
  234. if (lo <= 0 || hi <= 0) {
  235. std::stringstream ss;
  236. ss << "Underflow in operation " << ibc.type;
  237. printState(r, f, e, a);
  238. throw std::runtime_error(ss.str());
  239. }
  240. }
  241. #endif
  242. }
  243. void InterpretedVirtualMachine::execute() {
  244. int_reg_t r[8] = { 0, 0, 0, 0, 0, 0, 0, 0 };
  245. __m128d f[4];
  246. __m128d e[4];
  247. __m128d a[4];
  248. a[0] = _mm_load_pd(&reg.a[0].lo);
  249. a[1] = _mm_load_pd(&reg.a[1].lo);
  250. a[2] = _mm_load_pd(&reg.a[2].lo);
  251. a[3] = _mm_load_pd(&reg.a[3].lo);
  252. precompileProgram(r, f, e, a);
  253. uint32_t spAddr0 = mem.mx;
  254. uint32_t spAddr1 = mem.ma;
  255. if (trace) {
  256. std::cout << "execute (reg: r" << readReg0 << ", r" << readReg1 << ", r" << readReg2 << ", r" << readReg3 << ")" << std::endl;
  257. std::cout << "spAddr " << std::hex << std::setw(8) << std::setfill('0') << spAddr1 << " / " << std::setw(8) << std::setfill('0') << spAddr0 << std::endl;
  258. std::cout << "ma/mx " << std::hex << std::setw(8) << std::setfill('0') << mem.ma << std::setw(8) << std::setfill('0') << mem.mx << std::endl;
  259. printState(r, f, e, a);
  260. }
  261. for(unsigned ic = 0; ic < RANDOMX_PROGRAM_ITERATIONS; ++ic) {
  262. //std::cout << "Iteration " << iter << std::endl;
  263. uint64_t spMix = r[readReg0] ^ r[readReg1];
  264. spAddr0 ^= spMix;
  265. spAddr0 &= ScratchpadL3Mask64;
  266. spAddr1 ^= spMix >> 32;
  267. spAddr1 &= ScratchpadL3Mask64;
  268. r[0] ^= load64(scratchpad + spAddr0 + 0);
  269. r[1] ^= load64(scratchpad + spAddr0 + 8);
  270. r[2] ^= load64(scratchpad + spAddr0 + 16);
  271. r[3] ^= load64(scratchpad + spAddr0 + 24);
  272. r[4] ^= load64(scratchpad + spAddr0 + 32);
  273. r[5] ^= load64(scratchpad + spAddr0 + 40);
  274. r[6] ^= load64(scratchpad + spAddr0 + 48);
  275. r[7] ^= load64(scratchpad + spAddr0 + 56);
  276. f[0] = load_cvt_i32x2(scratchpad + spAddr1 + 0);
  277. f[1] = load_cvt_i32x2(scratchpad + spAddr1 + 8);
  278. f[2] = load_cvt_i32x2(scratchpad + spAddr1 + 16);
  279. f[3] = load_cvt_i32x2(scratchpad + spAddr1 + 24);
  280. e[0] = ieee_set_exponent<-240>(load_cvt_i32x2(scratchpad + spAddr1 + 32));
  281. e[1] = ieee_set_exponent<-240>(load_cvt_i32x2(scratchpad + spAddr1 + 40));
  282. e[2] = ieee_set_exponent<-240>(load_cvt_i32x2(scratchpad + spAddr1 + 48));
  283. e[3] = ieee_set_exponent<-240>(load_cvt_i32x2(scratchpad + spAddr1 + 56));
  284. if (trace) {
  285. std::cout << "iteration " << std::dec << ic << std::endl;
  286. std::cout << "spAddr " << std::hex << std::setw(8) << std::setfill('0') << spAddr1 << " / " << std::setw(8) << std::setfill('0') << spAddr0 << std::endl;
  287. std::cout << "ma/mx " << std::hex << std::setw(8) << std::setfill('0') << mem.ma << std::setw(8) << std::setfill('0') << mem.mx << std::endl;
  288. printState(r, f, e, a);
  289. std::cout << "-----------------------------------" << std::endl;
  290. }
  291. executeBytecode(r, f, e, a);
  292. mem.mx ^= r[readReg2] ^ r[readReg3];
  293. Cache& cache = mem.ds.cache;
  294. uint64_t datasetLine[CacheLineSize / sizeof(uint64_t)];
  295. initBlock(cache, (uint8_t*)datasetLine, datasetBase + mem.ma / CacheLineSize, RANDOMX_CACHE_ACCESSES / 8);
  296. for (int i = 0; i < RegistersCount; ++i)
  297. r[i] ^= datasetLine[i];
  298. std::swap(mem.mx, mem.ma);
  299. if (trace) {
  300. std::cout << "iteration " << std::dec << ic << std::endl;
  301. std::cout << "spAddr " << std::hex << std::setw(8) << std::setfill('0') << spAddr1 << " / " << std::setw(8) << std::setfill('0') << spAddr0 << std::endl;
  302. std::cout << "ma/mx " << std::hex << std::setw(8) << std::setfill('0') << mem.ma << std::setw(8) << std::setfill('0') << mem.mx << std::endl;
  303. printState(r, f, e, a);
  304. std::cout << "===================================" << std::endl;
  305. }
  306. store64(scratchpad + spAddr1 + 0, r[0]);
  307. store64(scratchpad + spAddr1 + 8, r[1]);
  308. store64(scratchpad + spAddr1 + 16, r[2]);
  309. store64(scratchpad + spAddr1 + 24, r[3]);
  310. store64(scratchpad + spAddr1 + 32, r[4]);
  311. store64(scratchpad + spAddr1 + 40, r[5]);
  312. store64(scratchpad + spAddr1 + 48, r[6]);
  313. store64(scratchpad + spAddr1 + 56, r[7]);
  314. f[0] = _mm_xor_pd(f[0], e[0]);
  315. f[1] = _mm_xor_pd(f[1], e[1]);
  316. f[2] = _mm_xor_pd(f[2], e[2]);
  317. f[3] = _mm_xor_pd(f[3], e[3]);
  318. #ifdef FPUCHECK
  319. for(int i = 0; i < 4; ++i) {
  320. double lo = *(((double*)&f[i]) + 0);
  321. double hi = *(((double*)&f[i]) + 1);
  322. if (isDenormal(lo) || isDenormal(hi)) {
  323. std::stringstream ss;
  324. ss << "Denormal f" << i;
  325. throw std::runtime_error(ss.str());
  326. }
  327. }
  328. #endif
  329. _mm_store_pd((double*)(scratchpad + spAddr0 + 0), f[0]);
  330. _mm_store_pd((double*)(scratchpad + spAddr0 + 16), f[1]);
  331. _mm_store_pd((double*)(scratchpad + spAddr0 + 32), f[2]);
  332. _mm_store_pd((double*)(scratchpad + spAddr0 + 48), f[3]);
  333. spAddr0 = 0;
  334. spAddr1 = 0;
  335. }
  336. store64(&reg.r[0], r[0]);
  337. store64(&reg.r[1], r[1]);
  338. store64(&reg.r[2], r[2]);
  339. store64(&reg.r[3], r[3]);
  340. store64(&reg.r[4], r[4]);
  341. store64(&reg.r[5], r[5]);
  342. store64(&reg.r[6], r[6]);
  343. store64(&reg.r[7], r[7]);
  344. _mm_store_pd(&reg.f[0].lo, f[0]);
  345. _mm_store_pd(&reg.f[1].lo, f[1]);
  346. _mm_store_pd(&reg.f[2].lo, f[2]);
  347. _mm_store_pd(&reg.f[3].lo, f[3]);
  348. _mm_store_pd(&reg.e[0].lo, e[0]);
  349. _mm_store_pd(&reg.e[1].lo, e[1]);
  350. _mm_store_pd(&reg.e[2].lo, e[2]);
  351. _mm_store_pd(&reg.e[3].lo, e[3]);
  352. }
  353. static int getConditionRegister(int(&registerUsage)[8]) {
  354. int min = INT_MAX;
  355. int minIndex;
  356. for (unsigned i = 0; i < 8; ++i) {
  357. if (registerUsage[i] < min) {
  358. min = registerUsage[i];
  359. minIndex = i;
  360. }
  361. }
  362. return minIndex;
  363. }
  364. #include "instructionWeights.hpp"
  365. void InterpretedVirtualMachine::precompileProgram(int_reg_t(&r)[8], __m128d (&f)[4], __m128d (&e)[4], __m128d (&a)[4]) {
  366. int registerUsage[8];
  367. for (unsigned i = 0; i < 8; ++i) {
  368. registerUsage[i] = -1;
  369. }
  370. for (unsigned i = 0; i < RANDOMX_PROGRAM_SIZE; ++i) {
  371. auto& instr = program(i);
  372. auto& ibc = byteCode[i];
  373. switch (instr.opcode) {
  374. CASE_REP(IADD_R) {
  375. auto dst = instr.dst % RegistersCount;
  376. auto src = instr.src % RegistersCount;
  377. ibc.type = InstructionType::IADD_R;
  378. ibc.idst = &r[dst];
  379. if (src != dst) {
  380. ibc.isrc = &r[src];
  381. }
  382. else {
  383. ibc.imm = signExtend2sCompl(instr.getImm32());
  384. ibc.isrc = &ibc.imm;
  385. }
  386. registerUsage[instr.dst] = i;
  387. } break;
  388. CASE_REP(IADD_M) {
  389. auto dst = instr.dst % RegistersCount;
  390. auto src = instr.src % RegistersCount;
  391. ibc.type = InstructionType::IADD_M;
  392. ibc.idst = &r[dst];
  393. if (instr.src != instr.dst) {
  394. ibc.isrc = &r[src];
  395. ibc.memMask = ((instr.mod % 4) ? ScratchpadL1Mask : ScratchpadL2Mask);
  396. }
  397. else {
  398. ibc.imm = instr.getImm32();
  399. ibc.isrc = &ibc.imm;
  400. ibc.memMask = ScratchpadL3Mask;
  401. }
  402. registerUsage[instr.dst] = i;
  403. } break;
  404. CASE_REP(IADD_RC) {
  405. auto dst = instr.dst % RegistersCount;
  406. auto src = instr.src % RegistersCount;
  407. ibc.type = InstructionType::IADD_RC;
  408. ibc.idst = &r[dst];
  409. ibc.isrc = &r[src];
  410. ibc.imm = signExtend2sCompl(instr.getImm32());
  411. registerUsage[instr.dst] = i;
  412. } break;
  413. CASE_REP(ISUB_R) {
  414. auto dst = instr.dst % RegistersCount;
  415. auto src = instr.src % RegistersCount;
  416. ibc.type = InstructionType::ISUB_R;
  417. ibc.idst = &r[dst];
  418. if (src != dst) {
  419. ibc.isrc = &r[src];
  420. }
  421. else {
  422. ibc.imm = signExtend2sCompl(instr.getImm32());
  423. ibc.isrc = &ibc.imm;
  424. }
  425. registerUsage[instr.dst] = i;
  426. } break;
  427. CASE_REP(ISUB_M) {
  428. auto dst = instr.dst % RegistersCount;
  429. auto src = instr.src % RegistersCount;
  430. ibc.type = InstructionType::ISUB_M;
  431. ibc.idst = &r[dst];
  432. if (instr.src != instr.dst) {
  433. ibc.isrc = &r[src];
  434. ibc.memMask = ((instr.mod % 4) ? ScratchpadL1Mask : ScratchpadL2Mask);
  435. }
  436. else {
  437. ibc.imm = instr.getImm32();
  438. ibc.isrc = &ibc.imm;
  439. ibc.memMask = ScratchpadL3Mask;
  440. }
  441. registerUsage[instr.dst] = i;
  442. } break;
  443. CASE_REP(IMUL_9C) {
  444. auto dst = instr.dst % RegistersCount;
  445. ibc.type = InstructionType::IMUL_9C;
  446. ibc.idst = &r[dst];
  447. ibc.imm = signExtend2sCompl(instr.getImm32());
  448. registerUsage[instr.dst] = i;
  449. } break;
  450. CASE_REP(IMUL_R) {
  451. auto dst = instr.dst % RegistersCount;
  452. auto src = instr.src % RegistersCount;
  453. ibc.type = InstructionType::IMUL_R;
  454. ibc.idst = &r[dst];
  455. if (src != dst) {
  456. ibc.isrc = &r[src];
  457. }
  458. else {
  459. ibc.imm = signExtend2sCompl(instr.getImm32());
  460. ibc.isrc = &ibc.imm;
  461. }
  462. registerUsage[instr.dst] = i;
  463. } break;
  464. CASE_REP(IMUL_M) {
  465. auto dst = instr.dst % RegistersCount;
  466. auto src = instr.src % RegistersCount;
  467. ibc.type = InstructionType::IMUL_M;
  468. ibc.idst = &r[dst];
  469. if (instr.src != instr.dst) {
  470. ibc.isrc = &r[src];
  471. ibc.memMask = ((instr.mod % 4) ? ScratchpadL1Mask : ScratchpadL2Mask);
  472. }
  473. else {
  474. ibc.imm = instr.getImm32();
  475. ibc.isrc = &ibc.imm;
  476. ibc.memMask = ScratchpadL3Mask;
  477. }
  478. registerUsage[instr.dst] = i;
  479. } break;
  480. CASE_REP(IMULH_R) {
  481. auto dst = instr.dst % RegistersCount;
  482. auto src = instr.src % RegistersCount;
  483. ibc.type = InstructionType::IMULH_R;
  484. ibc.idst = &r[dst];
  485. ibc.isrc = &r[src];
  486. registerUsage[instr.dst] = i;
  487. } break;
  488. CASE_REP(IMULH_M) {
  489. auto dst = instr.dst % RegistersCount;
  490. auto src = instr.src % RegistersCount;
  491. ibc.type = InstructionType::IMULH_M;
  492. ibc.idst = &r[dst];
  493. if (instr.src != instr.dst) {
  494. ibc.isrc = &r[src];
  495. ibc.memMask = ((instr.mod % 4) ? ScratchpadL1Mask : ScratchpadL2Mask);
  496. }
  497. else {
  498. ibc.imm = instr.getImm32();
  499. ibc.isrc = &ibc.imm;
  500. ibc.memMask = ScratchpadL3Mask;
  501. }
  502. registerUsage[instr.dst] = i;
  503. } break;
  504. CASE_REP(ISMULH_R) {
  505. auto dst = instr.dst % RegistersCount;
  506. auto src = instr.src % RegistersCount;
  507. ibc.type = InstructionType::ISMULH_R;
  508. ibc.idst = &r[dst];
  509. ibc.isrc = &r[src];
  510. registerUsage[instr.dst] = i;
  511. } break;
  512. CASE_REP(ISMULH_M) {
  513. auto dst = instr.dst % RegistersCount;
  514. auto src = instr.src % RegistersCount;
  515. ibc.type = InstructionType::ISMULH_M;
  516. ibc.idst = &r[dst];
  517. if (instr.src != instr.dst) {
  518. ibc.isrc = &r[src];
  519. ibc.memMask = ((instr.mod % 4) ? ScratchpadL1Mask : ScratchpadL2Mask);
  520. }
  521. else {
  522. ibc.imm = instr.getImm32();
  523. ibc.isrc = &ibc.imm;
  524. ibc.memMask = ScratchpadL3Mask;
  525. }
  526. registerUsage[instr.dst] = i;
  527. } break;
  528. CASE_REP(IMUL_RCP) {
  529. uint32_t divisor = instr.getImm32();
  530. if (divisor != 0) {
  531. auto dst = instr.dst % RegistersCount;
  532. ibc.type = InstructionType::IMUL_R;
  533. ibc.idst = &r[dst];
  534. ibc.imm = reciprocal(divisor);
  535. ibc.isrc = &ibc.imm;
  536. registerUsage[instr.dst] = i;
  537. }
  538. else {
  539. ibc.type = InstructionType::NOP;
  540. }
  541. } break;
  542. CASE_REP(INEG_R) {
  543. auto dst = instr.dst % RegistersCount;
  544. ibc.type = InstructionType::INEG_R;
  545. ibc.idst = &r[dst];
  546. registerUsage[instr.dst] = i;
  547. } break;
  548. CASE_REP(IXOR_R) {
  549. auto dst = instr.dst % RegistersCount;
  550. auto src = instr.src % RegistersCount;
  551. ibc.type = InstructionType::IXOR_R;
  552. ibc.idst = &r[dst];
  553. if (src != dst) {
  554. ibc.isrc = &r[src];
  555. }
  556. else {
  557. ibc.imm = signExtend2sCompl(instr.getImm32());
  558. ibc.isrc = &ibc.imm;
  559. }
  560. registerUsage[instr.dst] = i;
  561. } break;
  562. CASE_REP(IXOR_M) {
  563. auto dst = instr.dst % RegistersCount;
  564. auto src = instr.src % RegistersCount;
  565. ibc.type = InstructionType::IXOR_M;
  566. ibc.idst = &r[dst];
  567. if (instr.src != instr.dst) {
  568. ibc.isrc = &r[src];
  569. ibc.memMask = ((instr.mod % 4) ? ScratchpadL1Mask : ScratchpadL2Mask);
  570. }
  571. else {
  572. ibc.imm = instr.getImm32();
  573. ibc.isrc = &ibc.imm;
  574. ibc.memMask = ScratchpadL3Mask;
  575. }
  576. registerUsage[instr.dst] = i;
  577. } break;
  578. CASE_REP(IROR_R) {
  579. auto dst = instr.dst % RegistersCount;
  580. auto src = instr.src % RegistersCount;
  581. ibc.type = InstructionType::IROR_R;
  582. ibc.idst = &r[dst];
  583. if (src != dst) {
  584. ibc.isrc = &r[src];
  585. }
  586. else {
  587. ibc.imm = instr.getImm32();
  588. ibc.isrc = &ibc.imm;
  589. }
  590. registerUsage[instr.dst] = i;
  591. } break;
  592. CASE_REP(IROL_R) {
  593. auto dst = instr.dst % RegistersCount;
  594. auto src = instr.src % RegistersCount;
  595. ibc.type = InstructionType::IROL_R;
  596. ibc.idst = &r[dst];
  597. if (src != dst) {
  598. ibc.isrc = &r[src];
  599. }
  600. else {
  601. ibc.imm = instr.getImm32();
  602. ibc.isrc = &ibc.imm;
  603. }
  604. registerUsage[instr.dst] = i;
  605. } break;
  606. CASE_REP(ISWAP_R) {
  607. auto dst = instr.dst % RegistersCount;
  608. auto src = instr.src % RegistersCount;
  609. if (src != dst) {
  610. ibc.idst = &r[dst];
  611. ibc.isrc = &r[src];
  612. ibc.type = InstructionType::ISWAP_R;
  613. registerUsage[instr.dst] = i;
  614. registerUsage[instr.src] = i;
  615. }
  616. else {
  617. ibc.type = InstructionType::NOP;
  618. }
  619. } break;
  620. CASE_REP(FSWAP_R) {
  621. auto dst = instr.dst % RegistersCount;
  622. ibc.type = InstructionType::FSWAP_R;
  623. if (dst < 4)
  624. ibc.fdst = &f[dst];
  625. else
  626. ibc.fdst = &e[dst - 4];
  627. } break;
  628. CASE_REP(FADD_R) {
  629. auto dst = instr.dst % 4;
  630. auto src = instr.src % 4;
  631. ibc.type = InstructionType::FADD_R;
  632. ibc.fdst = &f[dst];
  633. ibc.fsrc = &a[src];
  634. } break;
  635. CASE_REP(FADD_M) {
  636. auto dst = instr.dst % 4;
  637. auto src = instr.src % 8;
  638. ibc.type = InstructionType::FADD_M;
  639. ibc.fdst = &f[dst];
  640. ibc.isrc = &r[src];
  641. ibc.memMask = ((instr.mod % 4) ? ScratchpadL1Mask : ScratchpadL2Mask);
  642. } break;
  643. CASE_REP(FSUB_R) {
  644. auto dst = instr.dst % 4;
  645. auto src = instr.src % 4;
  646. ibc.type = InstructionType::FSUB_R;
  647. ibc.fdst = &f[dst];
  648. ibc.fsrc = &a[src];
  649. } break;
  650. CASE_REP(FSUB_M) {
  651. auto dst = instr.dst % 4;
  652. auto src = instr.src % 8;
  653. ibc.type = InstructionType::FSUB_M;
  654. ibc.fdst = &f[dst];
  655. ibc.isrc = &r[src];
  656. ibc.memMask = ((instr.mod % 4) ? ScratchpadL1Mask : ScratchpadL2Mask);
  657. } break;
  658. CASE_REP(FSCAL_R) {
  659. auto dst = instr.dst % 4;
  660. ibc.fdst = &f[dst];
  661. ibc.type = InstructionType::FSCAL_R;
  662. } break;
  663. CASE_REP(FMUL_R) {
  664. auto dst = instr.dst % 4;
  665. auto src = instr.src % 4;
  666. ibc.type = InstructionType::FMUL_R;
  667. ibc.fdst = &e[dst];
  668. ibc.fsrc = &a[src];
  669. } break;
  670. CASE_REP(FDIV_M) {
  671. auto dst = instr.dst % 4;
  672. auto src = instr.src % 8;
  673. ibc.type = InstructionType::FDIV_M;
  674. ibc.fdst = &e[dst];
  675. ibc.isrc = &r[src];
  676. ibc.memMask = ((instr.mod % 4) ? ScratchpadL1Mask : ScratchpadL2Mask);
  677. } break;
  678. CASE_REP(FSQRT_R) {
  679. auto dst = instr.dst % 4;
  680. ibc.type = InstructionType::FSQRT_R;
  681. ibc.fdst = &e[dst];
  682. } break;
  683. CASE_REP(COND_R) {
  684. auto dst = instr.dst % RegistersCount;
  685. auto src = instr.src % RegistersCount;
  686. ibc.type = InstructionType::COND_R;
  687. ibc.idst = &r[dst];
  688. ibc.isrc = &r[src];
  689. ibc.condition = (instr.mod >> 2) & 7;
  690. ibc.imm = instr.getImm32();
  691. //jump condition
  692. int reg = getConditionRegister(registerUsage);
  693. ibc.target = registerUsage[reg];
  694. ibc.shift = (instr.mod >> 5);
  695. ibc.creg = &r[reg];
  696. for (unsigned j = 0; j < 8; ++j) { //mark all registers as used
  697. registerUsage[j] = i;
  698. }
  699. } break;
  700. CASE_REP(COND_M) {
  701. auto dst = instr.dst % RegistersCount;
  702. auto src = instr.src % RegistersCount;
  703. ibc.type = InstructionType::COND_M;
  704. ibc.idst = &r[dst];
  705. ibc.isrc = &r[src];
  706. ibc.condition = (instr.mod >> 2) & 7;
  707. ibc.imm = instr.getImm32();
  708. ibc.memMask = ((instr.mod % 4) ? ScratchpadL1Mask : ScratchpadL2Mask);
  709. //jump condition
  710. int reg = getConditionRegister(registerUsage);
  711. ibc.target = registerUsage[reg];
  712. ibc.shift = (instr.mod >> 5);
  713. ibc.creg = &r[reg];
  714. for (unsigned j = 0; j < 8; ++j) { //mark all registers as used
  715. registerUsage[j] = i;
  716. }
  717. } break;
  718. CASE_REP(CFROUND) {
  719. auto src = instr.src % 8;
  720. ibc.isrc = &r[src];
  721. ibc.type = InstructionType::CFROUND;
  722. ibc.imm = instr.getImm32() & 63;
  723. } break;
  724. CASE_REP(ISTORE) {
  725. auto dst = instr.dst % RegistersCount;
  726. auto src = instr.src % RegistersCount;
  727. ibc.type = InstructionType::ISTORE;
  728. ibc.idst = &r[dst];
  729. ibc.isrc = &r[src];
  730. ibc.memMask = ((instr.mod % 4) ? ScratchpadL1Mask : ScratchpadL2Mask);
  731. } break;
  732. CASE_REP(NOP) {
  733. ibc.type = InstructionType::NOP;
  734. } break;
  735. default:
  736. UNREACHABLE;
  737. }
  738. }
  739. }
  740. }