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