[PATCH] D25878: IR, X86: Understand !range metadata on global variables.

[Eli Friedman via llvm-commits]

efriedma added a comment.

The IR representation you're using in your testcases is abusing the meaning of a global variable.  You're declaring "variables" whose address doesn't actually correspond to an object in memory.  In addition to being ugly, this could have nasty implications for alias analysis: we assume that global variables don't alias each other.  (See llvm::isIdentifiedObject etc.)

Some sort of GlobalConstant might make sense if the code patterns from your testcases are useful.


https://reviews.llvm.org/D25878