The ISA you describe doesn't require aliasing rules. It merely gives you an incentive to have them. C and other languages need much better control over aliasi

The ISA you describe doesn't require aliasing rules. It merely gives you an incentive to have them. C and other languages need much better control over aliasing than the 'restrict' keyword and compiler command-line switches.