Commit Graph

  • f67a1a60cb Fix some typos in the Language Reference ranma42 2016-11-15 15:35:00 +01:00
  • 977adddc0a Fix some typos in the Language Reference ranma42 2016-11-15 15:35:00 +01:00
  • 7ce834c312 Added link to README about nasal demons. Jacob Shaffer 2016-11-14 08:45:10 -05:00
  • a8cd8bc18b Added link to README about nasal demons. Jacob Shaffer 2016-11-14 08:45:10 -05:00
  • 060735adfe Define register classes for 4 ISAs. Jakob Stoklund Olesen 2016-11-11 15:08:12 -08:00
  • 4192ba0532 Define register classes for 4 ISAs. Jakob Stoklund Olesen 2016-11-11 15:08:12 -08:00
  • e1c0171b2c Define register banks. Jakob Stoklund Olesen 2016-11-11 14:17:10 -08:00
  • b0b6a8f693 Define register banks. Jakob Stoklund Olesen 2016-11-11 14:17:10 -08:00
  • f16327e6eb Move some utility functions into the cdsl package. Jakob Stoklund Olesen 2016-11-11 13:04:30 -08:00
  • c20d7d8f13 Move some utility functions into the cdsl package. Jakob Stoklund Olesen 2016-11-11 13:04:30 -08:00
  • 34f7b93482 Add stubs for Intel and ARM architectures. Jakob Stoklund Olesen 2016-11-11 11:27:29 -08:00
  • 77c672a279 Add stubs for Intel and ARM architectures. Jakob Stoklund Olesen 2016-11-11 11:27:29 -08:00
  • 581294dafe Use uppercase for the global riscv.ISA constant. Jakob Stoklund Olesen 2016-11-11 11:17:40 -08:00
  • 856b8c99aa Use uppercase for the global riscv.ISA constant. Jakob Stoklund Olesen 2016-11-11 11:17:40 -08:00
  • 5e4602efb4 Add expansion patterns for large immediates. Jakob Stoklund Olesen 2016-11-07 13:05:37 -08:00
  • d76280afba Add expansion patterns for large immediates. Jakob Stoklund Olesen 2016-11-07 13:05:37 -08:00
  • 59eef69a4f Emit type arguments to builder methods that need it. Jakob Stoklund Olesen 2016-11-10 15:33:16 -08:00
  • a7c58b817c Emit type arguments to builder methods that need it. Jakob Stoklund Olesen 2016-11-10 15:33:16 -08:00
  • 36871d3fb1 Add TypeVar.rust_expr(). Jakob Stoklund Olesen 2016-11-10 14:46:42 -08:00
  • 5c9a12f101 Add TypeVar.rust_expr(). Jakob Stoklund Olesen 2016-11-10 14:46:42 -08:00
  • 68c9f20b77 Infer type constraints on patterns. Jakob Stoklund Olesen 2016-11-09 15:05:11 -08:00
  • bf1568035f Infer type constraints on patterns. Jakob Stoklund Olesen 2016-11-09 15:05:11 -08:00
  • 38f4b9a7c8 Add a TypeVar.constrain_types() function. Jakob Stoklund Olesen 2016-11-09 15:19:03 -08:00
  • 935da5946f Add a TypeVar.constrain_types() function. Jakob Stoklund Olesen 2016-11-09 15:19:03 -08:00
  • 129fd4b06e Add TypeVar.strip_sameas(). Jakob Stoklund Olesen 2016-11-10 10:40:53 -08:00
  • 6fd5c6195d Add TypeVar.strip_sameas(). Jakob Stoklund Olesen 2016-11-10 10:40:53 -08:00
  • d22541dfa2 Add TypeVar.derived() function. Jakob Stoklund Olesen 2016-11-09 11:17:55 -08:00
  • 98b3bd9e09 Add TypeVar.derived() function. Jakob Stoklund Olesen 2016-11-09 11:17:55 -08:00
  • cb631dc578 Fix doc build. Jakob Stoklund Olesen 2016-11-08 15:26:30 -08:00
  • dd326350ff Fix doc build. Jakob Stoklund Olesen 2016-11-08 15:26:30 -08:00
  • 5e75b22c01 Assign a type variable to all VALUE operands. Jakob Stoklund Olesen 2016-11-08 14:41:13 -08:00
  • 45fd134d3e Assign a type variable to all VALUE operands. Jakob Stoklund Olesen 2016-11-08 14:41:13 -08:00
  • a35756bbcc Clean up meta-language reference after module splitup. Jakob Stoklund Olesen 2016-11-08 13:30:17 -08:00
  • 9327d567b4 Clean up meta-language reference after module splitup. Jakob Stoklund Olesen 2016-11-08 13:30:17 -08:00
  • 8846cb8105 Move ISA definitions into cdsl.isa. Jakob Stoklund Olesen 2016-11-08 13:21:05 -08:00
  • bd76623266 Move ISA definitions into cdsl.isa. Jakob Stoklund Olesen 2016-11-08 13:21:05 -08:00
  • cc86964ab3 Move ast, xform, and legalize modules. Jakob Stoklund Olesen 2016-11-08 12:29:17 -08:00
  • 09204ca14a Move ast, xform, and legalize modules. Jakob Stoklund Olesen 2016-11-08 12:29:17 -08:00
  • 0b9b956695 Split out instruction definitions. Jakob Stoklund Olesen 2016-11-08 12:08:14 -08:00
  • 5fa322f797 Split out instruction definitions. Jakob Stoklund Olesen 2016-11-08 12:08:14 -08:00
  • 87eb1a8ea0 Split out instruction formats. Jakob Stoklund Olesen 2016-11-08 11:47:19 -08:00
  • 2a15130518 Split out instruction formats. Jakob Stoklund Olesen 2016-11-08 11:47:19 -08:00
  • b5e592ad56 Move Operand itself into cdsl.operands. Jakob Stoklund Olesen 2016-11-08 11:30:31 -08:00
  • fa7dc6825a Move Operand itself into cdsl.operands. Jakob Stoklund Olesen 2016-11-08 11:30:31 -08:00
  • 0666c8818a Get rid of operand_kind() Jakob Stoklund Olesen 2016-11-08 11:24:21 -08:00
  • 93a1387f2f Get rid of operand_kind() Jakob Stoklund Olesen 2016-11-08 11:24:21 -08:00
  • 2e718c6554 Split out the typevar module. Jakob Stoklund Olesen 2016-11-08 11:18:14 -08:00
  • 5498169ca0 Split out the typevar module. Jakob Stoklund Olesen 2016-11-08 11:18:14 -08:00
  • eb688dc72d Move formats, entities, and immediates to the base package. Jakob Stoklund Olesen 2016-11-08 11:02:07 -08:00
  • 6eaa8eb382 Move formats, entities, and immediates to the base package. Jakob Stoklund Olesen 2016-11-08 11:02:07 -08:00
  • 19287c1f32 Split out operand descriptions. Jakob Stoklund Olesen 2016-11-08 10:58:23 -08:00
  • bb28dc6686 Split out operand descriptions. Jakob Stoklund Olesen 2016-11-08 10:58:23 -08:00
  • e6b959436d Split out predicates and settings. Jakob Stoklund Olesen 2016-11-08 10:20:07 -08:00
  • 2fe61e83f6 Split out predicates and settings. Jakob Stoklund Olesen 2016-11-08 10:20:07 -08:00
  • ac59376c46 Move ValueType into a new cdsl top-level module. Jakob Stoklund Olesen 2016-11-08 09:40:19 -08:00
  • f8545574b5 Move ValueType into a new cdsl top-level module. Jakob Stoklund Olesen 2016-11-08 09:40:19 -08:00
  • 6419ba12bc Resolve import cycles. Jakob Stoklund Olesen 2016-11-08 09:04:40 -08:00
  • 1e1830aaa6 Resolve import cycles. Jakob Stoklund Olesen 2016-11-08 09:04:40 -08:00
  • 4389079647 Add more Python type annotations. Jakob Stoklund Olesen 2016-11-08 08:52:21 -08:00
  • 01494b1a47 Add more Python type annotations. Jakob Stoklund Olesen 2016-11-08 08:52:21 -08:00
  • 15c635f537 Check for unsupported value transformations. Jakob Stoklund Olesen 2016-11-04 17:39:20 -07:00
  • 1e2f3c0ed4 Check for unsupported value transformations. Jakob Stoklund Olesen 2016-11-04 17:39:20 -07:00
  • be3577ad7e Resolve value aliases when legalizing instructions. Jakob Stoklund Olesen 2016-11-04 15:54:58 -07:00
  • 7bbbe97d2f Resolve value aliases when legalizing instructions. Jakob Stoklund Olesen 2016-11-04 15:54:58 -07:00
  • 453a1b2d17 Create value aliases when necessary. Jakob Stoklund Olesen 2016-11-04 14:49:31 -07:00
  • 6f1a60366f Create value aliases when necessary. Jakob Stoklund Olesen 2016-11-04 14:49:31 -07:00
  • 4460adbfc2 Write out value aliases when writing instructions. Jakob Stoklund Olesen 2016-11-04 15:19:44 -07:00
  • d34ec1bd06 Write out value aliases when writing instructions. Jakob Stoklund Olesen 2016-11-04 15:19:44 -07:00
  • 55bc5599cc Fix off-by-one in resolve_values. Jakob Stoklund Olesen 2016-11-04 15:27:34 -07:00
  • 59fd74fb9a Fix off-by-one in resolve_values. Jakob Stoklund Olesen 2016-11-04 15:27:34 -07:00
  • eb2b56c20a Add arguments() and arguments_mut() methods. Jakob Stoklund Olesen 2016-11-04 13:25:40 -07:00
  • 152aabbfc0 Add arguments() and arguments_mut() methods. Jakob Stoklund Olesen 2016-11-04 13:25:40 -07:00
  • dc2afb24d9 Add a ref_slice module. Jakob Stoklund Olesen 2016-11-04 12:30:51 -07:00
  • c995cb6f43 Add a ref_slice module. Jakob Stoklund Olesen 2016-11-04 12:30:51 -07:00
  • b63d62c9e8 Advance the insertion cursor after replacinf an instruction. Jakob Stoklund Olesen 2016-11-04 11:54:42 -07:00
  • 2b8732ae13 Advance the insertion cursor after replacinf an instruction. Jakob Stoklund Olesen 2016-11-04 11:54:42 -07:00
  • cb718b869c TestFile preamble comments apply to all functions. Jakob Stoklund Olesen 2016-11-04 10:49:09 -07:00
  • a038279717 TestFile preamble comments apply to all functions. Jakob Stoklund Olesen 2016-11-04 10:49:09 -07:00
  • 8d6d59cc7a Gather comments in the preamble of a test file. Jakob Stoklund Olesen 2016-11-04 10:34:14 -07:00
  • c1b7080bf6 Gather comments in the preamble of a test file. Jakob Stoklund Olesen 2016-11-04 10:34:14 -07:00
  • a2b7769a51 Revisit expanded instructions for legalization. Jakob Stoklund Olesen 2016-11-04 09:44:11 -07:00
  • 1641365f01 Revisit expanded instructions for legalization. Jakob Stoklund Olesen 2016-11-04 09:44:11 -07:00
  • 1c57f43643 Add Cursor::set_position. Jakob Stoklund Olesen 2016-11-04 08:44:01 -07:00
  • 63fc81541e Add Cursor::set_position. Jakob Stoklund Olesen 2016-11-04 08:44:01 -07:00
  • 1a9abdd158 Add narrowing legalization patterns for bitwise ops. Jakob Stoklund Olesen 2016-11-04 08:02:37 -07:00
  • 9086c6c8f0 Add narrowing legalization patterns for bitwise ops. Jakob Stoklund Olesen 2016-11-04 08:02:37 -07:00
  • e59b47c41a Return a Result from the TargetIsa::encode() method. Jakob Stoklund Olesen 2016-11-03 18:59:32 -07:00
  • e24291fe4c Return a Result from the TargetIsa::encode() method. Jakob Stoklund Olesen 2016-11-03 18:59:32 -07:00
  • 9c02fe3553 Legalization pattern emission WIP. Jakob Stoklund Olesen 2016-11-02 12:56:34 -07:00
  • 125fe64121 Legalization pattern emission WIP. Jakob Stoklund Olesen 2016-11-02 12:56:34 -07:00
  • 814d1728aa Add a Value::unwrap_direct() method. Jakob Stoklund Olesen 2016-11-03 17:55:41 -07:00
  • 3bb6efba6e Add a Value::unwrap_direct() method. Jakob Stoklund Olesen 2016-11-03 17:55:41 -07:00
  • 0543bb049c Save a reference from a Var to its src and dst defs. Jakob Stoklund Olesen 2016-11-03 11:24:04 -07:00
  • 026c899042 Save a reference from a Var to its src and dst defs. Jakob Stoklund Olesen 2016-11-03 11:24:04 -07:00
  • f652dcffe4 Set expectations. Jakob Stoklund Olesen 2016-11-02 14:41:30 -07:00
  • f2c7a1d57b Set expectations. Jakob Stoklund Olesen 2016-11-02 14:41:30 -07:00
  • 318e3b9b33 Classify Vars in patterns. Jakob Stoklund Olesen 2016-11-01 16:10:38 -07:00
  • 1ba8e9e05b Classify Vars in patterns. Jakob Stoklund Olesen 2016-11-01 16:10:38 -07:00
  • c7d1f90b71 Canonicalize the objects in an RTL list. Jakob Stoklund Olesen 2016-11-02 14:28:37 -07:00
  • 88cbd5a43b Canonicalize the objects in an RTL list. Jakob Stoklund Olesen 2016-11-02 14:28:37 -07:00