Compiler.cpp 14 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365
  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/Instruction.h>
  8. #include <LibJS/Bytecode/Interpreter.h>
  9. #include <LibJS/JIT/Compiler.h>
  10. #include <LibJS/Runtime/VM.h>
  11. #include <LibJS/Runtime/ValueInlines.h>
  12. #include <sys/mman.h>
  13. #include <unistd.h>
  14. #define TRY_OR_SET_EXCEPTION(expression) \
  15. ({ \
  16. /* Ignore -Wshadow to allow nesting the macro. */ \
  17. AK_IGNORE_DIAGNOSTIC("-Wshadow", \
  18. auto&& _temporary_result = (expression)); \
  19. static_assert(!::AK::Detail::IsLvalueReference<decltype(_temporary_result.release_value())>, \
  20. "Do not return a reference from a fallible expression"); \
  21. if (_temporary_result.is_error()) [[unlikely]] { \
  22. vm.bytecode_interpreter().reg(Bytecode::Register::exception()) = _temporary_result.release_error().value().value(); \
  23. return {}; \
  24. } \
  25. _temporary_result.release_value(); \
  26. })
  27. namespace JS::JIT {
  28. void Compiler::store_vm_register(Bytecode::Register dst, Assembler::Reg src)
  29. {
  30. m_assembler.mov(
  31. Assembler::Operand::Mem64BaseAndOffset(REGISTER_ARRAY_BASE, dst.index() * sizeof(Value)),
  32. Assembler::Operand::Register(src));
  33. }
  34. void Compiler::load_vm_register(Assembler::Reg dst, Bytecode::Register src)
  35. {
  36. m_assembler.mov(
  37. Assembler::Operand::Register(dst),
  38. Assembler::Operand::Mem64BaseAndOffset(REGISTER_ARRAY_BASE, src.index() * sizeof(Value)));
  39. }
  40. void Compiler::store_vm_local(size_t dst, Assembler::Reg src)
  41. {
  42. m_assembler.mov(
  43. Assembler::Operand::Mem64BaseAndOffset(LOCALS_ARRAY_BASE, dst * sizeof(Value)),
  44. Assembler::Operand::Register(src));
  45. }
  46. void Compiler::load_vm_local(Assembler::Reg dst, size_t src)
  47. {
  48. m_assembler.mov(
  49. Assembler::Operand::Register(dst),
  50. Assembler::Operand::Mem64BaseAndOffset(LOCALS_ARRAY_BASE, src * sizeof(Value)));
  51. }
  52. void Compiler::compile_load_immediate(Bytecode::Op::LoadImmediate const& op)
  53. {
  54. m_assembler.mov(
  55. Assembler::Operand::Register(GPR0),
  56. Assembler::Operand::Imm64(op.value().encoded()));
  57. store_vm_register(Bytecode::Register::accumulator(), GPR0);
  58. }
  59. void Compiler::compile_load(Bytecode::Op::Load const& op)
  60. {
  61. load_vm_register(GPR0, op.src());
  62. store_vm_register(Bytecode::Register::accumulator(), GPR0);
  63. }
  64. void Compiler::compile_store(Bytecode::Op::Store const& op)
  65. {
  66. load_vm_register(GPR0, Bytecode::Register::accumulator());
  67. store_vm_register(op.dst(), GPR0);
  68. }
  69. void Compiler::compile_get_local(Bytecode::Op::GetLocal const& op)
  70. {
  71. load_vm_local(GPR0, op.index());
  72. store_vm_register(Bytecode::Register::accumulator(), GPR0);
  73. }
  74. void Compiler::compile_set_local(Bytecode::Op::SetLocal const& op)
  75. {
  76. load_vm_register(GPR0, Bytecode::Register::accumulator());
  77. store_vm_local(op.index(), GPR0);
  78. }
  79. void Compiler::compile_jump(Bytecode::Op::Jump const& op)
  80. {
  81. m_assembler.jump(const_cast<Bytecode::BasicBlock&>(op.true_target()->block()));
  82. }
  83. static bool cxx_to_boolean(VM&, Value value)
  84. {
  85. return value.to_boolean();
  86. }
  87. void Compiler::compile_to_boolean(Assembler::Reg dst, Assembler::Reg src)
  88. {
  89. // dst = src;
  90. m_assembler.mov(
  91. Assembler::Operand::Register(dst),
  92. Assembler::Operand::Register(src));
  93. // dst >>= 48;
  94. m_assembler.shift_right(
  95. Assembler::Operand::Register(dst),
  96. Assembler::Operand::Imm8(48));
  97. // if (dst != BOOLEAN_TAG) goto slow_case;
  98. auto slow_case = m_assembler.make_label();
  99. m_assembler.jump_if_not_equal(
  100. Assembler::Operand::Register(dst),
  101. Assembler::Operand::Imm32(BOOLEAN_TAG),
  102. slow_case);
  103. // Fast path for JS::Value booleans.
  104. // dst = src;
  105. m_assembler.mov(
  106. Assembler::Operand::Register(dst),
  107. Assembler::Operand::Register(src));
  108. // dst &= 1;
  109. m_assembler.bitwise_and(
  110. Assembler::Operand::Register(dst),
  111. Assembler::Operand::Imm32(1));
  112. // goto end;
  113. auto end = m_assembler.jump();
  114. // slow_case: // call C++ helper
  115. slow_case.link(m_assembler);
  116. m_assembler.mov(
  117. Assembler::Operand::Register(ARG1),
  118. Assembler::Operand::Register(src));
  119. m_assembler.native_call((void*)cxx_to_boolean);
  120. m_assembler.mov(
  121. Assembler::Operand::Register(dst),
  122. Assembler::Operand::Register(RET));
  123. // end:
  124. end.link(m_assembler);
  125. }
  126. void Compiler::compile_jump_conditional(Bytecode::Op::JumpConditional const& op)
  127. {
  128. load_vm_register(GPR1, Bytecode::Register::accumulator());
  129. compile_to_boolean(GPR0, GPR1);
  130. m_assembler.jump_conditional(GPR0,
  131. const_cast<Bytecode::BasicBlock&>(op.true_target()->block()),
  132. const_cast<Bytecode::BasicBlock&>(op.false_target()->block()));
  133. }
  134. [[maybe_unused]] static Value cxx_less_than(VM& vm, Value lhs, Value rhs)
  135. {
  136. // FIXME: Handle exceptions!
  137. return MUST(less_than(vm, lhs, rhs));
  138. }
  139. void Compiler::compile_less_than(Bytecode::Op::LessThan const& op)
  140. {
  141. load_vm_register(ARG1, op.lhs());
  142. load_vm_register(ARG2, Bytecode::Register::accumulator());
  143. m_assembler.native_call((void*)cxx_less_than);
  144. store_vm_register(Bytecode::Register::accumulator(), RET);
  145. check_exception();
  146. }
  147. [[maybe_unused]] static Value cxx_increment(VM& vm, Value value)
  148. {
  149. auto old_value = TRY_OR_SET_EXCEPTION(value.to_numeric(vm));
  150. if (old_value.is_number())
  151. return Value(old_value.as_double() + 1);
  152. return BigInt::create(vm, old_value.as_bigint().big_integer().plus(Crypto::SignedBigInteger { 1 }));
  153. }
  154. void Compiler::compile_increment(Bytecode::Op::Increment const&)
  155. {
  156. load_vm_register(ARG1, Bytecode::Register::accumulator());
  157. m_assembler.native_call((void*)cxx_increment);
  158. store_vm_register(Bytecode::Register::accumulator(), RET);
  159. check_exception();
  160. }
  161. void Compiler::check_exception()
  162. {
  163. // if (exception.is_empty()) goto no_exception;
  164. load_vm_register(GPR0, Bytecode::Register::exception());
  165. m_assembler.mov(Assembler::Operand::Register(GPR1), Assembler::Operand::Imm64(Value().encoded()));
  166. auto no_exception = m_assembler.make_label();
  167. m_assembler.jump_if_equal(Assembler::Operand::Register(GPR0), Assembler::Operand::Register(GPR1), no_exception);
  168. // We have an exception!
  169. // if (!unwind_context.valid) return;
  170. auto handle_exception = m_assembler.make_label();
  171. m_assembler.mov(
  172. Assembler::Operand::Register(GPR0),
  173. Assembler::Operand::Mem64BaseAndOffset(UNWIND_CONTEXT_BASE, 0));
  174. m_assembler.jump_if_not_equal(
  175. Assembler::Operand::Register(GPR0),
  176. Assembler::Operand::Imm32(0),
  177. handle_exception);
  178. m_assembler.exit();
  179. // handle_exception:
  180. handle_exception.link(m_assembler);
  181. // no_exception:
  182. no_exception.link(m_assembler);
  183. }
  184. void Compiler::push_unwind_context(bool valid, Optional<Bytecode::Label> const& handler, Optional<Bytecode::Label> const& finalizer)
  185. {
  186. // Put this on the stack, and then point UNWIND_CONTEXT_BASE at it.
  187. // struct {
  188. // u64 valid;
  189. // u64 handler;
  190. // u64 finalizer;
  191. // };
  192. // push finalizer (patched later)
  193. m_assembler.mov(
  194. Assembler::Operand::Register(GPR0),
  195. Assembler::Operand::Imm64(0xdeadbeef));
  196. if (finalizer.has_value())
  197. const_cast<Bytecode::BasicBlock&>(finalizer.value().block()).absolute_references_to_here.append(m_assembler.m_output.size() - 8);
  198. m_assembler.push(Assembler::Operand::Register(GPR0));
  199. // push handler (patched later)
  200. m_assembler.mov(
  201. Assembler::Operand::Register(GPR0),
  202. Assembler::Operand::Imm64(0xdeadbeef));
  203. if (handler.has_value())
  204. const_cast<Bytecode::BasicBlock&>(handler.value().block()).absolute_references_to_here.append(m_assembler.m_output.size() - 8);
  205. m_assembler.push(Assembler::Operand::Register(GPR0));
  206. // push valid
  207. m_assembler.push(Assembler::Operand::Imm32(valid));
  208. // UNWIND_CONTEXT_BASE = STACK_POINTER
  209. m_assembler.mov(
  210. Assembler::Operand::Register(UNWIND_CONTEXT_BASE),
  211. Assembler::Operand::Register(STACK_POINTER));
  212. // align stack pointer
  213. m_assembler.sub(Assembler::Operand::Register(STACK_POINTER), Assembler::Operand::Imm8(8));
  214. }
  215. void Compiler::pop_unwind_context()
  216. {
  217. m_assembler.add(Assembler::Operand::Register(STACK_POINTER), Assembler::Operand::Imm8(32));
  218. m_assembler.add(Assembler::Operand::Register(UNWIND_CONTEXT_BASE), Assembler::Operand::Imm8(32));
  219. }
  220. OwnPtr<NativeExecutable> Compiler::compile(Bytecode::Executable const& bytecode_executable)
  221. {
  222. if (getenv("LIBJS_NO_JIT"))
  223. return nullptr;
  224. Compiler compiler;
  225. compiler.m_assembler.enter();
  226. compiler.m_assembler.mov(
  227. Assembler::Operand::Register(REGISTER_ARRAY_BASE),
  228. Assembler::Operand::Register(ARG1));
  229. compiler.m_assembler.mov(
  230. Assembler::Operand::Register(LOCALS_ARRAY_BASE),
  231. Assembler::Operand::Register(ARG2));
  232. compiler.push_unwind_context(false, {}, {});
  233. for (auto& block : bytecode_executable.basic_blocks) {
  234. block->offset = compiler.m_output.size();
  235. auto it = Bytecode::InstructionStreamIterator(block->instruction_stream());
  236. while (!it.at_end()) {
  237. auto const& op = *it;
  238. switch (op.type()) {
  239. case Bytecode::Instruction::Type::LoadImmediate:
  240. compiler.compile_load_immediate(static_cast<Bytecode::Op::LoadImmediate const&>(op));
  241. break;
  242. case Bytecode::Instruction::Type::Store:
  243. compiler.compile_store(static_cast<Bytecode::Op::Store const&>(op));
  244. break;
  245. case Bytecode::Instruction::Type::Load:
  246. compiler.compile_load(static_cast<Bytecode::Op::Load const&>(op));
  247. break;
  248. case Bytecode::Instruction::Type::GetLocal:
  249. compiler.compile_get_local(static_cast<Bytecode::Op::GetLocal const&>(op));
  250. break;
  251. case Bytecode::Instruction::Type::SetLocal:
  252. compiler.compile_set_local(static_cast<Bytecode::Op::SetLocal const&>(op));
  253. break;
  254. case Bytecode::Instruction::Type::Jump:
  255. compiler.compile_jump(static_cast<Bytecode::Op::Jump const&>(op));
  256. break;
  257. case Bytecode::Instruction::Type::JumpConditional:
  258. compiler.compile_jump_conditional(static_cast<Bytecode::Op::JumpConditional const&>(op));
  259. break;
  260. case Bytecode::Instruction::Type::LessThan:
  261. compiler.compile_less_than(static_cast<Bytecode::Op::LessThan const&>(op));
  262. break;
  263. case Bytecode::Instruction::Type::Increment:
  264. compiler.compile_increment(static_cast<Bytecode::Op::Increment const&>(op));
  265. break;
  266. default:
  267. dbgln("JIT compilation failed: {}", bytecode_executable.name);
  268. dbgln("Unsupported bytecode op: {}", op.to_deprecated_string(bytecode_executable));
  269. return nullptr;
  270. }
  271. ++it;
  272. }
  273. if (!block->is_terminated())
  274. compiler.m_assembler.exit();
  275. }
  276. auto* executable_memory = mmap(nullptr, compiler.m_output.size(), PROT_READ | PROT_WRITE, MAP_ANONYMOUS | MAP_PRIVATE, 0, 0);
  277. if (executable_memory == MAP_FAILED) {
  278. perror("mmap");
  279. return nullptr;
  280. }
  281. for (auto& block : bytecode_executable.basic_blocks) {
  282. // Patch up all the jumps
  283. for (auto& jump : block->jumps_to_here) {
  284. auto offset = block->offset - jump - 4;
  285. compiler.m_output[jump + 0] = (offset >> 0) & 0xff;
  286. compiler.m_output[jump + 1] = (offset >> 8) & 0xff;
  287. compiler.m_output[jump + 2] = (offset >> 16) & 0xff;
  288. compiler.m_output[jump + 3] = (offset >> 24) & 0xff;
  289. }
  290. // Patch up all the absolute references
  291. for (auto& absolute_reference : block->absolute_references_to_here) {
  292. auto offset = bit_cast<u64>(executable_memory) + block->offset;
  293. compiler.m_output[absolute_reference + 0] = (offset >> 0) & 0xff;
  294. compiler.m_output[absolute_reference + 1] = (offset >> 8) & 0xff;
  295. compiler.m_output[absolute_reference + 2] = (offset >> 16) & 0xff;
  296. compiler.m_output[absolute_reference + 3] = (offset >> 24) & 0xff;
  297. compiler.m_output[absolute_reference + 4] = (offset >> 32) & 0xff;
  298. compiler.m_output[absolute_reference + 5] = (offset >> 40) & 0xff;
  299. compiler.m_output[absolute_reference + 6] = (offset >> 48) & 0xff;
  300. compiler.m_output[absolute_reference + 7] = (offset >> 56) & 0xff;
  301. }
  302. }
  303. write(STDOUT_FILENO, compiler.m_output.data(), compiler.m_output.size());
  304. memcpy(executable_memory, compiler.m_output.data(), compiler.m_output.size());
  305. mprotect(executable_memory, compiler.m_output.size(), PROT_READ | PROT_EXEC);
  306. return make<NativeExecutable>(executable_memory, compiler.m_output.size());
  307. }
  308. }