Displaying 2 results from an estimated 2 matches for "tbaanode".
2012 Jan 30
0
[LLVMdev] [RFC] Module Flags Metadata
...cause that's how the TBAA rules in the
> C standard are stated.
>
> I've shown how MDNodes attached to load and store instructions can
> be confounded by otherwise valid optimizations.
What I fail to understand is why can't you use Constant, GlobalVariable, OptDataNode (or TBAANode or something like that) ? Why insist on MDNode ?
> If you really want to claim that it's possible to implement TBAA
> or any metadata-based optimization without making optimizers
> responsible for keeping it up to date, please show me how to do it.
I am not. In fact, are you suggest...
2012 Jan 30
2
[LLVMdev] [RFC] Module Flags Metadata
On Jan 30, 2012, at 10:08 AM, Devang Patel wrote:
>
> On Jan 27, 2012, at 5:00 PM, Dan Gohman wrote:
>
>> Not all of these are miscompiles,
>
> None I'd say, may be TBAA.
Then you missed value ranges and fpaccuracy.
Anyway, here are some examples of optimizations which aren't
implemented yet, but which have been seriously considered: metadata
to mark C++ copy