| ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 4 |
| ; RUN: opt -passes=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-LABEL: define ptr @f() { |
| ; CHECK-NEXT: ret ptr getelementptr (i8, ptr @b, i64 8) |
| ; |
| ret ptr getelementptr ([3 x ptr], ptr @b, i64 0, i64 1) |
| } |