[PATCH] D144845: [SCEV][Test] Add test to prove block's guardering condition

Max Kazantsev via Phabricator via llvm-commits llvm-commits at lists.llvm.org
Mon Feb 27 00:39:44 PST 2023


mkazantsev added inline comments.


================
Comment at: llvm/unittests/Analysis/ScalarEvolutionTest.cpp:1749
+  StringRef Assembly = R"(
+    define void @foo(i32 %n, ptr addrspace(1) %p) {
+    ENTRY:
----------------
addrspace(1) is not needed here.


================
Comment at: llvm/unittests/Analysis/ScalarEvolutionTest.cpp:1787
+    ASSERT_TRUE(L1);
+    // TODO:
+    // - L1 is guarded by 'x01 >=s 0' and 'x != 0';
----------------
(void) LHS, RHS to avoid dead code warning?


CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D144845/new/

https://reviews.llvm.org/D144845



More information about the llvm-commits mailing list