[all-commits] [llvm/llvm-project] dd1ec8: [ConstraintElimination] Add more assume tests.

[Florian Hahn via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: dd1ec869b0f572490252ef48d73fb87eadfb4335
      https://github.com/llvm/llvm-project/commit/dd1ec869b0f572490252ef48d73fb87eadfb4335
  Author: Florian Hahn <flo at fhahn.com>
  Date:   2021-08-26 (Thu, 26 Aug 2021)

  Changed paths:
    M llvm/test/Transforms/ConstraintElimination/assumes.ll

  Log Message:
  -----------
  [ConstraintElimination] Add more assume tests.


  Commit: aa5b6c97793ab4091862f4a1636eb39b31d91b3c
      https://github.com/llvm/llvm-project/commit/aa5b6c97793ab4091862f4a1636eb39b31d91b3c
  Author: Florian Hahn <flo at fhahn.com>
  Date:   2021-08-26 (Thu, 26 Aug 2021)

  Changed paths:
    M llvm/lib/Transforms/Scalar/ConstraintElimination.cpp
    M llvm/test/Transforms/ConstraintElimination/assumes.ll

  Log Message:
  -----------
  [ConstraintElimination] Initial support for using info from assumes.

This patch adds initial support to use facts from @llvm.assume calls. It
intentionally does not handle all possible cases to keep things simple
initially.

For now, the condition from an assume is made available on entry to the
containing block, if the assume is guaranteed to execute. Otherwise it
is only made available in the successor blocks.


Compare: https://github.com/llvm/llvm-project/compare/6ffc6951a370...aa5b6c97793a