77 Commits

Author	SHA1	Message	Date
Anders Schack-Mulligen	02f5fe9a42	C#: Address some review comments.	2026-05-04 11:49:24 +02:00
Anders Schack-Mulligen	e012981e5b	C#: Accept test changes for out/ref SSA location changes.	2026-05-01 10:32:18 +02:00
Anders Schack-Mulligen	351e9cc914	C#: Accept test changes.	2026-05-01 10:28:15 +02:00
Anders Schack-Mulligen	9a7eb8dfb9	C#: Replace Ssa::PhiNode with SsaPhiDefinition.	2026-04-30 13:49:23 +02:00
Anders Schack-Mulligen	6ecdf3fe32	C#: Replace Ssa::ImplicitParameterDefinition with SsaParameterInit.	2026-04-30 13:49:19 +02:00
Anders Schack-Mulligen	dc34b10cb6	C#: Replace Ssa::ExplicitDefinition with SsaExplicitWrite.	2026-04-30 12:52:51 +02:00
Anders Schack-Mulligen	ed6cdfc227	C#: Move isLiveOutRefParameterDefinition to top-level.	2026-04-30 12:46:27 +02:00
Anders Schack-Mulligen	9345c44e0f	C#: Delete test for Definition.getElement.	2026-04-30 12:46:23 +02:00
Anders Schack-Mulligen	c88a22ccf8	C#: Replace most uses of Ssa::Definition with SsaDefinition.	2026-04-30 12:45:25 +02:00
Tom Hvitved	6c42418faf	C#: Use parameter CFG nodes in SSA	2026-04-29 14:01:11 +02:00
Tom Hvitved	d792e11b7f	C#: Add tests for methods with default parameters	2026-04-29 14:01:08 +02:00
Anders Schack-Mulligen	4b8e4b40af	C#: Fix test.	2026-04-22 14:00:13 +02:00
Anders Schack-Mulligen	bbd60031b1	C#: Replace references to old BaseSSA classes.	2026-04-22 11:53:40 +02:00
Anders Schack-Mulligen	1a6670a6bb	C#: Phi nodes are not expected to have associated Elements.	2026-04-10 15:47:16 +02:00
Anders Schack-Mulligen	43fe411585	C#: Accept SSA location changes.	2026-04-10 15:47:16 +02:00
Anders Schack-Mulligen	9cf9a36d0d	C#: Rename ControlFlow::BasicBlock to BasicBlock.	2026-04-10 15:47:12 +02:00
Anders Schack-Mulligen	61976e3ef0	C#: Rename ControlFlow::Node to ControlFlowNode.	2026-04-10 15:47:10 +02:00
Michael Nebel	55516342b2	C#: Add/update tests and expected output.	2026-03-24 15:32:11 +01:00
Tom Hvitved	adac3926a1	C#: Remove PreSsa library	2025-12-11 14:17:12 +01:00
Anders Schack-Mulligen	ebb50cd402	C#: Accept qltest changes.	2025-10-23 12:48:44 +02:00
Anders Schack-Mulligen	613c789378	C#: Remove some obsolete tests.	2025-10-03 15:29:36 +02:00
Anders Schack-Mulligen	b392767252	C#: Accept qltest changes.	2025-10-03 15:29:35 +02:00
Anders Schack-Mulligen	c1662cf05c	C#/Ruby: Accept qltest changes. ... Mostly toString changes, and a slight change to splitting in C#.	2025-09-01 12:56:07 +02:00
Anders Schack-Mulligen	f0993fc97e	C#: Switch test to use dedicated test module.	2025-03-04 12:24:22 +01:00
Anders Schack-Mulligen	34edda6b9b	C#/Ruby/Rust: Deprecate dead code.	2025-02-10 14:24:38 +01:00
Tom Hvitved	4ef4ede0b1	C#: Do not calculate field-based SSA for enums	2024-08-30 11:19:07 +02:00
Tom Hvitved	a9b5faa6ab	C#: Add SSA test for enums	2024-08-30 11:19:06 +02:00
Tom Hvitved	c5c97aca50	C#: Move implicit entry definitions inside method bodies in SSA construction	2024-07-01 10:48:13 +02:00
Tom Hvitved	075a249f3b	C#: Add SSA test for multi-bodied method	2024-06-28 14:27:51 +02:00
Tom Hvitved	acd52192d1	C#: Adopt shared variable capture library	2024-02-26 09:53:30 +01:00
Tom Hvitved	3f43f45437	C#: Assume captured variables are live at exit in SSA construction	2024-02-13 13:59:08 +01:00
Tom Hvitved	b69188fee9	C#: Adopt shared CFG construction library from shared controlflow pack	2023-08-03 14:12:24 +02:00
Tom Hvitved	3c173df69e	C#: Update expected test output	2023-05-15 09:35:20 +02:00
Mathias Vorreiter Pedersen	177dd76da6	C#: Accept consistency changes.	2023-05-03 20:30:06 +01:00
Tom Hvitved	bd78e73131	C#: Add tests for phi reads	2022-11-15 11:45:32 +01:00
Tom Hvitved	2681b88035	C#: Update Pre SSA library to use parameterized module	2022-08-31 11:45:15 +02:00
Tom Hvitved	0d81a6409d	SSA: Make shared library a parameterized module	2022-08-31 11:45:14 +02:00
Tom Hvitved	611a6807bc	SSA: Improve use-use calculation using "phi read nodes"	2022-08-16 14:07:38 +02:00
Tom Hvitved	6be6d26cb5	C#: Add new SSA test	2022-08-16 14:06:15 +02:00
Tom Hvitved	05e37a7465	C#: Promote existing ad-hoc consistency checks to consistency queries	2021-12-22 13:05:58 +01:00
Tamas Vajk	b7f13a7e1f	C#: Change generic method names to include <> and type args/params	2021-09-06 11:48:22 +02:00
Tamas Vajk	03d1a3e0ad	Trim test files + remove duplicate newlines	2021-07-01 16:09:11 +02:00
Tamas Vajk	c29d11087b	C#: Start using 'options' files in tests	2021-07-01 16:08:47 +02:00
Tom Hvitved	bed66203c1	C#: Use shared SSA implementation for BaseSsa	2021-02-23 14:06:27 +01:00
Tom Hvitved	b0ee508f10	C#: Use shared SSA implementation for PreSsa	2021-02-23 14:06:27 +01:00
Tom Hvitved	2a8060102d	C#: Split up SSA implementation	2021-01-19 10:52:50 +01:00
Tom Hvitved	63f76b1b43	C#: Uniform treatment of all SSA definitions	2021-01-07 15:16:44 +01:00
Tom Hvitved	8d77f4bac9	C#: Remove ImplicitUntrackedDefinition	2021-01-07 15:16:39 +01:00
Tom Hvitved	c571e42cd5	C#: Move internal CFG logic into separate file	2020-11-21 19:49:17 +01:00
Tom Hvitved	94deed39a2	C#: Represent all expressions in post-order in the CFG	2020-11-12 20:04:48 +01:00