add more semantic flags to intrinsics
add a constant index to intrinsics, kill loads/stores
XXX
add phi nodes