[PATCH] D117384: [Polly] Swapping the order makes the assert work

2 views
Skip to first unread message

QingFu Wei via Phabricator

unread,
Jan 14, 2022, 11:58:29 PM1/14/22
to weiqin...@ict.ac.cn, poll...@googlegroups.com, siddu...@gmail.com, llvm-c...@lists.llvm.org, bhuvanend...@amd.com, yanli...@intel.com, doug...@gmail.com, michae...@gmail.com, david...@arm.com
yzwqf created this revision.
yzwqf added a reviewer: pollydev.
Herald added a reviewer: bollu.
yzwqf requested review of this revision.
Herald added a project: LLVM.
Herald added a subscriber: llvm-commits.

at before, assert statement within the "case isl_schedule_node_set:" is apparently unreachable.


Repository:
rG LLVM Github Monorepo

https://reviews.llvm.org/D117384

Files:
polly/include/polly/ScheduleTreeTransform.h


Index: polly/include/polly/ScheduleTreeTransform.h
===================================================================
--- polly/include/polly/ScheduleTreeTransform.h
+++ polly/include/polly/ScheduleTreeTransform.h
@@ -47,9 +47,9 @@
return getDerived().visitSequence(Node.as<isl::schedule_node_sequence>(),
std::forward<Args>(args)...);
case isl_schedule_node_set:
+ assert(isl_schedule_node_n_children(Node.get()) >= 2);
return getDerived().visitSet(Node.as<isl::schedule_node_set>(),
std::forward<Args>(args)...);
- assert(isl_schedule_node_n_children(Node.get()) >= 2);
case isl_schedule_node_leaf:
assert(isl_schedule_node_n_children(Node.get()) == 0);
return getDerived().visitLeaf(Node.as<isl::schedule_node_leaf>(),


D117384.400236.patch
Reply all
Reply to author
Forward
0 new messages