[all-commits] [llvm/llvm-project] 286677: [Polly][ManualOpt] Match interpretation of unroll ...

[Michael Kruse via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 286677870b306582321dcddb1531d8860bc446db
      https://github.com/llvm/llvm-project/commit/286677870b306582321dcddb1531d8860bc446db
  Author: Michael Kruse <llvm-project at meinersbur.de>
  Date:   2021-04-24 (Sat, 24 Apr 2021)

  Changed paths:
    M polly/include/polly/Support/ScopHelper.h
    M polly/lib/Support/ScopHelper.cpp
    M polly/lib/Transform/ManualOptimizer.cpp
    A polly/test/ScheduleOptimizer/ManualOptimization/unroll_disable.ll
    M polly/test/ScheduleOptimizer/ManualOptimization/unroll_full.ll
    A polly/test/ScheduleOptimizer/ManualOptimization/unroll_heuristic.ll
    M polly/test/ScheduleOptimizer/ManualOptimization/unroll_partial.ll

  Log Message:
  -----------
  [Polly][ManualOpt] Match interpretation of unroll metadata to LoopUnrolls's.

We previously had a different interpretation of unroll transformation
attributes than how LoopUnroll interpreted it. In particular,
llvm.loop.unroll.enable was needed explicitly to enable it and disabling
metadata was ignored.
Additionally, it required that either full unrolling or an unroll factor
to be specified or fail otherwise. An unroll factor is still required,
but the transformation is ignored with the hope that LoopUnroll is going
to apply the unrolling, since Polly currently does not implement an
heuristic.

Fixes llvm.org/PR50109