[all-commits] [llvm/llvm-project] 90c50c: [AssumeBundles] add cannonicalisation to the assum...

[Ralender via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: 90c50cad1983c5e29107a78382dead0fe2a9562c
      https://github.com/llvm/llvm-project/commit/90c50cad1983c5e29107a78382dead0fe2a9562c
  Author: Tyker <tyker1 at outlook.com>
  Date:   2020-06-16 (Tue, 16 Jun 2020)

  Changed paths:
    M llvm/include/llvm/IR/Operator.h
    M llvm/include/llvm/IR/Value.h
    M llvm/lib/IR/Operator.cpp
    M llvm/lib/IR/Value.cpp
    M llvm/lib/Transforms/Utils/AssumeBundleBuilder.cpp
    M llvm/test/Analysis/BasicAA/featuretest.ll
    M llvm/test/Transforms/Inline/arg-attr-propagation.ll
    M llvm/test/Transforms/InstSimplify/load.ll
    M llvm/test/Transforms/LICM/pr23608.ll
    M llvm/test/Transforms/NewGVN/2007-07-26-PhiErasure.ll
    M llvm/test/Transforms/Util/assume-builder.ll
    M llvm/test/Transforms/Util/assume-simplify.ll

  Log Message:
  -----------
  [AssumeBundles] add cannonicalisation to the assume builder

Summary:
this reduces significantly the number of assumes generated without aftecting too much
the information that is preserved. this improves the compile-time cost
of enable-knowledge-retention significantly.

Reviewers: jdoerfert, sstefan1

Reviewed By: jdoerfert

Subscribers: hiraditya, asbirlea, llvm-commits

Tags: #llvm

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