Commit graph

25 commits

Author SHA1 Message Date
Jon Riehl
ee557c55cc Added llpython.tests.test_all module for unit testing all llpython. 2013-06-06 14:13:39 -05:00
Jon Riehl
722453502c Continued generalization of byte_flow.demo_flow_builder(), moving traversal logic into visitor function opcode_util.visit_code_args(). Modified byte_control.main() to use visit_code_args(). 2013-06-06 14:08:09 -05:00
Jon Riehl
c55198095f Modified FlowTestMixin.build_and_test_flow() to return generated flow for further testing. 2013-06-06 14:04:48 -05:00
Jon Riehl
bba305774a Moved most of llpython.tests.test_addr_flow into llpython.tests.test_byte_flow, made some modifications to various modules to facilitate proper handling of try-finally. 2013-06-05 18:52:27 -05:00
Jon Riehl
4837bf194e Moved some utility functions into class methods of the BytecodeFlowBuilder class, and eliminated redundant code in AddressFlowBuilder. 2013-06-05 15:28:17 -05:00
Jon Riehl
102d6eac66 Adding basic unit test for llpython.addr_flow. 2013-06-05 13:49:02 -05:00
Jon Riehl
31119a48d4 Modified main routine in llpython.addr_flow to make it easier to determine which code object caused an exception in the translator. 2013-06-05 13:48:30 -05:00
Jon Riehl
b5a15a5019 Added function to iterate through nested code objects, llpython.opcode_util.itercodeobjs(), and used it in llpython.addr_flow. 2013-06-03 19:12:19 -05:00
Jon Riehl
c890cbdd92 Attempting to improve readability of opcode value stack action map using namedtuple in llpython.opcode_util. 2013-06-03 18:00:06 -05:00
Jon Riehl
643f0706e9 Checking in non-functional attempt at type dependency simplification pass in llpython.type_flow. 2013-06-03 16:00:46 -05:00
Jon Riehl
abbf972768 Added address flow builder, and type constraint generator. 2013-05-21 11:58:26 -05:00
Jon Riehl
c06f811473 Reintroduced dead code elimination to CFA pass to avoid dataflow problems. Updated tests. 2013-05-16 15:38:12 -05:00
Jon Riehl
c5d95e01e1 More work on CFA for try-finally in the presence of loops. 2013-05-15 18:40:44 -05:00
Jon Riehl
8ae1b70206 Initial attempt to support return statements in try-finally block in llpython.byte_control. Added incomplete unit tests. 2013-05-14 17:34:54 -05:00
Jon Riehl
d3b252531d Updates to llpython.opcode_util to better support loop and exception control flow.
* Inlcuded non-argument branching opcodes in the hasjump opcode list.
* Added all the SETUP_* opcodes to the hascbranch list.
* Modified itercode() to not output the EXTENDED_ARG bytecode.
* Cleaned up extendlabels(), and made it use the hasjump opcode list uniformly.
2013-05-14 14:52:11 -05:00
Jon Riehl
6f532f164a Working on full opcode coverage and support for exception control flow. 2013-05-14 14:52:11 -05:00
Jon Riehl
5ef00671e7 Add support for more bytecodes. 2013-05-14 14:52:11 -05:00
Jon Riehl
8787af154e Change idom() method to get_a_dom(), update uses, and documentation. 2013-05-14 14:52:11 -05:00
Hernan Grecco
b8da3c7a73 Changed imports in llpython 2013-03-05 18:11:08 -03:00
Ilan Schnell
5dd0948c65 cleanup 2013-01-31 17:54:20 -06:00
Jon Riehl
b895f1fc99 Added explicit branch to otherwise unterminated basic blocks in llpython.byte_translator. 2013-01-29 16:44:03 -06:00
Jon Riehl
ffc067f852 Attempt at a fix for issue #48. 2013-01-28 20:08:09 -06:00
Mark Florisson
60795adb5e Implement JUMP_IF_FALSE bytecode instruction in llpython 2013-01-24 20:10:41 -06:00
Travis E. Oliphant
ac791e5c38 Change name to llpython and remove llnumba references. 2012-11-07 12:14:01 -06:00
Travis E. Oliphant
bbc7a4ddf0 Ready for numba/llnumba -> llvmpy/llpython 2012-11-07 12:08:32 -06:00