-
Notifications
You must be signed in to change notification settings - Fork 2
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
- Loading branch information
Showing
24 changed files
with
85 additions
and
564 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,2 @@ | ||
from .ast_to_c import ast_to_c | ||
from .type_to_c import type_to_c |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,6 @@ | ||
from .ast import Assignment, Integer, Float, Scalar, Tensor, Add, Multiply, Contract | ||
from .collect_lattices import collect_lattices | ||
from .desugar_expression import desugar_assignment | ||
from .id import Id | ||
from .to_identifiable import to_identifiable | ||
from .to_iteration_graph import to_iteration_graph |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,3 @@ | ||
from .ast import Statement, Expression, Assignable, Variable, AttributeAccess, ArrayIndex, IntegerLiteral, FloatLiteral, BooleanLiteral, ModeLiteral, ArrayLiteral, Add, Subtract, Multiply, Equal, NotEqual, GreaterThan, GreaterThanOrEqual, LessThan, LessThanOrEqual, And, Or, FunctionCall, Max, Min, Address, BooleanToInteger, Allocate, ArrayAllocate, ArrayReallocate, Free, Declaration, Assignment, DeclarationAssignment, Block, Branch, Loop, Break, Return, FunctionDefinition | ||
from .builder import SourceBuilder | ||
from .peephole import peephole |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,3 @@ | ||
from .iteration_graph_to_c_code import generate_c_code, KernelType | ||
from .problem import Problem | ||
from .merge_lattice import Lattice, LatticeLeaf, LatticeConjuction, LatticeDisjunction, IterationMode |
5 changes: 5 additions & 0 deletions
5
src/tensora/iteration_graph/identifiable_expression/__init__.py
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,2 +1,7 @@ | ||
from .ast import Assignment, Expression, Variable | ||
from .exhaust_tensors import exhaust_tensor | ||
from .index_dimension import index_dimension | ||
from .index_dimensions import index_dimensions | ||
from .tensor_leaf import TensorLeaf | ||
from .to_ir import to_ir | ||
from .variables import to_c_code |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
3 changes: 1 addition & 2 deletions
3
src/tensora/iteration_graph/identifiable_expression/exhaust_tensors.py
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1 +1 @@ | ||
from .merge_lattice import * | ||
from .merge_lattice import Lattice, LatticeLeaf, LatticeConjuction, LatticeDisjunction, IterationMode |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file was deleted.
Oops, something went wrong.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,26 @@ | ||
__all__ = ["generate_code", "KernelType"] | ||
|
||
from typing import Dict | ||
from tensora.expression import parse_assignment | ||
from tensora.format import parse_format | ||
from tensora.desugar import desugar_assignment, to_identifiable, to_iteration_graph | ||
from tensora.iteration_graph import KernelType, generate_c_code, Problem | ||
from tensora.codegen import ast_to_c | ||
from tensora.ir import peephole | ||
|
||
|
||
def generate_code(assignment: str, output_format: str, input_formats: Dict[str, str], kernel_type: KernelType) -> str: | ||
assignment_parsed = parse_assignment(assignment).unwrap() | ||
input_formats_parsed = {name: parse_format(format).unwrap() for name, format in input_formats.items()} | ||
output_format_parsed = parse_format(output_format).unwrap() | ||
|
||
desugar = desugar_assignment(assignment_parsed) | ||
|
||
identifiable_assignment = to_identifiable(desugar, input_formats_parsed, output_format_parsed) | ||
|
||
graph = to_iteration_graph(desugar, input_formats_parsed, output_format_parsed) | ||
problem = Problem(identifiable_assignment, input_formats_parsed, output_format_parsed) | ||
|
||
ir = generate_c_code(problem, graph, kernel_type).finalize() | ||
|
||
return ast_to_c(peephole(ir)) |
This file was deleted.
Oops, something went wrong.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,10 @@ | ||
from tensora.native import generate_code, KernelType | ||
|
||
|
||
def test_native_codegen(): | ||
assignment = "f(i) = A0(i) + A1(i,j) * x(j) + A2(i,k,l) * x(k) * x(l)" | ||
output_format = "d" | ||
input_formats = {"A0": "d", "A1": "ds", "A2": "dss", "x": "d"} | ||
kernel_type = KernelType.compute | ||
code = generate_code(assignment, output_format, input_formats, kernel_type) | ||
assert isinstance(code, str) |
Oops, something went wrong.