search for: mustmodref

...ceversa?) >> >> >> >> Hi Nuno, >> >> >> >> Thanks for taking the time to look over this! >> >> >> >> Here's the reasoning I reached after going over this again. >> >> >> >> > "you can go from MustModRef into Ref or Mod, and that is not true.". >> >> That's correct. While the initial thought I had was "Found may" + "Found >> must", then we should return "May", that's not the right, we should return >> "Must". Here's wh...

.... > > 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 would get replaced by > MRI_MustRef/MRI_MustMod. > But the top of the lattice is still MRI_ModRef. > While the implementation details *may* be ok to...