shader_interpreter.cpp 27 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629
  1. // Copyright 2014 Citra Emulator Project
  2. // Licensed under GPLv2 or any later version
  3. // Refer to the license.txt file included.
  4. #include <common/file_util.h>
  5. #include <nihstro/shader_bytecode.h>
  6. #include "video_core/pica.h"
  7. #include "shader.h"
  8. #include "shader_interpreter.h"
  9. using nihstro::OpCode;
  10. using nihstro::Instruction;
  11. using nihstro::RegisterType;
  12. using nihstro::SourceRegister;
  13. using nihstro::SwizzlePattern;
  14. namespace Pica {
  15. namespace Shader {
  16. template<bool Debug>
  17. void RunInterpreter(UnitState<Debug>& state) {
  18. const auto& uniforms = g_state.vs.uniforms;
  19. const auto& swizzle_data = g_state.vs.swizzle_data;
  20. const auto& program_code = g_state.vs.program_code;
  21. // Placeholder for invalid inputs
  22. static float24 dummy_vec4_float24[4];
  23. unsigned iteration = 0;
  24. bool exit_loop = false;
  25. while (!exit_loop) {
  26. if (!state.call_stack.empty()) {
  27. auto& top = state.call_stack.back();
  28. if (state.program_counter == top.final_address) {
  29. state.address_registers[2] += top.loop_increment;
  30. if (top.repeat_counter-- == 0) {
  31. state.program_counter = top.return_address;
  32. state.call_stack.pop_back();
  33. } else {
  34. state.program_counter = top.loop_address;
  35. }
  36. // TODO: Is "trying again" accurate to hardware?
  37. continue;
  38. }
  39. }
  40. const Instruction instr = { program_code[state.program_counter] };
  41. const SwizzlePattern swizzle = { swizzle_data[instr.common.operand_desc_id] };
  42. static auto call = [](UnitState<Debug>& state, u32 offset, u32 num_instructions,
  43. u32 return_offset, u8 repeat_count, u8 loop_increment) {
  44. state.program_counter = offset - 1; // -1 to make sure when incrementing the PC we end up at the correct offset
  45. ASSERT(state.call_stack.size() < state.call_stack.capacity());
  46. state.call_stack.push_back({ offset + num_instructions, return_offset, repeat_count, loop_increment, offset });
  47. };
  48. Record<DebugDataRecord::CUR_INSTR>(state.debug, iteration, state.program_counter);
  49. if (iteration > 0)
  50. Record<DebugDataRecord::NEXT_INSTR>(state.debug, iteration - 1, state.program_counter);
  51. state.debug.max_offset = std::max<u32>(state.debug.max_offset, 1 + state.program_counter);
  52. auto LookupSourceRegister = [&](const SourceRegister& source_reg) -> const float24* {
  53. switch (source_reg.GetRegisterType()) {
  54. case RegisterType::Input:
  55. return &state.registers.input[source_reg.GetIndex()].x;
  56. case RegisterType::Temporary:
  57. return &state.registers.temporary[source_reg.GetIndex()].x;
  58. case RegisterType::FloatUniform:
  59. return &uniforms.f[source_reg.GetIndex()].x;
  60. default:
  61. return dummy_vec4_float24;
  62. }
  63. };
  64. switch (instr.opcode.Value().GetInfo().type) {
  65. case OpCode::Type::Arithmetic:
  66. {
  67. const bool is_inverted = (0 != (instr.opcode.Value().GetInfo().subtype & OpCode::Info::SrcInversed));
  68. const int address_offset = (instr.common.address_register_index == 0)
  69. ? 0 : state.address_registers[instr.common.address_register_index - 1];
  70. const float24* src1_ = LookupSourceRegister(instr.common.GetSrc1(is_inverted) + (!is_inverted * address_offset));
  71. const float24* src2_ = LookupSourceRegister(instr.common.GetSrc2(is_inverted) + ( is_inverted * address_offset));
  72. const bool negate_src1 = ((bool)swizzle.negate_src1 != false);
  73. const bool negate_src2 = ((bool)swizzle.negate_src2 != false);
  74. float24 src1[4] = {
  75. src1_[(int)swizzle.GetSelectorSrc1(0)],
  76. src1_[(int)swizzle.GetSelectorSrc1(1)],
  77. src1_[(int)swizzle.GetSelectorSrc1(2)],
  78. src1_[(int)swizzle.GetSelectorSrc1(3)],
  79. };
  80. if (negate_src1) {
  81. src1[0] = src1[0] * float24::FromFloat32(-1);
  82. src1[1] = src1[1] * float24::FromFloat32(-1);
  83. src1[2] = src1[2] * float24::FromFloat32(-1);
  84. src1[3] = src1[3] * float24::FromFloat32(-1);
  85. }
  86. float24 src2[4] = {
  87. src2_[(int)swizzle.GetSelectorSrc2(0)],
  88. src2_[(int)swizzle.GetSelectorSrc2(1)],
  89. src2_[(int)swizzle.GetSelectorSrc2(2)],
  90. src2_[(int)swizzle.GetSelectorSrc2(3)],
  91. };
  92. if (negate_src2) {
  93. src2[0] = src2[0] * float24::FromFloat32(-1);
  94. src2[1] = src2[1] * float24::FromFloat32(-1);
  95. src2[2] = src2[2] * float24::FromFloat32(-1);
  96. src2[3] = src2[3] * float24::FromFloat32(-1);
  97. }
  98. float24* dest = (instr.common.dest.Value() < 0x10) ? &state.registers.output[instr.common.dest.Value().GetIndex()][0]
  99. : (instr.common.dest.Value() < 0x20) ? &state.registers.temporary[instr.common.dest.Value().GetIndex()][0]
  100. : dummy_vec4_float24;
  101. state.debug.max_opdesc_id = std::max<u32>(state.debug.max_opdesc_id, 1+instr.common.operand_desc_id);
  102. switch (instr.opcode.Value().EffectiveOpCode()) {
  103. case OpCode::Id::ADD:
  104. {
  105. Record<DebugDataRecord::SRC1>(state.debug, iteration, src1);
  106. Record<DebugDataRecord::SRC2>(state.debug, iteration, src2);
  107. Record<DebugDataRecord::DEST_IN>(state.debug, iteration, dest);
  108. for (int i = 0; i < 4; ++i) {
  109. if (!swizzle.DestComponentEnabled(i))
  110. continue;
  111. dest[i] = src1[i] + src2[i];
  112. }
  113. Record<DebugDataRecord::DEST_OUT>(state.debug, iteration, dest);
  114. break;
  115. }
  116. case OpCode::Id::MUL:
  117. {
  118. Record<DebugDataRecord::SRC1>(state.debug, iteration, src1);
  119. Record<DebugDataRecord::SRC2>(state.debug, iteration, src2);
  120. Record<DebugDataRecord::DEST_IN>(state.debug, iteration, dest);
  121. for (int i = 0; i < 4; ++i) {
  122. if (!swizzle.DestComponentEnabled(i))
  123. continue;
  124. dest[i] = src1[i] * src2[i];
  125. }
  126. Record<DebugDataRecord::DEST_OUT>(state.debug, iteration, dest);
  127. break;
  128. }
  129. case OpCode::Id::FLR:
  130. Record<DebugDataRecord::SRC1>(state.debug, iteration, src1);
  131. Record<DebugDataRecord::DEST_IN>(state.debug, iteration, dest);
  132. for (int i = 0; i < 4; ++i) {
  133. if (!swizzle.DestComponentEnabled(i))
  134. continue;
  135. dest[i] = float24::FromFloat32(std::floor(src1[i].ToFloat32()));
  136. }
  137. Record<DebugDataRecord::DEST_OUT>(state.debug, iteration, dest);
  138. break;
  139. case OpCode::Id::MAX:
  140. Record<DebugDataRecord::SRC1>(state.debug, iteration, src1);
  141. Record<DebugDataRecord::SRC2>(state.debug, iteration, src2);
  142. Record<DebugDataRecord::DEST_IN>(state.debug, iteration, dest);
  143. for (int i = 0; i < 4; ++i) {
  144. if (!swizzle.DestComponentEnabled(i))
  145. continue;
  146. // NOTE: Exact form required to match NaN semantics to hardware:
  147. // max(0, NaN) -> NaN
  148. // max(NaN, 0) -> 0
  149. dest[i] = (src1[i] > src2[i]) ? src1[i] : src2[i];
  150. }
  151. Record<DebugDataRecord::DEST_OUT>(state.debug, iteration, dest);
  152. break;
  153. case OpCode::Id::MIN:
  154. Record<DebugDataRecord::SRC1>(state.debug, iteration, src1);
  155. Record<DebugDataRecord::SRC2>(state.debug, iteration, src2);
  156. Record<DebugDataRecord::DEST_IN>(state.debug, iteration, dest);
  157. for (int i = 0; i < 4; ++i) {
  158. if (!swizzle.DestComponentEnabled(i))
  159. continue;
  160. // NOTE: Exact form required to match NaN semantics to hardware:
  161. // min(0, NaN) -> NaN
  162. // min(NaN, 0) -> 0
  163. dest[i] = (src1[i] < src2[i]) ? src1[i] : src2[i];
  164. }
  165. Record<DebugDataRecord::DEST_OUT>(state.debug, iteration, dest);
  166. break;
  167. case OpCode::Id::DP3:
  168. case OpCode::Id::DP4:
  169. case OpCode::Id::DPH:
  170. case OpCode::Id::DPHI:
  171. {
  172. Record<DebugDataRecord::SRC1>(state.debug, iteration, src1);
  173. Record<DebugDataRecord::SRC2>(state.debug, iteration, src2);
  174. Record<DebugDataRecord::DEST_IN>(state.debug, iteration, dest);
  175. OpCode::Id opcode = instr.opcode.Value().EffectiveOpCode();
  176. if (opcode == OpCode::Id::DPH || opcode == OpCode::Id::DPHI)
  177. src1[3] = float24::FromFloat32(1.0f);
  178. float24 dot = float24::FromFloat32(0.f);
  179. int num_components = (opcode == OpCode::Id::DP3) ? 3 : 4;
  180. for (int i = 0; i < num_components; ++i)
  181. dot = dot + src1[i] * src2[i];
  182. for (int i = 0; i < 4; ++i) {
  183. if (!swizzle.DestComponentEnabled(i))
  184. continue;
  185. dest[i] = dot;
  186. }
  187. Record<DebugDataRecord::DEST_OUT>(state.debug, iteration, dest);
  188. break;
  189. }
  190. // Reciprocal
  191. case OpCode::Id::RCP:
  192. {
  193. Record<DebugDataRecord::SRC1>(state.debug, iteration, src1);
  194. Record<DebugDataRecord::DEST_IN>(state.debug, iteration, dest);
  195. float24 rcp_res = float24::FromFloat32(1.0f / src1[0].ToFloat32());
  196. for (int i = 0; i < 4; ++i) {
  197. if (!swizzle.DestComponentEnabled(i))
  198. continue;
  199. dest[i] = rcp_res;
  200. }
  201. Record<DebugDataRecord::DEST_OUT>(state.debug, iteration, dest);
  202. break;
  203. }
  204. // Reciprocal Square Root
  205. case OpCode::Id::RSQ:
  206. {
  207. Record<DebugDataRecord::SRC1>(state.debug, iteration, src1);
  208. Record<DebugDataRecord::DEST_IN>(state.debug, iteration, dest);
  209. float24 rsq_res = float24::FromFloat32(1.0f / std::sqrt(src1[0].ToFloat32()));
  210. for (int i = 0; i < 4; ++i) {
  211. if (!swizzle.DestComponentEnabled(i))
  212. continue;
  213. dest[i] = rsq_res;
  214. }
  215. Record<DebugDataRecord::DEST_OUT>(state.debug, iteration, dest);
  216. break;
  217. }
  218. case OpCode::Id::MOVA:
  219. {
  220. Record<DebugDataRecord::SRC1>(state.debug, iteration, src1);
  221. for (int i = 0; i < 2; ++i) {
  222. if (!swizzle.DestComponentEnabled(i))
  223. continue;
  224. // TODO: Figure out how the rounding is done on hardware
  225. state.address_registers[i] = static_cast<s32>(src1[i].ToFloat32());
  226. }
  227. Record<DebugDataRecord::ADDR_REG_OUT>(state.debug, iteration, state.address_registers);
  228. break;
  229. }
  230. case OpCode::Id::MOV:
  231. {
  232. Record<DebugDataRecord::SRC1>(state.debug, iteration, src1);
  233. Record<DebugDataRecord::DEST_IN>(state.debug, iteration, dest);
  234. for (int i = 0; i < 4; ++i) {
  235. if (!swizzle.DestComponentEnabled(i))
  236. continue;
  237. dest[i] = src1[i];
  238. }
  239. Record<DebugDataRecord::DEST_OUT>(state.debug, iteration, dest);
  240. break;
  241. }
  242. case OpCode::Id::SGE:
  243. case OpCode::Id::SGEI:
  244. Record<DebugDataRecord::SRC1>(state.debug, iteration, src1);
  245. Record<DebugDataRecord::SRC2>(state.debug, iteration, src2);
  246. Record<DebugDataRecord::DEST_IN>(state.debug, iteration, dest);
  247. for (int i = 0; i < 4; ++i) {
  248. if (!swizzle.DestComponentEnabled(i))
  249. continue;
  250. dest[i] = (src1[i] >= src2[i]) ? float24::FromFloat32(1.0f) : float24::FromFloat32(0.0f);
  251. }
  252. Record<DebugDataRecord::DEST_OUT>(state.debug, iteration, dest);
  253. break;
  254. case OpCode::Id::SLT:
  255. case OpCode::Id::SLTI:
  256. Record<DebugDataRecord::SRC1>(state.debug, iteration, src1);
  257. Record<DebugDataRecord::SRC2>(state.debug, iteration, src2);
  258. Record<DebugDataRecord::DEST_IN>(state.debug, iteration, dest);
  259. for (int i = 0; i < 4; ++i) {
  260. if (!swizzle.DestComponentEnabled(i))
  261. continue;
  262. dest[i] = (src1[i] < src2[i]) ? float24::FromFloat32(1.0f) : float24::FromFloat32(0.0f);
  263. }
  264. Record<DebugDataRecord::DEST_OUT>(state.debug, iteration, dest);
  265. break;
  266. case OpCode::Id::CMP:
  267. Record<DebugDataRecord::SRC1>(state.debug, iteration, src1);
  268. Record<DebugDataRecord::SRC2>(state.debug, iteration, src2);
  269. for (int i = 0; i < 2; ++i) {
  270. // TODO: Can you restrict to one compare via dest masking?
  271. auto compare_op = instr.common.compare_op;
  272. auto op = (i == 0) ? compare_op.x.Value() : compare_op.y.Value();
  273. switch (op) {
  274. case Instruction::Common::CompareOpType::Equal:
  275. state.conditional_code[i] = (src1[i] == src2[i]);
  276. break;
  277. case Instruction::Common::CompareOpType::NotEqual:
  278. state.conditional_code[i] = (src1[i] != src2[i]);
  279. break;
  280. case Instruction::Common::CompareOpType::LessThan:
  281. state.conditional_code[i] = (src1[i] < src2[i]);
  282. break;
  283. case Instruction::Common::CompareOpType::LessEqual:
  284. state.conditional_code[i] = (src1[i] <= src2[i]);
  285. break;
  286. case Instruction::Common::CompareOpType::GreaterThan:
  287. state.conditional_code[i] = (src1[i] > src2[i]);
  288. break;
  289. case Instruction::Common::CompareOpType::GreaterEqual:
  290. state.conditional_code[i] = (src1[i] >= src2[i]);
  291. break;
  292. default:
  293. LOG_ERROR(HW_GPU, "Unknown compare mode %x", static_cast<int>(op));
  294. break;
  295. }
  296. }
  297. Record<DebugDataRecord::CMP_RESULT>(state.debug, iteration, state.conditional_code);
  298. break;
  299. case OpCode::Id::EX2:
  300. {
  301. Record<DebugDataRecord::SRC1>(state.debug, iteration, src1);
  302. Record<DebugDataRecord::DEST_IN>(state.debug, iteration, dest);
  303. // EX2 only takes first component exp2 and writes it to all dest components
  304. float24 ex2_res = float24::FromFloat32(std::exp2(src1[0].ToFloat32()));
  305. for (int i = 0; i < 4; ++i) {
  306. if (!swizzle.DestComponentEnabled(i))
  307. continue;
  308. dest[i] = ex2_res;
  309. }
  310. Record<DebugDataRecord::DEST_OUT>(state.debug, iteration, dest);
  311. break;
  312. }
  313. case OpCode::Id::LG2:
  314. {
  315. Record<DebugDataRecord::SRC1>(state.debug, iteration, src1);
  316. Record<DebugDataRecord::DEST_IN>(state.debug, iteration, dest);
  317. // LG2 only takes the first component log2 and writes it to all dest components
  318. float24 lg2_res = float24::FromFloat32(std::log2(src1[0].ToFloat32()));
  319. for (int i = 0; i < 4; ++i) {
  320. if (!swizzle.DestComponentEnabled(i))
  321. continue;
  322. dest[i] = lg2_res;
  323. }
  324. Record<DebugDataRecord::DEST_OUT>(state.debug, iteration, dest);
  325. break;
  326. }
  327. default:
  328. LOG_ERROR(HW_GPU, "Unhandled arithmetic instruction: 0x%02x (%s): 0x%08x",
  329. (int)instr.opcode.Value().EffectiveOpCode(), instr.opcode.Value().GetInfo().name, instr.hex);
  330. DEBUG_ASSERT(false);
  331. break;
  332. }
  333. break;
  334. }
  335. case OpCode::Type::MultiplyAdd:
  336. {
  337. if ((instr.opcode.Value().EffectiveOpCode() == OpCode::Id::MAD) ||
  338. (instr.opcode.Value().EffectiveOpCode() == OpCode::Id::MADI)) {
  339. const SwizzlePattern& swizzle = *(SwizzlePattern*)&swizzle_data[instr.mad.operand_desc_id];
  340. bool is_inverted = (instr.opcode.Value().EffectiveOpCode() == OpCode::Id::MADI);
  341. const float24* src1_ = LookupSourceRegister(instr.mad.GetSrc1(is_inverted));
  342. const float24* src2_ = LookupSourceRegister(instr.mad.GetSrc2(is_inverted));
  343. const float24* src3_ = LookupSourceRegister(instr.mad.GetSrc3(is_inverted));
  344. const bool negate_src1 = ((bool)swizzle.negate_src1 != false);
  345. const bool negate_src2 = ((bool)swizzle.negate_src2 != false);
  346. const bool negate_src3 = ((bool)swizzle.negate_src3 != false);
  347. float24 src1[4] = {
  348. src1_[(int)swizzle.GetSelectorSrc1(0)],
  349. src1_[(int)swizzle.GetSelectorSrc1(1)],
  350. src1_[(int)swizzle.GetSelectorSrc1(2)],
  351. src1_[(int)swizzle.GetSelectorSrc1(3)],
  352. };
  353. if (negate_src1) {
  354. src1[0] = src1[0] * float24::FromFloat32(-1);
  355. src1[1] = src1[1] * float24::FromFloat32(-1);
  356. src1[2] = src1[2] * float24::FromFloat32(-1);
  357. src1[3] = src1[3] * float24::FromFloat32(-1);
  358. }
  359. float24 src2[4] = {
  360. src2_[(int)swizzle.GetSelectorSrc2(0)],
  361. src2_[(int)swizzle.GetSelectorSrc2(1)],
  362. src2_[(int)swizzle.GetSelectorSrc2(2)],
  363. src2_[(int)swizzle.GetSelectorSrc2(3)],
  364. };
  365. if (negate_src2) {
  366. src2[0] = src2[0] * float24::FromFloat32(-1);
  367. src2[1] = src2[1] * float24::FromFloat32(-1);
  368. src2[2] = src2[2] * float24::FromFloat32(-1);
  369. src2[3] = src2[3] * float24::FromFloat32(-1);
  370. }
  371. float24 src3[4] = {
  372. src3_[(int)swizzle.GetSelectorSrc3(0)],
  373. src3_[(int)swizzle.GetSelectorSrc3(1)],
  374. src3_[(int)swizzle.GetSelectorSrc3(2)],
  375. src3_[(int)swizzle.GetSelectorSrc3(3)],
  376. };
  377. if (negate_src3) {
  378. src3[0] = src3[0] * float24::FromFloat32(-1);
  379. src3[1] = src3[1] * float24::FromFloat32(-1);
  380. src3[2] = src3[2] * float24::FromFloat32(-1);
  381. src3[3] = src3[3] * float24::FromFloat32(-1);
  382. }
  383. float24* dest = (instr.mad.dest.Value() < 0x10) ? &state.registers.output[instr.mad.dest.Value().GetIndex()][0]
  384. : (instr.mad.dest.Value() < 0x20) ? &state.registers.temporary[instr.mad.dest.Value().GetIndex()][0]
  385. : dummy_vec4_float24;
  386. Record<DebugDataRecord::SRC1>(state.debug, iteration, src1);
  387. Record<DebugDataRecord::SRC2>(state.debug, iteration, src2);
  388. Record<DebugDataRecord::SRC3>(state.debug, iteration, src3);
  389. Record<DebugDataRecord::DEST_IN>(state.debug, iteration, dest);
  390. for (int i = 0; i < 4; ++i) {
  391. if (!swizzle.DestComponentEnabled(i))
  392. continue;
  393. dest[i] = src1[i] * src2[i] + src3[i];
  394. }
  395. Record<DebugDataRecord::DEST_OUT>(state.debug, iteration, dest);
  396. } else {
  397. LOG_ERROR(HW_GPU, "Unhandled multiply-add instruction: 0x%02x (%s): 0x%08x",
  398. (int)instr.opcode.Value().EffectiveOpCode(), instr.opcode.Value().GetInfo().name, instr.hex);
  399. }
  400. break;
  401. }
  402. default:
  403. {
  404. static auto evaluate_condition = [](const UnitState<Debug>& state, bool refx, bool refy, Instruction::FlowControlType flow_control) {
  405. bool results[2] = { refx == state.conditional_code[0],
  406. refy == state.conditional_code[1] };
  407. switch (flow_control.op) {
  408. case flow_control.Or:
  409. return results[0] || results[1];
  410. case flow_control.And:
  411. return results[0] && results[1];
  412. case flow_control.JustX:
  413. return results[0];
  414. case flow_control.JustY:
  415. return results[1];
  416. }
  417. };
  418. // Handle each instruction on its own
  419. switch (instr.opcode.Value()) {
  420. case OpCode::Id::END:
  421. exit_loop = true;
  422. break;
  423. case OpCode::Id::JMPC:
  424. Record<DebugDataRecord::COND_CMP_IN>(state.debug, iteration, state.conditional_code);
  425. if (evaluate_condition(state, instr.flow_control.refx, instr.flow_control.refy, instr.flow_control)) {
  426. state.program_counter = instr.flow_control.dest_offset - 1;
  427. }
  428. break;
  429. case OpCode::Id::JMPU:
  430. Record<DebugDataRecord::COND_BOOL_IN>(state.debug, iteration, uniforms.b[instr.flow_control.bool_uniform_id]);
  431. if (uniforms.b[instr.flow_control.bool_uniform_id]) {
  432. state.program_counter = instr.flow_control.dest_offset - 1;
  433. }
  434. break;
  435. case OpCode::Id::CALL:
  436. call(state,
  437. instr.flow_control.dest_offset,
  438. instr.flow_control.num_instructions,
  439. state.program_counter + 1, 0, 0);
  440. break;
  441. case OpCode::Id::CALLU:
  442. Record<DebugDataRecord::COND_BOOL_IN>(state.debug, iteration, uniforms.b[instr.flow_control.bool_uniform_id]);
  443. if (uniforms.b[instr.flow_control.bool_uniform_id]) {
  444. call(state,
  445. instr.flow_control.dest_offset,
  446. instr.flow_control.num_instructions,
  447. state.program_counter + 1, 0, 0);
  448. }
  449. break;
  450. case OpCode::Id::CALLC:
  451. Record<DebugDataRecord::COND_CMP_IN>(state.debug, iteration, state.conditional_code);
  452. if (evaluate_condition(state, instr.flow_control.refx, instr.flow_control.refy, instr.flow_control)) {
  453. call(state,
  454. instr.flow_control.dest_offset,
  455. instr.flow_control.num_instructions,
  456. state.program_counter + 1, 0, 0);
  457. }
  458. break;
  459. case OpCode::Id::NOP:
  460. break;
  461. case OpCode::Id::IFU:
  462. Record<DebugDataRecord::COND_BOOL_IN>(state.debug, iteration, uniforms.b[instr.flow_control.bool_uniform_id]);
  463. if (uniforms.b[instr.flow_control.bool_uniform_id]) {
  464. call(state,
  465. state.program_counter + 1,
  466. instr.flow_control.dest_offset - state.program_counter - 1,
  467. instr.flow_control.dest_offset + instr.flow_control.num_instructions, 0, 0);
  468. } else {
  469. call(state,
  470. instr.flow_control.dest_offset,
  471. instr.flow_control.num_instructions,
  472. instr.flow_control.dest_offset + instr.flow_control.num_instructions, 0, 0);
  473. }
  474. break;
  475. case OpCode::Id::IFC:
  476. {
  477. // TODO: Do we need to consider swizzlers here?
  478. Record<DebugDataRecord::COND_CMP_IN>(state.debug, iteration, state.conditional_code);
  479. if (evaluate_condition(state, instr.flow_control.refx, instr.flow_control.refy, instr.flow_control)) {
  480. call(state,
  481. state.program_counter + 1,
  482. instr.flow_control.dest_offset - state.program_counter - 1,
  483. instr.flow_control.dest_offset + instr.flow_control.num_instructions, 0, 0);
  484. } else {
  485. call(state,
  486. instr.flow_control.dest_offset,
  487. instr.flow_control.num_instructions,
  488. instr.flow_control.dest_offset + instr.flow_control.num_instructions, 0, 0);
  489. }
  490. break;
  491. }
  492. case OpCode::Id::LOOP:
  493. {
  494. Math::Vec4<u8> loop_param(uniforms.i[instr.flow_control.int_uniform_id].x,
  495. uniforms.i[instr.flow_control.int_uniform_id].y,
  496. uniforms.i[instr.flow_control.int_uniform_id].z,
  497. uniforms.i[instr.flow_control.int_uniform_id].w);
  498. state.address_registers[2] = loop_param.y;
  499. Record<DebugDataRecord::LOOP_INT_IN>(state.debug, iteration, loop_param);
  500. call(state,
  501. state.program_counter + 1,
  502. instr.flow_control.dest_offset - state.program_counter + 1,
  503. instr.flow_control.dest_offset + 1,
  504. loop_param.x,
  505. loop_param.z);
  506. break;
  507. }
  508. default:
  509. LOG_ERROR(HW_GPU, "Unhandled instruction: 0x%02x (%s): 0x%08x",
  510. (int)instr.opcode.Value().EffectiveOpCode(), instr.opcode.Value().GetInfo().name, instr.hex);
  511. break;
  512. }
  513. break;
  514. }
  515. }
  516. ++state.program_counter;
  517. ++iteration;
  518. }
  519. }
  520. // Explicit instantiation
  521. template void RunInterpreter(UnitState<false>& state);
  522. template void RunInterpreter(UnitState<true>& state);
  523. } // namespace
  524. } // namespace