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