[AssumeBundles] Refactor asssume builder
authorTyker <tyker1@outlook.com>
Fri, 24 Apr 2020 20:34:55 +0000 (22:34 +0200)
committerTyker <tyker1@outlook.com>
Sat, 25 Apr 2020 11:43:52 +0000 (13:43 +0200)
commite5f8a77c1965c762c092e8736d2bf4dd38266754
tree6accccbed6d8758a34835c5813823668474ec7ae
parent1d42764df7c9fd9db09d658390383d109a3f96d2
[AssumeBundles] Refactor asssume builder

Summary:
refactor assume bulider for the next patch.
the assume builder now generate only one assume per attribute kind and per value they are on. to do this it takes the highest. this is desirable because currently, for all attributes the higest value is the most valuable.

Reviewers: jdoerfert

Reviewed By: jdoerfert

Subscribers: hiraditya, llvm-commits

Tags: #llvm

Differential Revision: https://reviews.llvm.org/D78013
llvm/include/llvm/Analysis/AssumeBundleQueries.h
llvm/lib/Analysis/AssumeBundleQueries.cpp
llvm/lib/Transforms/Utils/AssumeBundleBuilder.cpp
llvm/test/Transforms/Util/assume-builder.ll
llvm/unittests/Analysis/AssumeBundleQueriesTest.cpp