projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 624ce59) | patch
[AssumptionCache] Do not track llvm.assume calls (PR49043)
authorJohannes Doerfert <johannes@jdoerfert.de>
Sat, 6 Feb 2021 17:42:02 +0000 (11:42 -0600)
committerJohannes Doerfert <johannes@jdoerfert.de>
Sat, 6 Feb 2021 18:18:30 +0000 (12:18 -0600)
commit378f4e5ec26c3e0d2119c1112ec645b369eed2de
tree3e0eed6c45edcd8ef0705f7a998eb6090120334ftree | snapshot
parent624ce59bbab29749b5ecdbb8178ca5ef59667284commit | diff
[AssumptionCache] Do not track llvm.assume calls (PR49043)

This fixes PR49043 by invalidating the handle on RAUW. This will work
fine assuming all existing RAUW users add the new assumption to the
cache. That means, if a new llvm.assume call replaces an old one, you
need to add the new one now as a RAUW is not enough anymore.

Reviewed By: nikic

Differential Revision: https://reviews.llvm.org/D96208
llvm/include/llvm/Analysis/AssumptionCache.h diff | blob | history
llvm/test/Transforms/GVNSink/assumption.ll [new file with mode: 0644] blob
Domain: System / Toolchain;