Displaying 1 result from an estimated 1 matches for "cdeq".
Did you mean:
cde
2016 Dec 19
0
analysis based on nonnull attribute
>>>
In this particular case, since the def of %x in the caller is also an
argument, we could propagate it to the def directly, e.g.
define i1 @foo(i32* nonnull %x) {
%y.i = load i32, i32* %x ; inlined, still known to be nonnull
>>>
For propagation of non-nullity to the argument, don't you need value
propagation or backward all dataflow analysis?
IE.
define i1 @foo(i32*