llvm/test/Transforms/IndVarSimplify/pr40454.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt -S -passes=indvars  < %s | FileCheck %s
   3
   4 target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
   5
   6 define void @test(i1 %arg) {
   7 ; CHECK-LABEL: @test(
   8 ; CHECK-NEXT:  bb:
   9 ; CHECK-NEXT:    br label [[BB2:%.*]]
  10 ; CHECK:       bb1:
  11 ; CHECK-NEXT:    br label [[BB2]]
  12 ; CHECK:       bb2:
  13 ; CHECK-NEXT:    [[TMP:%.*]] = phi i32 [ -9, [[BB:%.*]] ], [ [[TMP6:%.*]], [[BB1:%.*]] ]
  14 ; CHECK-NEXT:    br label [[BB3:%.*]]
  15 ; CHECK:       bb3:
  16 ; CHECK-NEXT:    [[TMP4:%.*]] = phi i32 [ -9, [[BB2]] ], [ [[TMP6]], [[BB10:%.*]] ]
  17 ; CHECK-NEXT:    br i1 [[ARG:%.*]], label [[BB5:%.*]], label [[BB12:%.*]]
  18 ; CHECK:       bb5:
  19 ; CHECK-NEXT:    [[TMP6]] = add i32 [[TMP4]], -1
  20 ; CHECK-NEXT:    [[TMP7:%.*]] = zext i32 [[TMP6]] to i64
  21 ; CHECK-NEXT:    br i1 [[ARG]], label [[BB8:%.*]], label [[BB9:%.*]]
  22 ; CHECK:       bb8:
  23 ; CHECK-NEXT:    br label [[BB10]]
  24 ; CHECK:       bb9:
  25 ; CHECK-NEXT:    br label [[BB10]]
  26 ; CHECK:       bb10:
  27 ; CHECK-NEXT:    [[TMP11:%.*]] = and i64 undef, [[TMP7]]
  28 ; CHECK-NEXT:    br label [[BB3]]
  29 ; CHECK:       bb12:
  30 ; CHECK-NEXT:    ret void
  31 ;
  32
  33 bb:
  34   br label %bb2
  35
  36 bb1:                                              ; No predecessors!
  37   br label %bb2
  38
  39 bb2:                                              ; preds = %bb1, %bb
  40   %tmp = phi i32 [ -9, %bb ], [ %tmp6, %bb1 ]
  41   br label %bb3
  42
  43 bb3:                                              ; preds = %bb10, %bb2
  44   %tmp4 = phi i32 [ -9, %bb2 ], [ %tmp6, %bb10 ]
  45   br i1 %arg, label %bb5, label %bb12
  46
  47 bb5:                                              ; preds = %bb3
  48   %tmp6 = add i32 %tmp4, -1
  49   %tmp7 = zext i32 %tmp6 to i64
  50   br i1 %arg, label %bb8, label %bb9
  51
  52 bb8:                                              ; preds = %bb5
  53   br label %bb10
  54
  55 bb9:                                              ; preds = %bb5
  56   br label %bb10
  57
  58 bb10:                                             ; preds = %bb9, %bb8
  59   %tmp11 = and i64 undef, %tmp7
  60   br label %bb3
  61
  62 bb12:                                             ; preds = %bb3
  63   ret void
  64 }