test/Transforms/IndVarSimplify/eliminate-max.ll

   1 ; RUN: opt < %s -S -indvars | FileCheck %s
   2 ; PR4914.ll
   3
   4 ; Indvars should be able to do range analysis and eliminate icmps.
   5 ; There are two here which cannot be eliminated.
   6 ; There's one that icmp which can be eliminated and which indvars currently
   7 ; cannot eliminate, because it requires analyzing more than just the
   8 ; range of the induction variable.
   9
  10 @0 = private constant [4 x i8] c"%d\0A\00", align 1 ; <[4 x i8]*> [#uses=1]
  11
  12 define i32 @main() nounwind {
  13 ; CHECK-LABEL: @main(
  14 ; CHECK: = icmp
  15 ; CHECK: = icmp
  16 ; CHECK: = icmp
  17 ; CHECK-NOT: = icmp
  18 bb:
  19   br label %bb1
  20
  21 bb1:                                              ; preds = %bb14, %bb
  22   %t = phi i32 [ 0, %bb ], [ %t19, %bb14 ]        ; <i32> [#uses=5]
  23   %t2 = phi i32 [ 0, %bb ], [ %t18, %bb14 ]       ; <i32> [#uses=1]
  24   %t3 = icmp slt i32 %t, 0                        ; <i1> [#uses=1]
  25   br i1 %t3, label %bb7, label %bb4
  26
  27 bb4:                                              ; preds = %bb1
  28   %t5 = icmp sgt i32 %t, 255                      ; <i1> [#uses=1]
  29   %t6 = select i1 %t5, i32 255, i32 %t            ; <i32> [#uses=1]
  30   br label %bb7
  31
  32 bb7:                                              ; preds = %bb4, %bb1
  33   %t8 = phi i32 [ %t6, %bb4 ], [ 0, %bb1 ]        ; <i32> [#uses=1]
  34   %t9 = sub i32 0, %t                             ; <i32> [#uses=3]
  35   %t10 = icmp slt i32 %t9, 0                      ; <i1> [#uses=1]
  36   br i1 %t10, label %bb14, label %bb11
  37
  38 bb11:                                             ; preds = %bb7
  39   %t12 = icmp sgt i32 %t9, 255                    ; <i1> [#uses=1]
  40   %t13 = select i1 %t12, i32 255, i32 %t9         ; <i32> [#uses=1]
  41   br label %bb14
  42
  43 bb14:                                             ; preds = %bb11, %bb7
  44   %t15 = phi i32 [ %t13, %bb11 ], [ 0, %bb7 ]     ; <i32> [#uses=1]
  45   %t16 = add nsw i32 %t2, 255                     ; <i32> [#uses=1]
  46   %t17 = add nsw i32 %t16, %t8                    ; <i32> [#uses=1]
  47   %t18 = add nsw i32 %t17, %t15                   ; <i32> [#uses=2]
  48   %t19 = add nsw i32 %t, 1                        ; <i32> [#uses=2]
  49   %t20 = icmp slt i32 %t19, 1000000000            ; <i1> [#uses=1]
  50   br i1 %t20, label %bb1, label %bb21
  51
  52 bb21:                                             ; preds = %bb14
  53   %t22 = call i32 (i8*, ...) @printf(i8* noalias getelementptr inbounds ([4 x i8], [4 x i8]* @0, i32 0, i32 0), i32 %t18) nounwind
  54   ret i32 0
  55 }
  56
  57 declare i32 @printf(i8* noalias nocapture, ...) nounwind