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

[Gabor Greif]

On Oct 16, 7:03 pm, Chris Lattner <clatt... at apple.com> wrote:
> 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.

Hmmm, I am specialized on subtle things :-)
I was so happy yesterday that this scheme worked out with minimal
changes that I have completely forgotten documenting it. I have just
added some lines, but I am not sure how these can find their way into
doxygen. Anybody?

Cheers,

    Gabor
>
> -Chris
> _______________________________________________
> llvm-commits mailing list
> llvm-comm... at cs.uiuc.eduhttp://lists.cs.uiuc.edu/mailman/listinfo/llvm-commits