Displaying 5 results from an estimated 5 matches for "mri_nomodref".
2017 Oct 10
4
Expose aliasing information in getModRefInfo (or viceversa?)
...and
> masking out everything else.
> Introducing a Must bit, means setting it occasionally (since May is
> conservative) and then preserving it, so the opposite: start lattice at
> bottom, set to top.
>
> What I was trying, that *somewhat* made sense:
> enum ModRefInfo {
> MRI_NoModRef = 0,
> MRI_Ref = 1,
> MRI_Mod = 2,
> MRI_ModRef = MRI_Ref | MRI_Mod,
> MRI_Must = 4,
> MRI_MustRef = MRI_Ref | MRI_Must,
> MRI_MustMod = MRI_Mod | MRI_Must,
> MRI_MustModRef = MRI_ModRef | MRI_Must
> };
> // + shift values in FunctionModRefLocation to 8, 16,...
2017 Nov 28
1
Expose aliasing information in getModRefInfo (or viceversa?)
...top/bottom of the lattice, and what is the default to test against.
>>
>> So talking offline is Sanjoy, we reached a slightly different conclusion
>> which makes more sense to me.
>>
>>
>>
>> Current patch has:
>>
>> enum ModRefInfo {
>> MRI_NoModRef = 0,
>> MRI_Ref = 1,
>> MRI_Mod = 2,
>> MRI_ModRef = MRI_Ref | MRI_Mod,
>> MRI_Must = 4,
>>
>> MRI_MustRef = MRI_Ref | MRI_Must,
>>
>> MRI_MustMod = MRI_Mod | MRI_Must,
>>
>> MRI_MustModRef = MRI_ModRef | MRI_Must
>> };...
2016 Jan 27
2
Skip redundant checks in AliasSet::aliasesUnknownInst
On 01/27/2016 07:53 AM, Daniel Berlin wrote:
>
>
> On Wed, Jan 27, 2016 at 1:27 AM, Roman Gareev <gareevroman at gmail.com
> <mailto:gareevroman at gmail.com>> wrote:
>
> Thank you for the idea! Could you please explain it?
>
>
> Which part are you having trouble with, so i know where to concetrate?
>
> If I’m not
> mistaken, you advise
2017 Oct 10
2
Expose aliasing information in getModRefInfo (or viceversa?)
...n is based on having either Mod or Ref and
masking out everything else.
Introducing a Must bit, means setting it occasionally (since May is
conservative) and then preserving it, so the opposite: start lattice at
bottom, set to top.
What I was trying, that *somewhat* made sense:
enum ModRefInfo {
MRI_NoModRef = 0,
MRI_Ref = 1,
MRI_Mod = 2,
MRI_ModRef = MRI_Ref | MRI_Mod,
MRI_Must = 4,
MRI_MustRef = MRI_Ref | MRI_Must,
MRI_MustMod = MRI_Mod | MRI_Must,
MRI_MustModRef = MRI_ModRef | MRI_Must
};
// + shift values in FunctionModRefLocation to 8, 16, 32.
Recursive masking of MRI_Ref/MRI_Mod wo...
2017 Oct 10
2
Expose aliasing information in getModRefInfo (or viceversa?)
I'm trying to understand what is the result we'd seek in the example
in D38569 (pasting here for quick access)
double f(double a)
{
double b;
double c,d;
double (*fp) (double) __attribute__ ((const));
/* Partially redundant call */
if (a < 2.0)
{
fp = sin;
c = fp (a);
}
else
{
c = 1.0;
fp = cos;
}
d = fp (a);