test/Analysis/ConstantFolding/gep-alias.ll

   1 ; RUN: opt -instcombine -S -o - %s | FileCheck %s
   2 ; Test that we don't replace an alias with its aliasee when simplifying GEPs.
   3 ; In this test case the transformation is invalid because it replaces the
   4 ; reference to the symbol "b" (which refers to whichever instance of "b"
   5 ; was chosen by the linker) with a reference to "a" (which refers to the
   6 ; specific instance of "b" in this module).
   7
   8 target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
   9 target triple = "x86_64-unknown-linux-gnu"
  10
  11 @a = internal global [3 x i8*] zeroinitializer
  12 @b = linkonce_odr alias [3 x i8*], [3 x i8*]* @a
  13
  14 define i8** @f() {
  15   ; CHECK: ret i8** getelementptr ([3 x i8*], [3 x i8*]* @b, i64 0, i64 1)
  16   ret i8** getelementptr ([3 x i8*], [3 x i8*]* @b, i64 0, i64 1)
  17 }