[all-commits] [llvm/llvm-project] e0f1d9: [ModuloSchedule] Fix modulo expansion for data loo...

[Thomas via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: e0f1d9d8729df3463042c9fffb1b62e938d93f58
      https://github.com/llvm/llvm-project/commit/e0f1d9d8729df3463042c9fffb1b62e938d93f58
  Author: Thomas Raoux <thomasraoux at google.com>
  Date:   2019-11-11 (Mon, 11 Nov 2019)

  Changed paths:
    M llvm/include/llvm/CodeGen/ModuloSchedule.h
    M llvm/lib/CodeGen/ModuloSchedule.cpp
    M llvm/test/CodeGen/Hexagon/swp-conv3x3-nested.ll
    A llvm/test/CodeGen/Hexagon/swp-epilog-phi12.ll
    M llvm/test/CodeGen/Hexagon/swp-stages4.ll

  Log Message:
  -----------
  [ModuloSchedule] Fix modulo expansion for data loop carried dependencies.

The new experimental expansion has a problem when a value has a data
dependency with an instruction from a previous stage. This is due to
the way we peel out the kernel. To fix that I'm changing the way we
peel out the kernel. We now peel the kernel NumberStage - 1 times.
The code would be correct at this point if we didn't have to handle
cases where the loop iteration is smaller than the number of stages.
To handle this case we move instructions between different epilogues
based on their stage and remap the PHI instructions correctly.

Differential Revision: https://reviews.llvm.org/D69538