search for: isdereferenceaablepoint

...%pm = addrspaacecast float addrspacecast(n)* %pn to float addrspacecast(m)* %r = load float addrspace(m)* %pm In another word. the question is whether the following is true ? isDereferenceablePointer(pn) == isDereferenceablePointer(pm) [Note that the function is defined as Value.cpp:isDereferenceaablePointer(const Value*, ...) ] The reason I am asking this is that the current LLVM thinks the answer is yes (they are the same). But for the following case, it will make non-speculative load to be moved out of its guard. For example (assume that isDereferenceablePointer(p) is true), The following cod...