On Fri, May 6, 2011 at 04:55, Richard Guenther <richard.guent...@gmail.com> wrote: > On Thu, May 5, 2011 at 7:02 PM, Xinliang David Li <davi...@google.com> wrote: >> >> 2) Support of CallInfo for each callsite. This is an annotation, but >> more standardized. The callinfo can be used to record information such >> as call attributes, call side effects, mod-ref information etc --- >> current gimple_call_flags can be folded into this Info structure. > > I don't like generic annotation facilities. What should passes to with > annotated stmts that are a) transformed, b) removed? See RTL notes > and all the interesting issues they cause.
Likewise. We kind of tried having them in the early days of gimple and tree-ssa, but quickly removed them. Anything that is not a first-class IL member, makes life difficult. We have some examples in PHI nodes and EH regions. They're a bit to the side, and require extra code to manage. Diego.
