Compiler.cpp 47 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273747576777879808182838485868788899091929394959697989910010110210310410510610710810911011111211311411511611711811912012112212312412512612712812913013113213313413513613713813914014114214314414514614714814915015115215315415515615715815916016116216316416516616716816917017117217317417517617717817918018118218318418518618718818919019119219319419519619719819920020120220320420520620720820921021121221321421521621721821922022122222322422522622722822923023123223323423523623723823924024124224324424524624724824925025125225325425525625725825926026126226326426526626726826927027127227327427527627727827928028128228328428528628728828929029129229329429529629729829930030130230330430530630730830931031131231331431531631731831932032132232332432532632732832933033133233333433533633733833934034134234334434534634734834935035135235335435535635735835936036136236336436536636736836937037137237337437537637737837938038138238338438538638738838939039139239339439539639739839940040140240340440540640740840941041141241341441541641741841942042142242342442542642742842943043143243343443543643743843944044144244344444544644744844945045145245345445545645745845946046146246346446546646746846947047147247347447547647747847948048148248348448548648748848949049149249349449549649749849950050150250350450550650750850951051151251351451551651751851952052152252352452552652752852953053153253353453553653753853954054154254354454554654754854955055155255355455555655755855956056156256356456556656756856957057157257357457557657757857958058158258358458558658758858959059159259359459559659759859960060160260360460560660760860961061161261361461561661761861962062162262362462562662762862963063163263363463563663763863964064164264364464564664764864965065165265365465565665765865966066166266366466566666766866967067167267367467567667767867968068168268368468568668768868969069169269369469569669769869970070170270370470570670770870971071171271371471571671771871972072172272372472572672772872973073173273373473573673773873974074174274374474574674774874975075175275375475575675775875976076176276376476576676776876977077177277377477577677777877978078178278378478578678778878979079179279379479579679779879980080180280380480580680780880981081181281381481581681781881982082182282382482582682782882983083183283383483583683783883984084184284384484584684784884985085185285385485585685785885986086186286386486586686786886987087187287387487587687787887988088188288388488588688788888989089189289389489589689789889990090190290390490590690790890991091191291391491591691791891992092192292392492592692792892993093193293393493593693793893994094194294394494594694794894995095195295395495595695795895996096196296396496596696796896997097197297397497597697797897998098198298398498598698798898999099199299399499599699799899910001001100210031004100510061007100810091010101110121013101410151016101710181019102010211022102310241025102610271028102910301031103210331034103510361037103810391040104110421043104410451046104710481049105010511052105310541055105610571058105910601061106210631064106510661067106810691070107110721073107410751076107710781079108010811082108310841085108610871088108910901091109210931094109510961097109810991100110111021103110411051106110711081109111011111112111311141115111611171118111911201121112211231124112511261127112811291130113111321133113411351136113711381139114011411142114311441145114611471148114911501151115211531154115511561157115811591160116111621163116411651166116711681169117011711172117311741175117611771178117911801181118211831184118511861187118811891190119111921193119411951196119711981199120012011202120312041205120612071208120912101211121212131214121512161217121812191220
  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. m_assembler.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. m_assembler.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. m_assembler.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. m_assembler.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. // push finalizer (patched later)
  330. m_assembler.mov(
  331. Assembler::Operand::Register(GPR0),
  332. Assembler::Operand::Imm(0),
  333. Assembler::Patchable::Yes);
  334. if (finalizer.has_value())
  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. // push handler (patched later)
  338. m_assembler.mov(
  339. Assembler::Operand::Register(GPR0),
  340. Assembler::Operand::Imm(0),
  341. Assembler::Patchable::Yes);
  342. if (handler.has_value())
  343. block_data_for(handler.value().block()).absolute_references_to_here.append(m_assembler.m_output.size() - 8);
  344. m_assembler.push(Assembler::Operand::Register(GPR0));
  345. // push valid
  346. m_assembler.push(Assembler::Operand::Imm(valid));
  347. // UNWIND_CONTEXT_BASE = STACK_POINTER
  348. m_assembler.mov(
  349. Assembler::Operand::Register(UNWIND_CONTEXT_BASE),
  350. Assembler::Operand::Register(STACK_POINTER));
  351. // align stack pointer
  352. m_assembler.sub(Assembler::Operand::Register(STACK_POINTER), Assembler::Operand::Imm(8));
  353. }
  354. void Compiler::pop_unwind_context()
  355. {
  356. m_assembler.add(Assembler::Operand::Register(STACK_POINTER), Assembler::Operand::Imm(32));
  357. m_assembler.add(Assembler::Operand::Register(UNWIND_CONTEXT_BASE), Assembler::Operand::Imm(32));
  358. }
  359. void Compiler::compile_enter_unwind_context(Bytecode::Op::EnterUnwindContext const& op)
  360. {
  361. push_unwind_context(true, op.handler_target(), op.finalizer_target());
  362. m_assembler.jump(label_for(op.entry_point().block()));
  363. }
  364. void Compiler::compile_leave_unwind_context(Bytecode::Op::LeaveUnwindContext const&)
  365. {
  366. pop_unwind_context();
  367. }
  368. void Compiler::compile_throw(Bytecode::Op::Throw const&)
  369. {
  370. load_vm_register(GPR0, Bytecode::Register::accumulator());
  371. store_vm_register(Bytecode::Register::exception(), GPR0);
  372. check_exception();
  373. }
  374. static ThrowCompletionOr<Value> abstract_inequals(VM& vm, Value src1, Value src2)
  375. {
  376. return Value(!TRY(is_loosely_equal(vm, src1, src2)));
  377. }
  378. static ThrowCompletionOr<Value> abstract_equals(VM& vm, Value src1, Value src2)
  379. {
  380. return Value(TRY(is_loosely_equal(vm, src1, src2)));
  381. }
  382. static ThrowCompletionOr<Value> typed_inequals(VM&, Value src1, Value src2)
  383. {
  384. return Value(!is_strictly_equal(src1, src2));
  385. }
  386. static ThrowCompletionOr<Value> typed_equals(VM&, Value src1, Value src2)
  387. {
  388. return Value(is_strictly_equal(src1, src2));
  389. }
  390. # define DO_COMPILE_COMMON_BINARY_OP(TitleCaseName, snake_case_name) \
  391. static Value cxx_##snake_case_name(VM& vm, Value lhs, Value rhs) \
  392. { \
  393. return TRY_OR_SET_EXCEPTION(snake_case_name(vm, lhs, rhs)); \
  394. } \
  395. \
  396. void Compiler::compile_##snake_case_name(Bytecode::Op::TitleCaseName const& op) \
  397. { \
  398. load_vm_register(ARG1, op.lhs()); \
  399. load_vm_register(ARG2, Bytecode::Register::accumulator()); \
  400. m_assembler.native_call((void*)cxx_##snake_case_name); \
  401. store_vm_register(Bytecode::Register::accumulator(), RET); \
  402. check_exception(); \
  403. }
  404. JS_ENUMERATE_COMMON_BINARY_OPS_WITHOUT_FAST_PATH(DO_COMPILE_COMMON_BINARY_OP)
  405. # undef DO_COMPILE_COMMON_BINARY_OP
  406. static Value cxx_less_than(VM& vm, Value lhs, Value rhs)
  407. {
  408. return TRY_OR_SET_EXCEPTION(less_than(vm, lhs, rhs));
  409. }
  410. void Compiler::compile_less_than(Bytecode::Op::LessThan const& op)
  411. {
  412. load_vm_register(ARG1, op.lhs());
  413. load_vm_register(ARG2, Bytecode::Register::accumulator());
  414. auto end = m_assembler.make_label();
  415. branch_if_both_int32(ARG1, ARG2, [&] {
  416. // if (ARG1 < ARG2) return true;
  417. // else return false;
  418. auto true_case = m_assembler.make_label();
  419. m_assembler.sign_extend_32_to_64_bits(ARG1);
  420. m_assembler.sign_extend_32_to_64_bits(ARG2);
  421. m_assembler.jump_if_less_than(
  422. Assembler::Operand::Register(ARG1),
  423. Assembler::Operand::Register(ARG2),
  424. true_case);
  425. m_assembler.mov(
  426. Assembler::Operand::Register(GPR0),
  427. Assembler::Operand::Imm(Value(false).encoded()));
  428. store_vm_register(Bytecode::Register::accumulator(), GPR0);
  429. m_assembler.jump(end);
  430. true_case.link(m_assembler);
  431. m_assembler.mov(
  432. Assembler::Operand::Register(GPR0),
  433. Assembler::Operand::Imm(Value(true).encoded()));
  434. store_vm_register(Bytecode::Register::accumulator(), GPR0);
  435. m_assembler.jump(end);
  436. });
  437. m_assembler.native_call((void*)cxx_less_than);
  438. store_vm_register(Bytecode::Register::accumulator(), RET);
  439. check_exception();
  440. end.link(m_assembler);
  441. }
  442. static ThrowCompletionOr<Value> not_(VM&, Value value)
  443. {
  444. return Value(!value.to_boolean());
  445. }
  446. static ThrowCompletionOr<Value> typeof_(VM& vm, Value value)
  447. {
  448. return PrimitiveString::create(vm, value.typeof());
  449. }
  450. # define DO_COMPILE_COMMON_UNARY_OP(TitleCaseName, snake_case_name) \
  451. static Value cxx_##snake_case_name(VM& vm, Value value) \
  452. { \
  453. return TRY_OR_SET_EXCEPTION(snake_case_name(vm, value)); \
  454. } \
  455. \
  456. void Compiler::compile_##snake_case_name(Bytecode::Op::TitleCaseName const&) \
  457. { \
  458. load_vm_register(ARG1, Bytecode::Register::accumulator()); \
  459. m_assembler.native_call((void*)cxx_##snake_case_name); \
  460. store_vm_register(Bytecode::Register::accumulator(), RET); \
  461. check_exception(); \
  462. }
  463. JS_ENUMERATE_COMMON_UNARY_OPS(DO_COMPILE_COMMON_UNARY_OP)
  464. # undef DO_COMPILE_COMMON_UNARY_OP
  465. void Compiler::compile_return(Bytecode::Op::Return const&)
  466. {
  467. load_vm_register(GPR0, Bytecode::Register::accumulator());
  468. // check for finalizer
  469. // if (!unwind_context.valid) goto normal_return;
  470. auto normal_return = m_assembler.make_label();
  471. m_assembler.mov(
  472. Assembler::Operand::Register(GPR1),
  473. Assembler::Operand::Mem64BaseAndOffset(UNWIND_CONTEXT_BASE, 0));
  474. m_assembler.jump_if_equal(
  475. Assembler::Operand::Register(GPR1),
  476. Assembler::Operand::Imm(0),
  477. normal_return);
  478. // if (!unwind_context.finalizer) goto normal_return;
  479. m_assembler.mov(
  480. Assembler::Operand::Register(GPR1),
  481. Assembler::Operand::Mem64BaseAndOffset(UNWIND_CONTEXT_BASE, 16));
  482. m_assembler.jump_if_equal(
  483. Assembler::Operand::Register(GPR1),
  484. Assembler::Operand::Imm(0),
  485. normal_return);
  486. store_vm_register(Bytecode::Register::saved_return_value(), GPR0);
  487. m_assembler.jump(Assembler::Operand::Register(GPR1));
  488. // normal_return:
  489. normal_return.link(m_assembler);
  490. store_vm_register(Bytecode::Register::return_value(), GPR0);
  491. jump_to_exit();
  492. }
  493. static Value cxx_new_string(VM& vm, DeprecatedString const& string)
  494. {
  495. return PrimitiveString::create(vm, string);
  496. }
  497. void Compiler::compile_new_string(Bytecode::Op::NewString const& op)
  498. {
  499. auto const& string = m_bytecode_executable.string_table->get(op.index());
  500. m_assembler.mov(
  501. Assembler::Operand::Register(ARG1),
  502. Assembler::Operand::Imm(bit_cast<u64>(&string)));
  503. m_assembler.native_call((void*)cxx_new_string);
  504. store_vm_register(Bytecode::Register::accumulator(), RET);
  505. }
  506. static Value cxx_new_regexp(VM& vm, Bytecode::ParsedRegex const& parsed_regex, DeprecatedString const& pattern, DeprecatedString const& flags)
  507. {
  508. return Bytecode::new_regexp(vm, parsed_regex, pattern, flags);
  509. }
  510. void Compiler::compile_new_regexp(Bytecode::Op::NewRegExp const& op)
  511. {
  512. auto const& parsed_regex = m_bytecode_executable.regex_table->get(op.regex_index());
  513. auto const& pattern = m_bytecode_executable.string_table->get(op.source_index());
  514. auto const& flags = m_bytecode_executable.string_table->get(op.flags_index());
  515. m_assembler.mov(
  516. Assembler::Operand::Register(ARG1),
  517. Assembler::Operand::Imm(bit_cast<u64>(&parsed_regex)));
  518. m_assembler.mov(
  519. Assembler::Operand::Register(ARG2),
  520. Assembler::Operand::Imm(bit_cast<u64>(&pattern)));
  521. m_assembler.mov(
  522. Assembler::Operand::Register(ARG3),
  523. Assembler::Operand::Imm(bit_cast<u64>(&flags)));
  524. m_assembler.native_call((void*)cxx_new_regexp);
  525. store_vm_register(Bytecode::Register::accumulator(), RET);
  526. }
  527. static Value cxx_new_object(VM& vm)
  528. {
  529. auto& realm = *vm.current_realm();
  530. return Object::create(realm, realm.intrinsics().object_prototype());
  531. }
  532. void Compiler::compile_new_object(Bytecode::Op::NewObject const&)
  533. {
  534. m_assembler.native_call((void*)cxx_new_object);
  535. store_vm_register(Bytecode::Register::accumulator(), RET);
  536. }
  537. static Value cxx_new_array(VM& vm, size_t element_count, u32 first_register_index)
  538. {
  539. auto& realm = *vm.current_realm();
  540. auto array = MUST(Array::create(realm, 0));
  541. for (size_t i = 0; i < element_count; ++i) {
  542. auto& value = vm.bytecode_interpreter().reg(Bytecode::Register(first_register_index + i));
  543. array->indexed_properties().put(i, value, default_attributes);
  544. }
  545. return array;
  546. }
  547. void Compiler::compile_new_array(Bytecode::Op::NewArray const& op)
  548. {
  549. m_assembler.mov(
  550. Assembler::Operand::Register(ARG1),
  551. Assembler::Operand::Imm(op.element_count()));
  552. m_assembler.mov(
  553. Assembler::Operand::Register(ARG2),
  554. Assembler::Operand::Imm(op.element_count() ? op.start().index() : 0));
  555. m_assembler.native_call((void*)cxx_new_array);
  556. store_vm_register(Bytecode::Register::accumulator(), RET);
  557. }
  558. static Value cxx_new_function(
  559. VM& vm,
  560. FunctionExpression const& function_node,
  561. Optional<Bytecode::IdentifierTableIndex> const& lhs_name,
  562. Optional<Bytecode::Register> const& home_object)
  563. {
  564. return Bytecode::new_function(vm, function_node, lhs_name, home_object);
  565. }
  566. void Compiler::compile_new_function(Bytecode::Op::NewFunction const& op)
  567. {
  568. m_assembler.mov(
  569. Assembler::Operand::Register(ARG1),
  570. Assembler::Operand::Imm(bit_cast<u64>(&op.function_node())));
  571. m_assembler.mov(
  572. Assembler::Operand::Register(ARG2),
  573. Assembler::Operand::Imm(bit_cast<u64>(&op.lhs_name())));
  574. m_assembler.mov(
  575. Assembler::Operand::Register(ARG3),
  576. Assembler::Operand::Imm(bit_cast<u64>(&op.home_object())));
  577. m_assembler.native_call((void*)cxx_new_function);
  578. store_vm_register(Bytecode::Register::accumulator(), RET);
  579. }
  580. static Value cxx_get_by_id(VM& vm, Value base, Bytecode::IdentifierTableIndex property, u32 cache_index)
  581. {
  582. return TRY_OR_SET_EXCEPTION(Bytecode::get_by_id(vm.bytecode_interpreter(), property, base, base, cache_index));
  583. }
  584. void Compiler::compile_get_by_id(Bytecode::Op::GetById const& op)
  585. {
  586. load_vm_register(ARG1, Bytecode::Register::accumulator());
  587. m_assembler.mov(
  588. Assembler::Operand::Register(ARG2),
  589. Assembler::Operand::Imm(op.property().value()));
  590. m_assembler.mov(
  591. Assembler::Operand::Register(ARG3),
  592. Assembler::Operand::Imm(op.cache_index()));
  593. m_assembler.native_call((void*)cxx_get_by_id);
  594. store_vm_register(Bytecode::Register::accumulator(), RET);
  595. check_exception();
  596. }
  597. static Value cxx_get_by_value(VM& vm, Value base, Value property)
  598. {
  599. return TRY_OR_SET_EXCEPTION(Bytecode::get_by_value(vm.bytecode_interpreter(), base, property));
  600. }
  601. void Compiler::compile_get_by_value(Bytecode::Op::GetByValue const& op)
  602. {
  603. load_vm_register(ARG1, op.base());
  604. load_vm_register(ARG2, Bytecode::Register::accumulator());
  605. m_assembler.native_call((void*)cxx_get_by_value);
  606. store_vm_register(Bytecode::Register::accumulator(), RET);
  607. check_exception();
  608. }
  609. static Value cxx_get_global(VM& vm, Bytecode::IdentifierTableIndex identifier, u32 cache_index)
  610. {
  611. return TRY_OR_SET_EXCEPTION(Bytecode::get_global(vm.bytecode_interpreter(), identifier, cache_index));
  612. }
  613. void Compiler::compile_get_global(Bytecode::Op::GetGlobal const& op)
  614. {
  615. m_assembler.mov(
  616. Assembler::Operand::Register(ARG1),
  617. Assembler::Operand::Imm(op.identifier().value()));
  618. m_assembler.mov(
  619. Assembler::Operand::Register(ARG2),
  620. Assembler::Operand::Imm(op.cache_index()));
  621. m_assembler.native_call((void*)cxx_get_global);
  622. store_vm_register(Bytecode::Register::accumulator(), RET);
  623. check_exception();
  624. }
  625. static Value cxx_get_variable(VM& vm, DeprecatedFlyString const& name, u32 cache_index)
  626. {
  627. return TRY_OR_SET_EXCEPTION(Bytecode::get_variable(vm.bytecode_interpreter(), name, cache_index));
  628. }
  629. void Compiler::compile_get_variable(Bytecode::Op::GetVariable const& op)
  630. {
  631. m_assembler.mov(
  632. Assembler::Operand::Register(ARG1),
  633. Assembler::Operand::Imm(bit_cast<u64>(&m_bytecode_executable.get_identifier(op.identifier()))));
  634. m_assembler.mov(
  635. Assembler::Operand::Register(ARG2),
  636. Assembler::Operand::Imm(op.cache_index()));
  637. m_assembler.native_call((void*)cxx_get_variable);
  638. store_vm_register(Bytecode::Register::accumulator(), RET);
  639. check_exception();
  640. }
  641. 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)
  642. {
  643. auto& bytecode_interpreter = vm.bytecode_interpreter();
  644. auto callee_and_this = TRY_OR_SET_EXCEPTION(Bytecode::get_callee_and_this_from_environment(
  645. bytecode_interpreter,
  646. name,
  647. cache_index));
  648. bytecode_interpreter.reg(callee_reg) = callee_and_this.callee;
  649. bytecode_interpreter.reg(this_reg) = callee_and_this.this_value;
  650. return {};
  651. }
  652. void Compiler::compile_get_callee_and_this_from_environment(Bytecode::Op::GetCalleeAndThisFromEnvironment const& op)
  653. {
  654. m_assembler.mov(
  655. Assembler::Operand::Register(ARG1),
  656. Assembler::Operand::Imm(bit_cast<u64>(&m_bytecode_executable.get_identifier(op.identifier()))));
  657. m_assembler.mov(
  658. Assembler::Operand::Register(ARG2),
  659. Assembler::Operand::Imm(op.cache_index()));
  660. m_assembler.mov(
  661. Assembler::Operand::Register(ARG3),
  662. Assembler::Operand::Imm(op.callee().index()));
  663. m_assembler.mov(
  664. Assembler::Operand::Register(ARG4),
  665. Assembler::Operand::Imm(op.this_().index()));
  666. m_assembler.native_call((void*)cxx_get_callee_and_this_from_environment);
  667. check_exception();
  668. }
  669. static Value cxx_to_numeric(VM& vm, Value value)
  670. {
  671. return TRY_OR_SET_EXCEPTION(value.to_numeric(vm));
  672. }
  673. void Compiler::compile_to_numeric(Bytecode::Op::ToNumeric const&)
  674. {
  675. load_vm_register(ARG1, Bytecode::Register::accumulator());
  676. m_assembler.native_call((void*)cxx_to_numeric);
  677. store_vm_register(Bytecode::Register::accumulator(), RET);
  678. check_exception();
  679. }
  680. static Value cxx_resolve_this_binding(VM& vm)
  681. {
  682. auto this_value = TRY_OR_SET_EXCEPTION(vm.resolve_this_binding());
  683. vm.bytecode_interpreter().reg(Bytecode::Register::this_value()) = this_value;
  684. return this_value;
  685. }
  686. void Compiler::compile_resolve_this_binding(Bytecode::Op::ResolveThisBinding const&)
  687. {
  688. // OPTIMIZATION: We cache the `this` value in a special VM register.
  689. // So first we check if the cache is non-empty, and if so,
  690. // we can avoid calling out to C++ at all. :^)
  691. load_vm_register(GPR0, Bytecode::Register::this_value());
  692. m_assembler.mov(
  693. Assembler::Operand::Register(GPR1),
  694. Assembler::Operand::Imm(Value().encoded()));
  695. auto slow_case = m_assembler.make_label();
  696. m_assembler.jump_if_equal(
  697. Assembler::Operand::Register(GPR0),
  698. Assembler::Operand::Register(GPR1),
  699. slow_case);
  700. // Fast case: We have a cached `this` value!
  701. store_vm_register(Bytecode::Register::accumulator(), GPR0);
  702. auto end = m_assembler.jump();
  703. slow_case.link(m_assembler);
  704. m_assembler.native_call((void*)cxx_resolve_this_binding);
  705. store_vm_register(Bytecode::Register::accumulator(), RET);
  706. check_exception();
  707. end.link(m_assembler);
  708. }
  709. static Value cxx_put_by_id(VM& vm, Value base, Bytecode::IdentifierTableIndex property, Value value, Bytecode::Op::PropertyKind kind)
  710. {
  711. PropertyKey name = vm.bytecode_interpreter().current_executable().get_identifier(property);
  712. TRY_OR_SET_EXCEPTION(Bytecode::put_by_property_key(vm, base, base, value, name, kind));
  713. vm.bytecode_interpreter().accumulator() = value;
  714. return {};
  715. }
  716. void Compiler::compile_put_by_id(Bytecode::Op::PutById const& op)
  717. {
  718. load_vm_register(ARG1, op.base());
  719. m_assembler.mov(
  720. Assembler::Operand::Register(ARG2),
  721. Assembler::Operand::Imm(op.property().value()));
  722. load_vm_register(ARG3, Bytecode::Register::accumulator());
  723. m_assembler.mov(
  724. Assembler::Operand::Register(ARG4),
  725. Assembler::Operand::Imm(to_underlying(op.kind())));
  726. m_assembler.native_call((void*)cxx_put_by_id);
  727. check_exception();
  728. }
  729. static Value cxx_put_by_value(VM& vm, Value base, Value property, Value value, Bytecode::Op::PropertyKind kind)
  730. {
  731. TRY_OR_SET_EXCEPTION(Bytecode::put_by_value(vm, base, property, value, kind));
  732. vm.bytecode_interpreter().accumulator() = value;
  733. return {};
  734. }
  735. void Compiler::compile_put_by_value(Bytecode::Op::PutByValue const& op)
  736. {
  737. load_vm_register(ARG1, op.base());
  738. load_vm_register(ARG2, op.property());
  739. load_vm_register(ARG3, Bytecode::Register::accumulator());
  740. m_assembler.mov(
  741. Assembler::Operand::Register(ARG4),
  742. Assembler::Operand::Imm(to_underlying(op.kind())));
  743. m_assembler.native_call((void*)cxx_put_by_value);
  744. check_exception();
  745. }
  746. 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)
  747. {
  748. TRY_OR_SET_EXCEPTION(throw_if_needed_for_call(vm.bytecode_interpreter(), callee, call_type, expression_string));
  749. MarkedVector<Value> argument_values(vm.heap());
  750. argument_values.ensure_capacity(argument_count);
  751. for (u32 i = 0; i < argument_count; ++i) {
  752. argument_values.unchecked_append(vm.bytecode_interpreter().reg(Bytecode::Register { first_argument_index + i }));
  753. }
  754. return TRY_OR_SET_EXCEPTION(perform_call(vm.bytecode_interpreter(), this_value, call_type, callee, move(argument_values)));
  755. }
  756. void Compiler::compile_call(Bytecode::Op::Call const& op)
  757. {
  758. load_vm_register(ARG1, op.callee());
  759. m_assembler.mov(
  760. Assembler::Operand::Register(ARG2),
  761. Assembler::Operand::Imm(op.first_argument().index()));
  762. m_assembler.mov(
  763. Assembler::Operand::Register(ARG3),
  764. Assembler::Operand::Imm(op.argument_count()));
  765. load_vm_register(ARG4, op.this_value());
  766. m_assembler.mov(
  767. Assembler::Operand::Register(ARG5),
  768. Assembler::Operand::Imm(to_underlying(op.call_type())));
  769. m_assembler.mov(
  770. Assembler::Operand::Register(GPR0),
  771. Assembler::Operand::Imm(bit_cast<u64>(&op.expression_string())));
  772. m_assembler.native_call((void*)cxx_call, { Assembler::Operand::Register(GPR0) });
  773. store_vm_register(Bytecode::Register::accumulator(), RET);
  774. check_exception();
  775. }
  776. static Value cxx_typeof_variable(VM& vm, DeprecatedFlyString const& identifier)
  777. {
  778. return TRY_OR_SET_EXCEPTION(Bytecode::typeof_variable(vm, identifier));
  779. }
  780. void Compiler::compile_typeof_variable(Bytecode::Op::TypeofVariable const& op)
  781. {
  782. m_assembler.mov(
  783. Assembler::Operand::Register(ARG1),
  784. Assembler::Operand::Imm(bit_cast<u64>(&m_bytecode_executable.get_identifier(op.identifier().value()))));
  785. m_assembler.native_call((void*)cxx_typeof_variable);
  786. store_vm_register(Bytecode::Register::accumulator(), RET);
  787. check_exception();
  788. }
  789. static Value cxx_set_variable(
  790. VM& vm,
  791. DeprecatedFlyString const& identifier,
  792. Value value,
  793. Bytecode::Op::EnvironmentMode environment_mode,
  794. Bytecode::Op::SetVariable::InitializationMode initialization_mode)
  795. {
  796. TRY_OR_SET_EXCEPTION(Bytecode::set_variable(vm, identifier, value, environment_mode, initialization_mode));
  797. return {};
  798. }
  799. void Compiler::compile_set_variable(Bytecode::Op::SetVariable const& op)
  800. {
  801. m_assembler.mov(
  802. Assembler::Operand::Register(ARG1),
  803. Assembler::Operand::Imm(bit_cast<u64>(&m_bytecode_executable.get_identifier(op.identifier().value()))));
  804. load_vm_register(ARG2, Bytecode::Register::accumulator());
  805. m_assembler.mov(
  806. Assembler::Operand::Register(ARG3),
  807. Assembler::Operand::Imm(to_underlying(op.mode())));
  808. m_assembler.mov(
  809. Assembler::Operand::Register(ARG4),
  810. Assembler::Operand::Imm(to_underlying(op.initialization_mode())));
  811. m_assembler.native_call((void*)cxx_set_variable);
  812. check_exception();
  813. }
  814. void Compiler::compile_continue_pending_unwind(Bytecode::Op::ContinuePendingUnwind const& op)
  815. {
  816. // re-throw the exception if we reached the end of the finally block and there was no catch block to handle it
  817. check_exception();
  818. // if (!saved_return_value.is_empty()) goto resume_block;
  819. load_vm_register(GPR0, Bytecode::Register::saved_return_value());
  820. m_assembler.mov(Assembler::Operand::Register(GPR1), Assembler::Operand::Imm(Value().encoded()));
  821. m_assembler.jump_if_not_equal(Assembler::Operand::Register(GPR0), Assembler::Operand::Register(GPR1), label_for(op.resume_target().block()));
  822. // finish the pending return from the try block
  823. store_vm_register(Bytecode::Register::return_value(), GPR0);
  824. jump_to_exit();
  825. }
  826. static void cxx_create_lexical_environment(VM& vm)
  827. {
  828. auto make_and_swap_envs = [&](auto& old_environment) {
  829. GCPtr<Environment> environment = new_declarative_environment(*old_environment).ptr();
  830. swap(old_environment, environment);
  831. return environment;
  832. };
  833. vm.bytecode_interpreter().saved_lexical_environment_stack().append(make_and_swap_envs(vm.running_execution_context().lexical_environment));
  834. }
  835. void Compiler::compile_create_lexical_environment(Bytecode::Op::CreateLexicalEnvironment const&)
  836. {
  837. m_assembler.native_call((void*)cxx_create_lexical_environment);
  838. }
  839. static void cxx_leave_lexical_environment(VM& vm)
  840. {
  841. vm.running_execution_context().lexical_environment = vm.bytecode_interpreter().saved_lexical_environment_stack().take_last();
  842. }
  843. void Compiler::compile_leave_lexical_environment(Bytecode::Op::LeaveLexicalEnvironment const&)
  844. {
  845. m_assembler.native_call((void*)cxx_leave_lexical_environment);
  846. }
  847. void Compiler::jump_to_exit()
  848. {
  849. m_assembler.jump(m_exit_label);
  850. }
  851. OwnPtr<NativeExecutable> Compiler::compile(Bytecode::Executable& bytecode_executable)
  852. {
  853. if (!getenv("LIBJS_JIT"))
  854. return nullptr;
  855. Compiler compiler { bytecode_executable };
  856. compiler.m_assembler.enter();
  857. compiler.m_assembler.mov(
  858. Assembler::Operand::Register(REGISTER_ARRAY_BASE),
  859. Assembler::Operand::Register(ARG1));
  860. compiler.m_assembler.mov(
  861. Assembler::Operand::Register(LOCALS_ARRAY_BASE),
  862. Assembler::Operand::Register(ARG2));
  863. compiler.push_unwind_context(false, {}, {});
  864. for (auto& block : bytecode_executable.basic_blocks) {
  865. compiler.block_data_for(*block).start_offset = compiler.m_output.size();
  866. auto it = Bytecode::InstructionStreamIterator(block->instruction_stream());
  867. while (!it.at_end()) {
  868. auto const& op = *it;
  869. switch (op.type()) {
  870. case Bytecode::Instruction::Type::LoadImmediate:
  871. compiler.compile_load_immediate(static_cast<Bytecode::Op::LoadImmediate const&>(op));
  872. break;
  873. case Bytecode::Instruction::Type::Store:
  874. compiler.compile_store(static_cast<Bytecode::Op::Store const&>(op));
  875. break;
  876. case Bytecode::Instruction::Type::Load:
  877. compiler.compile_load(static_cast<Bytecode::Op::Load const&>(op));
  878. break;
  879. case Bytecode::Instruction::Type::GetLocal:
  880. compiler.compile_get_local(static_cast<Bytecode::Op::GetLocal const&>(op));
  881. break;
  882. case Bytecode::Instruction::Type::SetLocal:
  883. compiler.compile_set_local(static_cast<Bytecode::Op::SetLocal const&>(op));
  884. break;
  885. case Bytecode::Instruction::Type::TypeofLocal:
  886. compiler.compile_typeof_local(static_cast<Bytecode::Op::TypeofLocal const&>(op));
  887. break;
  888. case Bytecode::Instruction::Type::Jump:
  889. compiler.compile_jump(static_cast<Bytecode::Op::Jump const&>(op));
  890. break;
  891. case Bytecode::Instruction::Type::JumpConditional:
  892. compiler.compile_jump_conditional(static_cast<Bytecode::Op::JumpConditional const&>(op));
  893. break;
  894. case Bytecode::Instruction::Type::JumpNullish:
  895. compiler.compile_jump_nullish(static_cast<Bytecode::Op::JumpNullish const&>(op));
  896. break;
  897. case Bytecode::Instruction::Type::Increment:
  898. compiler.compile_increment(static_cast<Bytecode::Op::Increment const&>(op));
  899. break;
  900. case Bytecode::Instruction::Type::Decrement:
  901. compiler.compile_decrement(static_cast<Bytecode::Op::Decrement const&>(op));
  902. break;
  903. case Bytecode::Instruction::Type::EnterUnwindContext:
  904. compiler.compile_enter_unwind_context(static_cast<Bytecode::Op::EnterUnwindContext const&>(op));
  905. break;
  906. case Bytecode::Instruction::Type::LeaveUnwindContext:
  907. compiler.compile_leave_unwind_context(static_cast<Bytecode::Op::LeaveUnwindContext const&>(op));
  908. break;
  909. case Bytecode::Instruction::Type::Throw:
  910. compiler.compile_throw(static_cast<Bytecode::Op::Throw const&>(op));
  911. break;
  912. case Bytecode::Instruction::Type::Return:
  913. compiler.compile_return(static_cast<Bytecode::Op::Return const&>(op));
  914. break;
  915. case Bytecode::Instruction::Type::CreateLexicalEnvironment:
  916. compiler.compile_create_lexical_environment(static_cast<Bytecode::Op::CreateLexicalEnvironment const&>(op));
  917. break;
  918. case Bytecode::Instruction::Type::LeaveLexicalEnvironment:
  919. compiler.compile_leave_lexical_environment(static_cast<Bytecode::Op::LeaveLexicalEnvironment const&>(op));
  920. break;
  921. case Bytecode::Instruction::Type::NewString:
  922. compiler.compile_new_string(static_cast<Bytecode::Op::NewString const&>(op));
  923. break;
  924. case Bytecode::Instruction::Type::NewObject:
  925. compiler.compile_new_object(static_cast<Bytecode::Op::NewObject const&>(op));
  926. break;
  927. case Bytecode::Instruction::Type::NewArray:
  928. compiler.compile_new_array(static_cast<Bytecode::Op::NewArray const&>(op));
  929. break;
  930. case Bytecode::Instruction::Type::NewFunction:
  931. compiler.compile_new_function(static_cast<Bytecode::Op::NewFunction const&>(op));
  932. break;
  933. case Bytecode::Instruction::Type::NewRegExp:
  934. compiler.compile_new_regexp(static_cast<Bytecode::Op::NewRegExp const&>(op));
  935. break;
  936. case Bytecode::Instruction::Type::GetById:
  937. compiler.compile_get_by_id(static_cast<Bytecode::Op::GetById const&>(op));
  938. break;
  939. case Bytecode::Instruction::Type::GetByValue:
  940. compiler.compile_get_by_value(static_cast<Bytecode::Op::GetByValue const&>(op));
  941. break;
  942. case Bytecode::Instruction::Type::GetGlobal:
  943. compiler.compile_get_global(static_cast<Bytecode::Op::GetGlobal const&>(op));
  944. break;
  945. case Bytecode::Instruction::Type::GetVariable:
  946. compiler.compile_get_variable(static_cast<Bytecode::Op::GetVariable const&>(op));
  947. break;
  948. case Bytecode::Instruction::Type::GetCalleeAndThisFromEnvironment:
  949. compiler.compile_get_callee_and_this_from_environment(static_cast<Bytecode::Op::GetCalleeAndThisFromEnvironment const&>(op));
  950. break;
  951. case Bytecode::Instruction::Type::PutById:
  952. compiler.compile_put_by_id(static_cast<Bytecode::Op::PutById const&>(op));
  953. break;
  954. case Bytecode::Instruction::Type::PutByValue:
  955. compiler.compile_put_by_value(static_cast<Bytecode::Op::PutByValue const&>(op));
  956. break;
  957. case Bytecode::Instruction::Type::ToNumeric:
  958. compiler.compile_to_numeric(static_cast<Bytecode::Op::ToNumeric const&>(op));
  959. break;
  960. case Bytecode::Instruction::Type::ResolveThisBinding:
  961. compiler.compile_resolve_this_binding(static_cast<Bytecode::Op::ResolveThisBinding const&>(op));
  962. break;
  963. case Bytecode::Instruction::Type::Call:
  964. compiler.compile_call(static_cast<Bytecode::Op::Call const&>(op));
  965. break;
  966. case Bytecode::Instruction::Type::TypeofVariable:
  967. compiler.compile_typeof_variable(static_cast<Bytecode::Op::TypeofVariable const&>(op));
  968. break;
  969. case Bytecode::Instruction::Type::SetVariable:
  970. compiler.compile_set_variable(static_cast<Bytecode::Op::SetVariable const&>(op));
  971. break;
  972. case Bytecode::Instruction::Type::LessThan:
  973. compiler.compile_less_than(static_cast<Bytecode::Op::LessThan const&>(op));
  974. break;
  975. case Bytecode::Instruction::Type::ContinuePendingUnwind:
  976. compiler.compile_continue_pending_unwind(static_cast<Bytecode::Op::ContinuePendingUnwind const&>(op));
  977. break;
  978. # define DO_COMPILE_COMMON_BINARY_OP(TitleCaseName, snake_case_name) \
  979. case Bytecode::Instruction::Type::TitleCaseName: \
  980. compiler.compile_##snake_case_name(static_cast<Bytecode::Op::TitleCaseName const&>(op)); \
  981. break;
  982. JS_ENUMERATE_COMMON_BINARY_OPS_WITHOUT_FAST_PATH(DO_COMPILE_COMMON_BINARY_OP)
  983. # undef DO_COMPILE_COMMON_BINARY_OP
  984. # define DO_COMPILE_COMMON_UNARY_OP(TitleCaseName, snake_case_name) \
  985. case Bytecode::Instruction::Type::TitleCaseName: \
  986. compiler.compile_##snake_case_name(static_cast<Bytecode::Op::TitleCaseName const&>(op)); \
  987. break;
  988. JS_ENUMERATE_COMMON_UNARY_OPS(DO_COMPILE_COMMON_UNARY_OP)
  989. # undef DO_COMPILE_COMMON_UNARY_OP
  990. default:
  991. if constexpr (LOG_JIT_FAILURE) {
  992. dbgln("\033[31;1mJIT compilation failed\033[0m: {}", bytecode_executable.name);
  993. dbgln("Unsupported bytecode op: {}", op.to_deprecated_string(bytecode_executable));
  994. }
  995. return nullptr;
  996. }
  997. ++it;
  998. }
  999. if (!block->is_terminated())
  1000. compiler.jump_to_exit();
  1001. }
  1002. compiler.m_exit_label.link(compiler.m_assembler);
  1003. compiler.m_assembler.exit();
  1004. auto* executable_memory = mmap(nullptr, compiler.m_output.size(), PROT_READ | PROT_WRITE, MAP_ANONYMOUS | MAP_PRIVATE, 0, 0);
  1005. if (executable_memory == MAP_FAILED) {
  1006. dbgln("mmap: {}", strerror(errno));
  1007. return nullptr;
  1008. }
  1009. for (auto& block : bytecode_executable.basic_blocks) {
  1010. auto& block_data = compiler.block_data_for(*block);
  1011. block_data.label.link_to(compiler.m_assembler, block_data.start_offset);
  1012. // Patch up all the absolute references
  1013. for (auto& absolute_reference : block_data.absolute_references_to_here) {
  1014. auto offset = bit_cast<u64>(executable_memory) + block_data.start_offset;
  1015. compiler.m_output[absolute_reference + 0] = (offset >> 0) & 0xff;
  1016. compiler.m_output[absolute_reference + 1] = (offset >> 8) & 0xff;
  1017. compiler.m_output[absolute_reference + 2] = (offset >> 16) & 0xff;
  1018. compiler.m_output[absolute_reference + 3] = (offset >> 24) & 0xff;
  1019. compiler.m_output[absolute_reference + 4] = (offset >> 32) & 0xff;
  1020. compiler.m_output[absolute_reference + 5] = (offset >> 40) & 0xff;
  1021. compiler.m_output[absolute_reference + 6] = (offset >> 48) & 0xff;
  1022. compiler.m_output[absolute_reference + 7] = (offset >> 56) & 0xff;
  1023. }
  1024. }
  1025. if constexpr (DUMP_JIT_MACHINE_CODE_TO_STDOUT) {
  1026. (void)write(STDOUT_FILENO, compiler.m_output.data(), compiler.m_output.size());
  1027. }
  1028. memcpy(executable_memory, compiler.m_output.data(), compiler.m_output.size());
  1029. if (mprotect(executable_memory, compiler.m_output.size(), PROT_READ | PROT_EXEC) < 0) {
  1030. dbgln("mprotect: {}", strerror(errno));
  1031. return nullptr;
  1032. }
  1033. if constexpr (LOG_JIT_SUCCESS) {
  1034. dbgln("\033[32;1mJIT compilation succeeded!\033[0m {}", bytecode_executable.name);
  1035. }
  1036. auto executable = make<NativeExecutable>(executable_memory, compiler.m_output.size());
  1037. if constexpr (DUMP_JIT_DISASSEMBLY)
  1038. executable->dump_disassembly();
  1039. return executable;
  1040. }
  1041. }
  1042. #endif