[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