[all-commits] [llvm/llvm-project] a7bbe4: Build assume from call

[Ralender via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: a7bbe45a3e25a37fc55d389b3a6e0babc5dc0c6c
      https://github.com/llvm/llvm-project/commit/a7bbe45a3e25a37fc55d389b3a6e0babc5dc0c6c
  Author: Tyker <tyker1 at outlook.com>
  Date:   2020-02-02 (Sun, 02 Feb 2020)

  Changed paths:
    M llvm/include/llvm/IR/Attributes.h
    A llvm/include/llvm/Transforms/Utils/KnowledgeRetention.h
    M llvm/lib/IR/Attributes.cpp
    M llvm/lib/IR/Core.cpp
    M llvm/lib/Passes/PassBuilder.cpp
    M llvm/lib/Passes/PassRegistry.def
    M llvm/lib/Transforms/Utils/CMakeLists.txt
    A llvm/lib/Transforms/Utils/KnowledgeRetention.cpp
    A llvm/test/Transforms/Util/assume-builder.ll

  Log Message:
  -----------
  Build assume from call

Fix attempt

this is part of the implementation of http://lists.llvm.org/pipermail/llvm-dev/2019-December/137632.html

this patch gives the basis of building an assume to preserve all information from an instruction and add support for building an assume that preserve the information from a call.