test/Transforms/IndVarSimplify/loop_evaluate9.ll

   1 ; RUN: opt < %s -indvars -S > %t
   2 ; RUN: grep {\[%\]tmp7 = icmp eq i8 -28, -28} %t
   3 ; RUN: grep {\[%\]tmp8 = icmp eq i8 63, 63} %t
   4 ; PR4477
   5
   6 ; Indvars should compute the exit values in loop.
   7
   8 target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f80:32:32"
   9 target triple = "i386-pc-linux-gnu"
  10         %struct.cc70a02__complex_integers__complex_type = type { i8, i8 }
  11 @.str = internal constant [13 x i8] c"fc70a00.adb\00\00", align 1               ; <[13 x i8]*> [#uses=1]
  12
  13 define void @_ada_cc70a02() {
  14 entry:
  15         br label %bb1.i
  16
  17 bb1.i:          ; preds = %bb2.i, %entry
  18         %indvar.i = phi i32 [ 0, %entry ], [ %indvar.next.i, %bb2.i ]           ; <i32> [#uses=2]
  19         %result.0.i = phi i16 [ 0, %entry ], [ %ins36.i, %bb2.i ]               ; <i16> [#uses=2]
  20         %tmp38.i = trunc i16 %result.0.i to i8          ; <i8> [#uses=2]
  21         %tmp = add i8 %tmp38.i, 96              ; <i8> [#uses=1]
  22         %tmp1 = icmp ugt i8 %tmp, -56           ; <i1> [#uses=1]
  23         br i1 %tmp1, label %bb.i.i, label %bb1.i.i
  24
  25 bb.i.i:         ; preds = %bb1.i
  26         tail call void @__gnat_rcheck_12(i8* getelementptr ([13 x i8]* @.str, i32 0, i32 0), i32 24) noreturn
  27         unreachable
  28
  29 bb1.i.i:                ; preds = %bb1.i
  30         %tmp41.i = lshr i16 %result.0.i, 8              ; <i16> [#uses=1]
  31         %tmp42.i = trunc i16 %tmp41.i to i8             ; <i8> [#uses=2]
  32         %tmp2 = add i8 %tmp42.i, 109            ; <i8> [#uses=1]
  33         %tmp3 = icmp ugt i8 %tmp2, -56          ; <i1> [#uses=1]
  34         br i1 %tmp3, label %bb2.i.i, label %cc70a02__complex_integers__Oadd.153.exit.i
  35
  36 bb2.i.i:                ; preds = %bb1.i.i
  37         tail call void @__gnat_rcheck_12(i8* getelementptr ([13 x i8]* @.str, i32 0, i32 0), i32 24) noreturn
  38         unreachable
  39
  40 cc70a02__complex_integers__Oadd.153.exit.i:             ; preds = %bb1.i.i
  41         %tmp4 = add i8 %tmp38.i, -4             ; <i8> [#uses=2]
  42         %tmp5 = add i8 %tmp42.i, 9              ; <i8> [#uses=2]
  43         %tmp25.i = zext i8 %tmp4 to i16         ; <i16> [#uses=1]
  44         %tmp33.i = zext i8 %tmp5 to i16         ; <i16> [#uses=1]
  45         %tmp34.i = shl i16 %tmp33.i, 8          ; <i16> [#uses=1]
  46         %ins36.i = or i16 %tmp34.i, %tmp25.i            ; <i16> [#uses=1]
  47         %tmp6 = icmp eq i32 %indvar.i, 6                ; <i1> [#uses=1]
  48         br i1 %tmp6, label %cc70a02__complex_multiplication.170.exit, label %bb2.i
  49
  50 bb2.i:          ; preds = %cc70a02__complex_integers__Oadd.153.exit.i
  51         %indvar.next.i = add i32 %indvar.i, 1           ; <i32> [#uses=1]
  52         br label %bb1.i
  53
  54 cc70a02__complex_multiplication.170.exit:               ; preds = %cc70a02__complex_integers__Oadd.153.exit.i
  55         %tmp7 = icmp eq i8 %tmp4, -28           ; <i1> [#uses=1]
  56         %tmp8 = icmp eq i8 %tmp5, 63            ; <i1> [#uses=1]
  57         %or.cond = and i1 %tmp8, %tmp7          ; <i1> [#uses=1]
  58         br i1 %or.cond, label %return, label %bb1
  59
  60 bb1:            ; preds = %cc70a02__complex_multiplication.170.exit
  61         tail call void @exit(i32 1)
  62         ret void
  63
  64 return:         ; preds = %cc70a02__complex_multiplication.170.exit
  65         ret void
  66 }
  67
  68 declare fastcc void @cc70a02__complex_integers__complex.164(%struct.cc70a02__complex_integers__complex_type* noalias nocapture sret, i8 signext, i8 signext) nounwind
  69
  70 declare fastcc void @cc70a02__complex_integers__Osubtract.149(%struct.cc70a02__complex_integers__complex_type* noalias sret, %struct.cc70a02__complex_integers__complex_type* byval align 4)
  71
  72 declare fastcc void @cc70a02__complex_integers__Oadd.153(%struct.cc70a02__complex_integers__complex_type* noalias sret, %struct.cc70a02__complex_integers__complex_type* byval align 4, %struct.cc70a02__complex_integers__complex_type* byval align 4)
  73
  74 declare fastcc void @cc70a02__complex_multiplication.170(%struct.cc70a02__complex_integers__complex_type* noalias sret, %struct.cc70a02__complex_integers__complex_type* byval align 4)
  75
  76 declare void @__gnat_rcheck_12(i8*, i32) noreturn
  77
  78 declare void @exit(i32)