search for: check_something

...e operation. This is cool because > optimizations can be totally oblivious, but the information will > still be preserved most of the time. > > > > > > and the scheme also needs to deal with maythrow functions. I think that you misunderstood what I meant. If we have: check_something(); %x = load %ptr, !notrap Then it could be that %ptr will never trap because check_something() will throw in all cases where the load will trap. As a result, we also need to encode a dependency between all functions that may throw (or longjmp or whatever) and the notrap metadata. Thanks again,...

On Nov 1, 2013, at 4:48 AM, Hal Finkel <hfinkel at anl.gov> wrote: > 3. Represent the control dependencies explicitly in the metadata. Andy, Arnold (CC'd) and I have been discussing this in a slightly-different context, and briefly, this means adding all of the relevant conditional branch inputs to the metadata, and ensuring dominance before the metadata is respected. For example: