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

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