Following discussion on llvm-dev ("proposed new rule for getelementptr"),