16 Commits (38b25a1a83e21f88a26f8600b41e21b19ca6297b)

Author SHA1 Message Date
Daniel Grunwald 66e2134072 TypeAnalysis: Make type analysis store both the inferred type and the expected type in each ILExpression. 15 years ago
Daniel Grunwald ecd8bc7cce Store prefixes with their parent instruction in ILAst; make use of 'constrained' prefix in type analysis. 15 years ago
Daniel Grunwald 7ca8e36f15 Fixed handling of enum literals. 15 years ago
Daniel Grunwald d1efa9387e Fix stloc type analysis. 15 years ago
Daniel Grunwald 9efe55a758 Fixed type analysis with generic types. 15 years ago
David Srbecký 77d1f62356 Threat stloc as expression that returns value (the stored value) 15 years ago
Daniel Grunwald bf7fe3f33c Bugfix: Crash in type analysis when trying to infer the type of an arg_*-variable that was consumed by a pop instruction. 15 years ago
David Srbecký 7c4111267a Support for short circuit conditional operators (&& and ||) 15 years ago
Daniel Grunwald 83eda6157a Use pattern matching in delegate construction. 15 years ago
Daniel Grunwald a61a4c2245 Infer types for the temporary variables introduced in ILAst. 15 years ago
Daniel Grunwald 8b342ea469 Use ILVariable as ldloca operand. 15 years ago
David Srbecký a03d029d30 Use custom enum to store OpCodes (so that we can add "virtual" opcodes) 15 years ago
Daniel Grunwald 7442f501b0 Add support for more opcodes to type analysis: ldind*, stind*, conv_ovf*, and some others. 15 years ago
Daniel Grunwald 8e69601184 Implement type analysis for a lot more opcodes. 15 years ago
Daniel Grunwald 798d156670 Add comparisons with 0 or null if necessary. Closes #8. 15 years ago
Daniel Grunwald cd2c70a6b4 First implementation of type inference. 15 years ago