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

Eli Friedman via llvm-commits llvm-commits at lists.llvm.org
Fri Oct 21 15:01:32 PDT 2016

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.


More information about the llvm-commits mailing list