| ; 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 ptr] zeroinitializer | |
| @b = linkonce_odr alias [3 x ptr], ptr @a | |
| define ptr @f() { | |
| ; CHECK: ret ptr getelementptr ([3 x ptr], ptr @b, i64 0, i64 1) | |
| ret ptr getelementptr ([3 x ptr], ptr @b, i64 0, i64 1) | |
| } |