| ; RUN: opt -S -aa-pipeline=basic-aa -passes=dse < %s | FileCheck %s |
| |
| target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128" |
| target triple = "x86_64-unknown-linux-gnu" |
| |
| ; We incorrectly returned noalias in the example below for "ptr.64" and |
| ; "either_ptr.64". |
| ; PR18460 |
| |
| %nested = type { %nested.i64 } |
| %nested.i64 = type { i64 } |
| |
| define i64 @testcase(ptr noalias %p1, ptr noalias %p2, |
| i32 %a, i32 %b) { |
| %ptr = getelementptr inbounds %nested, ptr %p1, i64 -1, i32 0 |
| %ptr.64 = getelementptr inbounds %nested.i64, ptr %ptr, i64 0, i32 0 |
| %ptr2= getelementptr inbounds %nested, ptr %p2, i64 0, i32 0 |
| %cmp = icmp ult i32 %a, %b |
| %either_ptr = select i1 %cmp, ptr %ptr2, ptr %ptr |
| %either_ptr.64 = getelementptr inbounds %nested.i64, ptr %either_ptr, i64 0, i32 0 |
| |
| ; Because either_ptr.64 and ptr.64 can alias (we used to return noalias) |
| ; elimination of the first store is not valid. |
| |
| ; CHECK: store i64 2 |
| ; CHECK: load |
| ; CHECK: store i64 1 |
| |
| store i64 2, ptr %ptr.64, align 8 |
| %r = load i64, ptr %either_ptr.64, align 8 |
| store i64 1, ptr %ptr.64, align 8 |
| ret i64 %r |
| } |
