18 Commits

Author	SHA1	Message	Date
chriseth	fff91b676d	Merge branch 'new_knowledge_engine' into benchmark	2022-12-19 16:19:31 +01:00
chriseth	f3bc7157df	fix	2022-12-19 14:34:08 +01:00
chriseth	ddf1d023bd	fix it again	2022-12-19 14:34:08 +01:00
chriseth	d89c5638f0	more work	2022-12-19 14:34:08 +01:00
chriseth	dc584fe2f1	improved loop	2022-12-19 14:34:08 +01:00
chriseth	1013419597	returndatacopy and bugfix.	2022-12-19 14:34:08 +01:00
chriseth	b09a8c62bb	unused store	2022-12-19 14:34:08 +01:00
chriseth	ddbcea047b	some more work	2022-12-19 14:34:08 +01:00
chriseth	bd7676873e	modify unused store	2022-12-19 14:34:08 +01:00
chriseth	94fad23bd0	Optimize in case this is SSA.	2022-11-23 14:01:03 +01:00
chriseth	5efe31cd7c	Keep one instance of KnowledgeBase for UnusedStoreEliminator.	2022-11-23 14:01:03 +01:00
chriseth	ec8cd56c4f	Re-implement KnowledgeBase using groups of constantly-spaced variables.	2022-11-23 14:01:03 +01:00
Daniel Kirchner	a33da17300	Bugfix and tests. ... Co-authored-by: Kamil Śliwak <kamil.sliwak@codepoets.it>	2022-09-08 11:54:14 +02:00
Marenz	f7cc29bec1	Add std:: qualifier to move() calls	2022-08-30 11:12:15 +02:00
chriseth	51ef6a62da	Fix removal of memory stores in inline assembly blocks.	2022-06-10 17:32:28 +02:00
Daniel Kirchner	9fa907aac2	Do not remove potentially reverting returndatacopy cases.	2022-05-23 11:01:03 +02:00
chriseth	eab4ca906c	Refactor data flow analyzer state access.	2022-03-14 19:32:33 +01:00
chriseth	4f02be110c	Unused store eliminator.	2022-03-10 18:25:28 +01:00