% # -*- mode:c; style:ruby; coding: utf-8; indent-tabs-mode: nil -*- % # Copyright (c) 2018 Takashi Kokubun. All rights reserved. % # % # This file is a part of the programming language Ruby. Permission is hereby % # granted, to either redistribute and/or modify this file, provided that the % # conditions mentioned in the file COPYING are met. Consult the file for % # details. % % to_cstr = lambda do |line| % normalized = line.gsub(/\t/, ' ' * 8) % indented = normalized.sub(/\A(?!#)/, ' ') # avoid indenting preprocessor % rstring2cstr(indented.rstrip).sub(/"\z/, '\\n"') % end % % # % # Expand simple macro, which doesn't require dynamic C code. % # % expand_simple_macros = lambda do |arg_expr| % arg_expr.dup.tap do |expr| % # For `leave`. We can't proceed next ISeq in the same JIT function. % expr.gsub!(/^(?\s*)RESTORE_REGS\(\);\n/) do % indent = Regexp.last_match[:indent] % <<-RESTORE_REGS.gsub(/^ +/, '') % #if OPT_CALL_THREADED_CODE % #{indent}rb_ec_thread_ptr(ec)->retval = val; % #{indent}return 0; % #else % #{indent}return val; % #endif % RESTORE_REGS % end % end % end % % # % # Print a body of insn, but with macro expansion. % # % expand_simple_macros.call(insn.expr.expr).each_line do |line| % # % # Expand dynamic macro here (only JUMP for now) % # % # TODO: support combination of following macros in the same line % case line % when /\A\s+JUMP\((?[^)]+)\);\s+\z/ % dest = Regexp.last_match[:dest] % % if insn.name == 'opt_case_dispatch' # special case... TODO: use another macro to avoid checking name { struct case_dispatch_var arg; arg.f = f; arg.base_pos = pos + insn_len(insn); arg.last_value = Qundef; fprintf(f, " switch (<%= dest %>) {\n"); st_foreach(RHASH_TBL_RAW(hash), compile_case_dispatch_each, (VALUE)&arg); fprintf(f, " case %lu:\n", else_offset); fprintf(f, " goto label_%lu;\n", arg.base_pos + else_offset); fprintf(f, " }\n"); } % else % # Before we `goto` next insn, we need to set return values, especially for getinlinecache % insn.rets.reverse_each.with_index do |ret, i| % # TOPN(n) = ... fprintf(f, " stack[%d] = <%= ret.fetch(:name) %>;\n", b->stack_size + (int)<%= insn.call_attribute('sp_inc') %> - <%= i + 1 %>); % end % next_pos = pos + insn_len(insn) + (unsigned int)<%= dest %>; fprintf(f, " goto label_%d;\n", next_pos); % end % when /\A\s+DISPATCH_ORIGINAL_INSN\([^)]+\);\s+\z/ % # For `opt_xxx`'s fallbacks. if (!body->catch_except_p) { fprintf(f, " reg_cfp->pc = original_body_iseq + %d;\n", pos); } fprintf(f, " goto cancel;\n"); % else fprintf(f, <%= to_cstr.call(line) %>); % end % end