From 8e3851a6eb9fe5fc30094c3a00d2b89c7cd68cbd Mon Sep 17 00:00:00 2001 From: Shuxin Yang Date: Wed, 23 Oct 2013 17:28:19 +0000 Subject: Use address-taken to disambiguate global variable and indirect memops. Major steps include: 1). introduces a not-addr-taken bit-field in GlobalVariable 2). GlobalOpt pass sets "not-address-taken" if it proves a global varirable dosen't have its address taken. 3). AA use this info for disambiguation. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@193251 91177308-0d34-0410-b5e6-96231b3b80d8 --- docs/LangRef.rst | 3 +++ 1 file changed, 3 insertions(+) (limited to 'docs') diff --git a/docs/LangRef.rst b/docs/LangRef.rst index b75c6b1..1e2016b 100644 --- a/docs/LangRef.rst +++ b/docs/LangRef.rst @@ -511,6 +511,9 @@ module, including those with external linkage or appearing in ``@llvm.used``. This assumption may be suppressed by marking the variable with ``externally_initialized``. +If a global variable dose not have its address taken, it will be optionally +flagged ``notaddrtaken``. + An explicit alignment may be specified for a global, which must be a power of 2. If not present, or if the alignment is set to zero, the alignment of the global is set by the target to whatever it feels -- cgit v1.1