Skip to content

[Calyx] Don't generate conflicting assignments when lowering unrolled loops #384

Open
@rachitnigam

Description

@rachitnigam

Currently, when unrolled loops are lowered, they may generate conflicting assignments. The reason that this hasn't cause correctness problems in the past is because all of the assignments attempt to write the same value to the port. However, with Calyx's default simulation backend generating assertions to check for conflicts and the Calyx interpreter doing the same, this is no longer a tenable compilation solution.

Metadata

Metadata

Assignees

No one assigned

    Labels

    Comp: CalyxIssue related to the Calyx backendHigh PriorityBlocking language implementation

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions