This is an archive of the discontinued LLVM Phabricator instance.

Differential D117384

[Polly] Swapping the order makes the assert work
Needs ReviewPublic

Authored by yzwqf on Jan 14 2022, 8:58 PM.

Details

Reviewers
pollydev
bollu
Summary

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

Diff Detail

Event Timeline

yzwqf created this revision.Jan 14 2022, 8:58 PM
Herald added a reviewer: bollu. · View Herald TranscriptJan 14 2022, 8:58 PM
yzwqf requested review of this revision.Jan 14 2022, 8:58 PM
Herald added a project: Restricted Project. · View Herald TranscriptJan 14 2022, 8:58 PM
Herald added a subscriber: llvm-commits. · View Herald Transcript
Harbormaster completed remote builds in B143560: Diff 400236.Jan 14 2022, 9:08 PM

Revision Contents

PathSize
polly/
include/
polly/
2 lines

Diff 400236

polly/include/polly/ScheduleTreeTransform.h

Show First 20 Lines • Show All 41 Lines • ▼ Show 20 Lines case isl_schedule_node_band:
assert(isl_schedule_node_n_children(Node.get()) == 1); assert(isl_schedule_node_n_children(Node.get()) == 1);
return getDerived().visitBand(Node.as<isl::schedule_node_band>(), return getDerived().visitBand(Node.as<isl::schedule_node_band>(),
std::forward<Args>(args)...); std::forward<Args>(args)...);
case isl_schedule_node_sequence: case isl_schedule_node_sequence:
assert(isl_schedule_node_n_children(Node.get()) >= 2); assert(isl_schedule_node_n_children(Node.get()) >= 2);
return getDerived().visitSequence(Node.as<isl::schedule_node_sequence>(), return getDerived().visitSequence(Node.as<isl::schedule_node_sequence>(),
std::forward<Args>(args)...); std::forward<Args>(args)...);
case isl_schedule_node_set: case isl_schedule_node_set:
assert(isl_schedule_node_n_children(Node.get()) >= 2);
return getDerived().visitSet(Node.as<isl::schedule_node_set>(), return getDerived().visitSet(Node.as<isl::schedule_node_set>(),
std::forward<Args>(args)...); std::forward<Args>(args)...);
assert(isl_schedule_node_n_children(Node.get()) >= 2);
case isl_schedule_node_leaf: case isl_schedule_node_leaf:
assert(isl_schedule_node_n_children(Node.get()) == 0); assert(isl_schedule_node_n_children(Node.get()) == 0);
return getDerived().visitLeaf(Node.as<isl::schedule_node_leaf>(), return getDerived().visitLeaf(Node.as<isl::schedule_node_leaf>(),
std::forward<Args>(args)...); std::forward<Args>(args)...);
case isl_schedule_node_mark: case isl_schedule_node_mark:
assert(isl_schedule_node_n_children(Node.get()) == 1); assert(isl_schedule_node_n_children(Node.get()) == 1);
return getDerived().visitMark(Node.as<isl::schedule_node_mark>(), return getDerived().visitMark(Node.as<isl::schedule_node_mark>(),
std::forward<Args>(args)...); std::forward<Args>(args)...);
▲ Show 20 Lines • Show All 226 Lines • Show Last 20 Lines