Jakob Stoklund Olesen 25af6d380b Add a return_at_end setting. ...

The flag guarantees that the generated function does not have any
internal return instructions. If the function returns at all, the return
must be the last instruction.

For now just implement a verifier check for this property. When we get
CFG simplifiers and block layout optimizations, they will need to heed
the flag.

2017-09-11 11:09:51 -07:00

..

bad_layout.cton

Binary function names (#91)

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

memory.cton

Check for global variable deref cycles in the verifier.

2017-08-17 15:11:58 -07:00

return_at_end.cton

Add a return_at_end setting.

2017-09-11 11:09:51 -07:00

type_check.cton

Added tests for verifier type checking.

2017-08-14 15:24:05 -07:00

unreachable_code.cton

Fixed bug in verifier (#109)

2017-07-05 08:44:51 -07:00