test/Transforms/LoopStrengthReduce/X86/incorrect-offset-scaling.ll

   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:  %r2 = add i64 %0, -1
  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:  %r4 = mul i64 %r3, %lsr.iv
  40 ; CHECK:  %r5 = add i64 %r2, %r4
  41 ; CHECK:  %r6 = icmp ult i64 %r5, undef
  42 ; CHECK:  %r7 = getelementptr i64, i64* undef, i64 %r5
  43   %r7 = getelementptr i64, i64* undef, i64 %r5
  44   store i64 1, i64* %r7, align 8
  45   br label %L
  46 }