Jakob Stoklund Olesen 3ccc3f4f9b Add a stack_check instruction. ...

This instruction loads a stack limit from a global variable and compares
it to the stack pointer, trapping if the stack has grown beyond the
limit.

Also add a expand_flags transform group containing legalization patterns
for ISAs with CPU flags.

Fixes #234.

2018-02-13 10:48:06 -08:00

..

base

Add a stack_check instruction.

2018-02-13 10:48:06 -08:00

cdsl

Illegalize rbp/r13 for zero-offset loads on Intel x64 (#225)

2018-01-16 20:05:53 -08:00

isa

Add a stack_check instruction.

2018-02-13 10:48:06 -08:00

semantics

Fix for #141 (#142)

2017-08-14 20:19:47 -07:00

stubs/z3

Cleanup for PR #123 (#129)

2017-07-31 16:02:27 -07:00

build.py

Add a mypy.ini file and enable some more warnings.

2017-03-30 19:52:49 -07:00

check.sh

Revert accidental change

2017-09-22 07:54:26 -07:00

constant_hash.py

Replace hex with "0x%x" % ... to fix a trailing 'L' on 32-bit python2

2017-12-01 06:44:37 -08:00

gen_binemit.py

Make generated code more consistent with current rustfmt.

2017-10-30 10:06:23 -07:00

gen_build_deps.py

Add more mypy annotations.

2017-03-30 15:16:44 -07:00

gen_encoding.py

Fix generated code for ISA predicates on encoding recipes.

2017-12-08 10:37:50 -08:00

gen_instr.py

Change parse_multiline to follow PEP 257.

2017-10-31 12:21:23 -07:00

gen_legalizer.py

Pass an ISA argument to legalization functions.

2018-02-13 10:42:00 -08:00

gen_registers.py

Add Intel encodings for ifcmp_sp.

2018-02-09 14:32:29 -08:00

gen_settings.py

Make generated code more consistent with current rustfmt.

2017-10-30 10:06:23 -07:00

gen_types.py

Change parse_multiline to follow PEP 257.

2017-10-31 12:21:23 -07:00

mypy.ini

Run mypy in python 3 mode.

2017-05-08 13:29:01 -07:00

srcgen.py

Change parse_multiline to follow PEP 257.

2017-10-31 12:21:23 -07:00

test_constant_hash.py

Move the 'meta' dir to 'lib/cretonne/meta'.

2016-10-17 14:19:23 -07:00

test_gen_legalizer.py

Allow for multiple legalization patterns for the same opcode.

2017-07-28 13:54:25 -07:00

test_srcgen.py

Move the 'meta' dir to 'lib/cretonne/meta'.

2016-10-17 14:19:23 -07:00

unique_table.py

Fix some mypy errors.

2018-01-03 12:13:13 -08:00