test/Transforms/LoopStrengthReduce/2008-09-09-Overflow.ll

   1 ; RUN: opt < %s -loop-reduce -S | grep phi | count 2
   2 ; PR 2779
   3 @g_19 = common global i32 0             ; <i32*> [#uses=3]
   4 @"\01LC" = internal constant [4 x i8] c"%d\0A\00"               ; <[4 x i8]*> [#uses=1]
   5
   6 define i32 @func_8(i8 zeroext %p_9) nounwind {
   7 entry:
   8         ret i32 1
   9 }
  10
  11 define i32 @func_3(i8 signext %p_5) nounwind {
  12 entry:
  13         ret i32 1
  14 }
  15
  16 define void @func_1() nounwind {
  17 entry:
  18         br label %bb
  19
  20 bb:             ; preds = %bb, %entry
  21         %indvar = phi i16 [ 0, %entry ], [ %indvar.next, %bb ]          ; <i16> [#uses=2]
  22         %tmp = sub i16 0, %indvar               ; <i16> [#uses=1]
  23         %tmp27 = trunc i16 %tmp to i8           ; <i8> [#uses=1]
  24         load i32* @g_19, align 4                ; <i32>:0 [#uses=2]
  25         add i32 %0, 1           ; <i32>:1 [#uses=1]
  26         store i32 %1, i32* @g_19, align 4
  27         trunc i32 %0 to i8              ; <i8>:2 [#uses=1]
  28         tail call i32 @func_8( i8 zeroext %2 ) nounwind         ; <i32>:3 [#uses=0]
  29         shl i8 %tmp27, 2                ; <i8>:4 [#uses=1]
  30         add i8 %4, -112         ; <i8>:5 [#uses=1]
  31         tail call i32 @func_3( i8 signext %5 ) nounwind         ; <i32>:6 [#uses=0]
  32         %indvar.next = add i16 %indvar, 1               ; <i16> [#uses=2]
  33         %exitcond = icmp eq i16 %indvar.next, -28               ; <i1> [#uses=1]
  34         br i1 %exitcond, label %return, label %bb
  35
  36 return:         ; preds = %bb
  37         ret void
  38 }
  39
  40 define i32 @main() nounwind {
  41 entry:
  42         tail call void @func_1( ) nounwind
  43         load i32* @g_19, align 4                ; <i32>:0 [#uses=1]
  44         tail call i32 (i8*, ...)* @printf( i8* getelementptr ([4 x i8]* @"\01LC", i32 0, i32 0), i32 %0 ) nounwind              ; <i32>:1 [#uses=0]
  45         ret i32 0
  46 }
  47
  48 declare i32 @printf(i8*, ...) nounwind