| ; 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) |
| } |