[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
Showing
- llvm/include/llvm/IR/Operator.h 3 additions, 0 deletionsllvm/include/llvm/IR/Operator.h
- llvm/include/llvm/IR/Value.h 5 additions, 3 deletionsllvm/include/llvm/IR/Value.h
- llvm/lib/IR/Operator.cpp 27 additions, 0 deletionsllvm/lib/IR/Operator.cpp
- llvm/lib/IR/Value.cpp 7 additions, 3 deletionsllvm/lib/IR/Value.cpp
- llvm/lib/Transforms/Utils/AssumeBundleBuilder.cpp 72 additions, 6 deletionsllvm/lib/Transforms/Utils/AssumeBundleBuilder.cpp
- llvm/test/Analysis/BasicAA/featuretest.ll 24 additions, 55 deletionsllvm/test/Analysis/BasicAA/featuretest.ll
- llvm/test/Transforms/Inline/arg-attr-propagation.ll 4 additions, 10 deletionsllvm/test/Transforms/Inline/arg-attr-propagation.ll
- llvm/test/Transforms/InstSimplify/load.ll 6 additions, 4 deletionsllvm/test/Transforms/InstSimplify/load.ll
- llvm/test/Transforms/LICM/pr23608.ll 1 addition, 1 deletionllvm/test/Transforms/LICM/pr23608.ll
- llvm/test/Transforms/NewGVN/2007-07-26-PhiErasure.ll 12 additions, 26 deletionsllvm/test/Transforms/NewGVN/2007-07-26-PhiErasure.ll
- llvm/test/Transforms/Util/assume-builder.ll 433 additions, 126 deletionsllvm/test/Transforms/Util/assume-builder.ll
- llvm/test/Transforms/Util/assume-simplify.ll 2 additions, 2 deletionsllvm/test/Transforms/Util/assume-simplify.ll
Loading
Please register or sign in to comment