3366 Commits

Author	SHA1	Message	Date
Tom Hvitved	71d25c1f8b	C#: Fix join-orders in ControlFlowTree::last()	2021-01-26 09:58:01 +01:00
Tom Hvitved	cd8155c201	C#: Teach CFG about ExceptionDispatchInfo::Throw	2021-01-26 09:16:53 +01:00
Robert Marsh	44bc6d7fdb	C++/C#: add NonPhiMemoryOperand union type ... This fixes a performance issue where the whole MemoryOperand table was scanned in some predicates that used only NonPhiMemoryOperand	2021-01-25 17:03:19 -08:00
Tom Hvitved	7c9a6064cf	C#: Get rid of ReadKind	2021-01-25 16:20:14 +01:00
Tom Hvitved	6ffeaf8c2a	C#: Adjust flow into phi nodes	2021-01-25 15:44:37 +01:00
Tom Hvitved	221aebc833	C#: Fix bug in AssignOperationWithExpandedAssignment::last	2021-01-25 14:01:31 +01:00
alexet	355edcb136	Csharp: Reduce BDD usage.	2021-01-25 13:52:17 +01:00
Tom Hvitved	0543e34812	C#: Address review comment	2021-01-25 13:52:17 +01:00
Tom Hvitved	063733ad52	C#: Implement CFG for not patterns	2021-01-25 13:52:17 +01:00
Tom Hvitved	e7b43e50b6	C#: Remove ReadKind from the shared SSA library	2021-01-25 12:09:34 +01:00
Tom Hvitved	6fc14976cf	C#: Remove uses of getAQlClass()	2021-01-22 15:00:45 +01:00
Tom Hvitved	bc41c26354	Merge pull request #4959 from hvitved/csharp/ssa/split ... C#: Split up SSA implementation	2021-01-21 10:52:49 +01:00
Tamas Vajk	eb8a52ba8d	Add new .stats file	2021-01-20 21:21:03 +01:00
Tamas Vajk	727412b26b	Store by-ref type annotation in trap and add tests	2021-01-20 15:44:05 +01:00
Tamas Vajk	f986c15200	Add QL classes for CIL function pointers, and add test	2021-01-20 15:44:05 +01:00
Tamas Vajk	0c213d0926	C#: Extract function pointer types from CIL	2021-01-20 15:44:05 +01:00
luchua-bc	46fd5bd92e	Move test files to the test folder	2021-01-20 03:51:46 +00:00
Tamas Vajk	d34992d36c	Add .stats file	2021-01-19 17:26:31 +01:00
Tamas Vajk	f7a0c98cb3	Code quality improvement	2021-01-19 17:26:31 +01:00
Tamas Vajk	1d9b3ec8b4	Allow annotating fnptr return types	2021-01-19 17:26:31 +01:00
Tamas Vajk	348fe8f2fc	Address PR review comments	2021-01-19 17:26:31 +01:00
Tamas Vajk	15e88471be	Adjust 'Cast.getTargetType()' to return the expression type instead of the type access type	2021-01-19 17:26:31 +01:00
Tamas Vajk	183926d9fd	C#: Add QL classes for function pointer type/invocation, tests	2021-01-19 17:26:31 +01:00
Tamas Vajk	876123315d	C#: Extract function pointers	2021-01-19 17:26:31 +01:00
Tom Hvitved	0674881ffd	C#: Do not rely on BasicBlock member predicates from SsaImplSpecific	2021-01-19 10:52:50 +01:00
Tom Hvitved	2a8060102d	C#: Split up SSA implementation	2021-01-19 10:52:50 +01:00
Tamas Vajk	c0b31cbfe7	Add new stats file	2021-01-18 09:19:27 +01:00
Tamas Vajk	f235a28295	C# Add relational patterns extraction	2021-01-18 09:19:27 +01:00
Tamás Vajk	81ce29c6c8	Merge pull request #4656 from tamasvajk/feature/csharp9-not-pattern ... C#: Extract unary patterns	2021-01-15 09:44:53 +01:00
Tom Hvitved	d7ca065192	Merge pull request #4923 from hvitved/csharp/ssa/refactor ... C#: SSA refactorings	2021-01-14 17:28:14 +01:00
Tom Hvitved	6cf684f615	C#: Fix QL doc	2021-01-14 15:59:22 +01:00
Tamas Vajk	66d8b0f1a0	Add new .stats file	2021-01-14 14:11:28 +01:00
Tom Hvitved	f5eb131e2d	C#: Address review comments	2021-01-14 12:42:43 +01:00
Tamás Vajk	fa8e902fe4	Merge pull request #4922 from tamasvajk/feature/fix-finally-cfg-opass ... C#: Fix expanded assignment lookup in finally blocks for CFG	2021-01-14 11:26:33 +01:00
Tamas Vajk	927dd514ea	C#: Extract unary patterns	2021-01-14 09:47:46 +01:00
Tamás Vajk	842ed62875	Merge pull request #4927 from tamasvajk/feature/comp-assembly ... C#: Add output assembly to compilation	2021-01-14 09:45:11 +01:00
Tamas Vajk	05c858ec2c	C#: Fix expanded assignment lookup in finally blocks for CFG	2021-01-14 08:54:10 +01:00
Tamas Vajk	5060756a0b	Fix typo in comment	2021-01-14 08:20:45 +01:00
Tamás Vajk	b6107d341b	Merge pull request #4924 from tamasvajk/feature/remove-string-literal-might-throw ... C#: Remove throw completion from StringLiteral	2021-01-14 08:15:33 +01:00
Tamas Vajk	12d602b798	Add new .stats file	2021-01-13 15:46:08 +01:00
Tamas Vajk	fb13126676	C#: Store output assembly in compilation_assembly relation	2021-01-13 09:23:56 +01:00
Tamas Vajk	983c4d06d4	Revert "C#: Add output assembly to compilation" ... This reverts commit 5cfa900828.	2021-01-13 09:12:31 +01:00
Tamas Vajk	5cfa900828	C#: Add output assembly to compilation	2021-01-13 09:10:49 +01:00
luchua-bc	07f45a51f8	Query to detect hash without salt	2021-01-13 02:49:00 +00:00
Tamas Vajk	056dbe31d5	C#: Remove throw completion from StringLiteral	2021-01-08 08:14:08 +01:00
Tamas Vajk	f971f42bb1	Add new stats file	2021-01-07 15:24:10 +01:00
Tamas Vajk	fdf5cf9dd0	C#: Extract anonymous types explicitly	2021-01-07 15:24:10 +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
Tamás Vajk	3b16d2689d	Merge pull request #4821 from tamasvajk/feature/csharp9-cil-init-prop ... C#: Extract init only accessors from CIL	2021-01-07 15:04:40 +01:00