[AssumeBundles] add cannonicalisation to the assume builder
authorTyker <tyker1@outlook.com>
Fri, 19 Jun 2020 08:32:09 +0000 (10:32 +0200)
committerTyker <tyker1@outlook.com>
Fri, 19 Jun 2020 08:32:26 +0000 (10:32 +0200)
commitb7338fb1a6a464472850211165391983d2c8fdf3
treef0fca3bd4b23fc0ee0038a4adff202b4faa6daa8
parent63b7e1e4744513bd319583e920c2436a251e1127
[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
12 files changed:
llvm/include/llvm/IR/Operator.h
llvm/include/llvm/IR/Value.h
llvm/lib/IR/Operator.cpp
llvm/lib/IR/Value.cpp
llvm/lib/Transforms/Utils/AssumeBundleBuilder.cpp
llvm/test/Analysis/BasicAA/featuretest.ll
llvm/test/Transforms/Inline/arg-attr-propagation.ll
llvm/test/Transforms/InstSimplify/load.ll
llvm/test/Transforms/LICM/pr23608.ll
llvm/test/Transforms/NewGVN/2007-07-26-PhiErasure.ll
llvm/test/Transforms/Util/assume-builder.ll
llvm/test/Transforms/Util/assume-simplify.ll