search for: vfn2

Hi all, I would like to propose a new way clang would decorate vtable loads in order to handle devirtualization better. I've added *llvm-dev* also, because this can start a discussion about changing invariant.group to just invariant. PDF version of this RFC can be found here: https://drive.google.com/file/d/0B72TmzNsY6Z8ZmpOUnB5dDZfSFU/view?usp=sharing Background: Initial old design:

...pointer values.</div><div> AliasSet[0x93a80b8, 1] must alias, Mod Pointers: (i32* %retval, 4)</div><div> AliasSet[0x93a80e0, 4] may alias, Mod/Ref Pointers: (void (%class.B*)*** %4, 4), (void (%class.B*)** %vfn, 4), (void (%class.B*)*** %9, 4), (void (%class.B*)** %vfn2, 4)</div><div> 6 Unknown instructions: i8* %call, void <badref>, void <badref>, void <badref>, void <badref>, void <badref></div><div><b><font color="#ff0000"> AliasSet[0x93a9ea8, 1] must alias, Mod/Ref Pointers: (%cl...

...MI.PAVP...OSCC.N 0520: 45 58 50 08 53 42 56 31 08 53 42 56 32 08 00 30 EXP.SBV1.SBV2..0 0530: 44 53 45 4e 08 45 43 4f 4e 08 47 50 49 43 08 43 DSEN.ECON.GPIC.C 0540: 54 59 50 08 4c 30 31 43 08 56 46 4e 30 08 56 46 TYP.L01C.VFN0.VF 0550: 4e 31 08 56 46 4e 32 08 56 46 4e 33 08 56 46 4e N1.VFN2.VFN3.VFN 0560: 34 08 00 48 05 4e 56 47 41 20 4e 56 48 41 20 41 4..H.NVGA NVHA A 0570: 4d 44 41 20 44 49 44 36 20 44 49 44 37 20 44 49 MDA DID6 DID7 DI 0580: 44 38 20 45 42 41 53 20 43 50 53 50 20 45 45 43 D8 EBAS CPSP EEC 0590: 50 20 45 56 43 50 20 58 42 41 53 20 4f 42 53 31 P EVCP XBAS...