Compiler.cpp 48 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853854855856857858859860861862863864865866867868869870871872873874875876877878879880881882883884885886887888889890891892893894895896897898899900901902903904905906907908909910911912913914915916917918919920921922923924925926927928929930931932933934935936937938939940941942943944945946947948949950951952953954955956957958959960961962963964965966967968969970971972973974975976977978979980981982983984985986987988989990991992993994995996997998999100010011002100310041005100610071008100910101011101210131014101510161017101810191020102110221023102410251026102710281029103010311032103310341035103610371038103910401041104210431044104510461047104810491050105110521053105410551056105710581059106010611062106310641065106610671068106910701071107210731074107510761077107810791080108110821083108410851086108710881089109010911092109310941095109610971098109911001101110211031104110511061107110811091110111111121113111411151116111711181119112011211122112311241125112611271128112911301131113211331134113511361137113811391140114111421143114411451146114711481149115011511152115311541155115611571158115911601161116211631164116511661167116811691170117111721173117411751176117711781179118011811182118311841185118611871188118911901191119211931194119511961197119811991200120112021203120412051206120712081209121012111212121312141215121612171218121912201221122212231224122512261227122812291230123112321233123412351236123712381239124012411242124312441245124612471248
  1. /*
  2. * Copyright (c) 2023, Andreas Kling <kling@serenityos.org>
  3. *
  4. * SPDX-License-Identifier: BSD-2-Clause
  5. */
  6. #include <AK/OwnPtr.h>
  7. #include <AK/Platform.h>
  8. #include <LibJS/Bytecode/CommonImplementations.h>
  9. #include <LibJS/Bytecode/Instruction.h>
  10. #include <LibJS/Bytecode/Interpreter.h>
  11. #include <LibJS/Bytecode/RegexTable.h>
  12. #include <LibJS/JIT/Compiler.h>
  13. #include <LibJS/Runtime/AbstractOperations.h>
  14. #include <LibJS/Runtime/Array.h>
  15. #include <LibJS/Runtime/DeclarativeEnvironment.h>
  16. #include <LibJS/Runtime/VM.h>
  17. #include <LibJS/Runtime/ValueInlines.h>
  18. #include <sys/mman.h>
  19. #include <unistd.h>
  20. #if ARCH(X86_64)
  21. # define LOG_JIT_SUCCESS 1
  22. # define LOG_JIT_FAILURE 1
  23. # define DUMP_JIT_MACHINE_CODE_TO_STDOUT 0
  24. # define DUMP_JIT_DISASSEMBLY 0
  25. # define TRY_OR_SET_EXCEPTION(expression) \
  26. ({ \
  27. /* Ignore -Wshadow to allow nesting the macro. */ \
  28. AK_IGNORE_DIAGNOSTIC("-Wshadow", \
  29. auto&& _temporary_result = (expression)); \
  30. static_assert(!::AK::Detail::IsLvalueReference<decltype(_temporary_result.release_value())>, \
  31. "Do not return a reference from a fallible expression"); \
  32. if (_temporary_result.is_error()) [[unlikely]] { \
  33. vm.bytecode_interpreter().reg(Bytecode::Register::exception()) = _temporary_result.release_error().value().value(); \
  34. return {}; \
  35. } \
  36. _temporary_result.release_value(); \
  37. })
  38. namespace JS::JIT {
  39. void Compiler::store_vm_register(Bytecode::Register dst, Assembler::Reg src)
  40. {
  41. m_assembler.mov(
  42. Assembler::Operand::Mem64BaseAndOffset(REGISTER_ARRAY_BASE, dst.index() * sizeof(Value)),
  43. Assembler::Operand::Register(src));
  44. }
  45. void Compiler::load_vm_register(Assembler::Reg dst, Bytecode::Register src)
  46. {
  47. m_assembler.mov(
  48. Assembler::Operand::Register(dst),
  49. Assembler::Operand::Mem64BaseAndOffset(REGISTER_ARRAY_BASE, src.index() * sizeof(Value)));
  50. }
  51. void Compiler::store_vm_local(size_t dst, Assembler::Reg src)
  52. {
  53. m_assembler.mov(
  54. Assembler::Operand::Mem64BaseAndOffset(LOCALS_ARRAY_BASE, dst * sizeof(Value)),
  55. Assembler::Operand::Register(src));
  56. }
  57. void Compiler::load_vm_local(Assembler::Reg dst, size_t src)
  58. {
  59. m_assembler.mov(
  60. Assembler::Operand::Register(dst),
  61. Assembler::Operand::Mem64BaseAndOffset(LOCALS_ARRAY_BASE, src * sizeof(Value)));
  62. }
  63. void Compiler::compile_load_immediate(Bytecode::Op::LoadImmediate const& op)
  64. {
  65. m_assembler.mov(
  66. Assembler::Operand::Register(GPR0),
  67. Assembler::Operand::Imm(op.value().encoded()));
  68. store_vm_register(Bytecode::Register::accumulator(), GPR0);
  69. }
  70. void Compiler::compile_load(Bytecode::Op::Load const& op)
  71. {
  72. load_vm_register(GPR0, op.src());
  73. store_vm_register(Bytecode::Register::accumulator(), GPR0);
  74. }
  75. void Compiler::compile_store(Bytecode::Op::Store const& op)
  76. {
  77. load_vm_register(GPR0, Bytecode::Register::accumulator());
  78. store_vm_register(op.dst(), GPR0);
  79. }
  80. void Compiler::compile_get_local(Bytecode::Op::GetLocal const& op)
  81. {
  82. load_vm_local(GPR0, op.index());
  83. store_vm_register(Bytecode::Register::accumulator(), GPR0);
  84. }
  85. void Compiler::compile_set_local(Bytecode::Op::SetLocal const& op)
  86. {
  87. load_vm_register(GPR0, Bytecode::Register::accumulator());
  88. store_vm_local(op.index(), GPR0);
  89. }
  90. static Value cxx_typeof_local(VM& vm, Value value)
  91. {
  92. return PrimitiveString::create(vm, value.typeof());
  93. }
  94. void Compiler::compile_typeof_local(Bytecode::Op::TypeofLocal const& op)
  95. {
  96. load_vm_local(ARG1, op.index());
  97. native_call((void*)cxx_typeof_local);
  98. store_vm_register(Bytecode::Register::accumulator(), GPR0);
  99. }
  100. void Compiler::compile_jump(Bytecode::Op::Jump const& op)
  101. {
  102. m_assembler.jump(label_for(op.true_target()->block()));
  103. }
  104. static bool cxx_to_boolean(VM&, Value value)
  105. {
  106. return value.to_boolean();
  107. }
  108. void Compiler::compile_to_boolean(Assembler::Reg dst, Assembler::Reg src)
  109. {
  110. // dst = src;
  111. m_assembler.mov(
  112. Assembler::Operand::Register(dst),
  113. Assembler::Operand::Register(src));
  114. // dst >>= 48;
  115. m_assembler.shift_right(
  116. Assembler::Operand::Register(dst),
  117. Assembler::Operand::Imm(48));
  118. // if (dst != BOOLEAN_TAG) goto slow_case;
  119. auto slow_case = m_assembler.make_label();
  120. m_assembler.jump_if_not_equal(
  121. Assembler::Operand::Register(dst),
  122. Assembler::Operand::Imm(BOOLEAN_TAG),
  123. slow_case);
  124. // Fast path for JS::Value booleans.
  125. // dst = src;
  126. m_assembler.mov(
  127. Assembler::Operand::Register(dst),
  128. Assembler::Operand::Register(src));
  129. // goto end;
  130. auto end = m_assembler.jump();
  131. // slow_case: // call C++ helper
  132. slow_case.link(m_assembler);
  133. m_assembler.mov(
  134. Assembler::Operand::Register(ARG1),
  135. Assembler::Operand::Register(src));
  136. native_call((void*)cxx_to_boolean);
  137. m_assembler.mov(
  138. Assembler::Operand::Register(dst),
  139. Assembler::Operand::Register(RET));
  140. // end:
  141. end.link(m_assembler);
  142. // dst &= 1;
  143. m_assembler.bitwise_and(
  144. Assembler::Operand::Register(dst),
  145. Assembler::Operand::Imm(1));
  146. }
  147. void Compiler::compile_jump_conditional(Bytecode::Op::JumpConditional const& op)
  148. {
  149. load_vm_register(GPR1, Bytecode::Register::accumulator());
  150. compile_to_boolean(GPR0, GPR1);
  151. m_assembler.jump_if_zero(
  152. Assembler::Operand::Register(GPR0),
  153. label_for(op.false_target()->block()));
  154. m_assembler.jump(label_for(op.true_target()->block()));
  155. }
  156. void Compiler::compile_jump_nullish(Bytecode::Op::JumpNullish const& op)
  157. {
  158. load_vm_register(GPR0, Bytecode::Register::accumulator());
  159. m_assembler.shift_right(
  160. Assembler::Operand::Register(GPR0),
  161. Assembler::Operand::Imm(48));
  162. m_assembler.bitwise_and(
  163. Assembler::Operand::Register(GPR0),
  164. Assembler::Operand::Imm(IS_NULLISH_EXTRACT_PATTERN));
  165. m_assembler.jump_if_equal(
  166. Assembler::Operand::Register(GPR0),
  167. Assembler::Operand::Imm(IS_NULLISH_PATTERN),
  168. label_for(op.true_target()->block()));
  169. m_assembler.jump(label_for(op.false_target()->block()));
  170. }
  171. [[maybe_unused]] static Value cxx_increment(VM& vm, Value value)
  172. {
  173. auto old_value = TRY_OR_SET_EXCEPTION(value.to_numeric(vm));
  174. if (old_value.is_number())
  175. return Value(old_value.as_double() + 1);
  176. return BigInt::create(vm, old_value.as_bigint().big_integer().plus(Crypto::SignedBigInteger { 1 }));
  177. }
  178. template<typename Codegen>
  179. void Compiler::branch_if_int32(Assembler::Reg reg, Codegen codegen)
  180. {
  181. // GPR0 = reg >> 48;
  182. m_assembler.mov(Assembler::Operand::Register(GPR0), Assembler::Operand::Register(reg));
  183. m_assembler.shift_right(Assembler::Operand::Register(GPR0), Assembler::Operand::Imm(48));
  184. auto not_int32_case = m_assembler.make_label();
  185. m_assembler.jump_if_not_equal(
  186. Assembler::Operand::Register(GPR0),
  187. Assembler::Operand::Imm(INT32_TAG),
  188. not_int32_case);
  189. codegen();
  190. not_int32_case.link(m_assembler);
  191. }
  192. template<typename Codegen>
  193. void Compiler::branch_if_both_int32(Assembler::Reg lhs, Assembler::Reg rhs, Codegen codegen)
  194. {
  195. // GPR0 = lhs >> 48;
  196. m_assembler.mov(Assembler::Operand::Register(GPR0), Assembler::Operand::Register(lhs));
  197. m_assembler.shift_right(Assembler::Operand::Register(GPR0), Assembler::Operand::Imm(48));
  198. // GPR1 = rhs >> 48;
  199. m_assembler.mov(Assembler::Operand::Register(GPR1), Assembler::Operand::Register(rhs));
  200. m_assembler.shift_right(Assembler::Operand::Register(GPR1), Assembler::Operand::Imm(48));
  201. auto not_int32_case = m_assembler.make_label();
  202. m_assembler.jump_if_not_equal(
  203. Assembler::Operand::Register(GPR0),
  204. Assembler::Operand::Imm(INT32_TAG),
  205. not_int32_case);
  206. m_assembler.jump_if_not_equal(
  207. Assembler::Operand::Register(GPR1),
  208. Assembler::Operand::Imm(INT32_TAG),
  209. not_int32_case);
  210. codegen();
  211. not_int32_case.link(m_assembler);
  212. }
  213. void Compiler::compile_increment(Bytecode::Op::Increment const&)
  214. {
  215. load_vm_register(ARG1, Bytecode::Register::accumulator());
  216. auto end = m_assembler.make_label();
  217. auto slow_case = m_assembler.make_label();
  218. branch_if_int32(ARG1, [&] {
  219. // GPR0 = ARG1 & 0xffffffff;
  220. m_assembler.mov(
  221. Assembler::Operand::Register(GPR0),
  222. Assembler::Operand::Register(ARG1));
  223. m_assembler.mov(
  224. Assembler::Operand::Register(GPR1),
  225. Assembler::Operand::Imm(0xffffffff));
  226. m_assembler.bitwise_and(
  227. Assembler::Operand::Register(GPR0),
  228. Assembler::Operand::Register(GPR1));
  229. // if (GPR0 == 0x7fffffff) goto slow_case;
  230. m_assembler.jump_if_equal(
  231. Assembler::Operand::Register(GPR0),
  232. Assembler::Operand::Imm(0x7fffffff),
  233. slow_case);
  234. // ARG1 += 1;
  235. m_assembler.add(
  236. Assembler::Operand::Register(ARG1),
  237. Assembler::Operand::Imm(1));
  238. // accumulator = ARG1;
  239. store_vm_register(Bytecode::Register::accumulator(), ARG1);
  240. m_assembler.jump(end);
  241. });
  242. slow_case.link(m_assembler);
  243. native_call((void*)cxx_increment);
  244. store_vm_register(Bytecode::Register::accumulator(), RET);
  245. check_exception();
  246. end.link(m_assembler);
  247. }
  248. static Value cxx_decrement(VM& vm, Value value)
  249. {
  250. auto old_value = TRY_OR_SET_EXCEPTION(value.to_numeric(vm));
  251. if (old_value.is_number())
  252. return Value(old_value.as_double() - 1);
  253. return BigInt::create(vm, old_value.as_bigint().big_integer().minus(Crypto::SignedBigInteger { 1 }));
  254. }
  255. void Compiler::compile_decrement(Bytecode::Op::Decrement const&)
  256. {
  257. load_vm_register(ARG1, Bytecode::Register::accumulator());
  258. native_call((void*)cxx_decrement);
  259. store_vm_register(Bytecode::Register::accumulator(), RET);
  260. check_exception();
  261. }
  262. void Compiler::check_exception()
  263. {
  264. // if (exception.is_empty()) goto no_exception;
  265. load_vm_register(GPR0, Bytecode::Register::exception());
  266. m_assembler.mov(Assembler::Operand::Register(GPR1), Assembler::Operand::Imm(Value().encoded()));
  267. auto no_exception = m_assembler.make_label();
  268. m_assembler.jump_if_equal(Assembler::Operand::Register(GPR0), Assembler::Operand::Register(GPR1), no_exception);
  269. // We have an exception!
  270. // if (!unwind_context.valid) return;
  271. auto handle_exception = m_assembler.make_label();
  272. m_assembler.mov(
  273. Assembler::Operand::Register(GPR0),
  274. Assembler::Operand::Mem64BaseAndOffset(UNWIND_CONTEXT_BASE, 0));
  275. m_assembler.jump_if_not_equal(
  276. Assembler::Operand::Register(GPR0),
  277. Assembler::Operand::Imm(0),
  278. handle_exception);
  279. jump_to_exit();
  280. // handle_exception:
  281. handle_exception.link(m_assembler);
  282. // if (unwind_context.handler) {
  283. // accumulator = exception;
  284. // exception = Value();
  285. // goto handler;
  286. // }
  287. auto no_handler = m_assembler.make_label();
  288. m_assembler.mov(
  289. Assembler::Operand::Register(GPR0),
  290. Assembler::Operand::Mem64BaseAndOffset(UNWIND_CONTEXT_BASE, 8));
  291. m_assembler.jump_if_equal(
  292. Assembler::Operand::Register(GPR0),
  293. Assembler::Operand::Imm(0),
  294. no_handler);
  295. load_vm_register(GPR1, Bytecode::Register::exception());
  296. store_vm_register(Bytecode::Register::accumulator(), GPR1);
  297. m_assembler.mov(
  298. Assembler::Operand::Register(GPR1),
  299. Assembler::Operand::Imm(Value().encoded()));
  300. store_vm_register(Bytecode::Register::exception(), GPR1);
  301. m_assembler.jump(Assembler::Operand::Register(GPR0));
  302. // no_handler:
  303. no_handler.link(m_assembler);
  304. // if (unwind_context.finalizer) goto finalizer;
  305. auto no_finalizer = m_assembler.make_label();
  306. m_assembler.mov(
  307. Assembler::Operand::Register(GPR0),
  308. Assembler::Operand::Mem64BaseAndOffset(UNWIND_CONTEXT_BASE, 16));
  309. m_assembler.jump_if_equal(
  310. Assembler::Operand::Register(GPR0),
  311. Assembler::Operand::Imm(0),
  312. no_finalizer);
  313. m_assembler.jump(Assembler::Operand::Register(GPR0));
  314. // no_finalizer:
  315. // NOTE: No catch and no finally!? Crash.
  316. no_finalizer.link(m_assembler);
  317. m_assembler.verify_not_reached();
  318. // no_exception:
  319. no_exception.link(m_assembler);
  320. }
  321. void Compiler::push_unwind_context(bool valid, Optional<Bytecode::Label> const& handler, Optional<Bytecode::Label> const& finalizer)
  322. {
  323. // Put this on the stack, and then point UNWIND_CONTEXT_BASE at it.
  324. // struct {
  325. // u64 valid;
  326. // u64 handler;
  327. // u64 finalizer;
  328. // };
  329. if (finalizer.has_value()) {
  330. // push finalizer (patched later)
  331. m_assembler.mov(
  332. Assembler::Operand::Register(GPR0),
  333. Assembler::Operand::Imm(0),
  334. Assembler::Patchable::Yes);
  335. block_data_for(finalizer.value().block()).absolute_references_to_here.append(m_assembler.m_output.size() - 8);
  336. m_assembler.push(Assembler::Operand::Register(GPR0));
  337. } else {
  338. m_assembler.push(Assembler::Operand::Imm(0));
  339. }
  340. if (handler.has_value()) {
  341. // push handler (patched later)
  342. m_assembler.mov(
  343. Assembler::Operand::Register(GPR0),
  344. Assembler::Operand::Imm(0),
  345. Assembler::Patchable::Yes);
  346. block_data_for(handler.value().block()).absolute_references_to_here.append(m_assembler.m_output.size() - 8);
  347. m_assembler.push(Assembler::Operand::Register(GPR0));
  348. } else {
  349. m_assembler.push(Assembler::Operand::Imm(0));
  350. }
  351. // push valid
  352. m_assembler.push(Assembler::Operand::Imm(valid));
  353. // UNWIND_CONTEXT_BASE = STACK_POINTER
  354. m_assembler.mov(
  355. Assembler::Operand::Register(UNWIND_CONTEXT_BASE),
  356. Assembler::Operand::Register(STACK_POINTER));
  357. // align stack pointer
  358. m_assembler.sub(Assembler::Operand::Register(STACK_POINTER), Assembler::Operand::Imm(8));
  359. }
  360. void Compiler::pop_unwind_context()
  361. {
  362. m_assembler.add(Assembler::Operand::Register(STACK_POINTER), Assembler::Operand::Imm(32));
  363. m_assembler.add(Assembler::Operand::Register(UNWIND_CONTEXT_BASE), Assembler::Operand::Imm(32));
  364. }
  365. void Compiler::compile_enter_unwind_context(Bytecode::Op::EnterUnwindContext const& op)
  366. {
  367. push_unwind_context(true, op.handler_target(), op.finalizer_target());
  368. m_assembler.jump(label_for(op.entry_point().block()));
  369. }
  370. void Compiler::compile_leave_unwind_context(Bytecode::Op::LeaveUnwindContext const&)
  371. {
  372. pop_unwind_context();
  373. }
  374. void Compiler::compile_throw(Bytecode::Op::Throw const&)
  375. {
  376. load_vm_register(GPR0, Bytecode::Register::accumulator());
  377. store_vm_register(Bytecode::Register::exception(), GPR0);
  378. check_exception();
  379. }
  380. static ThrowCompletionOr<Value> abstract_inequals(VM& vm, Value src1, Value src2)
  381. {
  382. return Value(!TRY(is_loosely_equal(vm, src1, src2)));
  383. }
  384. static ThrowCompletionOr<Value> abstract_equals(VM& vm, Value src1, Value src2)
  385. {
  386. return Value(TRY(is_loosely_equal(vm, src1, src2)));
  387. }
  388. static ThrowCompletionOr<Value> typed_inequals(VM&, Value src1, Value src2)
  389. {
  390. return Value(!is_strictly_equal(src1, src2));
  391. }
  392. static ThrowCompletionOr<Value> typed_equals(VM&, Value src1, Value src2)
  393. {
  394. return Value(is_strictly_equal(src1, src2));
  395. }
  396. # define DO_COMPILE_COMMON_BINARY_OP(TitleCaseName, snake_case_name) \
  397. static Value cxx_##snake_case_name(VM& vm, Value lhs, Value rhs) \
  398. { \
  399. return TRY_OR_SET_EXCEPTION(snake_case_name(vm, lhs, rhs)); \
  400. } \
  401. \
  402. void Compiler::compile_##snake_case_name(Bytecode::Op::TitleCaseName const& op) \
  403. { \
  404. load_vm_register(ARG1, op.lhs()); \
  405. load_vm_register(ARG2, Bytecode::Register::accumulator()); \
  406. native_call((void*)cxx_##snake_case_name); \
  407. store_vm_register(Bytecode::Register::accumulator(), RET); \
  408. check_exception(); \
  409. }
  410. JS_ENUMERATE_COMMON_BINARY_OPS_WITHOUT_FAST_PATH(DO_COMPILE_COMMON_BINARY_OP)
  411. # undef DO_COMPILE_COMMON_BINARY_OP
  412. static Value cxx_less_than(VM& vm, Value lhs, Value rhs)
  413. {
  414. return TRY_OR_SET_EXCEPTION(less_than(vm, lhs, rhs));
  415. }
  416. void Compiler::compile_less_than(Bytecode::Op::LessThan const& op)
  417. {
  418. load_vm_register(ARG1, op.lhs());
  419. load_vm_register(ARG2, Bytecode::Register::accumulator());
  420. auto end = m_assembler.make_label();
  421. branch_if_both_int32(ARG1, ARG2, [&] {
  422. // if (ARG1 < ARG2) return true;
  423. // else return false;
  424. auto true_case = m_assembler.make_label();
  425. m_assembler.sign_extend_32_to_64_bits(ARG1);
  426. m_assembler.sign_extend_32_to_64_bits(ARG2);
  427. m_assembler.jump_if_less_than(
  428. Assembler::Operand::Register(ARG1),
  429. Assembler::Operand::Register(ARG2),
  430. true_case);
  431. m_assembler.mov(
  432. Assembler::Operand::Register(GPR0),
  433. Assembler::Operand::Imm(Value(false).encoded()));
  434. store_vm_register(Bytecode::Register::accumulator(), GPR0);
  435. m_assembler.jump(end);
  436. true_case.link(m_assembler);
  437. m_assembler.mov(
  438. Assembler::Operand::Register(GPR0),
  439. Assembler::Operand::Imm(Value(true).encoded()));
  440. store_vm_register(Bytecode::Register::accumulator(), GPR0);
  441. m_assembler.jump(end);
  442. });
  443. native_call((void*)cxx_less_than);
  444. store_vm_register(Bytecode::Register::accumulator(), RET);
  445. check_exception();
  446. end.link(m_assembler);
  447. }
  448. static ThrowCompletionOr<Value> not_(VM&, Value value)
  449. {
  450. return Value(!value.to_boolean());
  451. }
  452. static ThrowCompletionOr<Value> typeof_(VM& vm, Value value)
  453. {
  454. return PrimitiveString::create(vm, value.typeof());
  455. }
  456. # define DO_COMPILE_COMMON_UNARY_OP(TitleCaseName, snake_case_name) \
  457. static Value cxx_##snake_case_name(VM& vm, Value value) \
  458. { \
  459. return TRY_OR_SET_EXCEPTION(snake_case_name(vm, value)); \
  460. } \
  461. \
  462. void Compiler::compile_##snake_case_name(Bytecode::Op::TitleCaseName const&) \
  463. { \
  464. load_vm_register(ARG1, Bytecode::Register::accumulator()); \
  465. native_call((void*)cxx_##snake_case_name); \
  466. store_vm_register(Bytecode::Register::accumulator(), RET); \
  467. check_exception(); \
  468. }
  469. JS_ENUMERATE_COMMON_UNARY_OPS(DO_COMPILE_COMMON_UNARY_OP)
  470. # undef DO_COMPILE_COMMON_UNARY_OP
  471. void Compiler::compile_return(Bytecode::Op::Return const&)
  472. {
  473. load_vm_register(GPR0, Bytecode::Register::accumulator());
  474. // check for finalizer
  475. // if (!unwind_context.valid) goto normal_return;
  476. auto normal_return = m_assembler.make_label();
  477. m_assembler.mov(
  478. Assembler::Operand::Register(GPR1),
  479. Assembler::Operand::Mem64BaseAndOffset(UNWIND_CONTEXT_BASE, 0));
  480. m_assembler.jump_if_equal(
  481. Assembler::Operand::Register(GPR1),
  482. Assembler::Operand::Imm(0),
  483. normal_return);
  484. // if (!unwind_context.finalizer) goto normal_return;
  485. m_assembler.mov(
  486. Assembler::Operand::Register(GPR1),
  487. Assembler::Operand::Mem64BaseAndOffset(UNWIND_CONTEXT_BASE, 16));
  488. m_assembler.jump_if_equal(
  489. Assembler::Operand::Register(GPR1),
  490. Assembler::Operand::Imm(0),
  491. normal_return);
  492. store_vm_register(Bytecode::Register::saved_return_value(), GPR0);
  493. m_assembler.jump(Assembler::Operand::Register(GPR1));
  494. // normal_return:
  495. normal_return.link(m_assembler);
  496. store_vm_register(Bytecode::Register::return_value(), GPR0);
  497. jump_to_exit();
  498. }
  499. static Value cxx_new_string(VM& vm, DeprecatedString const& string)
  500. {
  501. return PrimitiveString::create(vm, string);
  502. }
  503. void Compiler::compile_new_string(Bytecode::Op::NewString const& op)
  504. {
  505. auto const& string = m_bytecode_executable.string_table->get(op.index());
  506. m_assembler.mov(
  507. Assembler::Operand::Register(ARG1),
  508. Assembler::Operand::Imm(bit_cast<u64>(&string)));
  509. native_call((void*)cxx_new_string);
  510. store_vm_register(Bytecode::Register::accumulator(), RET);
  511. }
  512. void Compiler::compile_new_regexp(Bytecode::Op::NewRegExp const& op)
  513. {
  514. auto const& parsed_regex = m_bytecode_executable.regex_table->get(op.regex_index());
  515. auto const& pattern = m_bytecode_executable.string_table->get(op.source_index());
  516. auto const& flags = m_bytecode_executable.string_table->get(op.flags_index());
  517. m_assembler.mov(
  518. Assembler::Operand::Register(ARG1),
  519. Assembler::Operand::Imm(bit_cast<u64>(&parsed_regex)));
  520. m_assembler.mov(
  521. Assembler::Operand::Register(ARG2),
  522. Assembler::Operand::Imm(bit_cast<u64>(&pattern)));
  523. m_assembler.mov(
  524. Assembler::Operand::Register(ARG3),
  525. Assembler::Operand::Imm(bit_cast<u64>(&flags)));
  526. native_call((void*)Bytecode::new_regexp);
  527. store_vm_register(Bytecode::Register::accumulator(), RET);
  528. }
  529. static Value cxx_new_bigint(VM& vm, Crypto::SignedBigInteger const& bigint)
  530. {
  531. return BigInt::create(vm, bigint);
  532. }
  533. void Compiler::compile_new_bigint(Bytecode::Op::NewBigInt const& op)
  534. {
  535. m_assembler.mov(
  536. Assembler::Operand::Register(ARG1),
  537. Assembler::Operand::Imm(bit_cast<u64>(&op.bigint())));
  538. native_call((void*)cxx_new_bigint);
  539. store_vm_register(Bytecode::Register::accumulator(), RET);
  540. }
  541. static Value cxx_new_object(VM& vm)
  542. {
  543. auto& realm = *vm.current_realm();
  544. return Object::create(realm, realm.intrinsics().object_prototype());
  545. }
  546. void Compiler::compile_new_object(Bytecode::Op::NewObject const&)
  547. {
  548. native_call((void*)cxx_new_object);
  549. store_vm_register(Bytecode::Register::accumulator(), RET);
  550. }
  551. static Value cxx_new_array(VM& vm, size_t element_count, u32 first_register_index)
  552. {
  553. auto& realm = *vm.current_realm();
  554. auto array = MUST(Array::create(realm, 0));
  555. for (size_t i = 0; i < element_count; ++i) {
  556. auto& value = vm.bytecode_interpreter().reg(Bytecode::Register(first_register_index + i));
  557. array->indexed_properties().put(i, value, default_attributes);
  558. }
  559. return array;
  560. }
  561. void Compiler::compile_new_array(Bytecode::Op::NewArray const& op)
  562. {
  563. m_assembler.mov(
  564. Assembler::Operand::Register(ARG1),
  565. Assembler::Operand::Imm(op.element_count()));
  566. m_assembler.mov(
  567. Assembler::Operand::Register(ARG2),
  568. Assembler::Operand::Imm(op.element_count() ? op.start().index() : 0));
  569. native_call((void*)cxx_new_array);
  570. store_vm_register(Bytecode::Register::accumulator(), RET);
  571. }
  572. void Compiler::compile_new_function(Bytecode::Op::NewFunction const& op)
  573. {
  574. m_assembler.mov(
  575. Assembler::Operand::Register(ARG1),
  576. Assembler::Operand::Imm(bit_cast<u64>(&op.function_node())));
  577. m_assembler.mov(
  578. Assembler::Operand::Register(ARG2),
  579. Assembler::Operand::Imm(bit_cast<u64>(&op.lhs_name())));
  580. m_assembler.mov(
  581. Assembler::Operand::Register(ARG3),
  582. Assembler::Operand::Imm(bit_cast<u64>(&op.home_object())));
  583. native_call((void*)Bytecode::new_function);
  584. store_vm_register(Bytecode::Register::accumulator(), RET);
  585. }
  586. static Value cxx_get_by_id(VM& vm, Value base, Bytecode::IdentifierTableIndex property, u32 cache_index)
  587. {
  588. return TRY_OR_SET_EXCEPTION(Bytecode::get_by_id(vm.bytecode_interpreter(), property, base, base, cache_index));
  589. }
  590. void Compiler::compile_get_by_id(Bytecode::Op::GetById const& op)
  591. {
  592. load_vm_register(ARG1, Bytecode::Register::accumulator());
  593. m_assembler.mov(
  594. Assembler::Operand::Register(ARG2),
  595. Assembler::Operand::Imm(op.property().value()));
  596. m_assembler.mov(
  597. Assembler::Operand::Register(ARG3),
  598. Assembler::Operand::Imm(op.cache_index()));
  599. native_call((void*)cxx_get_by_id);
  600. store_vm_register(Bytecode::Register::accumulator(), RET);
  601. check_exception();
  602. }
  603. static Value cxx_get_by_value(VM& vm, Value base, Value property)
  604. {
  605. return TRY_OR_SET_EXCEPTION(Bytecode::get_by_value(vm.bytecode_interpreter(), base, property));
  606. }
  607. void Compiler::compile_get_by_value(Bytecode::Op::GetByValue const& op)
  608. {
  609. load_vm_register(ARG1, op.base());
  610. load_vm_register(ARG2, Bytecode::Register::accumulator());
  611. native_call((void*)cxx_get_by_value);
  612. store_vm_register(Bytecode::Register::accumulator(), RET);
  613. check_exception();
  614. }
  615. static Value cxx_get_global(VM& vm, Bytecode::IdentifierTableIndex identifier, u32 cache_index)
  616. {
  617. return TRY_OR_SET_EXCEPTION(Bytecode::get_global(vm.bytecode_interpreter(), identifier, cache_index));
  618. }
  619. void Compiler::compile_get_global(Bytecode::Op::GetGlobal const& op)
  620. {
  621. m_assembler.mov(
  622. Assembler::Operand::Register(ARG1),
  623. Assembler::Operand::Imm(op.identifier().value()));
  624. m_assembler.mov(
  625. Assembler::Operand::Register(ARG2),
  626. Assembler::Operand::Imm(op.cache_index()));
  627. native_call((void*)cxx_get_global);
  628. store_vm_register(Bytecode::Register::accumulator(), RET);
  629. check_exception();
  630. }
  631. static Value cxx_get_variable(VM& vm, DeprecatedFlyString const& name, u32 cache_index)
  632. {
  633. return TRY_OR_SET_EXCEPTION(Bytecode::get_variable(vm.bytecode_interpreter(), name, cache_index));
  634. }
  635. void Compiler::compile_get_variable(Bytecode::Op::GetVariable const& op)
  636. {
  637. m_assembler.mov(
  638. Assembler::Operand::Register(ARG1),
  639. Assembler::Operand::Imm(bit_cast<u64>(&m_bytecode_executable.get_identifier(op.identifier()))));
  640. m_assembler.mov(
  641. Assembler::Operand::Register(ARG2),
  642. Assembler::Operand::Imm(op.cache_index()));
  643. native_call((void*)cxx_get_variable);
  644. store_vm_register(Bytecode::Register::accumulator(), RET);
  645. check_exception();
  646. }
  647. static Value cxx_get_callee_and_this_from_environment(VM& vm, DeprecatedFlyString const& name, u32 cache_index, Bytecode::Register callee_reg, Bytecode::Register this_reg)
  648. {
  649. auto& bytecode_interpreter = vm.bytecode_interpreter();
  650. auto callee_and_this = TRY_OR_SET_EXCEPTION(Bytecode::get_callee_and_this_from_environment(
  651. bytecode_interpreter,
  652. name,
  653. cache_index));
  654. bytecode_interpreter.reg(callee_reg) = callee_and_this.callee;
  655. bytecode_interpreter.reg(this_reg) = callee_and_this.this_value;
  656. return {};
  657. }
  658. void Compiler::compile_get_callee_and_this_from_environment(Bytecode::Op::GetCalleeAndThisFromEnvironment const& op)
  659. {
  660. m_assembler.mov(
  661. Assembler::Operand::Register(ARG1),
  662. Assembler::Operand::Imm(bit_cast<u64>(&m_bytecode_executable.get_identifier(op.identifier()))));
  663. m_assembler.mov(
  664. Assembler::Operand::Register(ARG2),
  665. Assembler::Operand::Imm(op.cache_index()));
  666. m_assembler.mov(
  667. Assembler::Operand::Register(ARG3),
  668. Assembler::Operand::Imm(op.callee().index()));
  669. m_assembler.mov(
  670. Assembler::Operand::Register(ARG4),
  671. Assembler::Operand::Imm(op.this_().index()));
  672. native_call((void*)cxx_get_callee_and_this_from_environment);
  673. check_exception();
  674. }
  675. static Value cxx_to_numeric(VM& vm, Value value)
  676. {
  677. return TRY_OR_SET_EXCEPTION(value.to_numeric(vm));
  678. }
  679. void Compiler::compile_to_numeric(Bytecode::Op::ToNumeric const&)
  680. {
  681. load_vm_register(ARG1, Bytecode::Register::accumulator());
  682. native_call((void*)cxx_to_numeric);
  683. store_vm_register(Bytecode::Register::accumulator(), RET);
  684. check_exception();
  685. }
  686. static Value cxx_resolve_this_binding(VM& vm)
  687. {
  688. auto this_value = TRY_OR_SET_EXCEPTION(vm.resolve_this_binding());
  689. vm.bytecode_interpreter().reg(Bytecode::Register::this_value()) = this_value;
  690. return this_value;
  691. }
  692. void Compiler::compile_resolve_this_binding(Bytecode::Op::ResolveThisBinding const&)
  693. {
  694. // OPTIMIZATION: We cache the `this` value in a special VM register.
  695. // So first we check if the cache is non-empty, and if so,
  696. // we can avoid calling out to C++ at all. :^)
  697. load_vm_register(GPR0, Bytecode::Register::this_value());
  698. m_assembler.mov(
  699. Assembler::Operand::Register(GPR1),
  700. Assembler::Operand::Imm(Value().encoded()));
  701. auto slow_case = m_assembler.make_label();
  702. m_assembler.jump_if_equal(
  703. Assembler::Operand::Register(GPR0),
  704. Assembler::Operand::Register(GPR1),
  705. slow_case);
  706. // Fast case: We have a cached `this` value!
  707. store_vm_register(Bytecode::Register::accumulator(), GPR0);
  708. auto end = m_assembler.jump();
  709. slow_case.link(m_assembler);
  710. native_call((void*)cxx_resolve_this_binding);
  711. store_vm_register(Bytecode::Register::accumulator(), RET);
  712. check_exception();
  713. end.link(m_assembler);
  714. }
  715. static Value cxx_put_by_id(VM& vm, Value base, Bytecode::IdentifierTableIndex property, Value value, Bytecode::Op::PropertyKind kind)
  716. {
  717. PropertyKey name = vm.bytecode_interpreter().current_executable().get_identifier(property);
  718. TRY_OR_SET_EXCEPTION(Bytecode::put_by_property_key(vm, base, base, value, name, kind));
  719. vm.bytecode_interpreter().accumulator() = value;
  720. return {};
  721. }
  722. void Compiler::compile_put_by_id(Bytecode::Op::PutById const& op)
  723. {
  724. load_vm_register(ARG1, op.base());
  725. m_assembler.mov(
  726. Assembler::Operand::Register(ARG2),
  727. Assembler::Operand::Imm(op.property().value()));
  728. load_vm_register(ARG3, Bytecode::Register::accumulator());
  729. m_assembler.mov(
  730. Assembler::Operand::Register(ARG4),
  731. Assembler::Operand::Imm(to_underlying(op.kind())));
  732. native_call((void*)cxx_put_by_id);
  733. check_exception();
  734. }
  735. static Value cxx_put_by_value(VM& vm, Value base, Value property, Value value, Bytecode::Op::PropertyKind kind)
  736. {
  737. TRY_OR_SET_EXCEPTION(Bytecode::put_by_value(vm, base, property, value, kind));
  738. vm.bytecode_interpreter().accumulator() = value;
  739. return {};
  740. }
  741. void Compiler::compile_put_by_value(Bytecode::Op::PutByValue const& op)
  742. {
  743. load_vm_register(ARG1, op.base());
  744. load_vm_register(ARG2, op.property());
  745. load_vm_register(ARG3, Bytecode::Register::accumulator());
  746. m_assembler.mov(
  747. Assembler::Operand::Register(ARG4),
  748. Assembler::Operand::Imm(to_underlying(op.kind())));
  749. native_call((void*)cxx_put_by_value);
  750. check_exception();
  751. }
  752. static Value cxx_call(VM& vm, Value callee, u32 first_argument_index, u32 argument_count, Value this_value, Bytecode::Op::CallType call_type, Optional<Bytecode::StringTableIndex> const& expression_string)
  753. {
  754. TRY_OR_SET_EXCEPTION(throw_if_needed_for_call(vm.bytecode_interpreter(), callee, call_type, expression_string));
  755. MarkedVector<Value> argument_values(vm.heap());
  756. argument_values.ensure_capacity(argument_count);
  757. for (u32 i = 0; i < argument_count; ++i) {
  758. argument_values.unchecked_append(vm.bytecode_interpreter().reg(Bytecode::Register { first_argument_index + i }));
  759. }
  760. return TRY_OR_SET_EXCEPTION(perform_call(vm.bytecode_interpreter(), this_value, call_type, callee, move(argument_values)));
  761. }
  762. void Compiler::compile_call(Bytecode::Op::Call const& op)
  763. {
  764. load_vm_register(ARG1, op.callee());
  765. m_assembler.mov(
  766. Assembler::Operand::Register(ARG2),
  767. Assembler::Operand::Imm(op.first_argument().index()));
  768. m_assembler.mov(
  769. Assembler::Operand::Register(ARG3),
  770. Assembler::Operand::Imm(op.argument_count()));
  771. load_vm_register(ARG4, op.this_value());
  772. m_assembler.mov(
  773. Assembler::Operand::Register(ARG5),
  774. Assembler::Operand::Imm(to_underlying(op.call_type())));
  775. m_assembler.mov(
  776. Assembler::Operand::Register(GPR0),
  777. Assembler::Operand::Imm(bit_cast<u64>(&op.expression_string())));
  778. native_call((void*)cxx_call, { Assembler::Operand::Register(GPR0) });
  779. store_vm_register(Bytecode::Register::accumulator(), RET);
  780. check_exception();
  781. }
  782. static Value cxx_typeof_variable(VM& vm, DeprecatedFlyString const& identifier)
  783. {
  784. return TRY_OR_SET_EXCEPTION(Bytecode::typeof_variable(vm, identifier));
  785. }
  786. void Compiler::compile_typeof_variable(Bytecode::Op::TypeofVariable const& op)
  787. {
  788. m_assembler.mov(
  789. Assembler::Operand::Register(ARG1),
  790. Assembler::Operand::Imm(bit_cast<u64>(&m_bytecode_executable.get_identifier(op.identifier().value()))));
  791. native_call((void*)cxx_typeof_variable);
  792. store_vm_register(Bytecode::Register::accumulator(), RET);
  793. check_exception();
  794. }
  795. static Value cxx_set_variable(
  796. VM& vm,
  797. DeprecatedFlyString const& identifier,
  798. Value value,
  799. Bytecode::Op::EnvironmentMode environment_mode,
  800. Bytecode::Op::SetVariable::InitializationMode initialization_mode)
  801. {
  802. TRY_OR_SET_EXCEPTION(Bytecode::set_variable(vm, identifier, value, environment_mode, initialization_mode));
  803. return {};
  804. }
  805. void Compiler::compile_set_variable(Bytecode::Op::SetVariable const& op)
  806. {
  807. m_assembler.mov(
  808. Assembler::Operand::Register(ARG1),
  809. Assembler::Operand::Imm(bit_cast<u64>(&m_bytecode_executable.get_identifier(op.identifier().value()))));
  810. load_vm_register(ARG2, Bytecode::Register::accumulator());
  811. m_assembler.mov(
  812. Assembler::Operand::Register(ARG3),
  813. Assembler::Operand::Imm(to_underlying(op.mode())));
  814. m_assembler.mov(
  815. Assembler::Operand::Register(ARG4),
  816. Assembler::Operand::Imm(to_underlying(op.initialization_mode())));
  817. native_call((void*)cxx_set_variable);
  818. check_exception();
  819. }
  820. void Compiler::compile_continue_pending_unwind(Bytecode::Op::ContinuePendingUnwind const& op)
  821. {
  822. // re-throw the exception if we reached the end of the finally block and there was no catch block to handle it
  823. check_exception();
  824. // if (!saved_return_value.is_empty()) goto resume_block;
  825. load_vm_register(GPR0, Bytecode::Register::saved_return_value());
  826. m_assembler.mov(Assembler::Operand::Register(GPR1), Assembler::Operand::Imm(Value().encoded()));
  827. m_assembler.jump_if_not_equal(Assembler::Operand::Register(GPR0), Assembler::Operand::Register(GPR1), label_for(op.resume_target().block()));
  828. // finish the pending return from the try block
  829. store_vm_register(Bytecode::Register::return_value(), GPR0);
  830. jump_to_exit();
  831. }
  832. static void cxx_create_lexical_environment(VM& vm)
  833. {
  834. auto make_and_swap_envs = [&](auto& old_environment) {
  835. GCPtr<Environment> environment = new_declarative_environment(*old_environment).ptr();
  836. swap(old_environment, environment);
  837. return environment;
  838. };
  839. vm.bytecode_interpreter().saved_lexical_environment_stack().append(make_and_swap_envs(vm.running_execution_context().lexical_environment));
  840. }
  841. void Compiler::compile_create_lexical_environment(Bytecode::Op::CreateLexicalEnvironment const&)
  842. {
  843. native_call((void*)cxx_create_lexical_environment);
  844. }
  845. static void cxx_leave_lexical_environment(VM& vm)
  846. {
  847. vm.running_execution_context().lexical_environment = vm.bytecode_interpreter().saved_lexical_environment_stack().take_last();
  848. }
  849. void Compiler::compile_leave_lexical_environment(Bytecode::Op::LeaveLexicalEnvironment const&)
  850. {
  851. native_call((void*)cxx_leave_lexical_environment);
  852. }
  853. void Compiler::jump_to_exit()
  854. {
  855. m_assembler.jump(m_exit_label);
  856. }
  857. void Compiler::native_call(void* function_address, Vector<Assembler::Operand> const& stack_arguments)
  858. {
  859. // Make sure we don't clobber the VM&.
  860. m_assembler.push(Assembler::Operand::Register(ARG0));
  861. // Align the stack pointer.
  862. m_assembler.sub(Assembler::Operand::Register(STACK_POINTER), Assembler::Operand::Imm(8));
  863. // NOTE: We don't preserve caller-saved registers when making a native call.
  864. // This means that they may have changed after we return from the call.
  865. m_assembler.native_call(function_address, stack_arguments);
  866. // Restore the stack pointer.
  867. m_assembler.add(Assembler::Operand::Register(STACK_POINTER), Assembler::Operand::Imm(8));
  868. // Restore our VM&.
  869. m_assembler.pop(Assembler::Operand::Register(ARG0));
  870. }
  871. OwnPtr<NativeExecutable> Compiler::compile(Bytecode::Executable& bytecode_executable)
  872. {
  873. if (!getenv("LIBJS_JIT"))
  874. return nullptr;
  875. Compiler compiler { bytecode_executable };
  876. compiler.m_assembler.enter();
  877. compiler.m_assembler.mov(
  878. Assembler::Operand::Register(REGISTER_ARRAY_BASE),
  879. Assembler::Operand::Register(ARG1));
  880. compiler.m_assembler.mov(
  881. Assembler::Operand::Register(LOCALS_ARRAY_BASE),
  882. Assembler::Operand::Register(ARG2));
  883. compiler.push_unwind_context(false, {}, {});
  884. for (auto& block : bytecode_executable.basic_blocks) {
  885. compiler.block_data_for(*block).start_offset = compiler.m_output.size();
  886. auto it = Bytecode::InstructionStreamIterator(block->instruction_stream());
  887. while (!it.at_end()) {
  888. auto const& op = *it;
  889. switch (op.type()) {
  890. case Bytecode::Instruction::Type::LoadImmediate:
  891. compiler.compile_load_immediate(static_cast<Bytecode::Op::LoadImmediate const&>(op));
  892. break;
  893. case Bytecode::Instruction::Type::Store:
  894. compiler.compile_store(static_cast<Bytecode::Op::Store const&>(op));
  895. break;
  896. case Bytecode::Instruction::Type::Load:
  897. compiler.compile_load(static_cast<Bytecode::Op::Load const&>(op));
  898. break;
  899. case Bytecode::Instruction::Type::GetLocal:
  900. compiler.compile_get_local(static_cast<Bytecode::Op::GetLocal const&>(op));
  901. break;
  902. case Bytecode::Instruction::Type::SetLocal:
  903. compiler.compile_set_local(static_cast<Bytecode::Op::SetLocal const&>(op));
  904. break;
  905. case Bytecode::Instruction::Type::TypeofLocal:
  906. compiler.compile_typeof_local(static_cast<Bytecode::Op::TypeofLocal const&>(op));
  907. break;
  908. case Bytecode::Instruction::Type::Jump:
  909. compiler.compile_jump(static_cast<Bytecode::Op::Jump const&>(op));
  910. break;
  911. case Bytecode::Instruction::Type::JumpConditional:
  912. compiler.compile_jump_conditional(static_cast<Bytecode::Op::JumpConditional const&>(op));
  913. break;
  914. case Bytecode::Instruction::Type::JumpNullish:
  915. compiler.compile_jump_nullish(static_cast<Bytecode::Op::JumpNullish const&>(op));
  916. break;
  917. case Bytecode::Instruction::Type::Increment:
  918. compiler.compile_increment(static_cast<Bytecode::Op::Increment const&>(op));
  919. break;
  920. case Bytecode::Instruction::Type::Decrement:
  921. compiler.compile_decrement(static_cast<Bytecode::Op::Decrement const&>(op));
  922. break;
  923. case Bytecode::Instruction::Type::EnterUnwindContext:
  924. compiler.compile_enter_unwind_context(static_cast<Bytecode::Op::EnterUnwindContext const&>(op));
  925. break;
  926. case Bytecode::Instruction::Type::LeaveUnwindContext:
  927. compiler.compile_leave_unwind_context(static_cast<Bytecode::Op::LeaveUnwindContext const&>(op));
  928. break;
  929. case Bytecode::Instruction::Type::Throw:
  930. compiler.compile_throw(static_cast<Bytecode::Op::Throw const&>(op));
  931. break;
  932. case Bytecode::Instruction::Type::Return:
  933. compiler.compile_return(static_cast<Bytecode::Op::Return const&>(op));
  934. break;
  935. case Bytecode::Instruction::Type::CreateLexicalEnvironment:
  936. compiler.compile_create_lexical_environment(static_cast<Bytecode::Op::CreateLexicalEnvironment const&>(op));
  937. break;
  938. case Bytecode::Instruction::Type::LeaveLexicalEnvironment:
  939. compiler.compile_leave_lexical_environment(static_cast<Bytecode::Op::LeaveLexicalEnvironment const&>(op));
  940. break;
  941. case Bytecode::Instruction::Type::NewString:
  942. compiler.compile_new_string(static_cast<Bytecode::Op::NewString const&>(op));
  943. break;
  944. case Bytecode::Instruction::Type::NewObject:
  945. compiler.compile_new_object(static_cast<Bytecode::Op::NewObject const&>(op));
  946. break;
  947. case Bytecode::Instruction::Type::NewArray:
  948. compiler.compile_new_array(static_cast<Bytecode::Op::NewArray const&>(op));
  949. break;
  950. case Bytecode::Instruction::Type::NewFunction:
  951. compiler.compile_new_function(static_cast<Bytecode::Op::NewFunction const&>(op));
  952. break;
  953. case Bytecode::Instruction::Type::NewRegExp:
  954. compiler.compile_new_regexp(static_cast<Bytecode::Op::NewRegExp const&>(op));
  955. break;
  956. case Bytecode::Instruction::Type::NewBigInt:
  957. compiler.compile_new_bigint(static_cast<Bytecode::Op::NewBigInt const&>(op));
  958. break;
  959. case Bytecode::Instruction::Type::GetById:
  960. compiler.compile_get_by_id(static_cast<Bytecode::Op::GetById const&>(op));
  961. break;
  962. case Bytecode::Instruction::Type::GetByValue:
  963. compiler.compile_get_by_value(static_cast<Bytecode::Op::GetByValue const&>(op));
  964. break;
  965. case Bytecode::Instruction::Type::GetGlobal:
  966. compiler.compile_get_global(static_cast<Bytecode::Op::GetGlobal const&>(op));
  967. break;
  968. case Bytecode::Instruction::Type::GetVariable:
  969. compiler.compile_get_variable(static_cast<Bytecode::Op::GetVariable const&>(op));
  970. break;
  971. case Bytecode::Instruction::Type::GetCalleeAndThisFromEnvironment:
  972. compiler.compile_get_callee_and_this_from_environment(static_cast<Bytecode::Op::GetCalleeAndThisFromEnvironment const&>(op));
  973. break;
  974. case Bytecode::Instruction::Type::PutById:
  975. compiler.compile_put_by_id(static_cast<Bytecode::Op::PutById const&>(op));
  976. break;
  977. case Bytecode::Instruction::Type::PutByValue:
  978. compiler.compile_put_by_value(static_cast<Bytecode::Op::PutByValue const&>(op));
  979. break;
  980. case Bytecode::Instruction::Type::ToNumeric:
  981. compiler.compile_to_numeric(static_cast<Bytecode::Op::ToNumeric const&>(op));
  982. break;
  983. case Bytecode::Instruction::Type::ResolveThisBinding:
  984. compiler.compile_resolve_this_binding(static_cast<Bytecode::Op::ResolveThisBinding const&>(op));
  985. break;
  986. case Bytecode::Instruction::Type::Call:
  987. compiler.compile_call(static_cast<Bytecode::Op::Call const&>(op));
  988. break;
  989. case Bytecode::Instruction::Type::TypeofVariable:
  990. compiler.compile_typeof_variable(static_cast<Bytecode::Op::TypeofVariable const&>(op));
  991. break;
  992. case Bytecode::Instruction::Type::SetVariable:
  993. compiler.compile_set_variable(static_cast<Bytecode::Op::SetVariable const&>(op));
  994. break;
  995. case Bytecode::Instruction::Type::LessThan:
  996. compiler.compile_less_than(static_cast<Bytecode::Op::LessThan const&>(op));
  997. break;
  998. case Bytecode::Instruction::Type::ContinuePendingUnwind:
  999. compiler.compile_continue_pending_unwind(static_cast<Bytecode::Op::ContinuePendingUnwind const&>(op));
  1000. break;
  1001. # define DO_COMPILE_COMMON_BINARY_OP(TitleCaseName, snake_case_name) \
  1002. case Bytecode::Instruction::Type::TitleCaseName: \
  1003. compiler.compile_##snake_case_name(static_cast<Bytecode::Op::TitleCaseName const&>(op)); \
  1004. break;
  1005. JS_ENUMERATE_COMMON_BINARY_OPS_WITHOUT_FAST_PATH(DO_COMPILE_COMMON_BINARY_OP)
  1006. # undef DO_COMPILE_COMMON_BINARY_OP
  1007. # define DO_COMPILE_COMMON_UNARY_OP(TitleCaseName, snake_case_name) \
  1008. case Bytecode::Instruction::Type::TitleCaseName: \
  1009. compiler.compile_##snake_case_name(static_cast<Bytecode::Op::TitleCaseName const&>(op)); \
  1010. break;
  1011. JS_ENUMERATE_COMMON_UNARY_OPS(DO_COMPILE_COMMON_UNARY_OP)
  1012. # undef DO_COMPILE_COMMON_UNARY_OP
  1013. default:
  1014. if constexpr (LOG_JIT_FAILURE) {
  1015. dbgln("\033[31;1mJIT compilation failed\033[0m: {}", bytecode_executable.name);
  1016. dbgln("Unsupported bytecode op: {}", op.to_deprecated_string(bytecode_executable));
  1017. }
  1018. return nullptr;
  1019. }
  1020. ++it;
  1021. }
  1022. if (!block->is_terminated())
  1023. compiler.jump_to_exit();
  1024. }
  1025. compiler.m_exit_label.link(compiler.m_assembler);
  1026. compiler.m_assembler.exit();
  1027. auto* executable_memory = mmap(nullptr, compiler.m_output.size(), PROT_READ | PROT_WRITE, MAP_ANONYMOUS | MAP_PRIVATE, 0, 0);
  1028. if (executable_memory == MAP_FAILED) {
  1029. dbgln("mmap: {}", strerror(errno));
  1030. return nullptr;
  1031. }
  1032. for (auto& block : bytecode_executable.basic_blocks) {
  1033. auto& block_data = compiler.block_data_for(*block);
  1034. block_data.label.link_to(compiler.m_assembler, block_data.start_offset);
  1035. // Patch up all the absolute references
  1036. for (auto& absolute_reference : block_data.absolute_references_to_here) {
  1037. auto offset = bit_cast<u64>(executable_memory) + block_data.start_offset;
  1038. compiler.m_output[absolute_reference + 0] = (offset >> 0) & 0xff;
  1039. compiler.m_output[absolute_reference + 1] = (offset >> 8) & 0xff;
  1040. compiler.m_output[absolute_reference + 2] = (offset >> 16) & 0xff;
  1041. compiler.m_output[absolute_reference + 3] = (offset >> 24) & 0xff;
  1042. compiler.m_output[absolute_reference + 4] = (offset >> 32) & 0xff;
  1043. compiler.m_output[absolute_reference + 5] = (offset >> 40) & 0xff;
  1044. compiler.m_output[absolute_reference + 6] = (offset >> 48) & 0xff;
  1045. compiler.m_output[absolute_reference + 7] = (offset >> 56) & 0xff;
  1046. }
  1047. }
  1048. if constexpr (DUMP_JIT_MACHINE_CODE_TO_STDOUT) {
  1049. (void)write(STDOUT_FILENO, compiler.m_output.data(), compiler.m_output.size());
  1050. }
  1051. memcpy(executable_memory, compiler.m_output.data(), compiler.m_output.size());
  1052. if (mprotect(executable_memory, compiler.m_output.size(), PROT_READ | PROT_EXEC) < 0) {
  1053. dbgln("mprotect: {}", strerror(errno));
  1054. return nullptr;
  1055. }
  1056. if constexpr (LOG_JIT_SUCCESS) {
  1057. dbgln("\033[32;1mJIT compilation succeeded!\033[0m {}", bytecode_executable.name);
  1058. }
  1059. auto executable = make<NativeExecutable>(executable_memory, compiler.m_output.size());
  1060. if constexpr (DUMP_JIT_DISASSEMBLY)
  1061. executable->dump_disassembly();
  1062. return executable;
  1063. }
  1064. }
  1065. #endif