Displaying 1 result from an estimated 1 matches for "deferefenceable".
Did you mean:
dererefenceable
2015 Feb 12
2
[LLVMdev] RFC: attribute for a pointer which is dereferenceable xor null
...the size
of the static type.
- I suspect this will also be useful for Julia, Go, Rust, and others for
similar reasons.
With such an attribute available, we can increase the effectiveness of
LICM. We can't move a load outside a loop if it might introduce a
fault. Knowing that a pointer is deferefenceable(N) at a location (i.e.
the loop preheader) allows us to satisfy this constraint. In the near
term, we can simply add a case in the dereferenceability analysis that
combines the new attribute and isKnownNonNull. This won't be too
effective out of the box, but will enable testing with llvm....