Compiler.cpp 69 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853854855856857858859860861862863864865866867868869870871872873874875876877878879880881882883884885886887888889890891892893894895896897898899900901902903904905906907908909910911912913914915916917918919920921922923924925926927928929930931932933934935936937938939940941942943944945946947948949950951952953954955956957958959960961962963964965966967968969970971972973974975976977978979980981982983984985986987988989990991992993994995996997998999100010011002100310041005100610071008100910101011101210131014101510161017101810191020102110221023102410251026102710281029103010311032103310341035103610371038103910401041104210431044104510461047104810491050105110521053105410551056105710581059106010611062106310641065106610671068106910701071107210731074107510761077107810791080108110821083108410851086108710881089109010911092109310941095109610971098109911001101110211031104110511061107110811091110111111121113111411151116111711181119112011211122112311241125112611271128112911301131113211331134113511361137113811391140114111421143114411451146114711481149115011511152115311541155115611571158115911601161116211631164116511661167116811691170117111721173117411751176117711781179118011811182118311841185118611871188118911901191119211931194119511961197119811991200120112021203120412051206120712081209121012111212121312141215121612171218121912201221122212231224122512261227122812291230123112321233123412351236123712381239124012411242124312441245124612471248124912501251125212531254125512561257125812591260126112621263126412651266126712681269127012711272127312741275127612771278127912801281128212831284128512861287128812891290129112921293129412951296129712981299130013011302130313041305130613071308130913101311131213131314131513161317131813191320132113221323132413251326132713281329133013311332133313341335133613371338133913401341134213431344134513461347134813491350135113521353135413551356135713581359136013611362136313641365136613671368136913701371137213731374137513761377137813791380138113821383138413851386138713881389139013911392139313941395139613971398139914001401140214031404140514061407140814091410141114121413141414151416141714181419142014211422142314241425142614271428142914301431143214331434143514361437143814391440144114421443144414451446144714481449145014511452145314541455145614571458145914601461146214631464146514661467146814691470147114721473147414751476147714781479148014811482148314841485148614871488148914901491149214931494149514961497149814991500150115021503150415051506150715081509151015111512151315141515151615171518151915201521152215231524152515261527152815291530153115321533153415351536153715381539154015411542154315441545154615471548154915501551155215531554155515561557155815591560156115621563156415651566156715681569157015711572157315741575157615771578157915801581158215831584158515861587158815891590159115921593159415951596159715981599160016011602160316041605160616071608160916101611161216131614161516161617161816191620162116221623162416251626162716281629163016311632163316341635163616371638163916401641164216431644164516461647164816491650165116521653165416551656165716581659166016611662166316641665166616671668166916701671167216731674167516761677167816791680168116821683168416851686168716881689169016911692169316941695169616971698169917001701170217031704170517061707170817091710171117121713171417151716171717181719172017211722172317241725172617271728172917301731173217331734173517361737173817391740174117421743174417451746174717481749175017511752175317541755175617571758175917601761176217631764176517661767176817691770177117721773177417751776177717781779178017811782178317841785178617871788178917901791179217931794179517961797179817991800180118021803180418051806180718081809181018111812181318141815181618171818181918201821182218231824182518261827182818291830183118321833183418351836183718381839184018411842184318441845184618471848184918501851185218531854185518561857185818591860186118621863186418651866186718681869187018711872187318741875187618771878187918801881188218831884188518861887
  1. /*
  2. * Copyright (c) 2023, Andreas Kling <kling@serenityos.org>
  3. * Copyright (c) 2023, Simon Wanner <simon@skyrising.xyz>
  4. *
  5. * SPDX-License-Identifier: BSD-2-Clause
  6. */
  7. #include <AK/OwnPtr.h>
  8. #include <AK/Platform.h>
  9. #include <LibJS/Bytecode/CommonImplementations.h>
  10. #include <LibJS/Bytecode/Instruction.h>
  11. #include <LibJS/Bytecode/Interpreter.h>
  12. #include <LibJS/Bytecode/RegexTable.h>
  13. #include <LibJS/JIT/Compiler.h>
  14. #include <LibJS/Runtime/AbstractOperations.h>
  15. #include <LibJS/Runtime/Array.h>
  16. #include <LibJS/Runtime/DeclarativeEnvironment.h>
  17. #include <LibJS/Runtime/ECMAScriptFunctionObject.h>
  18. #include <LibJS/Runtime/FunctionEnvironment.h>
  19. #include <LibJS/Runtime/VM.h>
  20. #include <LibJS/Runtime/ValueInlines.h>
  21. #include <sys/mman.h>
  22. #include <unistd.h>
  23. #if ARCH(X86_64)
  24. # define LOG_JIT_SUCCESS 0
  25. # define LOG_JIT_FAILURE 1
  26. # define DUMP_JIT_MACHINE_CODE_TO_STDOUT 0
  27. # define DUMP_JIT_DISASSEMBLY 0
  28. # define TRY_OR_SET_EXCEPTION(expression) \
  29. ({ \
  30. /* Ignore -Wshadow to allow nesting the macro. */ \
  31. AK_IGNORE_DIAGNOSTIC("-Wshadow", \
  32. auto&& _temporary_result = (expression)); \
  33. static_assert(!::AK::Detail::IsLvalueReference<decltype(_temporary_result.release_value())>, \
  34. "Do not return a reference from a fallible expression"); \
  35. if (_temporary_result.is_error()) [[unlikely]] { \
  36. vm.bytecode_interpreter().reg(Bytecode::Register::exception()) = _temporary_result.release_error().value().value(); \
  37. return {}; \
  38. } \
  39. _temporary_result.release_value(); \
  40. })
  41. namespace JS::JIT {
  42. void Compiler::store_vm_register(Bytecode::Register dst, Assembler::Reg src)
  43. {
  44. m_assembler.mov(
  45. Assembler::Operand::Mem64BaseAndOffset(REGISTER_ARRAY_BASE, dst.index() * sizeof(Value)),
  46. Assembler::Operand::Register(src));
  47. }
  48. void Compiler::load_vm_register(Assembler::Reg dst, Bytecode::Register src)
  49. {
  50. m_assembler.mov(
  51. Assembler::Operand::Register(dst),
  52. Assembler::Operand::Mem64BaseAndOffset(REGISTER_ARRAY_BASE, src.index() * sizeof(Value)));
  53. }
  54. void Compiler::store_vm_local(size_t dst, Assembler::Reg src)
  55. {
  56. m_assembler.mov(
  57. Assembler::Operand::Mem64BaseAndOffset(LOCALS_ARRAY_BASE, dst * sizeof(Value)),
  58. Assembler::Operand::Register(src));
  59. }
  60. void Compiler::load_vm_local(Assembler::Reg dst, size_t src)
  61. {
  62. m_assembler.mov(
  63. Assembler::Operand::Register(dst),
  64. Assembler::Operand::Mem64BaseAndOffset(LOCALS_ARRAY_BASE, src * sizeof(Value)));
  65. }
  66. void Compiler::compile_load_immediate(Bytecode::Op::LoadImmediate const& op)
  67. {
  68. m_assembler.mov(
  69. Assembler::Operand::Register(GPR0),
  70. Assembler::Operand::Imm(op.value().encoded()));
  71. store_vm_register(Bytecode::Register::accumulator(), GPR0);
  72. }
  73. void Compiler::compile_load(Bytecode::Op::Load const& op)
  74. {
  75. load_vm_register(GPR0, op.src());
  76. store_vm_register(Bytecode::Register::accumulator(), GPR0);
  77. }
  78. void Compiler::compile_store(Bytecode::Op::Store const& op)
  79. {
  80. load_vm_register(GPR0, Bytecode::Register::accumulator());
  81. store_vm_register(op.dst(), GPR0);
  82. }
  83. void Compiler::compile_get_local(Bytecode::Op::GetLocal const& op)
  84. {
  85. load_vm_local(GPR0, op.index());
  86. store_vm_register(Bytecode::Register::accumulator(), GPR0);
  87. }
  88. void Compiler::compile_set_local(Bytecode::Op::SetLocal const& op)
  89. {
  90. load_vm_register(GPR0, Bytecode::Register::accumulator());
  91. store_vm_local(op.index(), GPR0);
  92. }
  93. static Value cxx_typeof_local(VM& vm, Value value)
  94. {
  95. return PrimitiveString::create(vm, value.typeof());
  96. }
  97. void Compiler::compile_typeof_local(Bytecode::Op::TypeofLocal const& op)
  98. {
  99. load_vm_local(ARG1, op.index());
  100. native_call((void*)cxx_typeof_local);
  101. store_vm_register(Bytecode::Register::accumulator(), GPR0);
  102. }
  103. void Compiler::compile_jump(Bytecode::Op::Jump const& op)
  104. {
  105. m_assembler.jump(label_for(op.true_target()->block()));
  106. }
  107. static bool cxx_to_boolean(VM&, Value value)
  108. {
  109. return value.to_boolean();
  110. }
  111. void Compiler::compile_to_boolean(Assembler::Reg dst, Assembler::Reg src)
  112. {
  113. // dst = src;
  114. m_assembler.mov(
  115. Assembler::Operand::Register(dst),
  116. Assembler::Operand::Register(src));
  117. // dst >>= 48;
  118. m_assembler.shift_right(
  119. Assembler::Operand::Register(dst),
  120. Assembler::Operand::Imm(48));
  121. // if (dst != BOOLEAN_TAG) goto slow_case;
  122. Assembler::Label slow_case {};
  123. m_assembler.jump_if(
  124. Assembler::Operand::Register(dst),
  125. Assembler::Condition::NotEqualTo,
  126. Assembler::Operand::Imm(BOOLEAN_TAG),
  127. slow_case);
  128. // Fast path for JS::Value booleans.
  129. // dst = src;
  130. m_assembler.mov(
  131. Assembler::Operand::Register(dst),
  132. Assembler::Operand::Register(src));
  133. // goto end;
  134. auto end = m_assembler.jump();
  135. // slow_case: // call C++ helper
  136. slow_case.link(m_assembler);
  137. m_assembler.mov(
  138. Assembler::Operand::Register(ARG1),
  139. Assembler::Operand::Register(src));
  140. native_call((void*)cxx_to_boolean);
  141. m_assembler.mov(
  142. Assembler::Operand::Register(dst),
  143. Assembler::Operand::Register(RET));
  144. // end:
  145. end.link(m_assembler);
  146. // dst &= 1;
  147. m_assembler.bitwise_and(
  148. Assembler::Operand::Register(dst),
  149. Assembler::Operand::Imm(1));
  150. }
  151. void Compiler::compile_jump_conditional(Bytecode::Op::JumpConditional const& op)
  152. {
  153. load_vm_register(GPR1, Bytecode::Register::accumulator());
  154. compile_to_boolean(GPR0, GPR1);
  155. m_assembler.jump_if(
  156. Assembler::Operand::Register(GPR0),
  157. Assembler::Condition::EqualTo,
  158. Assembler::Operand::Imm(0),
  159. label_for(op.false_target()->block()));
  160. m_assembler.jump(label_for(op.true_target()->block()));
  161. }
  162. void Compiler::compile_jump_nullish(Bytecode::Op::JumpNullish const& op)
  163. {
  164. load_vm_register(GPR0, Bytecode::Register::accumulator());
  165. m_assembler.shift_right(
  166. Assembler::Operand::Register(GPR0),
  167. Assembler::Operand::Imm(48));
  168. m_assembler.bitwise_and(
  169. Assembler::Operand::Register(GPR0),
  170. Assembler::Operand::Imm(IS_NULLISH_EXTRACT_PATTERN));
  171. m_assembler.jump_if(
  172. Assembler::Operand::Register(GPR0),
  173. Assembler::Condition::EqualTo,
  174. Assembler::Operand::Imm(IS_NULLISH_PATTERN),
  175. label_for(op.true_target()->block()));
  176. m_assembler.jump(label_for(op.false_target()->block()));
  177. }
  178. void Compiler::compile_jump_undefined(Bytecode::Op::JumpUndefined const& op)
  179. {
  180. load_vm_register(GPR0, Bytecode::Register::accumulator());
  181. m_assembler.shift_right(
  182. Assembler::Operand::Register(GPR0),
  183. Assembler::Operand::Imm(48));
  184. m_assembler.jump_if(
  185. Assembler::Operand::Register(GPR0),
  186. Assembler::Condition::EqualTo,
  187. Assembler::Operand::Imm(UNDEFINED_TAG),
  188. label_for(op.true_target()->block()));
  189. m_assembler.jump(label_for(op.false_target()->block()));
  190. }
  191. [[maybe_unused]] static Value cxx_increment(VM& vm, Value value)
  192. {
  193. auto old_value = TRY_OR_SET_EXCEPTION(value.to_numeric(vm));
  194. if (old_value.is_number())
  195. return Value(old_value.as_double() + 1);
  196. return BigInt::create(vm, old_value.as_bigint().big_integer().plus(Crypto::SignedBigInteger { 1 }));
  197. }
  198. void Compiler::jump_if_int32(Assembler::Reg reg, Assembler::Label& label)
  199. {
  200. // GPR0 = reg >> 48;
  201. m_assembler.mov(Assembler::Operand::Register(GPR0), Assembler::Operand::Register(reg));
  202. m_assembler.shift_right(Assembler::Operand::Register(GPR0), Assembler::Operand::Imm(48));
  203. m_assembler.jump_if(
  204. Assembler::Operand::Register(GPR0),
  205. Assembler::Condition::EqualTo,
  206. Assembler::Operand::Imm(INT32_TAG),
  207. label);
  208. }
  209. template<typename Codegen>
  210. void Compiler::branch_if_int32(Assembler::Reg reg, Codegen codegen)
  211. {
  212. // GPR0 = reg >> 48;
  213. m_assembler.mov(Assembler::Operand::Register(GPR0), Assembler::Operand::Register(reg));
  214. m_assembler.shift_right(Assembler::Operand::Register(GPR0), Assembler::Operand::Imm(48));
  215. Assembler::Label not_int32_case {};
  216. m_assembler.jump_if(
  217. Assembler::Operand::Register(GPR0),
  218. Assembler::Condition::NotEqualTo,
  219. Assembler::Operand::Imm(INT32_TAG),
  220. not_int32_case);
  221. codegen();
  222. not_int32_case.link(m_assembler);
  223. }
  224. template<typename Codegen>
  225. void Compiler::branch_if_both_int32(Assembler::Reg lhs, Assembler::Reg rhs, Codegen codegen)
  226. {
  227. // GPR0 = lhs >> 48;
  228. m_assembler.mov(Assembler::Operand::Register(GPR0), Assembler::Operand::Register(lhs));
  229. m_assembler.shift_right(Assembler::Operand::Register(GPR0), Assembler::Operand::Imm(48));
  230. // GPR1 = rhs >> 48;
  231. m_assembler.mov(Assembler::Operand::Register(GPR1), Assembler::Operand::Register(rhs));
  232. m_assembler.shift_right(Assembler::Operand::Register(GPR1), Assembler::Operand::Imm(48));
  233. Assembler::Label not_int32_case {};
  234. m_assembler.jump_if(
  235. Assembler::Operand::Register(GPR0),
  236. Assembler::Condition::NotEqualTo,
  237. Assembler::Operand::Imm(INT32_TAG),
  238. not_int32_case);
  239. m_assembler.jump_if(
  240. Assembler::Operand::Register(GPR1),
  241. Assembler::Condition::NotEqualTo,
  242. Assembler::Operand::Imm(INT32_TAG),
  243. not_int32_case);
  244. codegen();
  245. not_int32_case.link(m_assembler);
  246. }
  247. void Compiler::compile_increment(Bytecode::Op::Increment const&)
  248. {
  249. load_vm_register(ARG1, Bytecode::Register::accumulator());
  250. Assembler::Label end {};
  251. Assembler::Label slow_case {};
  252. branch_if_int32(ARG1, [&] {
  253. // GPR0 = ARG1 & 0xffffffff;
  254. m_assembler.mov(
  255. Assembler::Operand::Register(GPR0),
  256. Assembler::Operand::Register(ARG1));
  257. m_assembler.mov(
  258. Assembler::Operand::Register(GPR1),
  259. Assembler::Operand::Imm(0xffffffff));
  260. m_assembler.bitwise_and(
  261. Assembler::Operand::Register(GPR0),
  262. Assembler::Operand::Register(GPR1));
  263. // if (GPR0 == 0x7fffffff) goto slow_case;
  264. m_assembler.jump_if(
  265. Assembler::Operand::Register(GPR0),
  266. Assembler::Condition::EqualTo,
  267. Assembler::Operand::Imm(0x7fffffff),
  268. slow_case);
  269. // ARG1 += 1;
  270. m_assembler.add(
  271. Assembler::Operand::Register(ARG1),
  272. Assembler::Operand::Imm(1));
  273. // accumulator = ARG1;
  274. store_vm_register(Bytecode::Register::accumulator(), ARG1);
  275. m_assembler.jump(end);
  276. });
  277. slow_case.link(m_assembler);
  278. native_call((void*)cxx_increment);
  279. store_vm_register(Bytecode::Register::accumulator(), RET);
  280. check_exception();
  281. end.link(m_assembler);
  282. }
  283. static Value cxx_decrement(VM& vm, Value value)
  284. {
  285. auto old_value = TRY_OR_SET_EXCEPTION(value.to_numeric(vm));
  286. if (old_value.is_number())
  287. return Value(old_value.as_double() - 1);
  288. return BigInt::create(vm, old_value.as_bigint().big_integer().minus(Crypto::SignedBigInteger { 1 }));
  289. }
  290. void Compiler::compile_decrement(Bytecode::Op::Decrement const&)
  291. {
  292. load_vm_register(ARG1, Bytecode::Register::accumulator());
  293. native_call((void*)cxx_decrement);
  294. store_vm_register(Bytecode::Register::accumulator(), RET);
  295. check_exception();
  296. }
  297. void Compiler::check_exception()
  298. {
  299. // if (!exception.is_empty()) goto m_exception_handler;
  300. load_vm_register(GPR0, Bytecode::Register::exception());
  301. m_assembler.mov(Assembler::Operand::Register(GPR1), Assembler::Operand::Imm(Value().encoded()));
  302. m_assembler.jump_if(
  303. Assembler::Operand::Register(GPR0),
  304. Assembler::Condition::NotEqualTo,
  305. Assembler::Operand::Register(GPR1),
  306. m_exception_handler);
  307. }
  308. void Compiler::handle_exception()
  309. {
  310. // if (!unwind_context.valid) return;
  311. Assembler::Label handle_exception {};
  312. m_assembler.mov(
  313. Assembler::Operand::Register(GPR0),
  314. Assembler::Operand::Mem64BaseAndOffset(UNWIND_CONTEXT_BASE, 0));
  315. m_assembler.jump_if(
  316. Assembler::Operand::Register(GPR0),
  317. Assembler::Condition::NotEqualTo,
  318. Assembler::Operand::Imm(0),
  319. handle_exception);
  320. jump_to_exit();
  321. // handle_exception:
  322. handle_exception.link(m_assembler);
  323. // if (unwind_context.handler) {
  324. Assembler::Label no_handler {};
  325. m_assembler.mov(
  326. Assembler::Operand::Register(GPR0),
  327. Assembler::Operand::Mem64BaseAndOffset(UNWIND_CONTEXT_BASE, 8));
  328. m_assembler.jump_if(
  329. Assembler::Operand::Register(GPR0),
  330. Assembler::Condition::EqualTo,
  331. Assembler::Operand::Imm(0),
  332. no_handler);
  333. // accumulator = exception;
  334. load_vm_register(GPR1, Bytecode::Register::exception());
  335. store_vm_register(Bytecode::Register::accumulator(), GPR1);
  336. // exception = Value();
  337. m_assembler.mov(
  338. Assembler::Operand::Register(GPR1),
  339. Assembler::Operand::Imm(Value().encoded()));
  340. store_vm_register(Bytecode::Register::exception(), GPR1);
  341. // unwind_context.handler = nullptr;
  342. m_assembler.mov(
  343. Assembler::Operand::Register(GPR1),
  344. Assembler::Operand::Imm(0));
  345. m_assembler.mov(
  346. Assembler::Operand::Mem64BaseAndOffset(UNWIND_CONTEXT_BASE, 8),
  347. Assembler::Operand::Register(GPR1));
  348. // goto handler;
  349. m_assembler.jump(Assembler::Operand::Register(GPR0));
  350. // }
  351. // no_handler:
  352. no_handler.link(m_assembler);
  353. // if (unwind_context.finalizer) goto finalizer;
  354. Assembler::Label no_finalizer {};
  355. m_assembler.mov(
  356. Assembler::Operand::Register(GPR0),
  357. Assembler::Operand::Mem64BaseAndOffset(UNWIND_CONTEXT_BASE, 16));
  358. m_assembler.jump_if(
  359. Assembler::Operand::Register(GPR0),
  360. Assembler::Condition::EqualTo,
  361. Assembler::Operand::Imm(0),
  362. no_finalizer);
  363. m_assembler.jump(Assembler::Operand::Register(GPR0));
  364. // no_finalizer:
  365. // NOTE: No catch and no finally!? Crash.
  366. no_finalizer.link(m_assembler);
  367. m_assembler.verify_not_reached();
  368. }
  369. void Compiler::push_unwind_context(bool valid, Optional<Bytecode::Label> const& handler, Optional<Bytecode::Label> const& finalizer)
  370. {
  371. // Put this on the stack, and then point UNWIND_CONTEXT_BASE at it.
  372. // struct {
  373. // u64 valid;
  374. // u64 handler;
  375. // u64 finalizer;
  376. // };
  377. if (finalizer.has_value()) {
  378. // push finalizer (patched later)
  379. m_assembler.mov(
  380. Assembler::Operand::Register(GPR0),
  381. Assembler::Operand::Imm(0),
  382. Assembler::Patchable::Yes);
  383. block_data_for(finalizer.value().block()).absolute_references_to_here.append(m_assembler.m_output.size() - 8);
  384. m_assembler.push(Assembler::Operand::Register(GPR0));
  385. } else {
  386. m_assembler.push(Assembler::Operand::Imm(0));
  387. }
  388. if (handler.has_value()) {
  389. // push handler (patched later)
  390. m_assembler.mov(
  391. Assembler::Operand::Register(GPR0),
  392. Assembler::Operand::Imm(0),
  393. Assembler::Patchable::Yes);
  394. block_data_for(handler.value().block()).absolute_references_to_here.append(m_assembler.m_output.size() - 8);
  395. m_assembler.push(Assembler::Operand::Register(GPR0));
  396. } else {
  397. m_assembler.push(Assembler::Operand::Imm(0));
  398. }
  399. // push valid
  400. m_assembler.push(Assembler::Operand::Imm(valid));
  401. // UNWIND_CONTEXT_BASE = STACK_POINTER
  402. m_assembler.mov(
  403. Assembler::Operand::Register(UNWIND_CONTEXT_BASE),
  404. Assembler::Operand::Register(STACK_POINTER));
  405. // align stack pointer
  406. m_assembler.sub(Assembler::Operand::Register(STACK_POINTER), Assembler::Operand::Imm(8));
  407. }
  408. void Compiler::pop_unwind_context()
  409. {
  410. m_assembler.add(Assembler::Operand::Register(STACK_POINTER), Assembler::Operand::Imm(32));
  411. m_assembler.add(Assembler::Operand::Register(UNWIND_CONTEXT_BASE), Assembler::Operand::Imm(32));
  412. }
  413. void Compiler::compile_enter_unwind_context(Bytecode::Op::EnterUnwindContext const& op)
  414. {
  415. push_unwind_context(true, op.handler_target(), op.finalizer_target());
  416. m_assembler.jump(label_for(op.entry_point().block()));
  417. }
  418. void Compiler::compile_leave_unwind_context(Bytecode::Op::LeaveUnwindContext const&)
  419. {
  420. pop_unwind_context();
  421. }
  422. void Compiler::compile_throw(Bytecode::Op::Throw const&)
  423. {
  424. load_vm_register(GPR0, Bytecode::Register::accumulator());
  425. store_vm_register(Bytecode::Register::exception(), GPR0);
  426. check_exception();
  427. }
  428. static ThrowCompletionOr<Value> abstract_inequals(VM& vm, Value src1, Value src2)
  429. {
  430. return Value(!TRY(is_loosely_equal(vm, src1, src2)));
  431. }
  432. static ThrowCompletionOr<Value> abstract_equals(VM& vm, Value src1, Value src2)
  433. {
  434. return Value(TRY(is_loosely_equal(vm, src1, src2)));
  435. }
  436. static ThrowCompletionOr<Value> typed_inequals(VM&, Value src1, Value src2)
  437. {
  438. return Value(!is_strictly_equal(src1, src2));
  439. }
  440. static ThrowCompletionOr<Value> typed_equals(VM&, Value src1, Value src2)
  441. {
  442. return Value(is_strictly_equal(src1, src2));
  443. }
  444. # define DO_COMPILE_COMMON_BINARY_OP(TitleCaseName, snake_case_name) \
  445. static Value cxx_##snake_case_name(VM& vm, Value lhs, Value rhs) \
  446. { \
  447. return TRY_OR_SET_EXCEPTION(snake_case_name(vm, lhs, rhs)); \
  448. } \
  449. \
  450. void Compiler::compile_##snake_case_name(Bytecode::Op::TitleCaseName const& op) \
  451. { \
  452. load_vm_register(ARG1, op.lhs()); \
  453. load_vm_register(ARG2, Bytecode::Register::accumulator()); \
  454. native_call((void*)cxx_##snake_case_name); \
  455. store_vm_register(Bytecode::Register::accumulator(), RET); \
  456. check_exception(); \
  457. }
  458. JS_ENUMERATE_COMMON_BINARY_OPS_WITHOUT_FAST_PATH(DO_COMPILE_COMMON_BINARY_OP)
  459. # undef DO_COMPILE_COMMON_BINARY_OP
  460. static Value cxx_add(VM& vm, Value lhs, Value rhs)
  461. {
  462. return TRY_OR_SET_EXCEPTION(add(vm, lhs, rhs));
  463. }
  464. void Compiler::compile_add(Bytecode::Op::Add const& op)
  465. {
  466. load_vm_register(ARG1, op.lhs());
  467. load_vm_register(ARG2, Bytecode::Register::accumulator());
  468. Assembler::Label end {};
  469. Assembler::Label slow_case {};
  470. branch_if_both_int32(ARG1, ARG2, [&] {
  471. // GPR0 = ARG1 + ARG2 (32-bit)
  472. // if (overflow) goto slow_case;
  473. m_assembler.mov(
  474. Assembler::Operand::Register(GPR0),
  475. Assembler::Operand::Register(ARG1));
  476. m_assembler.add32(
  477. Assembler::Operand::Register(GPR0),
  478. Assembler::Operand::Register(ARG2),
  479. slow_case);
  480. // accumulator = GPR0 | SHIFTED_INT32_TAG;
  481. m_assembler.mov(
  482. Assembler::Operand::Register(GPR1),
  483. Assembler::Operand::Imm(SHIFTED_INT32_TAG));
  484. m_assembler.bitwise_or(
  485. Assembler::Operand::Register(GPR0),
  486. Assembler::Operand::Register(GPR1));
  487. store_vm_register(Bytecode::Register::accumulator(), GPR0);
  488. m_assembler.jump(end);
  489. });
  490. slow_case.link(m_assembler);
  491. native_call((void*)cxx_add);
  492. store_vm_register(Bytecode::Register::accumulator(), RET);
  493. check_exception();
  494. end.link(m_assembler);
  495. }
  496. static Value cxx_less_than(VM& vm, Value lhs, Value rhs)
  497. {
  498. return TRY_OR_SET_EXCEPTION(less_than(vm, lhs, rhs));
  499. }
  500. void Compiler::compile_less_than(Bytecode::Op::LessThan const& op)
  501. {
  502. load_vm_register(ARG1, op.lhs());
  503. load_vm_register(ARG2, Bytecode::Register::accumulator());
  504. Assembler::Label end {};
  505. branch_if_both_int32(ARG1, ARG2, [&] {
  506. // if (ARG1 < ARG2) return true;
  507. // else return false;
  508. Assembler::Label true_case {};
  509. m_assembler.sign_extend_32_to_64_bits(ARG1);
  510. m_assembler.sign_extend_32_to_64_bits(ARG2);
  511. m_assembler.jump_if(
  512. Assembler::Operand::Register(ARG1),
  513. Assembler::Condition::SignedLessThan,
  514. Assembler::Operand::Register(ARG2),
  515. true_case);
  516. m_assembler.mov(
  517. Assembler::Operand::Register(GPR0),
  518. Assembler::Operand::Imm(Value(false).encoded()));
  519. store_vm_register(Bytecode::Register::accumulator(), GPR0);
  520. m_assembler.jump(end);
  521. true_case.link(m_assembler);
  522. m_assembler.mov(
  523. Assembler::Operand::Register(GPR0),
  524. Assembler::Operand::Imm(Value(true).encoded()));
  525. store_vm_register(Bytecode::Register::accumulator(), GPR0);
  526. m_assembler.jump(end);
  527. });
  528. native_call((void*)cxx_less_than);
  529. store_vm_register(Bytecode::Register::accumulator(), RET);
  530. check_exception();
  531. end.link(m_assembler);
  532. }
  533. static ThrowCompletionOr<Value> not_(VM&, Value value)
  534. {
  535. return Value(!value.to_boolean());
  536. }
  537. static ThrowCompletionOr<Value> typeof_(VM& vm, Value value)
  538. {
  539. return PrimitiveString::create(vm, value.typeof());
  540. }
  541. # define DO_COMPILE_COMMON_UNARY_OP(TitleCaseName, snake_case_name) \
  542. static Value cxx_##snake_case_name(VM& vm, Value value) \
  543. { \
  544. return TRY_OR_SET_EXCEPTION(snake_case_name(vm, value)); \
  545. } \
  546. \
  547. void Compiler::compile_##snake_case_name(Bytecode::Op::TitleCaseName const&) \
  548. { \
  549. load_vm_register(ARG1, Bytecode::Register::accumulator()); \
  550. native_call((void*)cxx_##snake_case_name); \
  551. store_vm_register(Bytecode::Register::accumulator(), RET); \
  552. check_exception(); \
  553. }
  554. JS_ENUMERATE_COMMON_UNARY_OPS(DO_COMPILE_COMMON_UNARY_OP)
  555. # undef DO_COMPILE_COMMON_UNARY_OP
  556. void Compiler::compile_return(Bytecode::Op::Return const&)
  557. {
  558. load_vm_register(GPR0, Bytecode::Register::accumulator());
  559. // check for finalizer
  560. // if (!unwind_context.valid) goto normal_return;
  561. Assembler::Label normal_return {};
  562. m_assembler.mov(
  563. Assembler::Operand::Register(GPR1),
  564. Assembler::Operand::Mem64BaseAndOffset(UNWIND_CONTEXT_BASE, 0));
  565. m_assembler.jump_if(
  566. Assembler::Operand::Register(GPR1),
  567. Assembler::Condition::EqualTo,
  568. Assembler::Operand::Imm(0),
  569. normal_return);
  570. // if (!unwind_context.finalizer) goto normal_return;
  571. m_assembler.mov(
  572. Assembler::Operand::Register(GPR1),
  573. Assembler::Operand::Mem64BaseAndOffset(UNWIND_CONTEXT_BASE, 16));
  574. m_assembler.jump_if(
  575. Assembler::Operand::Register(GPR1),
  576. Assembler::Condition::EqualTo,
  577. Assembler::Operand::Imm(0),
  578. normal_return);
  579. store_vm_register(Bytecode::Register::saved_return_value(), GPR0);
  580. m_assembler.jump(Assembler::Operand::Register(GPR1));
  581. // normal_return:
  582. normal_return.link(m_assembler);
  583. store_vm_register(Bytecode::Register::return_value(), GPR0);
  584. jump_to_exit();
  585. }
  586. static Value cxx_new_string(VM& vm, DeprecatedString const& string)
  587. {
  588. return PrimitiveString::create(vm, string);
  589. }
  590. void Compiler::compile_new_string(Bytecode::Op::NewString const& op)
  591. {
  592. auto const& string = m_bytecode_executable.string_table->get(op.index());
  593. m_assembler.mov(
  594. Assembler::Operand::Register(ARG1),
  595. Assembler::Operand::Imm(bit_cast<u64>(&string)));
  596. native_call((void*)cxx_new_string);
  597. store_vm_register(Bytecode::Register::accumulator(), RET);
  598. }
  599. void Compiler::compile_new_regexp(Bytecode::Op::NewRegExp const& op)
  600. {
  601. auto const& parsed_regex = m_bytecode_executable.regex_table->get(op.regex_index());
  602. auto const& pattern = m_bytecode_executable.string_table->get(op.source_index());
  603. auto const& flags = m_bytecode_executable.string_table->get(op.flags_index());
  604. m_assembler.mov(
  605. Assembler::Operand::Register(ARG1),
  606. Assembler::Operand::Imm(bit_cast<u64>(&parsed_regex)));
  607. m_assembler.mov(
  608. Assembler::Operand::Register(ARG2),
  609. Assembler::Operand::Imm(bit_cast<u64>(&pattern)));
  610. m_assembler.mov(
  611. Assembler::Operand::Register(ARG3),
  612. Assembler::Operand::Imm(bit_cast<u64>(&flags)));
  613. native_call((void*)Bytecode::new_regexp);
  614. store_vm_register(Bytecode::Register::accumulator(), RET);
  615. }
  616. static Value cxx_new_bigint(VM& vm, Crypto::SignedBigInteger const& bigint)
  617. {
  618. return BigInt::create(vm, bigint);
  619. }
  620. void Compiler::compile_new_bigint(Bytecode::Op::NewBigInt const& op)
  621. {
  622. m_assembler.mov(
  623. Assembler::Operand::Register(ARG1),
  624. Assembler::Operand::Imm(bit_cast<u64>(&op.bigint())));
  625. native_call((void*)cxx_new_bigint);
  626. store_vm_register(Bytecode::Register::accumulator(), RET);
  627. }
  628. static Value cxx_new_object(VM& vm)
  629. {
  630. auto& realm = *vm.current_realm();
  631. return Object::create(realm, realm.intrinsics().object_prototype());
  632. }
  633. void Compiler::compile_new_object(Bytecode::Op::NewObject const&)
  634. {
  635. native_call((void*)cxx_new_object);
  636. store_vm_register(Bytecode::Register::accumulator(), RET);
  637. }
  638. static Value cxx_new_array(VM& vm, size_t element_count, u32 first_register_index)
  639. {
  640. auto& realm = *vm.current_realm();
  641. auto array = MUST(Array::create(realm, 0));
  642. for (size_t i = 0; i < element_count; ++i) {
  643. auto& value = vm.bytecode_interpreter().reg(Bytecode::Register(first_register_index + i));
  644. array->indexed_properties().put(i, value, default_attributes);
  645. }
  646. return array;
  647. }
  648. void Compiler::compile_new_array(Bytecode::Op::NewArray const& op)
  649. {
  650. m_assembler.mov(
  651. Assembler::Operand::Register(ARG1),
  652. Assembler::Operand::Imm(op.element_count()));
  653. m_assembler.mov(
  654. Assembler::Operand::Register(ARG2),
  655. Assembler::Operand::Imm(op.element_count() ? op.start().index() : 0));
  656. native_call((void*)cxx_new_array);
  657. store_vm_register(Bytecode::Register::accumulator(), RET);
  658. }
  659. void Compiler::compile_new_function(Bytecode::Op::NewFunction const& op)
  660. {
  661. m_assembler.mov(
  662. Assembler::Operand::Register(ARG1),
  663. Assembler::Operand::Imm(bit_cast<u64>(&op.function_node())));
  664. m_assembler.mov(
  665. Assembler::Operand::Register(ARG2),
  666. Assembler::Operand::Imm(bit_cast<u64>(&op.lhs_name())));
  667. m_assembler.mov(
  668. Assembler::Operand::Register(ARG3),
  669. Assembler::Operand::Imm(bit_cast<u64>(&op.home_object())));
  670. native_call((void*)Bytecode::new_function);
  671. store_vm_register(Bytecode::Register::accumulator(), RET);
  672. }
  673. static Value cxx_new_class(VM& vm, ClassExpression const& class_expression, Optional<Bytecode::IdentifierTableIndex> const& lhs_name)
  674. {
  675. return TRY_OR_SET_EXCEPTION(Bytecode::new_class(vm, class_expression, lhs_name));
  676. }
  677. void Compiler::compile_new_class(Bytecode::Op::NewClass const& op)
  678. {
  679. m_assembler.mov(
  680. Assembler::Operand::Register(ARG1),
  681. Assembler::Operand::Imm(bit_cast<u64>(&op.class_expression())));
  682. m_assembler.mov(
  683. Assembler::Operand::Register(ARG2),
  684. Assembler::Operand::Imm(bit_cast<u64>(&op.lhs_name())));
  685. native_call((void*)cxx_new_class);
  686. store_vm_register(Bytecode::Register::accumulator(), RET);
  687. }
  688. static Value cxx_get_by_id(VM& vm, Value base, Bytecode::IdentifierTableIndex property, u32 cache_index)
  689. {
  690. return TRY_OR_SET_EXCEPTION(Bytecode::get_by_id(vm.bytecode_interpreter(), property, base, base, cache_index));
  691. }
  692. void Compiler::compile_get_by_id(Bytecode::Op::GetById const& op)
  693. {
  694. load_vm_register(ARG1, Bytecode::Register::accumulator());
  695. m_assembler.mov(
  696. Assembler::Operand::Register(ARG2),
  697. Assembler::Operand::Imm(op.property().value()));
  698. m_assembler.mov(
  699. Assembler::Operand::Register(ARG3),
  700. Assembler::Operand::Imm(op.cache_index()));
  701. native_call((void*)cxx_get_by_id);
  702. store_vm_register(Bytecode::Register::accumulator(), RET);
  703. check_exception();
  704. }
  705. static Value cxx_get_by_value(VM& vm, Value base, Value property)
  706. {
  707. return TRY_OR_SET_EXCEPTION(Bytecode::get_by_value(vm.bytecode_interpreter(), base, property));
  708. }
  709. void Compiler::compile_get_by_value(Bytecode::Op::GetByValue const& op)
  710. {
  711. load_vm_register(ARG1, op.base());
  712. load_vm_register(ARG2, Bytecode::Register::accumulator());
  713. native_call((void*)cxx_get_by_value);
  714. store_vm_register(Bytecode::Register::accumulator(), RET);
  715. check_exception();
  716. }
  717. static Value cxx_get_global(VM& vm, Bytecode::IdentifierTableIndex identifier, u32 cache_index)
  718. {
  719. return TRY_OR_SET_EXCEPTION(Bytecode::get_global(vm.bytecode_interpreter(), identifier, cache_index));
  720. }
  721. void Compiler::compile_get_global(Bytecode::Op::GetGlobal const& op)
  722. {
  723. m_assembler.mov(
  724. Assembler::Operand::Register(ARG1),
  725. Assembler::Operand::Imm(op.identifier().value()));
  726. m_assembler.mov(
  727. Assembler::Operand::Register(ARG2),
  728. Assembler::Operand::Imm(op.cache_index()));
  729. native_call((void*)cxx_get_global);
  730. store_vm_register(Bytecode::Register::accumulator(), RET);
  731. check_exception();
  732. }
  733. static Value cxx_get_variable(VM& vm, DeprecatedFlyString const& name, u32 cache_index)
  734. {
  735. return TRY_OR_SET_EXCEPTION(Bytecode::get_variable(vm.bytecode_interpreter(), name, cache_index));
  736. }
  737. void Compiler::compile_get_variable(Bytecode::Op::GetVariable const& op)
  738. {
  739. m_assembler.mov(
  740. Assembler::Operand::Register(ARG1),
  741. Assembler::Operand::Imm(bit_cast<u64>(&m_bytecode_executable.get_identifier(op.identifier()))));
  742. m_assembler.mov(
  743. Assembler::Operand::Register(ARG2),
  744. Assembler::Operand::Imm(op.cache_index()));
  745. native_call((void*)cxx_get_variable);
  746. store_vm_register(Bytecode::Register::accumulator(), RET);
  747. check_exception();
  748. }
  749. 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)
  750. {
  751. auto& bytecode_interpreter = vm.bytecode_interpreter();
  752. auto callee_and_this = TRY_OR_SET_EXCEPTION(Bytecode::get_callee_and_this_from_environment(
  753. bytecode_interpreter,
  754. name,
  755. cache_index));
  756. bytecode_interpreter.reg(callee_reg) = callee_and_this.callee;
  757. bytecode_interpreter.reg(this_reg) = callee_and_this.this_value;
  758. return {};
  759. }
  760. void Compiler::compile_get_callee_and_this_from_environment(Bytecode::Op::GetCalleeAndThisFromEnvironment const& op)
  761. {
  762. m_assembler.mov(
  763. Assembler::Operand::Register(ARG1),
  764. Assembler::Operand::Imm(bit_cast<u64>(&m_bytecode_executable.get_identifier(op.identifier()))));
  765. m_assembler.mov(
  766. Assembler::Operand::Register(ARG2),
  767. Assembler::Operand::Imm(op.cache_index()));
  768. m_assembler.mov(
  769. Assembler::Operand::Register(ARG3),
  770. Assembler::Operand::Imm(op.callee().index()));
  771. m_assembler.mov(
  772. Assembler::Operand::Register(ARG4),
  773. Assembler::Operand::Imm(op.this_().index()));
  774. native_call((void*)cxx_get_callee_and_this_from_environment);
  775. check_exception();
  776. }
  777. static Value cxx_to_numeric(VM& vm, Value value)
  778. {
  779. return TRY_OR_SET_EXCEPTION(value.to_numeric(vm));
  780. }
  781. void Compiler::compile_to_numeric(Bytecode::Op::ToNumeric const&)
  782. {
  783. Assembler::Label fast_case {};
  784. load_vm_register(ARG1, Bytecode::Register::accumulator());
  785. jump_if_int32(ARG1, fast_case);
  786. native_call((void*)cxx_to_numeric);
  787. store_vm_register(Bytecode::Register::accumulator(), RET);
  788. check_exception();
  789. fast_case.link(m_assembler);
  790. }
  791. static Value cxx_resolve_this_binding(VM& vm)
  792. {
  793. auto this_value = TRY_OR_SET_EXCEPTION(vm.resolve_this_binding());
  794. vm.bytecode_interpreter().reg(Bytecode::Register::this_value()) = this_value;
  795. return this_value;
  796. }
  797. void Compiler::compile_resolve_this_binding(Bytecode::Op::ResolveThisBinding const&)
  798. {
  799. // OPTIMIZATION: We cache the `this` value in a special VM register.
  800. // So first we check if the cache is non-empty, and if so,
  801. // we can avoid calling out to C++ at all. :^)
  802. load_vm_register(GPR0, Bytecode::Register::this_value());
  803. m_assembler.mov(
  804. Assembler::Operand::Register(GPR1),
  805. Assembler::Operand::Imm(Value().encoded()));
  806. Assembler::Label slow_case {};
  807. m_assembler.jump_if(
  808. Assembler::Operand::Register(GPR0),
  809. Assembler::Condition::EqualTo,
  810. Assembler::Operand::Register(GPR1),
  811. slow_case);
  812. // Fast case: We have a cached `this` value!
  813. store_vm_register(Bytecode::Register::accumulator(), GPR0);
  814. auto end = m_assembler.jump();
  815. slow_case.link(m_assembler);
  816. native_call((void*)cxx_resolve_this_binding);
  817. store_vm_register(Bytecode::Register::accumulator(), RET);
  818. check_exception();
  819. end.link(m_assembler);
  820. }
  821. static Value cxx_put_by_id(VM& vm, Value base, Bytecode::IdentifierTableIndex property, Value value, Bytecode::Op::PropertyKind kind)
  822. {
  823. PropertyKey name = vm.bytecode_interpreter().current_executable().get_identifier(property);
  824. TRY_OR_SET_EXCEPTION(Bytecode::put_by_property_key(vm, base, base, value, name, kind));
  825. vm.bytecode_interpreter().accumulator() = value;
  826. return {};
  827. }
  828. void Compiler::compile_put_by_id(Bytecode::Op::PutById const& op)
  829. {
  830. load_vm_register(ARG1, op.base());
  831. m_assembler.mov(
  832. Assembler::Operand::Register(ARG2),
  833. Assembler::Operand::Imm(op.property().value()));
  834. load_vm_register(ARG3, Bytecode::Register::accumulator());
  835. m_assembler.mov(
  836. Assembler::Operand::Register(ARG4),
  837. Assembler::Operand::Imm(to_underlying(op.kind())));
  838. native_call((void*)cxx_put_by_id);
  839. check_exception();
  840. }
  841. static Value cxx_put_by_value(VM& vm, Value base, Value property, Value value, Bytecode::Op::PropertyKind kind)
  842. {
  843. TRY_OR_SET_EXCEPTION(Bytecode::put_by_value(vm, base, property, value, kind));
  844. vm.bytecode_interpreter().accumulator() = value;
  845. return {};
  846. }
  847. void Compiler::compile_put_by_value(Bytecode::Op::PutByValue const& op)
  848. {
  849. load_vm_register(ARG1, op.base());
  850. load_vm_register(ARG2, op.property());
  851. load_vm_register(ARG3, Bytecode::Register::accumulator());
  852. m_assembler.mov(
  853. Assembler::Operand::Register(ARG4),
  854. Assembler::Operand::Imm(to_underlying(op.kind())));
  855. native_call((void*)cxx_put_by_value);
  856. check_exception();
  857. }
  858. 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)
  859. {
  860. TRY_OR_SET_EXCEPTION(throw_if_needed_for_call(vm.bytecode_interpreter(), callee, call_type, expression_string));
  861. MarkedVector<Value> argument_values(vm.heap());
  862. argument_values.ensure_capacity(argument_count);
  863. for (u32 i = 0; i < argument_count; ++i) {
  864. argument_values.unchecked_append(vm.bytecode_interpreter().reg(Bytecode::Register { first_argument_index + i }));
  865. }
  866. return TRY_OR_SET_EXCEPTION(perform_call(vm.bytecode_interpreter(), this_value, call_type, callee, move(argument_values)));
  867. }
  868. void Compiler::compile_call(Bytecode::Op::Call const& op)
  869. {
  870. load_vm_register(ARG1, op.callee());
  871. m_assembler.mov(
  872. Assembler::Operand::Register(ARG2),
  873. Assembler::Operand::Imm(op.first_argument().index()));
  874. m_assembler.mov(
  875. Assembler::Operand::Register(ARG3),
  876. Assembler::Operand::Imm(op.argument_count()));
  877. load_vm_register(ARG4, op.this_value());
  878. m_assembler.mov(
  879. Assembler::Operand::Register(ARG5),
  880. Assembler::Operand::Imm(to_underlying(op.call_type())));
  881. m_assembler.mov(
  882. Assembler::Operand::Register(GPR0),
  883. Assembler::Operand::Imm(bit_cast<u64>(&op.expression_string())));
  884. native_call((void*)cxx_call, { Assembler::Operand::Register(GPR0) });
  885. store_vm_register(Bytecode::Register::accumulator(), RET);
  886. check_exception();
  887. }
  888. static Value cxx_call_with_argument_array(VM& vm, Value callee, Value this_value, Bytecode::Op::CallType call_type, Optional<Bytecode::StringTableIndex> const& expression_string)
  889. {
  890. TRY_OR_SET_EXCEPTION(throw_if_needed_for_call(vm.bytecode_interpreter(), callee, call_type, expression_string));
  891. auto argument_values = argument_list_evaluation(vm.bytecode_interpreter());
  892. return TRY_OR_SET_EXCEPTION(perform_call(vm.bytecode_interpreter(), this_value, call_type, callee, move(argument_values)));
  893. }
  894. void Compiler::compile_call_with_argument_array(Bytecode::Op::CallWithArgumentArray const& op)
  895. {
  896. load_vm_register(ARG1, op.callee());
  897. load_vm_register(ARG2, op.this_value());
  898. m_assembler.mov(
  899. Assembler::Operand::Register(ARG3),
  900. Assembler::Operand::Imm(to_underlying(op.call_type())));
  901. m_assembler.mov(
  902. Assembler::Operand::Register(ARG4),
  903. Assembler::Operand::Imm(bit_cast<u64>(&op.expression_string())));
  904. native_call((void*)cxx_call_with_argument_array);
  905. store_vm_register(Bytecode::Register::accumulator(), RET);
  906. check_exception();
  907. }
  908. static Value cxx_typeof_variable(VM& vm, DeprecatedFlyString const& identifier)
  909. {
  910. return TRY_OR_SET_EXCEPTION(Bytecode::typeof_variable(vm, identifier));
  911. }
  912. void Compiler::compile_typeof_variable(Bytecode::Op::TypeofVariable const& op)
  913. {
  914. m_assembler.mov(
  915. Assembler::Operand::Register(ARG1),
  916. Assembler::Operand::Imm(bit_cast<u64>(&m_bytecode_executable.get_identifier(op.identifier().value()))));
  917. native_call((void*)cxx_typeof_variable);
  918. store_vm_register(Bytecode::Register::accumulator(), RET);
  919. check_exception();
  920. }
  921. static Value cxx_create_variable(
  922. VM& vm,
  923. DeprecatedFlyString const& name,
  924. Bytecode::Op::EnvironmentMode mode,
  925. bool is_global,
  926. bool is_immutable,
  927. bool is_strict)
  928. {
  929. TRY_OR_SET_EXCEPTION(Bytecode::create_variable(vm, name, mode, is_global, is_immutable, is_strict));
  930. return {};
  931. }
  932. void Compiler::compile_create_variable(Bytecode::Op::CreateVariable const& op)
  933. {
  934. m_assembler.mov(
  935. Assembler::Operand::Register(ARG1),
  936. Assembler::Operand::Imm(bit_cast<u64>(&m_bytecode_executable.get_identifier(op.identifier().value()))));
  937. m_assembler.mov(
  938. Assembler::Operand::Register(ARG2),
  939. Assembler::Operand::Imm(to_underlying(op.mode())));
  940. m_assembler.mov(
  941. Assembler::Operand::Register(ARG3),
  942. Assembler::Operand::Imm(static_cast<u64>(op.is_global())));
  943. m_assembler.mov(
  944. Assembler::Operand::Register(ARG4),
  945. Assembler::Operand::Imm(static_cast<u64>(op.is_immutable())));
  946. m_assembler.mov(
  947. Assembler::Operand::Register(ARG5),
  948. Assembler::Operand::Imm(static_cast<u64>(op.is_strict())));
  949. native_call((void*)cxx_create_variable);
  950. check_exception();
  951. }
  952. static Value cxx_set_variable(
  953. VM& vm,
  954. DeprecatedFlyString const& identifier,
  955. Value value,
  956. Bytecode::Op::EnvironmentMode environment_mode,
  957. Bytecode::Op::SetVariable::InitializationMode initialization_mode)
  958. {
  959. TRY_OR_SET_EXCEPTION(Bytecode::set_variable(vm, identifier, value, environment_mode, initialization_mode));
  960. return {};
  961. }
  962. void Compiler::compile_set_variable(Bytecode::Op::SetVariable const& op)
  963. {
  964. m_assembler.mov(
  965. Assembler::Operand::Register(ARG1),
  966. Assembler::Operand::Imm(bit_cast<u64>(&m_bytecode_executable.get_identifier(op.identifier().value()))));
  967. load_vm_register(ARG2, Bytecode::Register::accumulator());
  968. m_assembler.mov(
  969. Assembler::Operand::Register(ARG3),
  970. Assembler::Operand::Imm(to_underlying(op.mode())));
  971. m_assembler.mov(
  972. Assembler::Operand::Register(ARG4),
  973. Assembler::Operand::Imm(to_underlying(op.initialization_mode())));
  974. native_call((void*)cxx_set_variable);
  975. check_exception();
  976. }
  977. void Compiler::compile_continue_pending_unwind(Bytecode::Op::ContinuePendingUnwind const& op)
  978. {
  979. // re-throw the exception if we reached the end of the finally block and there was no catch block to handle it
  980. check_exception();
  981. // if (!saved_return_value.is_empty()) goto resume_block;
  982. load_vm_register(GPR0, Bytecode::Register::saved_return_value());
  983. m_assembler.mov(Assembler::Operand::Register(GPR1), Assembler::Operand::Imm(Value().encoded()));
  984. m_assembler.jump_if(
  985. Assembler::Operand::Register(GPR0),
  986. Assembler::Condition::NotEqualTo,
  987. Assembler::Operand::Register(GPR1),
  988. label_for(op.resume_target().block()));
  989. // finish the pending return from the try block
  990. store_vm_register(Bytecode::Register::return_value(), GPR0);
  991. jump_to_exit();
  992. }
  993. static void cxx_create_lexical_environment(VM& vm)
  994. {
  995. auto make_and_swap_envs = [&](auto& old_environment) {
  996. GCPtr<Environment> environment = new_declarative_environment(*old_environment).ptr();
  997. swap(old_environment, environment);
  998. return environment;
  999. };
  1000. vm.bytecode_interpreter().saved_lexical_environment_stack().append(make_and_swap_envs(vm.running_execution_context().lexical_environment));
  1001. }
  1002. void Compiler::compile_create_lexical_environment(Bytecode::Op::CreateLexicalEnvironment const&)
  1003. {
  1004. native_call((void*)cxx_create_lexical_environment);
  1005. }
  1006. static void cxx_leave_lexical_environment(VM& vm)
  1007. {
  1008. vm.running_execution_context().lexical_environment = vm.bytecode_interpreter().saved_lexical_environment_stack().take_last();
  1009. }
  1010. void Compiler::compile_leave_lexical_environment(Bytecode::Op::LeaveLexicalEnvironment const&)
  1011. {
  1012. native_call((void*)cxx_leave_lexical_environment);
  1013. }
  1014. static Value cxx_concat_string(VM& vm, Value lhs, Value rhs)
  1015. {
  1016. auto string = TRY_OR_SET_EXCEPTION(rhs.to_primitive_string(vm));
  1017. return PrimitiveString::create(vm, lhs.as_string(), string);
  1018. }
  1019. void Compiler::compile_concat_string(Bytecode::Op::ConcatString const& op)
  1020. {
  1021. load_vm_register(ARG1, op.lhs());
  1022. load_vm_register(ARG2, Bytecode::Register::accumulator());
  1023. native_call((void*)cxx_concat_string);
  1024. store_vm_register(op.lhs(), RET);
  1025. check_exception();
  1026. }
  1027. static void cxx_block_declaration_instantiation(VM& vm, ScopeNode const& scope_node)
  1028. {
  1029. auto old_environment = vm.running_execution_context().lexical_environment;
  1030. vm.bytecode_interpreter().saved_lexical_environment_stack().append(old_environment);
  1031. vm.running_execution_context().lexical_environment = new_declarative_environment(*old_environment);
  1032. scope_node.block_declaration_instantiation(vm, vm.running_execution_context().lexical_environment);
  1033. }
  1034. void Compiler::compile_block_declaration_instantiation(Bytecode::Op::BlockDeclarationInstantiation const& op)
  1035. {
  1036. m_assembler.mov(
  1037. Assembler::Operand::Register(ARG1),
  1038. Assembler::Operand::Imm(bit_cast<u64>(&op.scope_node())));
  1039. native_call((void*)cxx_block_declaration_instantiation);
  1040. }
  1041. static Value cxx_super_call_with_argument_array(VM& vm, Value argument_array, bool is_synthetic)
  1042. {
  1043. TRY_OR_SET_EXCEPTION(Bytecode::super_call_with_argument_array(vm, argument_array, is_synthetic));
  1044. return {};
  1045. }
  1046. void Compiler::compile_super_call_with_argument_array(Bytecode::Op::SuperCallWithArgumentArray const& op)
  1047. {
  1048. load_vm_register(ARG1, Bytecode::Register::accumulator());
  1049. m_assembler.mov(
  1050. Assembler::Operand::Register(ARG2),
  1051. Assembler::Operand::Imm(static_cast<u64>(op.is_synthetic())));
  1052. native_call((void*)cxx_super_call_with_argument_array);
  1053. store_vm_register(Bytecode::Register::accumulator(), RET);
  1054. check_exception();
  1055. }
  1056. static Value cxx_get_iterator(VM& vm, Value value, IteratorHint hint)
  1057. {
  1058. auto iterator = TRY_OR_SET_EXCEPTION(get_iterator(vm, value, hint));
  1059. return Bytecode::iterator_to_object(vm, iterator);
  1060. }
  1061. void Compiler::compile_get_iterator(Bytecode::Op::GetIterator const& op)
  1062. {
  1063. load_vm_register(ARG1, Bytecode::Register::accumulator());
  1064. m_assembler.mov(
  1065. Assembler::Operand::Register(ARG2),
  1066. Assembler::Operand::Imm(to_underlying(op.hint())));
  1067. native_call((void*)cxx_get_iterator);
  1068. store_vm_register(Bytecode::Register::accumulator(), RET);
  1069. check_exception();
  1070. }
  1071. static Value cxx_iterator_next(VM& vm, Value iterator)
  1072. {
  1073. auto iterator_object = TRY_OR_SET_EXCEPTION(iterator.to_object(vm));
  1074. auto iterator_record = Bytecode::object_to_iterator(vm, iterator_object);
  1075. return TRY_OR_SET_EXCEPTION(iterator_next(vm, iterator_record));
  1076. }
  1077. void Compiler::compile_iterator_next(Bytecode::Op::IteratorNext const&)
  1078. {
  1079. load_vm_register(ARG1, Bytecode::Register::accumulator());
  1080. native_call((void*)cxx_iterator_next);
  1081. store_vm_register(Bytecode::Register::accumulator(), RET);
  1082. check_exception();
  1083. }
  1084. static Value cxx_iterator_result_done(VM& vm, Value iterator)
  1085. {
  1086. auto iterator_result = TRY_OR_SET_EXCEPTION(iterator.to_object(vm));
  1087. return Value(TRY_OR_SET_EXCEPTION(iterator_complete(vm, iterator_result)));
  1088. }
  1089. void Compiler::compile_iterator_result_done(Bytecode::Op::IteratorResultDone const&)
  1090. {
  1091. load_vm_register(ARG1, Bytecode::Register::accumulator());
  1092. native_call((void*)cxx_iterator_result_done);
  1093. store_vm_register(Bytecode::Register::accumulator(), RET);
  1094. check_exception();
  1095. }
  1096. static Value cxx_throw_if_not_object(VM& vm, Value value)
  1097. {
  1098. if (!value.is_object())
  1099. TRY_OR_SET_EXCEPTION(vm.throw_completion<TypeError>(ErrorType::NotAnObject, value.to_string_without_side_effects()));
  1100. return {};
  1101. }
  1102. void Compiler::compile_throw_if_not_object(Bytecode::Op::ThrowIfNotObject const&)
  1103. {
  1104. load_vm_register(ARG1, Bytecode::Register::accumulator());
  1105. native_call((void*)cxx_throw_if_not_object);
  1106. check_exception();
  1107. }
  1108. static Value cxx_throw_if_nullish(VM& vm, Value value)
  1109. {
  1110. if (value.is_nullish())
  1111. TRY_OR_SET_EXCEPTION(vm.throw_completion<TypeError>(ErrorType::NotObjectCoercible, value.to_string_without_side_effects()));
  1112. return {};
  1113. }
  1114. void Compiler::compile_throw_if_nullish(Bytecode::Op::ThrowIfNullish const&)
  1115. {
  1116. load_vm_register(ARG1, Bytecode::Register::accumulator());
  1117. native_call((void*)cxx_throw_if_nullish);
  1118. check_exception();
  1119. }
  1120. static Value cxx_iterator_result_value(VM& vm, Value iterator)
  1121. {
  1122. auto iterator_result = TRY_OR_SET_EXCEPTION(iterator.to_object(vm));
  1123. return TRY_OR_SET_EXCEPTION(iterator_value(vm, iterator_result));
  1124. }
  1125. void Compiler::compile_iterator_result_value(Bytecode::Op::IteratorResultValue const&)
  1126. {
  1127. load_vm_register(ARG1, Bytecode::Register::accumulator());
  1128. native_call((void*)cxx_iterator_result_value);
  1129. store_vm_register(Bytecode::Register::accumulator(), RET);
  1130. check_exception();
  1131. }
  1132. static Value cxx_iterator_close(VM& vm, Value iterator, Completion::Type completion_type, Optional<Value> const& completion_value)
  1133. {
  1134. auto iterator_object = TRY_OR_SET_EXCEPTION(iterator.to_object(vm));
  1135. auto iterator_record = Bytecode::object_to_iterator(vm, iterator_object);
  1136. // FIXME: Return the value of the resulting completion. (Note that m_completion_value can be empty!)
  1137. TRY_OR_SET_EXCEPTION(iterator_close(vm, iterator_record, Completion { completion_type, completion_value, {} }));
  1138. return {};
  1139. }
  1140. void Compiler::compile_iterator_close(Bytecode::Op::IteratorClose const& op)
  1141. {
  1142. load_vm_register(ARG1, Bytecode::Register::accumulator());
  1143. m_assembler.mov(
  1144. Assembler::Operand::Register(ARG2),
  1145. Assembler::Operand::Imm(to_underlying(op.completion_type())));
  1146. m_assembler.mov(
  1147. Assembler::Operand::Register(ARG3),
  1148. Assembler::Operand::Imm(bit_cast<u64>(&op.completion_value())));
  1149. native_call((void*)cxx_iterator_close);
  1150. check_exception();
  1151. }
  1152. static Value iterator_to_array(VM& vm, Value iterator)
  1153. {
  1154. return TRY_OR_SET_EXCEPTION(Bytecode::iterator_to_array(vm, iterator));
  1155. }
  1156. void Compiler::compile_iterator_to_array(Bytecode::Op::IteratorToArray const&)
  1157. {
  1158. load_vm_register(ARG1, Bytecode::Register::accumulator());
  1159. native_call((void*)iterator_to_array);
  1160. store_vm_register(Bytecode::Register::accumulator(), RET);
  1161. check_exception();
  1162. }
  1163. static Value cxx_append(VM& vm, Value lhs, Value rhs, bool is_spread)
  1164. {
  1165. TRY_OR_SET_EXCEPTION(Bytecode::append(vm, lhs, rhs, is_spread));
  1166. return {};
  1167. }
  1168. void Compiler::compile_append(Bytecode::Op::Append const& op)
  1169. {
  1170. load_vm_register(ARG1, op.lhs());
  1171. load_vm_register(ARG2, Bytecode::Register::accumulator());
  1172. m_assembler.mov(
  1173. Assembler::Operand::Register(ARG3),
  1174. Assembler::Operand::Imm(static_cast<u64>(op.is_spread())));
  1175. native_call((void*)cxx_append);
  1176. check_exception();
  1177. }
  1178. static Value cxx_delete_by_id(VM& vm, Value base, Bytecode::IdentifierTableIndex property)
  1179. {
  1180. return TRY_OR_SET_EXCEPTION(Bytecode::delete_by_id(vm.bytecode_interpreter(), base, property));
  1181. }
  1182. void Compiler::compile_delete_by_id(Bytecode::Op::DeleteById const& op)
  1183. {
  1184. load_vm_register(ARG1, Bytecode::Register::accumulator());
  1185. m_assembler.mov(
  1186. Assembler::Operand::Register(ARG2),
  1187. Assembler::Operand::Imm(op.property().value()));
  1188. native_call((void*)cxx_delete_by_id);
  1189. store_vm_register(Bytecode::Register::accumulator(), RET);
  1190. check_exception();
  1191. }
  1192. static Value cxx_delete_by_value(VM& vm, Value base_value, Value property_key_value)
  1193. {
  1194. return TRY_OR_SET_EXCEPTION(Bytecode::delete_by_value(vm.bytecode_interpreter(), base_value, property_key_value));
  1195. }
  1196. void Compiler::compile_delete_by_value(Bytecode::Op::DeleteByValue const& op)
  1197. {
  1198. load_vm_register(ARG1, op.base());
  1199. load_vm_register(ARG2, Bytecode::Register::accumulator());
  1200. native_call((void*)cxx_delete_by_value);
  1201. store_vm_register(Bytecode::Register::accumulator(), RET);
  1202. check_exception();
  1203. }
  1204. static Value cxx_delete_by_value_with_this(VM& vm, Value base_value, Value property_key_value, Value this_value)
  1205. {
  1206. return TRY_OR_SET_EXCEPTION(Bytecode::delete_by_value_with_this(vm.bytecode_interpreter(), base_value, property_key_value, this_value));
  1207. }
  1208. void Compiler::compile_delete_by_value_with_this(Bytecode::Op::DeleteByValueWithThis const& op)
  1209. {
  1210. load_vm_register(ARG1, op.base());
  1211. load_vm_register(ARG2, Bytecode::Register::accumulator());
  1212. load_vm_register(ARG3, op.this_value());
  1213. native_call((void*)cxx_delete_by_value_with_this);
  1214. store_vm_register(Bytecode::Register::accumulator(), RET);
  1215. check_exception();
  1216. }
  1217. static Value cxx_get_object_property_iterator(VM& vm, Value object)
  1218. {
  1219. return TRY_OR_SET_EXCEPTION(Bytecode::get_object_property_iterator(vm, object));
  1220. }
  1221. void Compiler::compile_get_object_property_iterator(Bytecode::Op::GetObjectPropertyIterator const&)
  1222. {
  1223. load_vm_register(ARG1, Bytecode::Register::accumulator());
  1224. native_call((void*)cxx_get_object_property_iterator);
  1225. store_vm_register(Bytecode::Register::accumulator(), RET);
  1226. check_exception();
  1227. }
  1228. static Value cxx_get_private_by_id(VM& vm, Value base_value, DeprecatedFlyString& name)
  1229. {
  1230. auto private_reference = make_private_reference(vm, base_value, name);
  1231. return TRY_OR_SET_EXCEPTION(private_reference.get_value(vm));
  1232. }
  1233. void Compiler::compile_get_private_by_id(Bytecode::Op::GetPrivateById const& op)
  1234. {
  1235. load_vm_register(ARG1, Bytecode::Register::accumulator());
  1236. m_assembler.mov(
  1237. Assembler::Operand::Register(ARG2),
  1238. Assembler::Operand::Imm(bit_cast<u64>(&m_bytecode_executable.get_identifier(op.property()))));
  1239. native_call((void*)cxx_get_private_by_id);
  1240. store_vm_register(Bytecode::Register::accumulator(), RET);
  1241. check_exception();
  1242. }
  1243. static Value cxx_resolve_super_base(VM& vm)
  1244. {
  1245. // 1. Let env be GetThisEnvironment().
  1246. auto& env = verify_cast<FunctionEnvironment>(*get_this_environment(vm));
  1247. // 2. Assert: env.HasSuperBinding() is true.
  1248. VERIFY(env.has_super_binding());
  1249. // 3. Let baseValue be ? env.GetSuperBase().
  1250. return TRY_OR_SET_EXCEPTION(env.get_super_base());
  1251. }
  1252. void Compiler::compile_resolve_super_base(Bytecode::Op::ResolveSuperBase const&)
  1253. {
  1254. native_call((void*)cxx_resolve_super_base);
  1255. store_vm_register(Bytecode::Register::accumulator(), RET);
  1256. check_exception();
  1257. }
  1258. static Value cxx_get_by_id_with_this(VM& vm, Bytecode::IdentifierTableIndex property, Value base_value, Value this_value, u32 cache_index)
  1259. {
  1260. return TRY_OR_SET_EXCEPTION(get_by_id(vm.bytecode_interpreter(), property, base_value, this_value, cache_index));
  1261. }
  1262. void Compiler::compile_get_by_id_with_this(Bytecode::Op::GetByIdWithThis const& op)
  1263. {
  1264. m_assembler.mov(
  1265. Assembler::Operand::Register(ARG1),
  1266. Assembler::Operand::Imm(op.property().value()));
  1267. load_vm_register(ARG2, Bytecode::Register::accumulator());
  1268. load_vm_register(ARG3, op.this_value());
  1269. m_assembler.mov(
  1270. Assembler::Operand::Register(ARG4),
  1271. Assembler::Operand::Imm(op.cache_index()));
  1272. native_call((void*)cxx_get_by_id_with_this);
  1273. store_vm_register(Bytecode::Register::accumulator(), RET);
  1274. check_exception();
  1275. }
  1276. static Value cxx_get_by_value_with_this(VM& vm, Value property_key_value, Value base, Value this_value)
  1277. {
  1278. auto object = TRY_OR_SET_EXCEPTION(base.to_object(vm));
  1279. auto property_key = TRY_OR_SET_EXCEPTION(property_key_value.to_property_key(vm));
  1280. return TRY_OR_SET_EXCEPTION(object->internal_get(property_key, this_value));
  1281. }
  1282. void Compiler::compile_get_by_value_with_this(Bytecode::Op::GetByValueWithThis const& op)
  1283. {
  1284. load_vm_register(ARG1, Bytecode::Register::accumulator());
  1285. load_vm_register(ARG2, op.base());
  1286. load_vm_register(ARG3, op.this_value());
  1287. native_call((void*)cxx_get_by_value_with_this);
  1288. store_vm_register(Bytecode::Register::accumulator(), RET);
  1289. check_exception();
  1290. }
  1291. static Value cxx_delete_by_id_with_this(VM& vm, Value base_value, DeprecatedFlyString const& identifier, Value this_value)
  1292. {
  1293. auto reference = Reference { base_value, identifier, this_value, vm.in_strict_mode() };
  1294. return Value(TRY_OR_SET_EXCEPTION(reference.delete_(vm)));
  1295. }
  1296. void Compiler::compile_delete_by_id_with_this(Bytecode::Op::DeleteByIdWithThis const& op)
  1297. {
  1298. load_vm_register(ARG1, Bytecode::Register::accumulator());
  1299. m_assembler.mov(
  1300. Assembler::Operand::Register(ARG2),
  1301. Assembler::Operand::Imm(bit_cast<u64>(&m_bytecode_executable.get_identifier(op.property()))));
  1302. load_vm_register(ARG3, op.this_value());
  1303. native_call((void*)cxx_delete_by_id_with_this);
  1304. store_vm_register(Bytecode::Register::accumulator(), RET);
  1305. }
  1306. static Value cxx_put_by_id_with_this(VM& vm, Value base, Value value, DeprecatedFlyString const& name, Value this_value, Bytecode::Op::PropertyKind kind)
  1307. {
  1308. TRY_OR_SET_EXCEPTION(Bytecode::put_by_property_key(vm, base, this_value, value, name, kind));
  1309. return {};
  1310. }
  1311. void Compiler::compile_put_by_id_with_this(Bytecode::Op::PutByIdWithThis const& op)
  1312. {
  1313. load_vm_register(ARG1, op.base());
  1314. load_vm_register(ARG2, Bytecode::Register::accumulator());
  1315. m_assembler.mov(
  1316. Assembler::Operand::Register(ARG3),
  1317. Assembler::Operand::Imm(bit_cast<u64>(&m_bytecode_executable.get_identifier(op.property()))));
  1318. load_vm_register(ARG4, op.this_value());
  1319. m_assembler.mov(
  1320. Assembler::Operand::Register(ARG5),
  1321. Assembler::Operand::Imm(to_underlying(op.kind())));
  1322. native_call((void*)cxx_put_by_id_with_this);
  1323. check_exception();
  1324. }
  1325. static Value cxx_put_private_by_id(VM& vm, Value base, Value value, DeprecatedFlyString const& name)
  1326. {
  1327. auto object = TRY_OR_SET_EXCEPTION(base.to_object(vm));
  1328. auto private_reference = make_private_reference(vm, object, name);
  1329. TRY_OR_SET_EXCEPTION(private_reference.put_value(vm, value));
  1330. return value;
  1331. }
  1332. void Compiler::compile_put_private_by_id(Bytecode::Op::PutPrivateById const& op)
  1333. {
  1334. load_vm_register(ARG1, op.base());
  1335. load_vm_register(ARG2, Bytecode::Register::accumulator());
  1336. m_assembler.mov(
  1337. Assembler::Operand::Register(ARG3),
  1338. Assembler::Operand::Imm(bit_cast<u64>(&m_bytecode_executable.get_identifier(op.property()))));
  1339. native_call((void*)cxx_put_private_by_id);
  1340. store_vm_register(Bytecode::Register::accumulator(), RET);
  1341. check_exception();
  1342. }
  1343. static Value cxx_import_call(VM& vm, Value specifier, Value options)
  1344. {
  1345. return TRY_OR_SET_EXCEPTION(perform_import_call(vm, specifier, options));
  1346. }
  1347. void Compiler::compile_import_call(Bytecode::Op::ImportCall const& op)
  1348. {
  1349. load_vm_register(ARG1, op.specifier());
  1350. load_vm_register(ARG2, op.options());
  1351. native_call((void*)cxx_import_call);
  1352. store_vm_register(Bytecode::Register::accumulator(), RET);
  1353. check_exception();
  1354. }
  1355. static Value cxx_get_import_meta(VM& vm)
  1356. {
  1357. return vm.get_import_meta();
  1358. }
  1359. void Compiler::compile_get_import_meta(Bytecode::Op::GetImportMeta const&)
  1360. {
  1361. native_call((void*)cxx_get_import_meta);
  1362. store_vm_register(Bytecode::Register::accumulator(), RET);
  1363. }
  1364. static Value cxx_delete_variable(VM& vm, DeprecatedFlyString const& identifier)
  1365. {
  1366. auto reference = TRY_OR_SET_EXCEPTION(vm.resolve_binding(identifier));
  1367. return Value(TRY_OR_SET_EXCEPTION(reference.delete_(vm)));
  1368. }
  1369. void Compiler::compile_delete_variable(Bytecode::Op::DeleteVariable const& op)
  1370. {
  1371. m_assembler.mov(
  1372. Assembler::Operand::Register(ARG1),
  1373. Assembler::Operand::Imm(bit_cast<u64>(&m_bytecode_executable.get_identifier(op.identifier().value()))));
  1374. native_call((void*)cxx_delete_variable);
  1375. store_vm_register(Bytecode::Register::accumulator(), RET);
  1376. check_exception();
  1377. }
  1378. static Value cxx_get_method(VM& vm, Value value, DeprecatedFlyString const& identifier)
  1379. {
  1380. auto method = TRY_OR_SET_EXCEPTION(value.get_method(vm, identifier));
  1381. return method ?: js_undefined();
  1382. }
  1383. void Compiler::compile_get_method(Bytecode::Op::GetMethod const& op)
  1384. {
  1385. load_vm_register(ARG1, Bytecode::Register::accumulator());
  1386. m_assembler.mov(
  1387. Assembler::Operand::Register(ARG2),
  1388. Assembler::Operand::Imm(bit_cast<u64>(&m_bytecode_executable.get_identifier(op.property()))));
  1389. native_call((void*)cxx_get_method);
  1390. store_vm_register(Bytecode::Register::accumulator(), RET);
  1391. check_exception();
  1392. }
  1393. static Value cxx_get_new_target(VM& vm)
  1394. {
  1395. return vm.get_new_target();
  1396. }
  1397. void Compiler::compile_get_new_target(Bytecode::Op::GetNewTarget const&)
  1398. {
  1399. native_call((void*)cxx_get_new_target);
  1400. store_vm_register(Bytecode::Register::accumulator(), RET);
  1401. }
  1402. static Value cxx_has_private_id(VM& vm, Value object, DeprecatedFlyString const& identifier)
  1403. {
  1404. if (!object.is_object())
  1405. TRY_OR_SET_EXCEPTION(vm.throw_completion<TypeError>(ErrorType::InOperatorWithObject));
  1406. auto private_environment = vm.running_execution_context().private_environment;
  1407. VERIFY(private_environment);
  1408. auto private_name = private_environment->resolve_private_identifier(identifier);
  1409. return Value(object.as_object().private_element_find(private_name) != nullptr);
  1410. }
  1411. void Compiler::compile_has_private_id(Bytecode::Op::HasPrivateId const& op)
  1412. {
  1413. load_vm_register(ARG1, Bytecode::Register::accumulator());
  1414. m_assembler.mov(
  1415. Assembler::Operand::Register(ARG2),
  1416. Assembler::Operand::Imm(bit_cast<u64>(&m_bytecode_executable.get_identifier(op.property()))));
  1417. native_call((void*)cxx_has_private_id);
  1418. store_vm_register(Bytecode::Register::accumulator(), RET);
  1419. check_exception();
  1420. }
  1421. # define COMPILE_NEW_BUILTIN_ERROR_OP(NewErrorName, new_error_name, ErrorName) \
  1422. static Value cxx_##new_error_name(VM& vm, DeprecatedString const& error_string) \
  1423. { \
  1424. return ErrorName::create(*vm.current_realm(), error_string); \
  1425. } \
  1426. \
  1427. void Compiler::compile_##new_error_name(Bytecode::Op::NewErrorName const& op) \
  1428. { \
  1429. m_assembler.mov( \
  1430. Assembler::Operand::Register(ARG1), \
  1431. Assembler::Operand::Imm(bit_cast<u64>(&m_bytecode_executable.get_string(op.error_string())))); \
  1432. native_call((void*)cxx_##new_error_name); \
  1433. store_vm_register(Bytecode::Register::accumulator(), RET); \
  1434. }
  1435. JS_ENUMERATE_NEW_BUILTIN_ERROR_BYTECODE_OPS(COMPILE_NEW_BUILTIN_ERROR_OP)
  1436. # undef COMPILE_NEW_BUILTIN_ERROR_OP
  1437. static Value cxx_put_by_value_with_this(VM& vm, Value base, Value value, Value name, Value this_value, Bytecode::Op::PropertyKind kind)
  1438. {
  1439. auto property_key = kind != Bytecode::Op::PropertyKind::Spread ? TRY_OR_SET_EXCEPTION(name.to_property_key(vm)) : PropertyKey {};
  1440. TRY_OR_SET_EXCEPTION(Bytecode::put_by_property_key(vm, base, this_value, value, property_key, kind));
  1441. return value;
  1442. }
  1443. void Compiler::compile_put_by_value_with_this(Bytecode::Op::PutByValueWithThis const& op)
  1444. {
  1445. load_vm_register(ARG1, op.base());
  1446. load_vm_register(ARG2, Bytecode::Register::accumulator());
  1447. if (op.kind() != Bytecode::Op::PropertyKind::Spread) {
  1448. load_vm_register(ARG3, op.property());
  1449. } else {
  1450. m_assembler.mov(
  1451. Assembler::Operand::Register(ARG3),
  1452. Assembler::Operand::Imm(Value().encoded()));
  1453. }
  1454. load_vm_register(ARG4, op.this_value());
  1455. m_assembler.mov(
  1456. Assembler::Operand::Register(ARG5),
  1457. Assembler::Operand::Imm(to_underlying(op.kind())));
  1458. native_call((void*)cxx_put_by_value_with_this);
  1459. store_vm_register(Bytecode::Register::accumulator(), RET);
  1460. check_exception();
  1461. }
  1462. static Value cxx_copy_object_excluding_properties(VM& vm, Value from_object, u64 excluded_names_count, Value* excluded_names)
  1463. {
  1464. auto& realm = *vm.current_realm();
  1465. auto to_object = Object::create(realm, realm.intrinsics().object_prototype());
  1466. HashTable<PropertyKey> excluded_names_table;
  1467. for (size_t i = 0; i < excluded_names_count; ++i) {
  1468. excluded_names_table.set(TRY_OR_SET_EXCEPTION(excluded_names[i].to_property_key(vm)));
  1469. }
  1470. TRY_OR_SET_EXCEPTION(to_object->copy_data_properties(vm, from_object, excluded_names_table));
  1471. return to_object;
  1472. }
  1473. void Compiler::compile_copy_object_excluding_properties(Bytecode::Op::CopyObjectExcludingProperties const& op)
  1474. {
  1475. load_vm_register(ARG1, op.from_object());
  1476. m_assembler.mov(
  1477. Assembler::Operand::Register(ARG2),
  1478. Assembler::Operand::Imm(op.excluded_names_count()));
  1479. // Build `Value arg3[op.excluded_names_count()] {...}` on the stack.
  1480. auto stack_space = align_up_to(op.excluded_names_count() * sizeof(Value), 16);
  1481. m_assembler.sub(Assembler::Operand::Register(STACK_POINTER), Assembler::Operand::Imm(stack_space));
  1482. m_assembler.mov(Assembler::Operand::Register(ARG3), Assembler::Operand::Register(STACK_POINTER));
  1483. for (size_t i = 0; i < op.excluded_names_count(); ++i) {
  1484. load_vm_register(GPR0, op.excluded_names()[i]);
  1485. m_assembler.mov(Assembler::Operand::Mem64BaseAndOffset(ARG3, i * sizeof(Value)), Assembler::Operand::Register(GPR0));
  1486. }
  1487. native_call((void*)cxx_copy_object_excluding_properties);
  1488. // Restore the stack pointer / discard array.
  1489. m_assembler.add(Assembler::Operand::Register(STACK_POINTER), Assembler::Operand::Imm(stack_space));
  1490. store_vm_register(Bytecode::Register::accumulator(), RET);
  1491. check_exception();
  1492. }
  1493. static Value cxx_async_iterator_close(VM& vm, Value iterator, Completion::Type completion_type, Optional<Value> const& completion_value)
  1494. {
  1495. auto iterator_object = TRY_OR_SET_EXCEPTION(iterator.to_object(vm));
  1496. auto iterator_record = Bytecode::object_to_iterator(vm, iterator_object);
  1497. // FIXME: Return the value of the resulting completion. (Note that completion_value can be empty!)
  1498. TRY_OR_SET_EXCEPTION(async_iterator_close(vm, iterator_record, Completion { completion_type, completion_value, {} }));
  1499. return {};
  1500. }
  1501. void Compiler::compile_async_iterator_close(Bytecode::Op::AsyncIteratorClose const& op)
  1502. {
  1503. load_vm_register(ARG1, Bytecode::Register::accumulator());
  1504. m_assembler.mov(
  1505. Assembler::Operand::Register(ARG2),
  1506. Assembler::Operand::Imm(to_underlying(op.completion_type())));
  1507. m_assembler.mov(
  1508. Assembler::Operand::Register(ARG3),
  1509. Assembler::Operand::Imm(bit_cast<u64>(&op.completion_value())));
  1510. native_call((void*)cxx_async_iterator_close);
  1511. check_exception();
  1512. }
  1513. void Compiler::jump_to_exit()
  1514. {
  1515. m_assembler.jump(m_exit_label);
  1516. }
  1517. void Compiler::native_call(void* function_address, Vector<Assembler::Operand> const& stack_arguments)
  1518. {
  1519. // Make sure we don't clobber the VM&.
  1520. m_assembler.push(Assembler::Operand::Register(ARG0));
  1521. // Align the stack pointer.
  1522. m_assembler.sub(Assembler::Operand::Register(STACK_POINTER), Assembler::Operand::Imm(8));
  1523. // NOTE: We don't preserve caller-saved registers when making a native call.
  1524. // This means that they may have changed after we return from the call.
  1525. m_assembler.native_call(function_address, stack_arguments);
  1526. // Restore the stack pointer.
  1527. m_assembler.add(Assembler::Operand::Register(STACK_POINTER), Assembler::Operand::Imm(8));
  1528. // Restore our VM&.
  1529. m_assembler.pop(Assembler::Operand::Register(ARG0));
  1530. }
  1531. OwnPtr<NativeExecutable> Compiler::compile(Bytecode::Executable& bytecode_executable)
  1532. {
  1533. if (!getenv("LIBJS_JIT"))
  1534. return nullptr;
  1535. Compiler compiler { bytecode_executable };
  1536. compiler.m_assembler.enter();
  1537. compiler.m_assembler.mov(
  1538. Assembler::Operand::Register(REGISTER_ARRAY_BASE),
  1539. Assembler::Operand::Register(ARG1));
  1540. compiler.m_assembler.mov(
  1541. Assembler::Operand::Register(LOCALS_ARRAY_BASE),
  1542. Assembler::Operand::Register(ARG2));
  1543. compiler.push_unwind_context(false, {}, {});
  1544. for (auto& block : bytecode_executable.basic_blocks) {
  1545. compiler.block_data_for(*block).start_offset = compiler.m_output.size();
  1546. auto it = Bytecode::InstructionStreamIterator(block->instruction_stream());
  1547. while (!it.at_end()) {
  1548. auto const& op = *it;
  1549. switch (op.type()) {
  1550. # define CASE_BYTECODE_OP(OpTitleCase, op_snake_case, ...) \
  1551. case Bytecode::Instruction::Type::OpTitleCase: \
  1552. compiler.compile_##op_snake_case(static_cast<Bytecode::Op::OpTitleCase const&>(op)); \
  1553. break;
  1554. JS_ENUMERATE_IMPLEMENTED_JIT_OPS(CASE_BYTECODE_OP)
  1555. # undef CASE_BYTECODE_OP
  1556. default:
  1557. if constexpr (LOG_JIT_FAILURE) {
  1558. dbgln("\033[31;1mJIT compilation failed\033[0m: {}", bytecode_executable.name);
  1559. dbgln("Unsupported bytecode op: {}", op.to_deprecated_string(bytecode_executable));
  1560. }
  1561. return nullptr;
  1562. }
  1563. ++it;
  1564. }
  1565. if (!block->is_terminated())
  1566. compiler.jump_to_exit();
  1567. }
  1568. compiler.m_exit_label.link(compiler.m_assembler);
  1569. compiler.m_assembler.exit();
  1570. if (!compiler.m_exception_handler.jump_slot_offsets_in_instruction_stream.is_empty()) {
  1571. compiler.m_exception_handler.link(compiler.m_assembler);
  1572. compiler.handle_exception();
  1573. }
  1574. auto* executable_memory = mmap(nullptr, compiler.m_output.size(), PROT_READ | PROT_WRITE, MAP_ANONYMOUS | MAP_PRIVATE, 0, 0);
  1575. if (executable_memory == MAP_FAILED) {
  1576. dbgln("mmap: {}", strerror(errno));
  1577. return nullptr;
  1578. }
  1579. for (auto& block : bytecode_executable.basic_blocks) {
  1580. auto& block_data = compiler.block_data_for(*block);
  1581. block_data.label.link_to(compiler.m_assembler, block_data.start_offset);
  1582. // Patch up all the absolute references
  1583. for (auto& absolute_reference : block_data.absolute_references_to_here) {
  1584. auto offset = bit_cast<u64>(executable_memory) + block_data.start_offset;
  1585. compiler.m_output[absolute_reference + 0] = (offset >> 0) & 0xff;
  1586. compiler.m_output[absolute_reference + 1] = (offset >> 8) & 0xff;
  1587. compiler.m_output[absolute_reference + 2] = (offset >> 16) & 0xff;
  1588. compiler.m_output[absolute_reference + 3] = (offset >> 24) & 0xff;
  1589. compiler.m_output[absolute_reference + 4] = (offset >> 32) & 0xff;
  1590. compiler.m_output[absolute_reference + 5] = (offset >> 40) & 0xff;
  1591. compiler.m_output[absolute_reference + 6] = (offset >> 48) & 0xff;
  1592. compiler.m_output[absolute_reference + 7] = (offset >> 56) & 0xff;
  1593. }
  1594. }
  1595. if constexpr (DUMP_JIT_MACHINE_CODE_TO_STDOUT) {
  1596. (void)write(STDOUT_FILENO, compiler.m_output.data(), compiler.m_output.size());
  1597. }
  1598. memcpy(executable_memory, compiler.m_output.data(), compiler.m_output.size());
  1599. if (mprotect(executable_memory, compiler.m_output.size(), PROT_READ | PROT_EXEC) < 0) {
  1600. dbgln("mprotect: {}", strerror(errno));
  1601. return nullptr;
  1602. }
  1603. if constexpr (LOG_JIT_SUCCESS) {
  1604. dbgln("\033[32;1mJIT compilation succeeded!\033[0m {}", bytecode_executable.name);
  1605. }
  1606. auto executable = make<NativeExecutable>(executable_memory, compiler.m_output.size());
  1607. if constexpr (DUMP_JIT_DISASSEMBLY)
  1608. executable->dump_disassembly();
  1609. return executable;
  1610. }
  1611. }
  1612. #endif