llvm/test/Transforms/LoopFlatten/pr59339.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt < %s -S -passes='loop(loop-flatten),verify' -verify-loop-info -verify-dom-info -verify-scev | FileCheck %s
   3
   4 ; Check that the mul does not have extra uses.
   5
   6 define void @test0(ptr %arg, ptr %arg1) {
   7 ; CHECK-LABEL: @test0(
   8 ; CHECK-NEXT:  bb:
   9 ; CHECK-NEXT:    br label [[DOTPREHEADER:%.*]]
  10 ; CHECK:       .preheader:
  11 ; CHECK-NEXT:    [[I:%.*]] = phi i64 [ 0, [[BB:%.*]] ], [ [[I5:%.*]], [[BB4:%.*]] ]
  12 ; CHECK-NEXT:    [[I2:%.*]] = mul i64 [[I]], 3
  13 ; CHECK-NEXT:    [[I3:%.*]] = getelementptr i16, ptr [[ARG1:%.*]], i64 [[I2]]
  14 ; CHECK-NEXT:    br label [[BB7:%.*]]
  15 ; CHECK:       bb4:
  16 ; CHECK-NEXT:    [[I5]] = add i64 [[I]], 1
  17 ; CHECK-NEXT:    [[I6:%.*]] = icmp slt i64 [[I5]], 2
  18 ; CHECK-NEXT:    br i1 [[I6]], label [[DOTPREHEADER]], label [[BB14:%.*]]
  19 ; CHECK:       bb7:
  20 ; CHECK-NEXT:    [[I8:%.*]] = phi i64 [ 0, [[DOTPREHEADER]] ], [ [[I12:%.*]], [[BB7]] ]
  21 ; CHECK-NEXT:    [[I9:%.*]] = load i16, ptr [[I3]], align 2
  22 ; CHECK-NEXT:    [[I10:%.*]] = add i64 [[I8]], [[I2]]
  23 ; CHECK-NEXT:    [[I11:%.*]] = getelementptr i16, ptr [[ARG:%.*]], i64 [[I10]]
  24 ; CHECK-NEXT:    store i16 [[I9]], ptr [[I11]], align 2
  25 ; CHECK-NEXT:    [[I12]] = add nuw nsw i64 [[I8]], 1
  26 ; CHECK-NEXT:    [[I13:%.*]] = icmp ult i64 [[I12]], 3
  27 ; CHECK-NEXT:    br i1 [[I13]], label [[BB7]], label [[BB4]]
  28 ; CHECK:       bb14:
  29 ; CHECK-NEXT:    ret void
  30 ;
  31 bb:
  32   br label %.preheader
  33
  34 .preheader:                                       ; preds = %bb4, %bb
  35   %i = phi i64 [ 0, %bb ], [ %i5, %bb4 ]
  36   %i2 = mul i64 %i, 3
  37   %i3 = getelementptr i16, ptr %arg1, i64 %i2
  38   br label %bb7
  39
  40 bb4:                                              ; preds = %bb7
  41   %i5 = add i64 %i, 1
  42   %i6 = icmp slt i64 %i5, 2
  43   br i1 %i6, label %.preheader, label %bb14
  44
  45 bb7:                                              ; preds = %bb7, %.preheader
  46   %i8 = phi i64 [ 0, %.preheader ], [ %i12, %bb7 ]
  47   %i9 = load i16, ptr %i3, align 2
  48   %i10 = add i64 %i8, %i2
  49   %i11 = getelementptr i16, ptr %arg, i64 %i10
  50   store i16 %i9, ptr %i11, align 2
  51   %i12 = add nuw nsw i64 %i8, 1
  52   %i13 = icmp ult i64 %i12, 3
  53   br i1 %i13, label %bb7, label %bb4
  54
  55 bb14:                                             ; preds = %bb4
  56   ret void
  57 }