llvm/test/Transforms/IndVarSimplify/sentinel.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt -indvars -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() personality i32* ()* @snork {
   8 ; CHECK-LABEL: @test(
   9 ; CHECK-NEXT:  bb:
  10 ; CHECK-NEXT:    br label [[BB4:%.*]]
  11 ; CHECK:       bb1:
  12 ; CHECK-NEXT:    [[INDVARS_IV_NEXT:%.*]] = add i32 [[INDVARS_IV:%.*]], 1
  13 ; CHECK-NEXT:    [[TMP0:%.*]] = sub i32 [[TMP1:%.*]], [[SMAX:%.*]]
  14 ; CHECK-NEXT:    br i1 true, label [[BB2:%.*]], label [[BB4]]
  15 ; CHECK:       bb2:
  16 ; CHECK-NEXT:    [[TMP3:%.*]] = phi i32 [ [[TMP0]], [[BB1:%.*]] ]
  17 ; CHECK-NEXT:    ret void
  18 ; CHECK:       bb4:
  19 ; CHECK-NEXT:    [[INDVARS_IV]] = phi i32 [ [[INDVARS_IV_NEXT]], [[BB1]] ], [ undef, [[BB:%.*]] ]
  20 ; CHECK-NEXT:    [[SMAX]] = call i32 @llvm.smax.i32(i32 [[INDVARS_IV]], i32 36)
  21 ; CHECK-NEXT:    [[TMP6:%.*]] = invoke i32 @quux() [ "deopt"(i32 0, i32 0, i32 0, i32 180, i32 0, i32 25, i32 0, i32 7, i8* null, i32 7, i8* null, i32 7, i8* null, i32 3, i32 [[INDVARS_IV]], i32 3, i32 undef, i32 7, i8* null, i32 3, i32 undef, i32 3, i32 undef, i32 3, i32 undef, i32 3, i32 undef, i32 4, double undef, i32 7, i8* null, i32 4, i64 undef, i32 7, i8* null, i32 0, i8 addrspace(1)* undef, i32 3, i32 undef, i32 0, i8 addrspace(1)* undef, i32 0, i8 addrspace(1)* undef, i32 0, i8 addrspace(1)* undef, i32 0, i8 addrspace(1)* undef, i32 0, i8 addrspace(1)* undef, i32 0, i8 addrspace(1)* undef, i32 0, i8 addrspace(1)* undef, i32 0, i8 addrspace(1)* undef, i32 7, i8* null) ]
  22 ; CHECK-NEXT:    to label [[BB7:%.*]] unwind label [[BB15:%.*]]
  23 ; CHECK:       bb7:
  24 ; CHECK-NEXT:    [[TMP1]] = add i32 [[TMP6]], [[INDVARS_IV]]
  25 ; CHECK-NEXT:    br label [[BB9:%.*]]
  26 ; CHECK:       bb9:
  27 ; CHECK-NEXT:    br i1 true, label [[BB1]], label [[BB9]]
  28 ; CHECK:       bb15:
  29 ; CHECK-NEXT:    [[TMP16:%.*]] = landingpad { i8*, i32 }
  30 ; CHECK-NEXT:    cleanup
  31 ; CHECK-NEXT:    ret void
  32 ;
  33
  34 bb:
  35   br label %bb4
  36
  37 bb1:                                              ; preds = %bb9
  38   %tmp = phi i32 [ %tmp12, %bb9 ]
  39   br i1 undef, label %bb2, label %bb4
  40
  41 bb2:                                              ; preds = %bb1
  42   %tmp3 = phi i32 [ %tmp, %bb1 ]
  43   ret void
  44
  45 bb4:                                              ; preds = %bb1, %bb
  46   %tmp5 = phi i32 [ %tmp8, %bb1 ], [ undef, %bb ]
  47   %tmp6 = invoke i32 @quux() #2 [ "deopt"(i32 0, i32 0, i32 0, i32 180, i32 0, i32 25, i32 0, i32 7, i8* null, i32 7, i8* null, i32 7, i8* null, i32 3, i32 %tmp5, i32 3, i32 undef, i32 7, i8* null, i32 3, i32 undef, i32 3, i32 undef, i32 3, i32 undef, i32 3, i32 undef, i32 4, double undef, i32 7, i8* null, i32 4, i64 undef, i32 7, i8* null, i32 0, i8 addrspace(1)* undef, i32 3, i32 undef, i32 0, i8 addrspace(1)* undef, i32 0, i8 addrspace(1)* undef, i32 0, i8 addrspace(1)* undef, i32 0, i8 addrspace(1)* undef, i32 0, i8 addrspace(1)* undef, i32 0, i8 addrspace(1)* undef, i32 0, i8 addrspace(1)* undef, i32 0, i8 addrspace(1)* undef, i32 7, i8* null) ]
  48   to label %bb7 unwind label %bb15
  49
  50 bb7:                                              ; preds = %bb4
  51   %tmp8 = add nsw i32 %tmp5, 1
  52   br label %bb9
  53
  54 bb9:                                              ; preds = %bb9, %bb7
  55   %tmp10 = phi i32 [ %tmp5, %bb7 ], [ %tmp13, %bb9 ]
  56   %tmp11 = phi i32 [ %tmp6, %bb7 ], [ %tmp12, %bb9 ]
  57   %tmp12 = add i32 %tmp11, -1
  58   %tmp13 = add nsw i32 %tmp10, 1
  59   %tmp14 = icmp sgt i32 %tmp10, 35
  60   br i1 %tmp14, label %bb1, label %bb9
  61
  62 bb15:                                             ; preds = %bb4
  63   %tmp16 = landingpad { i8*, i32 }
  64   cleanup
  65   ret void
  66 }
  67
  68 declare i32* @snork()
  69
  70 declare i32 @quux()
  71