d1m0 83e55525d6 Cleanup typos; Remove SAMEAS; More descriptive rank comments; Introduce explicit sorting in free_typevars() (#111) ...

As per the comment in TypeEnv.normalize_tv about cancellation, whenever we create a TypeVar we must assert that there is no under/overflow. To make sure this always happen move the safety checks to TypeVar.derived() from the other helper methods

2017-07-05 15:47:44 -07:00

..

__init__.py

Move some utility functions into the cdsl package.

2016-11-11 13:04:30 -08:00

ast.py

Add better type inference and encapsulate it in its own file (#110)

2017-07-05 09:16:44 -07:00

formats.py

Stop tracking if instruction formats have multiple results.

2017-04-13 12:27:39 -07:00

instructions.py

Add image computation of typesets; Remove TypeVar.singleton_type - instead derive singleton type from typeset; (#104)

2017-06-23 11:57:24 -07:00

isa.py

Add RISC-V encodings for spill and fill.

2017-06-13 13:39:52 -07:00

operands.py

Allow dot syntax notation for enumerated immediate operands.

2017-03-30 11:37:05 -07:00

predicates.py

Add Apply.inst_predicate().

2017-03-31 13:46:39 -07:00

registers.py

Add RISC-V encodings for spill and fill.

2017-06-13 13:39:52 -07:00

settings.py

Add mypy types for gen_settings.py.

2017-03-30 18:42:06 -07:00

test_ast.py

Move ast, xform, and legalize modules.

2016-11-08 12:33:50 -08:00

test_package.py

Move some utility functions into the cdsl package.

2016-11-11 13:04:30 -08:00

test_ti.py

Cleanup typos; Remove SAMEAS; More descriptive rank comments; Introduce explicit sorting in free_typevars() (#111)

2017-07-05 15:47:44 -07:00

test_typevar.py

Cleanup typos; Remove SAMEAS; More descriptive rank comments; Introduce explicit sorting in free_typevars() (#111)

2017-07-05 15:47:44 -07:00

test_xform.py

Move ast, xform, and legalize modules.

2016-11-08 12:33:50 -08:00

ti.py

Cleanup typos; Remove SAMEAS; More descriptive rank comments; Introduce explicit sorting in free_typevars() (#111)

2017-07-05 15:47:44 -07:00

types.py

Cleanup ValueType.get_names to with_bits form previous PR; Add computation of inverse image of typeset across a derived function - TypeSet.map_inverse; Change TypeVar.constrain_type to perform a more-general computation using inverse images of TypeSets; Tests for map_inverse;

2017-06-26 11:11:28 -07:00

typevar.py

Cleanup typos; Remove SAMEAS; More descriptive rank comments; Introduce explicit sorting in free_typevars() (#111)

2017-07-05 15:47:44 -07:00

xform.py

Cleanup typos; Remove SAMEAS; More descriptive rank comments; Introduce explicit sorting in free_typevars() (#111)

2017-07-05 15:47:44 -07:00