[PATCH] D11577: Reassociate: Implement isUnmovableInstruction() without a hardcoded list

[Daniel Berlin]

So, these are either data dependent, control dependent, or both :)
(IE that is the correct terminology)


On Wed, Jul 29, 2015 at 1:45 PM, Matthias Braun <matze at braunis.de> wrote:
> MatzeB updated this revision to Diff 30942.
> MatzeB added a comment.
>
> Let's call the function mayBeStateDependent() as classical definitions of control dependence are more concerned with control flow while this function is mostly concerned with global state and memory contents (of course the global state is *also* control dependent).
>
>
> Repository:
>   rL LLVM
>
> http://reviews.llvm.org/D11577
>
> Files:
>   include/llvm/Analysis/ValueTracking.h
>   lib/Analysis/ValueTracking.cpp
>   lib/Transforms/Scalar/Reassociate.cpp
>   test/Transforms/Reassociate/vaarg_movable.ll
>
>
> _______________________________________________
> llvm-commits mailing list
> llvm-commits at cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/llvm-commits
>