llvm/test/Analysis/ScalarEvolution/pr62430.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 2
   2 ; RUN: opt -loop-reduce -S < %s | FileCheck %s
   3
   4 target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-f80:128-n8:16:32:64-S128-ni:1-p2:32:8:8:32-ni:2"
   5 target triple = "x86_64-unknown-linux-gnu"
   6
   7 define void @test() {
   8 ; CHECK-LABEL: define void @test() {
   9 ; CHECK-NEXT:  bb:
  10 ; CHECK-NEXT:    br label [[BB3:%.*]]
  11 ; CHECK:       bb3:
  12 ; CHECK-NEXT:    [[LSR_IV1:%.*]] = phi i32 [ [[LSR_IV_NEXT2:%.*]], [[BB7:%.*]] ], [ 0, [[BB:%.*]] ]
  13 ; CHECK-NEXT:    [[LSR_IV:%.*]] = phi i32 [ [[LSR_IV_NEXT:%.*]], [[BB7]] ], [ 16, [[BB]] ]
  14 ; CHECK-NEXT:    br label [[BB4:%.*]]
  15 ; CHECK:       bb4:
  16 ; CHECK-NEXT:    [[LSR_IV3:%.*]] = phi i32 [ [[LSR_IV_NEXT4:%.*]], [[BB6:%.*]] ], [ [[LSR_IV1]], [[BB3]] ]
  17 ; CHECK-NEXT:    br i1 true, label [[BB7]], label [[BB6]]
  18 ; CHECK:       bb6:
  19 ; CHECK-NEXT:    [[LSR_IV_NEXT4]] = add i32 [[LSR_IV3]], 268435456
  20 ; CHECK-NEXT:    br label [[BB4]]
  21 ; CHECK:       bb7:
  22 ; CHECK-NEXT:    [[MUL9:%.*]] = mul i32 [[LSR_IV3]], [[LSR_IV3]]
  23 ; CHECK-NEXT:    [[MUL10:%.*]] = mul i32 [[MUL9]], [[LSR_IV3]]
  24 ; CHECK-NEXT:    call void @foo(i32 [[MUL10]])
  25 ; CHECK-NEXT:    [[SEXT:%.*]] = sext i32 [[MUL10]] to i64
  26 ; CHECK-NEXT:    [[LSR_IV_NEXT]] = add i32 [[LSR_IV]], 32
  27 ; CHECK-NEXT:    [[LSR_IV_NEXT2]] = add i32 [[LSR_IV1]], [[LSR_IV]]
  28 ; CHECK-NEXT:    br label [[BB3]]
  29 ;
  30 bb:
  31   br label %bb3
  32
  33 bb3:                                              ; preds = %bb7, %bb
  34   %phi = phi i64 [ 0, %bb ], [ %add11, %bb7 ]
  35   br label %bb4
  36
  37 bb4:                                              ; preds = %bb6, %bb3
  38   %phi5 = phi i32 [ 0, %bb3 ], [ %add, %bb6 ]
  39   br i1 true, label %bb7, label %bb6
  40
  41 bb6:                                              ; preds = %bb4
  42   %add = add i32 %phi5, 8
  43   br label %bb4
  44
  45 bb7:                                              ; preds = %bb4
  46   %shl = shl i32 %phi5, 25
  47   %mul = mul i64 %phi, %phi
  48   %trunc = trunc i64 %mul to i32
  49   %add8 = add i32 %shl, %trunc
  50   %mul9 = mul i32 %add8, %add8
  51   %mul10 = mul i32 %mul9, %add8
  52   call void @foo(i32 %mul10)
  53   %sext = sext i32 %mul10 to i64
  54   %add11 = add i64 %phi, 4
  55   br label %bb3
  56 }
  57
  58 declare void @foo(i32)
  59