1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
| ; 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: %r2 = add i64 %0, -1
; 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: %r4 = mul i64 %r3, %lsr.iv
; CHECK: %r5 = add i64 %r2, %r4
; CHECK: %r6 = icmp ult i64 %r5, undef
; CHECK: %r7 = getelementptr i64, i64* undef, i64 %r5
%r7 = getelementptr i64, i64* undef, i64 %r5
store i64 1, i64* %r7, align 8
br label %L
}
|