search for: ggan

Dan, Thanks for clarifying. This makes perfect sense. Gan >> Makes sense. In that case, it would give the expected answers if >> clang was enhanced to properly deal with similar/dissimilar pointer >> types, instead of giving all pointer types the "everything" tag :) > > No, you've confused pointer types with pointee types. That "any pointer"

> Yes. It's almost all up to the front-end. Find the place in clang > where it emits the "any pointer" metadata, and implement something > better. Dan, Thanks for replying! I have read the TBAA code in the front-end of clang. I did consider to extend it to handle more complicated pointer cases. For example, assigning different TBAA names to pointers pointing to different

On Mon, Dec 5, 2011 at 6:08 PM, <ggan at codeaurora.org> wrote: > Hi Yi, > > I didn't get a chance to run your code. But from the debug information you > posted about tbaa alias analysis: > > Alias Set Tracker: 1 alias sets for 7 pointer values. >  AliasSet[0x207f860, 7] may alias, Mod/Ref   Pointers: (i32*...

Hi Yi, I didn't get a chance to run your code. But from the debug information you posted about tbaa alias analysis: Alias Set Tracker: 1 alias sets for 7 pointer values. AliasSet[0x207f860, 7] may alias, Mod/Ref Pointers: (i32* %1, 4), (i32* %x, 4), (i32** %p, 8), (i32** %q, 8), (float* %z, 4), (float** %t, 8), (i32* %2, 4) I guess it is because of the way how TBAA alias analysis treats

Duncan Sands <baldrick <at> free.fr> writes: > > Hi Yi, > > > Could anyone tell me how exactly do I use "Type Based Alias Analysis"? > > > > I compiled the C program with Clang, and verified that there is tbaa > > metadata in the IR code. > > > > But then when I use "opt -tbaa input.c.bc -aa-eval" to check the results,