Geoffrey White
|
cc841a68f6
|
Merge pull request #11921 from gsingh93/range-node
C++: Add RangeNode class
|
2023-03-31 13:22:19 +01:00 |
|
Robert Marsh
|
d03dd49904
|
Merge pull request #12622 from MathiasVP/skip-safe-conversions-in-range-analysis
C++: Range analysis on `EquivalenceClass`es
|
2023-03-30 10:08:59 -04:00 |
|
Jeroen Ketema
|
9173e08805
|
Merge pull request #12714 from jketema/rem-cleanup
C++: Match `SemZeroBound` handling of mul case in rem case
|
2023-03-30 14:25:20 +02:00 |
|
Mathias Vorreiter Pedersen
|
4043aa976d
|
Merge branch 'main' into skip-safe-conversions-in-range-analysis
|
2023-03-30 11:24:27 +01:00 |
|
Mathias Vorreiter Pedersen
|
d9b2a72232
|
C++: Ensure that equiv instructions are in the same block.
|
2023-03-30 11:22:24 +01:00 |
|
Mathias Vorreiter Pedersen
|
4602a8ae4a
|
C++: Simplify 'converts'.
|
2023-03-30 11:16:54 +01:00 |
|
Jeroen Ketema
|
ade02d80cf
|
C++: Match SemZeroBound handling of mul case in rem case
|
2023-03-30 09:10:55 +02:00 |
|
Mathias Vorreiter Pedersen
|
4d8159c581
|
C++: Disable rounding.
|
2023-03-29 14:23:05 +01:00 |
|
Mathias Vorreiter Pedersen
|
9d5c785d89
|
C++: Even more fix'ing QLDoc.
|
2023-03-29 12:45:27 +01:00 |
|
Mathias Vorreiter Pedersen
|
09d0385f0f
|
C++: Fix QLDoc.
|
2023-03-29 12:42:32 +01:00 |
|
Mathias Vorreiter Pedersen
|
c14bccf7eb
|
C++: Fix QLDoc.
|
2023-03-29 12:41:04 +01:00 |
|
Mathias Vorreiter Pedersen
|
fe487a1ae8
|
C++: Respond to PR reviews.
|
2023-03-29 12:30:24 +01:00 |
|
Mathias Vorreiter Pedersen
|
6699a0cb1a
|
C++: Add range analysis for binary multiplication.
|
2023-03-28 16:50:18 +01:00 |
|
Mathias Vorreiter Pedersen
|
4b2758f1b5
|
Merge branch 'main' into skip-safe-conversions-in-range-analysis
|
2023-03-28 10:32:13 +01:00 |
|
Jeroen Ketema
|
12da4f7814
|
C++: Address review comment
|
2023-03-28 00:33:46 +02:00 |
|
Jeroen Ketema
|
9303055013
|
C++: Address review comment
|
2023-03-28 00:33:46 +02:00 |
|
Jeroen Ketema
|
99c6111b05
|
C++: Add support for bounded modulus operations
|
2023-03-28 00:33:43 +02:00 |
|
Mathias Vorreiter Pedersen
|
724d97eabb
|
C++: Make sign analysis aware of unsigned'ness and accept test changes.
|
2023-03-27 23:08:12 +01:00 |
|
Mathias Vorreiter Pedersen
|
cbd4662696
|
Merge branch 'main' into skip-safe-conversions-in-range-analysis
|
2023-03-27 21:18:49 +01:00 |
|
Mathias Vorreiter Pedersen
|
87c144d33b
|
C++: Throw away the sign analysis when analyzing add expressions: instead, we now recursively analyze both operands.
|
2023-03-27 13:19:47 +01:00 |
|
Mathias Vorreiter Pedersen
|
125c013052
|
Merge branch 'main' into skip-safe-conversions-in-range-analysis
|
2023-03-24 17:01:11 +00:00 |
|
Gulshan Singh
|
b87f12d5b2
|
C++: Add StrlenLiteralRangeExpr
|
2023-03-24 08:51:35 -07:00 |
|
Anders Schack-Mulligen
|
72415c7c2c
|
C++: Rename references.
|
2023-03-23 13:06:19 +01:00 |
|
Mathias Vorreiter Pedersen
|
0f240d6738
|
C++: Fix join order in 'boundFlowCond'.
|
2023-03-22 17:00:07 +00:00 |
|
Mathias Vorreiter Pedersen
|
cd7ba7c503
|
C++: Fix join orders in 'eqBound'.
|
2023-03-22 16:51:39 +00:00 |
|
Mathias Vorreiter Pedersen
|
0c6b60b2c6
|
C++: Avoid two joins on value number.
|
2023-03-22 16:51:39 +00:00 |
|
Mathias Vorreiter Pedersen
|
6e38105615
|
C++: Fix implicit 'this'.
|
2023-03-22 16:51:39 +00:00 |
|
Mathias Vorreiter Pedersen
|
4cc3bfae33
|
C++: Fix places that assumed that 'Expr' was always 'Instruction'.
|
2023-03-22 16:51:38 +00:00 |
|
Mathias Vorreiter Pedersen
|
08e8604430
|
C++: Change 'Expr' to be EquivalenceClasses instead of Instructions.
|
2023-03-22 15:26:26 +00:00 |
|
Mathias Vorreiter Pedersen
|
59f2c75186
|
C++: bool -> int conversions are safe conversions.
|
2023-03-22 15:01:54 +00:00 |
|
Gulshan Singh
|
bae1dfebb2
|
Address some review comments on RangeNode class
|
2023-03-20 09:46:03 -07:00 |
|
Gulshan Singh
|
e2fdfbb71f
|
Add RangeNode class
|
2023-03-20 09:46:02 -07:00 |
|
Mathias Vorreiter Pedersen
|
b0f803759c
|
Merge pull request #11928 from rdmarsh2/rdmarsh2/stageify-range-analysis
|
2023-03-18 12:42:49 +00:00 |
|
Robert Marsh
|
1e8404c954
|
C++: Remove fixed TODO
Co-authored-by: Mathias Vorreiter Pedersen <mathiasvp@github.com>
|
2023-03-17 11:27:13 -04:00 |
|
Robert Marsh
|
726f99975e
|
C++: remove direct IR dependency in range analysis
|
2023-03-17 10:50:02 -04:00 |
|
Mathias Vorreiter Pedersen
|
1aecc64327
|
C++: Autoformat.
|
2023-03-17 09:37:46 +00:00 |
|
Robert Marsh
|
45fdf69461
|
C++: add SemLocation so SemBound is copy-shareable
|
2023-03-15 10:38:47 -04:00 |
|
Robert Marsh
|
623e39031c
|
C++: fix ModulusAnalysis test
|
2023-03-14 16:46:09 -04:00 |
|
Robert Marsh
|
267c341965
|
C++: exclude ZeroBounds in relative stage
|
2023-03-14 10:41:50 -04:00 |
|
Robert Marsh
|
b4b7507fe4
|
C++: autoformat
|
2023-03-13 15:45:48 -04:00 |
|
Mathias Vorreiter Pedersen
|
00450d10bb
|
Merge branch 'main' into mathiasvp/replace-ast-with-ir-use-usedataflow
|
2023-03-13 14:50:17 +01:00 |
|
Robert Marsh
|
64f23ebb4d
|
Merge pull request #12436 from MathiasVP/ir-range-analysis-for-unary-minus
C++: IR-based range analysis for unary minus
|
2023-03-13 09:02:38 -04:00 |
|
Anders Schack-Mulligen
|
f53a05bf13
|
Merge pull request #12475 from aschackmull/dataflow/mergepathgraph
Dataflow: Add MergePathGraph module.
|
2023-03-13 11:26:24 +01:00 |
|
Robert Marsh
|
d4e3f7f738
|
C++: fix missing bounds in new range analysis
|
2023-03-10 14:23:08 -05:00 |
|
Robert Marsh
|
e931d59bea
|
Merge pull request #12479 from jketema/simple-range-analysis-wrapper
C++: Introduce wrapper for the semantic range analysis mimicking the simple one
|
2023-03-10 10:01:28 -05:00 |
|
Anders Schack-Mulligen
|
1e64748ffe
|
Dataflow: Autoformat.
|
2023-03-10 15:12:19 +01:00 |
|
Anders Schack-Mulligen
|
289f921171
|
Dataflow: Sync.
|
2023-03-10 14:56:54 +01:00 |
|
Anders Schack-Mulligen
|
00f0879ff5
|
Dataflow: Sync.
|
2023-03-10 14:56:54 +01:00 |
|
Jeroen Ketema
|
faecf44870
|
C++: Add predicate implementations we get for free from simple range analysis
|
2023-03-10 14:31:15 +01:00 |
|
Jeroen Ketema
|
0e45c9982b
|
C++: Introduce wrapper for the semantic range analysis mimicking the simple one
|
2023-03-10 13:30:24 +01:00 |
|