; RUN: llc -march=mips -mcpu=mips32r2 < %s -o /dev/null

; Test that SelectionDAG does not crash during DAGCombine when two pointers
; to the stack match with differing bases and offsets when expanding memcpy.
; This could result in one of the pointers being considered dereferenceable
; and other not.

define void @foo(i8*) {
start:
  %a = alloca [22 x i8]
  %b = alloca [22 x i8]
  %c = bitcast [22 x i8]* %a to i8*
  %d = getelementptr inbounds [22 x i8], [22 x i8]* %b, i32 0, i32 2
  call void @llvm.memcpy.p0i8.p0i8.i32(i8* %c, i8* %d, i32 20, i1 false)
  %e = getelementptr inbounds [22 x i8], [22 x i8]* %b, i32 0, i32 6
  call void @llvm.memcpy.p0i8.p0i8.i32(i8* %0, i8* %e, i32 12, i1 false)
  ret void
}

declare void @llvm.memcpy.p0i8.p0i8.i32(i8*, i8*, i32, i1)