[llvm-commits] [llvm] r57641 - in /llvm/trunk: include/llvm/Use.h lib/VMCore/Use.cpp

[Chris Lattner]

On Oct 16, 2008, at 8:33 AM, Gabor Greif wrote:

> Author: ggreif
> Date: Thu Oct 16 10:33:02 2008
> New Revision: 57641
>
> URL: http://llvm.org/viewvc/llvm-project?rev=57641&view=rev
> Log:
> Introduce a typing refinenement on tagged data
> using the 'volatile' qualifier. This should not have any operational  
> consequences
> on code, because tags should always be stripped off (giving a non- 
> volatile pointer)
> before dereferencing. The new qualification is there to catch some  
> attempts to use
> tagged pointers in a context where an untagged pointer is appropriate.
>
> Notably this approach does not catch dereferencing of tagged  
> pointers, but helps
> in separating the two concepts a bit.

Gabor, this is very interesting, but it is very subtle and definitely  
needs some comments in the code.  Please add them.

-Chris