Commit Graph

  • e90e59cedb Add DataFlowGraph::redefine_first_value() Jakob Stoklund Olesen 2017-03-15 17:04:58 -07:00
  • 578fec90cd Add DataFlowGraph::redefine_first_value() Jakob Stoklund Olesen 2017-03-15 17:04:58 -07:00
  • 2119c85224 Don't return a Values iterator from detach_secondary_results(). Jakob Stoklund Olesen 2017-03-15 15:38:47 -07:00
  • 89f45a5c82 Don't return a Values iterator from detach_secondary_results(). Jakob Stoklund Olesen 2017-03-15 15:38:47 -07:00
  • db5aead1a5 Rename take_ebb_args to detach_ebb_args() Jakob Stoklund Olesen 2017-03-15 15:21:57 -07:00
  • 765c866971 Rename take_ebb_args to detach_ebb_args() Jakob Stoklund Olesen 2017-03-15 15:21:57 -07:00
  • d15f25844a Legalize ABI arguments to call and return instructions. Jakob Stoklund Olesen 2017-03-08 17:33:20 -08:00
  • 28153c97ea Legalize ABI arguments to call and return instructions. Jakob Stoklund Olesen 2017-03-08 17:33:20 -08:00
  • 01cb51ece9 Add DataFlowGraph::display_inst(). Jakob Stoklund Olesen 2017-03-15 13:40:58 -07:00
  • aa400d46ec Add DataFlowGraph::display_inst(). Jakob Stoklund Olesen 2017-03-15 13:40:58 -07:00
  • 9549cf603c Add a primitive debug tracing facility. Jakob Stoklund Olesen 2017-03-15 11:04:38 -07:00
  • 210530da9c Add a primitive debug tracing facility. Jakob Stoklund Olesen 2017-03-15 11:04:38 -07:00
  • d604855b27 Fix logic bug in requires_typevar_operand. Jakob Stoklund Olesen 2017-03-14 13:31:01 -07:00
  • d86854b286 Fix logic bug in requires_typevar_operand. Jakob Stoklund Olesen 2017-03-14 13:31:01 -07:00
  • 7db4b1b73a Add OpcodeConstraints::fixed_value_arguments() Jakob Stoklund Olesen 2017-03-14 13:17:21 -07:00
  • b4b913cc54 Add OpcodeConstraints::fixed_value_arguments() Jakob Stoklund Olesen 2017-03-14 13:17:21 -07:00
  • 98e8a96412 Add unit test for value aliasing Keith Yeung 2017-03-14 11:17:20 -07:00
  • c190884bca Add unit test for value aliasing Keith Yeung 2017-03-14 11:17:20 -07:00
  • f18eddc9ed Allow type inference to go through value aliasing Keith Yeung 2017-03-14 10:25:30 -07:00
  • c6f8bfff0b Allow type inference to go through value aliasing Keith Yeung 2017-03-14 10:25:30 -07:00
  • d93c37a826 Make value aliases during references rewriting Keith Yeung 2017-01-17 01:17:29 -08:00
  • e1d17b2acf Make value aliases during references rewriting Keith Yeung 2017-01-17 01:17:29 -08:00
  • 8e38c7907d Create alias HashMap in parser context Keith Yeung 2017-03-13 21:29:22 -07:00
  • a18ad5a306 Create alias HashMap in parser context Keith Yeung 2017-03-13 21:29:22 -07:00
  • 50e043477e Parse instruction results separately from instructions Keith Yeung 2017-01-08 18:58:12 -08:00
  • ce1ad37863 Parse instruction results separately from instructions Keith Yeung 2017-01-08 18:58:12 -08:00
  • 010861d58e Upgrade to rustfmt 0.8.0. Jakob Stoklund Olesen 2017-03-14 10:48:05 -07:00
  • 32709a56ca Upgrade to rustfmt 0.8.0. Jakob Stoklund Olesen 2017-03-14 10:48:05 -07:00
  • 477fb4d5da Expanded instruction integrity checking in the verifier, now verifying result types and entity references. Angus Holder 2017-03-13 21:51:16 +00:00
  • 849f3f3e9b Expanded instruction integrity checking in the verifier, now verifying result types and entity references. Angus Holder 2017-03-13 21:51:16 +00:00
  • d3df198747 Add a grow_at() method to EntityList. Jakob Stoklund Olesen 2017-03-13 16:37:48 -07:00
  • d9a0c0d056 Add a grow_at() method to EntityList. Jakob Stoklund Olesen 2017-03-13 16:37:48 -07:00
  • 1baedc3ca5 Add take_value_list and put_value_list methods. Jakob Stoklund Olesen 2017-03-13 14:07:14 -07:00
  • 5f2e37e05c Add take_value_list and put_value_list methods. Jakob Stoklund Olesen 2017-03-13 14:07:14 -07:00
  • 1e1a1a8797 Added ControlFlowGraph::recompute_ebb for incremental CFG updates. Angus Holder 2017-03-12 15:20:06 +00:00
  • 404a88f581 Added ControlFlowGraph::recompute_ebb for incremental CFG updates. Angus Holder 2017-03-12 15:20:06 +00:00
  • 11a0daa7fd Define boolean conversion instructions. Angus Holder 2017-03-11 15:44:49 +00:00
  • 27e7945f63 Define boolean conversion instructions. Angus Holder 2017-03-11 15:44:49 +00:00
  • 46525b0153 [B-tree] Initial comment to describe the design choices. Davide Italiano 2017-03-10 11:52:11 -08:00
  • 1ebf0fd815 [B-tree] Initial comment to describe the design choices. Davide Italiano 2017-03-10 11:52:11 -08:00
  • 667d6f9381 Remove the value_list and boxed_storage format flags. Jakob Stoklund Olesen 2017-03-10 12:43:05 -08:00
  • 1b6702ceba Remove the value_list and boxed_storage format flags. Jakob Stoklund Olesen 2017-03-10 12:43:05 -08:00
  • 910e4e6174 Coalesce some formats into MultiAry. Jakob Stoklund Olesen 2017-03-10 12:17:12 -08:00
  • 519eb1934b Coalesce some formats into MultiAry. Jakob Stoklund Olesen 2017-03-10 12:17:12 -08:00
  • 9fbfd0d2a6 Remove the vconst instruction and the UnaryImmVector format. Jakob Stoklund Olesen 2017-03-10 11:57:49 -08:00
  • 6021da8e1c Remove the vconst instruction and the UnaryImmVector format. Jakob Stoklund Olesen 2017-03-10 11:57:49 -08:00
  • c50e5f3f66 Separate immediate and value operands in the instruction format. Jakob Stoklund Olesen 2017-03-10 11:09:49 -08:00
  • 60daf3e76b Separate immediate and value operands in the instruction format. Jakob Stoklund Olesen 2017-03-10 11:09:49 -08:00
  • dcdaeee4af Eliminate InstructionFormat.value_operands and .kinds. Jakob Stoklund Olesen 2017-03-10 10:25:18 -08:00
  • c480f2264a Eliminate InstructionFormat.value_operands and .kinds. Jakob Stoklund Olesen 2017-03-10 10:25:18 -08:00
  • cdb4cce3dc Change index domain for typevar_operand. Jakob Stoklund Olesen 2017-03-10 10:38:38 -08:00
  • 405cc14522 Change index domain for typevar_operand. Jakob Stoklund Olesen 2017-03-10 10:38:38 -08:00
  • da693f72e2 Eliminate InstructionFormat.members. Jakob Stoklund Olesen 2017-03-10 10:04:30 -08:00
  • 2c845ad65c Eliminate InstructionFormat.members. Jakob Stoklund Olesen 2017-03-10 10:04:30 -08:00
  • af3fa6b83d Avoid using 'members' and 'value_operands' in the legalizer. Jakob Stoklund Olesen 2017-03-10 09:56:37 -08:00
  • c1fa8fbb61 Avoid using 'members' and 'value_operands' in the legalizer. Jakob Stoklund Olesen 2017-03-10 09:56:37 -08:00
  • d9c61373e2 Change InstBuilder low-level format constructor signatures. Jakob Stoklund Olesen 2017-03-10 09:05:53 -08:00
  • be7ff71b15 Change InstBuilder low-level format constructor signatures. Jakob Stoklund Olesen 2017-03-10 09:05:53 -08:00
  • 054edeb765 Add value_opnums and imm_opnums fields to Instruction. Jakob Stoklund Olesen 2017-03-10 09:23:55 -08:00
  • 2b209c791d Add value_opnums and imm_opnums fields to Instruction. Jakob Stoklund Olesen 2017-03-10 09:23:55 -08:00
  • 515e34f221 Clean up lifetimes a bit. Jakob Stoklund Olesen 2017-03-10 08:25:02 -08:00
  • e217b04347 Clean up lifetimes a bit. Jakob Stoklund Olesen 2017-03-10 08:25:02 -08:00
  • 4ad8362e09 Initial B-tree interface. Davide Italiano 2017-03-10 09:04:41 -08:00
  • f4d43101d0 Initial B-tree interface. Davide Italiano 2017-03-10 09:04:41 -08:00
  • 618fefb7da Simplify the arguments() return type. Jakob Stoklund Olesen 2017-03-09 22:04:13 -08:00
  • f451cf42c8 Simplify the arguments() return type. Jakob Stoklund Olesen 2017-03-09 22:04:13 -08:00
  • f3d7485494 Python InstructionFormat refactoring. Jakob Stoklund Olesen 2017-03-09 21:03:52 -08:00
  • 703762a67c Python InstructionFormat refactoring. Jakob Stoklund Olesen 2017-03-09 21:03:52 -08:00
  • ec5ee70a5c Remove some has_value_list workarounds. Jakob Stoklund Olesen 2017-03-09 19:12:00 -08:00
  • cd06b176ac Remove some has_value_list workarounds. Jakob Stoklund Olesen 2017-03-09 19:12:00 -08:00
  • d301fb9f2b Convert return formats to value lists. Jakob Stoklund Olesen 2017-03-09 15:56:33 -08:00
  • 582a048089 Convert return formats to value lists. Jakob Stoklund Olesen 2017-03-09 15:56:33 -08:00
  • 5170ef6b5f Convert the Branch and Jump instruction formats to value_list. Jakob Stoklund Olesen 2017-03-09 14:53:31 -08:00
  • 1135a89af9 Convert the Branch and Jump instruction formats to value_list. Jakob Stoklund Olesen 2017-03-09 14:53:31 -08:00
  • a6c2cc71df Use value lists for call arguments. Jakob Stoklund Olesen 2017-03-09 13:10:27 -08:00
  • 364b8e5f0a Use value lists for call arguments. Jakob Stoklund Olesen 2017-03-09 13:10:27 -08:00
  • e21bf444dc Added parsing of argument locations for functions and signatures. Angus Holder 2017-03-09 20:19:15 +00:00
  • 81f26cfbba Added parsing of argument locations for functions and signatures. Angus Holder 2017-03-09 20:19:15 +00:00
  • cfe58d7994 Upgrade to Sphinx 1.5.3 Jakob Stoklund Olesen 2017-03-09 10:05:55 -08:00
  • 3e87092ce8 Upgrade to Sphinx 1.5.3 Jakob Stoklund Olesen 2017-03-09 10:05:55 -08:00
  • 20d6713f93 Some refactoring, relaxed error handling so we allow encoding specifiers even without a unique ISA. Angus Holder 2017-03-09 12:09:28 +00:00
  • 41e4ea9158 Some refactoring, relaxed error handling so we allow encoding specifiers even without a unique ISA. Angus Holder 2017-03-09 12:09:28 +00:00
  • 6fba5c4e0a We now parse and record a ValueLoc for each SSA value result of each instruction. Code currently not passing tests. Angus Holder 2017-03-09 02:45:20 +00:00
  • cfdecfdcbf We now parse and record a ValueLoc for each SSA value result of each instruction. Code currently not passing tests. Angus Holder 2017-03-09 02:45:20 +00:00
  • e0f7243523 Handle a half-full func.locations map. Jakob Stoklund Olesen 2017-03-08 19:43:24 -08:00
  • bc1901b766 Handle a half-full func.locations map. Jakob Stoklund Olesen 2017-03-08 19:43:24 -08:00
  • ecc46e56e1 Add is_call and is_return instruction attributes. Jakob Stoklund Olesen 2017-03-08 14:48:50 -08:00
  • 58756e5d34 Add is_call and is_return instruction attributes. Jakob Stoklund Olesen 2017-03-08 14:48:50 -08:00
  • cbbf5cc88b Use a unique ISA in 'test cat' file tests. Jakob Stoklund Olesen 2017-03-08 12:50:43 -08:00
  • 7a45aeebeb Use a unique ISA in 'test cat' file tests. Jakob Stoklund Olesen 2017-03-08 12:50:43 -08:00
  • 4525929df2 Added tests, some refactoring, fixed a parsing bug. Angus Holder 2017-03-03 21:30:33 +00:00
  • 10f86baf63 Added tests, some refactoring, fixed a parsing bug. Angus Holder 2017-03-03 21:30:33 +00:00
  • a58ccb1125 Added parsing of instruction encodings and result registers specifications. Angus Holder 2017-03-03 00:06:52 +00:00
  • a081b09c94 Added parsing of instruction encodings and result registers specifications. Angus Holder 2017-03-03 00:06:52 +00:00
  • 5ac57220be Strip trailing white space from regex: directives. Jakob Stoklund Olesen 2017-03-08 12:14:27 -08:00
  • fd9d7fae76 Strip trailing white space from regex: directives. Jakob Stoklund Olesen 2017-03-08 12:14:27 -08:00
  • 2de210ddb6 Implement From traits on ArgAction for convenience. Jakob Stoklund Olesen 2017-03-07 15:13:55 -08:00
  • 3578fbc428 Implement From traits on ArgAction for convenience. Jakob Stoklund Olesen 2017-03-07 15:13:55 -08:00
  • 40fc5da3d8 Heed uext and sext annotations on RISC-V arguments. Jakob Stoklund Olesen 2017-03-07 15:07:00 -08:00
  • 83d3a1020d Heed uext and sext annotations on RISC-V arguments. Jakob Stoklund Olesen 2017-03-07 15:07:00 -08:00