Compiler.cpp 20 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514
  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 <LibJS/Bytecode/CommonImplementations.h>
  8. #include <LibJS/Bytecode/Instruction.h>
  9. #include <LibJS/Bytecode/Interpreter.h>
  10. #include <LibJS/JIT/Compiler.h>
  11. #include <LibJS/Runtime/VM.h>
  12. #include <LibJS/Runtime/ValueInlines.h>
  13. #include <sys/mman.h>
  14. #include <unistd.h>
  15. #define TRY_OR_SET_EXCEPTION(expression) \
  16. ({ \
  17. /* Ignore -Wshadow to allow nesting the macro. */ \
  18. AK_IGNORE_DIAGNOSTIC("-Wshadow", \
  19. auto&& _temporary_result = (expression)); \
  20. static_assert(!::AK::Detail::IsLvalueReference<decltype(_temporary_result.release_value())>, \
  21. "Do not return a reference from a fallible expression"); \
  22. if (_temporary_result.is_error()) [[unlikely]] { \
  23. vm.bytecode_interpreter().reg(Bytecode::Register::exception()) = _temporary_result.release_error().value().value(); \
  24. return {}; \
  25. } \
  26. _temporary_result.release_value(); \
  27. })
  28. namespace JS::JIT {
  29. void Compiler::store_vm_register(Bytecode::Register dst, Assembler::Reg src)
  30. {
  31. m_assembler.mov(
  32. Assembler::Operand::Mem64BaseAndOffset(REGISTER_ARRAY_BASE, dst.index() * sizeof(Value)),
  33. Assembler::Operand::Register(src));
  34. }
  35. void Compiler::load_vm_register(Assembler::Reg dst, Bytecode::Register src)
  36. {
  37. m_assembler.mov(
  38. Assembler::Operand::Register(dst),
  39. Assembler::Operand::Mem64BaseAndOffset(REGISTER_ARRAY_BASE, src.index() * sizeof(Value)));
  40. }
  41. void Compiler::store_vm_local(size_t dst, Assembler::Reg src)
  42. {
  43. m_assembler.mov(
  44. Assembler::Operand::Mem64BaseAndOffset(LOCALS_ARRAY_BASE, dst * sizeof(Value)),
  45. Assembler::Operand::Register(src));
  46. }
  47. void Compiler::load_vm_local(Assembler::Reg dst, size_t src)
  48. {
  49. m_assembler.mov(
  50. Assembler::Operand::Register(dst),
  51. Assembler::Operand::Mem64BaseAndOffset(LOCALS_ARRAY_BASE, src * sizeof(Value)));
  52. }
  53. void Compiler::compile_load_immediate(Bytecode::Op::LoadImmediate const& op)
  54. {
  55. m_assembler.mov(
  56. Assembler::Operand::Register(GPR0),
  57. Assembler::Operand::Imm64(op.value().encoded()));
  58. store_vm_register(Bytecode::Register::accumulator(), GPR0);
  59. }
  60. void Compiler::compile_load(Bytecode::Op::Load const& op)
  61. {
  62. load_vm_register(GPR0, op.src());
  63. store_vm_register(Bytecode::Register::accumulator(), GPR0);
  64. }
  65. void Compiler::compile_store(Bytecode::Op::Store const& op)
  66. {
  67. load_vm_register(GPR0, Bytecode::Register::accumulator());
  68. store_vm_register(op.dst(), GPR0);
  69. }
  70. void Compiler::compile_get_local(Bytecode::Op::GetLocal const& op)
  71. {
  72. load_vm_local(GPR0, op.index());
  73. store_vm_register(Bytecode::Register::accumulator(), GPR0);
  74. }
  75. void Compiler::compile_set_local(Bytecode::Op::SetLocal const& op)
  76. {
  77. load_vm_register(GPR0, Bytecode::Register::accumulator());
  78. store_vm_local(op.index(), GPR0);
  79. }
  80. void Compiler::compile_jump(Bytecode::Op::Jump const& op)
  81. {
  82. m_assembler.jump(const_cast<Bytecode::BasicBlock&>(op.true_target()->block()));
  83. }
  84. static bool cxx_to_boolean(VM&, Value value)
  85. {
  86. return value.to_boolean();
  87. }
  88. void Compiler::compile_to_boolean(Assembler::Reg dst, Assembler::Reg src)
  89. {
  90. // dst = src;
  91. m_assembler.mov(
  92. Assembler::Operand::Register(dst),
  93. Assembler::Operand::Register(src));
  94. // dst >>= 48;
  95. m_assembler.shift_right(
  96. Assembler::Operand::Register(dst),
  97. Assembler::Operand::Imm8(48));
  98. // if (dst != BOOLEAN_TAG) goto slow_case;
  99. auto slow_case = m_assembler.make_label();
  100. m_assembler.jump_if_not_equal(
  101. Assembler::Operand::Register(dst),
  102. Assembler::Operand::Imm32(BOOLEAN_TAG),
  103. slow_case);
  104. // Fast path for JS::Value booleans.
  105. // dst = src;
  106. m_assembler.mov(
  107. Assembler::Operand::Register(dst),
  108. Assembler::Operand::Register(src));
  109. // dst &= 1;
  110. m_assembler.bitwise_and(
  111. Assembler::Operand::Register(dst),
  112. Assembler::Operand::Imm32(1));
  113. // goto end;
  114. auto end = m_assembler.jump();
  115. // slow_case: // call C++ helper
  116. slow_case.link(m_assembler);
  117. m_assembler.mov(
  118. Assembler::Operand::Register(ARG1),
  119. Assembler::Operand::Register(src));
  120. m_assembler.native_call((void*)cxx_to_boolean);
  121. m_assembler.mov(
  122. Assembler::Operand::Register(dst),
  123. Assembler::Operand::Register(RET));
  124. // end:
  125. end.link(m_assembler);
  126. }
  127. void Compiler::compile_jump_conditional(Bytecode::Op::JumpConditional const& op)
  128. {
  129. load_vm_register(GPR1, Bytecode::Register::accumulator());
  130. compile_to_boolean(GPR0, GPR1);
  131. m_assembler.jump_conditional(GPR0,
  132. const_cast<Bytecode::BasicBlock&>(op.true_target()->block()),
  133. const_cast<Bytecode::BasicBlock&>(op.false_target()->block()));
  134. }
  135. [[maybe_unused]] static Value cxx_increment(VM& vm, Value value)
  136. {
  137. auto old_value = TRY_OR_SET_EXCEPTION(value.to_numeric(vm));
  138. if (old_value.is_number())
  139. return Value(old_value.as_double() + 1);
  140. return BigInt::create(vm, old_value.as_bigint().big_integer().plus(Crypto::SignedBigInteger { 1 }));
  141. }
  142. void Compiler::compile_increment(Bytecode::Op::Increment const&)
  143. {
  144. load_vm_register(ARG1, Bytecode::Register::accumulator());
  145. m_assembler.native_call((void*)cxx_increment);
  146. store_vm_register(Bytecode::Register::accumulator(), RET);
  147. check_exception();
  148. }
  149. void Compiler::check_exception()
  150. {
  151. // if (exception.is_empty()) goto no_exception;
  152. load_vm_register(GPR0, Bytecode::Register::exception());
  153. m_assembler.mov(Assembler::Operand::Register(GPR1), Assembler::Operand::Imm64(Value().encoded()));
  154. auto no_exception = m_assembler.make_label();
  155. m_assembler.jump_if_equal(Assembler::Operand::Register(GPR0), Assembler::Operand::Register(GPR1), no_exception);
  156. // We have an exception!
  157. // if (!unwind_context.valid) return;
  158. auto handle_exception = m_assembler.make_label();
  159. m_assembler.mov(
  160. Assembler::Operand::Register(GPR0),
  161. Assembler::Operand::Mem64BaseAndOffset(UNWIND_CONTEXT_BASE, 0));
  162. m_assembler.jump_if_not_equal(
  163. Assembler::Operand::Register(GPR0),
  164. Assembler::Operand::Imm32(0),
  165. handle_exception);
  166. m_assembler.exit();
  167. // handle_exception:
  168. handle_exception.link(m_assembler);
  169. // if (unwind_context.handler) {
  170. // accumulator = exception;
  171. // exception = Value();
  172. // goto handler;
  173. // }
  174. auto no_handler = m_assembler.make_label();
  175. m_assembler.mov(
  176. Assembler::Operand::Register(GPR0),
  177. Assembler::Operand::Mem64BaseAndOffset(UNWIND_CONTEXT_BASE, 8));
  178. m_assembler.jump_if_equal(
  179. Assembler::Operand::Register(GPR0),
  180. Assembler::Operand::Imm32(0),
  181. no_handler);
  182. load_vm_register(GPR1, Bytecode::Register::exception());
  183. store_vm_register(Bytecode::Register::accumulator(), GPR1);
  184. m_assembler.mov(
  185. Assembler::Operand::Register(GPR1),
  186. Assembler::Operand::Imm64(Value().encoded()));
  187. store_vm_register(Bytecode::Register::exception(), GPR1);
  188. m_assembler.jump(Assembler::Operand::Register(GPR0));
  189. // no_handler:
  190. no_handler.link(m_assembler);
  191. // if (unwind_context.finalizer) goto finalizer;
  192. auto no_finalizer = m_assembler.make_label();
  193. m_assembler.mov(
  194. Assembler::Operand::Register(GPR0),
  195. Assembler::Operand::Mem64BaseAndOffset(UNWIND_CONTEXT_BASE, 16));
  196. m_assembler.jump_if_equal(
  197. Assembler::Operand::Register(GPR0),
  198. Assembler::Operand::Imm32(0),
  199. no_finalizer);
  200. m_assembler.jump(Assembler::Operand::Register(GPR0));
  201. // no_finalizer:
  202. // NOTE: No catch and no finally!? Crash.
  203. no_finalizer.link(m_assembler);
  204. m_assembler.verify_not_reached();
  205. // no_exception:
  206. no_exception.link(m_assembler);
  207. }
  208. void Compiler::push_unwind_context(bool valid, Optional<Bytecode::Label> const& handler, Optional<Bytecode::Label> const& finalizer)
  209. {
  210. // Put this on the stack, and then point UNWIND_CONTEXT_BASE at it.
  211. // struct {
  212. // u64 valid;
  213. // u64 handler;
  214. // u64 finalizer;
  215. // };
  216. // push finalizer (patched later)
  217. m_assembler.mov(
  218. Assembler::Operand::Register(GPR0),
  219. Assembler::Operand::Imm64(0));
  220. if (finalizer.has_value())
  221. const_cast<Bytecode::BasicBlock&>(finalizer.value().block()).absolute_references_to_here.append(m_assembler.m_output.size() - 8);
  222. m_assembler.push(Assembler::Operand::Register(GPR0));
  223. // push handler (patched later)
  224. m_assembler.mov(
  225. Assembler::Operand::Register(GPR0),
  226. Assembler::Operand::Imm64(0));
  227. if (handler.has_value())
  228. const_cast<Bytecode::BasicBlock&>(handler.value().block()).absolute_references_to_here.append(m_assembler.m_output.size() - 8);
  229. m_assembler.push(Assembler::Operand::Register(GPR0));
  230. // push valid
  231. m_assembler.push(Assembler::Operand::Imm32(valid));
  232. // UNWIND_CONTEXT_BASE = STACK_POINTER
  233. m_assembler.mov(
  234. Assembler::Operand::Register(UNWIND_CONTEXT_BASE),
  235. Assembler::Operand::Register(STACK_POINTER));
  236. // align stack pointer
  237. m_assembler.sub(Assembler::Operand::Register(STACK_POINTER), Assembler::Operand::Imm8(8));
  238. }
  239. void Compiler::pop_unwind_context()
  240. {
  241. m_assembler.add(Assembler::Operand::Register(STACK_POINTER), Assembler::Operand::Imm8(32));
  242. m_assembler.add(Assembler::Operand::Register(UNWIND_CONTEXT_BASE), Assembler::Operand::Imm8(32));
  243. }
  244. void Compiler::compile_enter_unwind_context(Bytecode::Op::EnterUnwindContext const& op)
  245. {
  246. push_unwind_context(true, op.handler_target(), op.finalizer_target());
  247. m_assembler.jump(const_cast<Bytecode::BasicBlock&>(op.entry_point().block()));
  248. }
  249. void Compiler::compile_leave_unwind_context(Bytecode::Op::LeaveUnwindContext const&)
  250. {
  251. pop_unwind_context();
  252. }
  253. void Compiler::compile_throw(Bytecode::Op::Throw const&)
  254. {
  255. load_vm_register(GPR0, Bytecode::Register::accumulator());
  256. store_vm_register(Bytecode::Register::exception(), GPR0);
  257. check_exception();
  258. }
  259. static ThrowCompletionOr<Value> abstract_inequals(VM& vm, Value src1, Value src2)
  260. {
  261. return Value(!TRY(is_loosely_equal(vm, src1, src2)));
  262. }
  263. static ThrowCompletionOr<Value> abstract_equals(VM& vm, Value src1, Value src2)
  264. {
  265. return Value(TRY(is_loosely_equal(vm, src1, src2)));
  266. }
  267. static ThrowCompletionOr<Value> typed_inequals(VM&, Value src1, Value src2)
  268. {
  269. return Value(!is_strictly_equal(src1, src2));
  270. }
  271. static ThrowCompletionOr<Value> typed_equals(VM&, Value src1, Value src2)
  272. {
  273. return Value(is_strictly_equal(src1, src2));
  274. }
  275. #define DO_COMPILE_COMMON_BINARY_OP(TitleCaseName, snake_case_name) \
  276. static Value cxx_##snake_case_name(VM& vm, Value lhs, Value rhs) \
  277. { \
  278. return TRY_OR_SET_EXCEPTION(snake_case_name(vm, lhs, rhs)); \
  279. } \
  280. \
  281. void Compiler::compile_##snake_case_name(Bytecode::Op::TitleCaseName const& op) \
  282. { \
  283. load_vm_register(ARG1, op.lhs()); \
  284. load_vm_register(ARG2, Bytecode::Register::accumulator()); \
  285. m_assembler.native_call((void*)cxx_##snake_case_name); \
  286. store_vm_register(Bytecode::Register::accumulator(), RET); \
  287. check_exception(); \
  288. }
  289. JS_ENUMERATE_COMMON_BINARY_OPS(DO_COMPILE_COMMON_BINARY_OP)
  290. #undef DO_COMPILE_COMMON_BINARY_OP
  291. void Compiler::compile_return(Bytecode::Op::Return const&)
  292. {
  293. load_vm_register(GPR0, Bytecode::Register::accumulator());
  294. store_vm_register(Bytecode::Register::return_value(), GPR0);
  295. m_assembler.exit();
  296. }
  297. static Value cxx_new_string(VM& vm, DeprecatedString const& string)
  298. {
  299. return PrimitiveString::create(vm, string);
  300. }
  301. void Compiler::compile_new_string(Bytecode::Op::NewString const& op)
  302. {
  303. auto const& string = m_bytecode_executable.string_table->get(op.index());
  304. m_assembler.mov(
  305. Assembler::Operand::Register(ARG1),
  306. Assembler::Operand::Imm64(bit_cast<u64>(&string)));
  307. m_assembler.native_call((void*)cxx_new_string);
  308. store_vm_register(Bytecode::Register::accumulator(), RET);
  309. }
  310. static Value cxx_get_by_id(VM& vm, Value base, Bytecode::IdentifierTableIndex property, u32 cache_index)
  311. {
  312. return TRY_OR_SET_EXCEPTION(Bytecode::get_by_id(vm.bytecode_interpreter(), property, base, base, cache_index));
  313. }
  314. void Compiler::compile_get_by_id(Bytecode::Op::GetById const& op)
  315. {
  316. load_vm_register(ARG1, Bytecode::Register::accumulator());
  317. m_assembler.mov(
  318. Assembler::Operand::Register(ARG2),
  319. Assembler::Operand::Imm64(op.property().value()));
  320. m_assembler.mov(
  321. Assembler::Operand::Register(ARG3),
  322. Assembler::Operand::Imm64(op.cache_index()));
  323. m_assembler.native_call((void*)cxx_get_by_id);
  324. store_vm_register(Bytecode::Register::accumulator(), RET);
  325. check_exception();
  326. }
  327. OwnPtr<NativeExecutable> Compiler::compile(Bytecode::Executable& bytecode_executable)
  328. {
  329. if (getenv("LIBJS_NO_JIT"))
  330. return nullptr;
  331. Compiler compiler { bytecode_executable };
  332. compiler.m_assembler.enter();
  333. compiler.m_assembler.mov(
  334. Assembler::Operand::Register(REGISTER_ARRAY_BASE),
  335. Assembler::Operand::Register(ARG1));
  336. compiler.m_assembler.mov(
  337. Assembler::Operand::Register(LOCALS_ARRAY_BASE),
  338. Assembler::Operand::Register(ARG2));
  339. compiler.push_unwind_context(false, {}, {});
  340. for (auto& block : bytecode_executable.basic_blocks) {
  341. block->offset = compiler.m_output.size();
  342. auto it = Bytecode::InstructionStreamIterator(block->instruction_stream());
  343. while (!it.at_end()) {
  344. auto const& op = *it;
  345. switch (op.type()) {
  346. case Bytecode::Instruction::Type::LoadImmediate:
  347. compiler.compile_load_immediate(static_cast<Bytecode::Op::LoadImmediate const&>(op));
  348. break;
  349. case Bytecode::Instruction::Type::Store:
  350. compiler.compile_store(static_cast<Bytecode::Op::Store const&>(op));
  351. break;
  352. case Bytecode::Instruction::Type::Load:
  353. compiler.compile_load(static_cast<Bytecode::Op::Load const&>(op));
  354. break;
  355. case Bytecode::Instruction::Type::GetLocal:
  356. compiler.compile_get_local(static_cast<Bytecode::Op::GetLocal const&>(op));
  357. break;
  358. case Bytecode::Instruction::Type::SetLocal:
  359. compiler.compile_set_local(static_cast<Bytecode::Op::SetLocal const&>(op));
  360. break;
  361. case Bytecode::Instruction::Type::Jump:
  362. compiler.compile_jump(static_cast<Bytecode::Op::Jump const&>(op));
  363. break;
  364. case Bytecode::Instruction::Type::JumpConditional:
  365. compiler.compile_jump_conditional(static_cast<Bytecode::Op::JumpConditional const&>(op));
  366. break;
  367. case Bytecode::Instruction::Type::Increment:
  368. compiler.compile_increment(static_cast<Bytecode::Op::Increment const&>(op));
  369. break;
  370. case Bytecode::Instruction::Type::EnterUnwindContext:
  371. compiler.compile_enter_unwind_context(static_cast<Bytecode::Op::EnterUnwindContext const&>(op));
  372. break;
  373. case Bytecode::Instruction::Type::LeaveUnwindContext:
  374. compiler.compile_leave_unwind_context(static_cast<Bytecode::Op::LeaveUnwindContext const&>(op));
  375. break;
  376. case Bytecode::Instruction::Type::Throw:
  377. compiler.compile_throw(static_cast<Bytecode::Op::Throw const&>(op));
  378. break;
  379. case Bytecode::Instruction::Type::Return:
  380. compiler.compile_return(static_cast<Bytecode::Op::Return const&>(op));
  381. break;
  382. case Bytecode::Instruction::Type::NewString:
  383. compiler.compile_new_string(static_cast<Bytecode::Op::NewString const&>(op));
  384. break;
  385. case Bytecode::Instruction::Type::GetById:
  386. compiler.compile_get_by_id(static_cast<Bytecode::Op::GetById const&>(op));
  387. break;
  388. #define DO_COMPILE_COMMON_BINARY_OP(TitleCaseName, snake_case_name) \
  389. case Bytecode::Instruction::Type::TitleCaseName: \
  390. compiler.compile_##snake_case_name(static_cast<Bytecode::Op::TitleCaseName const&>(op)); \
  391. break;
  392. JS_ENUMERATE_COMMON_BINARY_OPS(DO_COMPILE_COMMON_BINARY_OP)
  393. #undef DO_COMPILE_COMMON_BINARY_OP
  394. default:
  395. dbgln("JIT compilation failed: {}", bytecode_executable.name);
  396. dbgln("Unsupported bytecode op: {}", op.to_deprecated_string(bytecode_executable));
  397. return nullptr;
  398. }
  399. ++it;
  400. }
  401. if (!block->is_terminated())
  402. compiler.m_assembler.exit();
  403. }
  404. auto* executable_memory = mmap(nullptr, compiler.m_output.size(), PROT_READ | PROT_WRITE, MAP_ANONYMOUS | MAP_PRIVATE, 0, 0);
  405. if (executable_memory == MAP_FAILED) {
  406. perror("mmap");
  407. return nullptr;
  408. }
  409. for (auto& block : bytecode_executable.basic_blocks) {
  410. // Patch up all the jumps
  411. for (auto& jump : block->jumps_to_here) {
  412. auto offset = block->offset - jump - 4;
  413. compiler.m_output[jump + 0] = (offset >> 0) & 0xff;
  414. compiler.m_output[jump + 1] = (offset >> 8) & 0xff;
  415. compiler.m_output[jump + 2] = (offset >> 16) & 0xff;
  416. compiler.m_output[jump + 3] = (offset >> 24) & 0xff;
  417. }
  418. // Patch up all the absolute references
  419. for (auto& absolute_reference : block->absolute_references_to_here) {
  420. auto offset = bit_cast<u64>(executable_memory) + block->offset;
  421. compiler.m_output[absolute_reference + 0] = (offset >> 0) & 0xff;
  422. compiler.m_output[absolute_reference + 1] = (offset >> 8) & 0xff;
  423. compiler.m_output[absolute_reference + 2] = (offset >> 16) & 0xff;
  424. compiler.m_output[absolute_reference + 3] = (offset >> 24) & 0xff;
  425. compiler.m_output[absolute_reference + 4] = (offset >> 32) & 0xff;
  426. compiler.m_output[absolute_reference + 5] = (offset >> 40) & 0xff;
  427. compiler.m_output[absolute_reference + 6] = (offset >> 48) & 0xff;
  428. compiler.m_output[absolute_reference + 7] = (offset >> 56) & 0xff;
  429. }
  430. }
  431. size_t res = write(STDOUT_FILENO, compiler.m_output.data(), compiler.m_output.size());
  432. if (!res) { }
  433. memcpy(executable_memory, compiler.m_output.data(), compiler.m_output.size());
  434. mprotect(executable_memory, compiler.m_output.size(), PROT_READ | PROT_EXEC);
  435. return make<NativeExecutable>(executable_memory, compiler.m_output.size());
  436. }
  437. }