The compilation module of the VirtualMachine

Redefined classes

redef abstract class APropdef

nitc :: compilation $ APropdef

The definition of a property

redef class VirtualMachine

nitc :: compilation $ VirtualMachine

A virtual machine based on the naive_interpreter

All class definitions

redef abstract class APropdef

nitc :: compilation $ APropdef

The definition of a property

redef class VirtualMachine

nitc :: compilation $ VirtualMachine

A virtual machine based on the naive_interpreter

Ancestors

module abstract_collection

core :: abstract_collection

Abstract collection classes and services.

module abstract_text

core :: abstract_text

Abstract class for manipulation of sequences of characters

module annotation

nitc :: annotation

Management and utilities on annotations

module array

This module introduces the standard array structure.

module astbuilder

nitc :: astbuilder

Instantiation and transformation of semantic nodes in the AST of expressions and statements

module auto_super_init

nitc :: auto_super_init

Computing of super-constructors that must be implicitly called at the begin of constructors.

module bitset

Services to handle BitSet

module bytes

Services for byte streams and arrays

module caching

serialization :: caching

Services for caching serialization engines

module circular_array

core :: circular_array

Efficient data structure to access both end of the sequence.

module codec_base

core :: codec_base

Base for codecs to use with streams

module codecs

Group module for all codec-related manipulations

module collection

core :: collection

This module define several collection classes.

module console

console :: console

Defines some ANSI Terminal Control Escape Sequences.

module core

Standard classes and methods used by default by Nit programs and libraries.

module digraph

graph :: digraph

Implementation of directed graphs, also called digraphs.

module engine_tools

serialization :: engine_tools

Advanced services for serialization engines

module environ

core :: environ

Access to the environment variables of the process

module error

Standard error-management infrastructure.

module exec

Invocation and management of operating system sub-processes.

module explain_assert_api

nitc :: explain_assert_api

Explain failed assert to the console (service declaration only)

module file

File manipulations (create, read, write, etc.)

module fixed_ints

core :: fixed_ints

Basic integers of fixed-precision

module fixed_ints_text

core :: fixed_ints_text

Text services to complement fixed_ints

module flat

All the array-based text representations

module flow

Intraprocedural static flow.

module gc

Access to the Nit internal garbage collection mechanism

module hash_collection

core :: hash_collection

Introduce HashMap and HashSet.

module ini

Read and write INI configuration files

module inspect

serialization :: inspect

Refine Serializable::inspect to show more useful information

module iso8859_1

core :: iso8859_1

Codec for ISO8859-1 I/O

module kernel

Most basic classes and methods.

module lexer

Lexer and its tokens.

module lexer_work

nitc :: lexer_work

Internal algorithm and data structures for the Nit lexer

module list

This module handle double linked lists

module literal

nitc :: literal

Parsing of literal values in the abstract syntax tree.

module loader

Loading of Nit source files

module local_var_init

nitc :: local_var_init

Verify that local variables are initialized before their usage

module location

nitc :: location

Nit source-file and locations in source-file

module math

Mathematical operations

module mdoc

Documentation of model entities

module meta

Simple user-defined meta-level to manipulate types of instances as object.

module mixin

Loading and additional module refinements at link-time.

module mmodule

nitc :: mmodule

modules and module hierarchies in the metamodel

module mmodule_data

nitc :: mmodule_data

Define and retrieve data in modules

module model

Classes, types and properties

module model_base

nitc :: model_base

The abstract concept of model and related common things

module modelbuilder

nitc :: modelbuilder

module modelbuilder_base

nitc :: modelbuilder_base

Load nit source files and build the associated model

module modelize

nitc :: modelize

Create a model from nit source files

module modelize_class

nitc :: modelize_class

Analysis and verification of class definitions to instantiate model element

module modelize_property

nitc :: modelize_property

Analysis and verification of property definitions to instantiate model element

module more_collections

more_collections :: more_collections

Highly specific, but useful, collections-related classes.

module mpackage

nitc :: mpackage

Modelisation of a Nit package

module naive_interpreter

nitc :: naive_interpreter

Interpretation of a Nit program directly on the AST

module native

Native structures for text and bytes

module nitpm_shared

nitc :: nitpm_shared

Services related to the Nit package manager

module numeric

core :: numeric

Advanced services for Numeric types

module opts

Management of options on the command line

module ordered_tree

ordered_tree :: ordered_tree

Manipulation and presentation of ordered trees.

module parser

Parser.

module parser_nodes

nitc :: parser_nodes

AST nodes of the Nit language

module parser_prod

nitc :: parser_prod

Production AST nodes full definition.

module parser_work

nitc :: parser_work

Internal algorithm and data structures for the Nit parser

module perfect_hashing

perfect_hashing :: perfect_hashing

Perfect hashing and perfect numbering

module phase

Phases of the processing of nit programs

module poset

Pre order sets and partial order set (ie hierarchies)

module protocol

core :: protocol

module queue

Queuing data structures and wrappers

module range

Module for range of discrete objects.

module re

Regular expression support for all services based on Pattern

module ropes

Tree-based representation of a String.

module scope

Identification and scoping of local variables and labels.

module semantize

nitc :: semantize

Process bodies of methods in regard with the model.

module serialization

serialization :: serialization

General serialization services

module serialization_core

serialization :: serialization_core

Abstract services to serialize Nit objects to different formats

module serialization_write

json :: serialization_write

Services to write Nit objects to JSON strings: serialize_to_json and JsonSerializer

module serialize_model

nitc :: serialize_model

Service to serialize POSet to JSON

module sorter

This module contains classes used to compare things and sorts arrays.

module stream

Input and output streams of characters

module string_search

core :: string_search

Basic string search, match and replace.

module tables

Module that interfaces the parsing tables.

module template

template :: template

Basic template system

module text

All the classes and methods related to the manipulation of text entities

module time

Management of time and dates

module toolcontext

nitc :: toolcontext

Common command-line tool infrastructure than handle options and error messages

module typing

Intraprocedural resolution of static types and OO-services

module union_find

core :: union_find

union–find algorithm using an efficient disjoint-set data structure

module utf8

Codec for UTF-8 I/O

module version

nitc :: version

This file was generated by git-gen-version.sh

module virtual_machine

nitc :: virtual_machine

Implementation of the Nit virtual machine

Parents

module ssa

Single-Static Assignment algorithm from an AST

module variables_numbering

nitc :: variables_numbering

Handle all numbering operations related to local variables in the Nit virtual machine

Children

module vm

Entry point of all vm components

Descendants

module a_star-m

module nit

A naive Nit interpreter

module nitvm

The Nit virtual machine launcher

module test_astbuilder

nitc :: test_astbuilder

Program used to test the clone method of the astbuilder tool

# The compilation module of the VirtualMachine
module compilation

import variables_numbering
import ssa

redef class VirtualMachine

	# The currently analyzed APropdef
	var current_propdef: APropdef

	redef fun new_frame(node, mpropdef, args)
	do
		# Save the current propdef
		if node isa APropdef then self.current_propdef = node

		return super
	end
end

redef class APropdef

	redef fun compile(vm)
	do
		super

		# A new instance of SSA to analyze the self propdef
		var ssa = new SSA(self)

		# Generate basic_blocks and compute SSA-algorithm for this propdef
		compute_ssa(ssa)
	end

	# Redef to add the same position to a new version of a Variable than the original variable
	redef fun generate_name(v, counter, expr, ssa)
	do
		var new_version = super

		# All versions of a variable have the same position in the environment
		new_version.position = v.original_variable.position

		return new_version
	end
end

src/vm/compilation.nit:17,1--60,3