[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