[all-commits] [llvm/llvm-project] 082a00: [VPlan] Allow building a VPlan to may fail.

[Florian Hahn via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 082a004690eb40d62287d98ec5c5b1de9d7bcf92
      https://github.com/llvm/llvm-project/commit/082a004690eb40d62287d98ec5c5b1de9d7bcf92
  Author: Florian Hahn <flo at fhahn.com>
  Date:   2023-04-11 (Tue, 11 Apr 2023)

  Changed paths:
    M llvm/lib/Transforms/Vectorize/LoopVectorizationPlanner.h
    M llvm/lib/Transforms/Vectorize/LoopVectorize.cpp

  Log Message:
  -----------
  [VPlan] Allow building a VPlan to may fail.

Update the planning code constructing VPlan to allow building VPlans to
fail. This allows us to gradually shift some legality checks to VPlan
construction. The first candidate is checking if all users of
first-order recurrence phis can be sunk past the recipe computing the
previous value.

The new functionality will be used by D142886 which is approved and will
be landed shortly.

Reviewed By: Ayal

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