; RUN: opt -S -loop-reduce < %s | FileCheck %s

target triple = "x86_64-unknown-unknown"
target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128"

define void @incorrect_offset_scaling(i64, i64*) {
top:
  br label %L

L:                                                ; preds = %idxend.10, %idxend, %L2, %top
  br i1 undef, label %L, label %L1

L1:                                               ; preds = %L1.preheader, %L2
  %r13 = phi i64 [ %r1, %L2 ], [ 1, %L ]
; CHECK:  %lsr.iv = phi i64 [ 0, %L{{[^ ]+}} ], [ %lsr.iv.next, %L2 ]
; CHECK-NOT:  %lsr.iv = phi i64 [ -1, %L{{[^ ]+}} ], [ %lsr.iv.next, %L2 ]
; CHECK:  br
  %r0 = add i64 %r13, -1
  br label %idxend.8

L2:                                               ; preds = %idxend.8
  %r1 = add i64 %r13, 1
  br i1 undef, label %L, label %L1

if6:                                              ; preds = %idxend.8
  %r2 = add i64 %0, -1
  %r3 = load i64, i64* %1, align 8
; CHECK-NOT:  %r2
; CHECK:  %r3 = load i64
  br label %ib

idxend.8:                                         ; preds = %L1
  br i1 undef, label %if6, label %L2

ib:                                               ; preds = %if6
  %r4 = mul i64 %r3, %r0
  %r5 = add i64 %r2, %r4
  %r6 = icmp ult i64 %r5, undef
; CHECK  %2 = mul i64 %lsr.iv, %r3
; CHECK  %3 = add i64 %1, -1
; CHECK  %4 = add i64 %0, %r3
; CHECK  %r6
  %r7 = getelementptr i64, i64* undef, i64 %r5
  store i64 1, i64* %r7, align 8
; CHECK  %5 = mul i64 %lsr.iv, %r3
; CHECK  %6 = add i64 %5, -1
  br label %L
}