The docs on PredicateLoads are misleading

[abadams]

Discussed in #7939

^{Originally posted by shaniaba November 9, 2023}
Hello

I think there are 2 illegal operations at the test \test\correctness\multi_splits_with_diff_tail_strategies.cpp when tail_strategy equals TailStrategy::PredicateLoads -

1. the split operation must be done on the innermost loop - which is "c" (after reorder) and not "y".
2. the output size must to be a multiple of the split factor - which 64 is not a multiple of 2000.
   Those facts are written at Schedule.h regard TailStrategy::PredicateLoads.

What do you think? Am I right?

Thanks a lot