1 ; RUN: opt -S -loop-reduce < %s | FileCheck %s 2 3 target triple = "x86_64-unknown-unknown" 4 target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128" 5 6 define void @incorrect_offset_scaling(i64, i64*) { 7 top: 8 br label %L 9 10 L: ; preds = %idxend.10, %idxend, %L2, %top 11 br i1 undef, label %L, label %L1 12 13 L1: ; 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 21 L2: ; preds = %idxend.8 22 %r1 = add i64 %r13, 1 23 br i1 undef, label %L, label %L1 24 25 if6: ; 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 32 idxend.8: ; preds = %L1 33 br i1 undef, label %if6, label %L2 34 35 ib: ; 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
