>> + (const_int MEMTAG_TAG_MASK)) ;; 0xf0ff... > > I think we can drop the comments now, since the name of the constant > makes it clear enough. Same for the uses below. > > OK with that change. Thanks for doing this. > > Richard
Patch pushed with the additional mods. Thank you, Claudiu
