1; RUN: opt -S -loop-reduce < %s | FileCheck %s
2
3target triple = "x86_64-unknown-unknown"
4target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128"
5
6define void @incorrect_offset_scaling(i64, i64*) {
7top:
8  br label %L
9
10L:                                                ; preds = %idxend.10, %idxend, %L2, %top
11  br i1 undef, label %L, label %L1
12
13L1:                                               ; preds = %L1.preheader, %L2
14  %r13 = phi i64 [ %r1, %L2 ], [ 1, %L ]
15; CHECK:  %lsr.iv = phi i64 [ 0, %L{{[^ ]+}} ], [ %lsr.iv.next, %L2 ]
16; CHECK-NOT:  %lsr.iv = phi i64 [ -1, %L{{[^ ]+}} ], [ %lsr.iv.next, %L2 ]
17; CHECK:  br
18  %r0 = add i64 %r13, -1
19  br label %idxend.8
20
21L2:                                               ; preds = %idxend.8
22  %r1 = add i64 %r13, 1
23  br i1 undef, label %L, label %L1
24
25if6:                                              ; preds = %idxend.8
26  %r2 = add i64 %0, -1
27  %r3 = load i64, i64* %1, align 8
28; CHECK-NOT:  %r2
29; CHECK:  %r3 = load i64
30  br label %ib
31
32idxend.8:                                         ; preds = %L1
33  br i1 undef, label %if6, label %L2
34
35ib:                                               ; preds = %if6
36  %r4 = mul i64 %r3, %r0
37  %r5 = add i64 %r2, %r4
38  %r6 = icmp ult i64 %r5, undef
39; CHECK  %2 = mul i64 %lsr.iv, %r3
40; CHECK  %3 = add i64 %1, -1
41; CHECK  %4 = add i64 %0, %r3
42; CHECK  %r6
43  %r7 = getelementptr i64, i64* undef, i64 %r5
44  store i64 1, i64* %r7, align 8
45; CHECK  %5 = mul i64 %lsr.iv, %r3
46; CHECK  %6 = add i64 %5, -1
47  br label %L
48}
49