m2isar.frontends.coredsl2.behavior_model_builder

Attributes

logger

Classes

BehaviorModelBuilder

ANTLR visitor to build an M2-ISA-R behavioral model of a function or instruction

Module Contents

logger

class BehaviorModelBuilder(constants: dict[str, arch.Constant], memories: dict[str, arch.Memory], memory_aliases: dict[str, arch.Memory], fields: dict[str, arch.BitFieldDescr], functions: dict[str, arch.Function], warned_fns: set[str])

Bases: m2isar.frontends.coredsl2.parser_gen.CoreDSL2Visitor

ANTLR visitor to build an M2-ISA-R behavioral model of a function or instruction of a CoreDSL 2 specification.

_constants

_memories

_memory_aliases

_fields

_scalars

_functions

warned_fns

visitChildren(node)

Helper method to return flatter results on tree visits.

aggregateResult(aggregate, nextResult)

Aggregate results from multiple children into a list.

visitProcedure_call(ctx: m2isar.frontends.coredsl2.parser_gen.CoreDSL2Parser.Procedure_callContext)

Generate a procedure (method call without return value) call.

visitMethod_call(ctx: m2isar.frontends.coredsl2.parser_gen.CoreDSL2Parser.Method_callContext)

Generate a function (method call with return value) call.

visitBlock(ctx: m2isar.frontends.coredsl2.parser_gen.CoreDSL2Parser.BlockContext)

Generate a block of statements, return a list.

visitDeclaration(ctx: m2isar.frontends.coredsl2.parser_gen.CoreDSL2Parser.DeclarationContext)

Generate a declaration statement. Can be multiple declarations of the same type at once. Each declaration can have an initial value.

visitBreak_statement(ctx: m2isar.frontends.coredsl2.parser_gen.CoreDSL2Parser.Break_statementContext)

visitReturn_statement(ctx: m2isar.frontends.coredsl2.parser_gen.CoreDSL2Parser.Return_statementContext)

Generate a return statement.

visitWhile_statement(ctx: m2isar.frontends.coredsl2.parser_gen.CoreDSL2Parser.While_statementContext)

Generate a while loop.

visitDo_statement(ctx: m2isar.frontends.coredsl2.parser_gen.CoreDSL2Parser.Do_statementContext)

Generate a do .. while loop.

visitFor_statement(ctx: m2isar.frontends.coredsl2.parser_gen.CoreDSL2Parser.For_statementContext)

Generate a for loop. Currently hacky, untested and mostly broken.

visitFor_condition(ctx: m2isar.frontends.coredsl2.parser_gen.CoreDSL2Parser.For_conditionContext)

Generate the condition of a for loop.

visitIf_statement(ctx: m2isar.frontends.coredsl2.parser_gen.CoreDSL2Parser.If_statementContext)

Generate an if statement. Packs all if, else if and else branches into one object.

visitConditional_expression(ctx: m2isar.frontends.coredsl2.parser_gen.CoreDSL2Parser.Conditional_expressionContext)

Generate a ternary expression.

visitBinary_expression(ctx: m2isar.frontends.coredsl2.parser_gen.CoreDSL2Parser.Binary_expressionContext)

Generate a binary expression.

abstract visitPreinc_expression(ctx: m2isar.frontends.coredsl2.parser_gen.CoreDSL2Parser.Preinc_expressionContext)

Generate a pre-increment expression. Not yet supported, throws NotImplementedError.

abstract visitPostinc_expression(ctx: m2isar.frontends.coredsl2.parser_gen.CoreDSL2Parser.Preinc_expressionContext)

Generate a post-increment expression. Not yet supported, throws NotImplementedError.

visitPrefix_expression(ctx: m2isar.frontends.coredsl2.parser_gen.CoreDSL2Parser.Prefix_expressionContext)

Generate an unary expression.

visitParens_expression(ctx: m2isar.frontends.coredsl2.parser_gen.CoreDSL2Parser.Parens_expressionContext)

Generate a parenthesized expression.

visitSlice_expression(ctx: m2isar.frontends.coredsl2.parser_gen.CoreDSL2Parser.Slice_expressionContext)

Generate a slice expression. Depending on context, this is translated to either an actual m2isar.metamodel.behav.SliceOperation`or an :class:`m2isar.metamodel.behav.IndexedReference if a :class:`m2isar.metamodel.arch.Memory object is to be sliced.

visitConcat_expression(ctx: m2isar.frontends.coredsl2.parser_gen.CoreDSL2Parser.Concat_expressionContext)

Generate a concatenation expression.

visitAssignment_expression(ctx: m2isar.frontends.coredsl2.parser_gen.CoreDSL2Parser.Assignment_expressionContext)

Generate an assignment. If a combined arithmetic-assignment is present, generate an additional binary operation and use it as the RHS.

visitReference_expression(ctx: m2isar.frontends.coredsl2.parser_gen.CoreDSL2Parser.Reference_expressionContext)

Generate a simple reference.

visitInteger_constant(ctx: m2isar.frontends.coredsl2.parser_gen.CoreDSL2Parser.Integer_constantContext)

Generate an integer literal.

visitCharacter_constant(ctx: m2isar.frontends.coredsl2.parser_gen.CoreDSL2Parser.Character_constantContext)

Generate a character literal. Converts directly to uint8.

visitBool_constant(ctx: m2isar.frontends.coredsl2.parser_gen.CoreDSL2Parser.Bool_constantContext)

Generate a boolean literal. Converts directly to uint1.

visitCast_expression(ctx: m2isar.frontends.coredsl2.parser_gen.CoreDSL2Parser.Cast_expressionContext)

Generate a type cast.

visitType_specifier(ctx: m2isar.frontends.coredsl2.parser_gen.CoreDSL2Parser.Type_specifierContext)

Generate a generic type specifier.

visitInteger_type(ctx: m2isar.frontends.coredsl2.parser_gen.CoreDSL2Parser.Integer_typeContext)

Generate an integer type specifier.

visitVoid_type(ctx: m2isar.frontends.coredsl2.parser_gen.CoreDSL2Parser.Void_typeContext)

Generate a void type specifier.

visitBool_type(ctx: m2isar.frontends.coredsl2.parser_gen.CoreDSL2Parser.Bool_typeContext)

Generate a bool type specifier. Aliases to unsigned<1>.

visitInteger_signedness(ctx: m2isar.frontends.coredsl2.parser_gen.CoreDSL2Parser.Integer_signednessContext)

Generate integer signedness.

visitInteger_shorthand(ctx: m2isar.frontends.coredsl2.parser_gen.CoreDSL2Parser.Integer_shorthandContext)

Lookup a shorthand type specifier.