ASDenysPetrov marked 3 inline comments as done.
ASDenysPetrov added a comment.
> The measurements I mentioned earlier about runtimes, node count and so on
> could help answer some of those questions.
I'm looking for an appropriate project to measure performance, since I have
some troubles running the test-suite on Windows.
================
Comment at: clang/lib/StaticAnalyzer/Core/RangeConstraintManager.cpp:597
+ static constexpr size_t CmpOpCount = BO_NE - BO_LT + 1;
+ static const TriState CmpOpTable[CmpOpCount][CmpOpCount + 1] = {
+ // < > <= >= == != UnknownX2
----------------
xazax.hun wrote:
> I think this table together with the operations that transform between
> indices and operators could be factored out into a separate class. That would
> make this method slightly cleaner.
I'll try to come up how to turn it into the class.
================
Comment at: clang/lib/StaticAnalyzer/Core/RangeConstraintManager.cpp:613
+
+ auto OP = SSE->getOpcode();
+
----------------
xazax.hun wrote:
> In LLVM we usually only use `auto` for iterators and to avoid repeating the
> type twice. Auto is ok above with the `dynamic_cast`, but here and some other
> places the type should be spelled out.
Thanks for the guidance, I'll check the code for implicit types.
================
Comment at: clang/lib/StaticAnalyzer/Core/RangeConstraintManager.cpp:668
+
+ auto BranchState = CmpOpTable[IndexSymOP][IndexPrevOP];
+
----------------
xazax.hun wrote:
> I think `IndexPrevOP` is confusing as the "previous" operation is not
> necessarily the previous operation we evaluated. In fact `IndexPrevOP` could
> have been evaluated any time in the past. We query the known facts that are
> known for the current state, I think this is what the names should reflect. I
> suggest to use `CurrentOP` and `QueriedOP`.
No problem. I'll rename them.
CHANGES SINCE LAST ACTION
https://reviews.llvm.org/D78933/new/
https://reviews.llvm.org/D78933
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
