llvm/test/CodeGen/X86/licm-nested.ll

   1 ; REQUIRES: asserts
   2 ; RUN: llc -mtriple=x86_64-apple-darwin < %s -o /dev/null -stats -info-output-file - | grep "hoisted out of loops" | grep 3
   3
   4 ; MachineLICM should be able to hoist the symbolic addresses out of
   5 ; the inner loops.
   6
   7 @main.flags = internal global [8193 x i8] zeroinitializer, align 16 ; <ptr> [#uses=3]
   8 @.str = private constant [11 x i8] c"Count: %d\0A\00" ; <ptr> [#uses=1]
   9
  10 define i32 @main(i32 %argc, ptr nocapture %argv) nounwind ssp {
  11 entry:
  12   %cmp = icmp eq i32 %argc, 2                     ; <i1> [#uses=1]
  13   br i1 %cmp, label %while.cond.preheader, label %bb.nph53
  14
  15 while.cond.preheader:                             ; preds = %entry
  16   %arrayidx = getelementptr inbounds ptr, ptr %argv, i64 1 ; <ptr> [#uses=1]
  17   %tmp2 = load ptr, ptr %arrayidx                     ; <ptr> [#uses=1]
  18   %call = tail call i32 @atoi(ptr %tmp2) nounwind ; <i32> [#uses=2]
  19   %tobool51 = icmp eq i32 %call, 0                ; <i1> [#uses=1]
  20   br i1 %tobool51, label %while.end, label %bb.nph53
  21
  22 while.cond.loopexit:                              ; preds = %for.inc35
  23   %indvar.next77 = add i32 %indvar76, 1           ; <i32> [#uses=2]
  24   %exitcond78 = icmp eq i32 %indvar.next77, %NUM.0.ph80 ; <i1> [#uses=1]
  25   br i1 %exitcond78, label %while.end, label %bb.nph
  26
  27 bb.nph53:                                         ; preds = %entry, %while.cond.preheader
  28   %NUM.0.ph80 = phi i32 [ %call, %while.cond.preheader ], [ 17000, %entry ] ; <i32> [#uses=1]
  29   br label %bb.nph
  30
  31 bb.nph:                                           ; preds = %while.cond.loopexit, %bb.nph53
  32   %indvar76 = phi i32 [ 0, %bb.nph53 ], [ %indvar.next77, %while.cond.loopexit ] ; <i32> [#uses=1]
  33   br label %for.body
  34
  35 for.body:                                         ; preds = %for.body, %bb.nph
  36   %indvar = phi i64 [ 0, %bb.nph ], [ %indvar.next, %for.body ] ; <i64> [#uses=2]
  37   %tmp = add i64 %indvar, 2                       ; <i64> [#uses=1]
  38   %arrayidx10 = getelementptr [8193 x i8], ptr @main.flags, i64 0, i64 %tmp ; <ptr> [#uses=1]
  39   store i8 1, ptr %arrayidx10
  40   %indvar.next = add i64 %indvar, 1               ; <i64> [#uses=2]
  41   %exitcond = icmp eq i64 %indvar.next, 8191      ; <i1> [#uses=1]
  42   br i1 %exitcond, label %for.body15, label %for.body
  43
  44 for.body15:                                       ; preds = %for.body, %for.inc35
  45   %indvar57 = phi i64 [ %indvar.next58, %for.inc35 ], [ 0, %for.body ] ; <i64> [#uses=4]
  46   %count.248 = phi i32 [ %count.1, %for.inc35 ], [ 0, %for.body ] ; <i32> [#uses=2]
  47   %tmp68 = add i64 %indvar57, 2                   ; <i64> [#uses=2]
  48   %tmp70 = mul i64 %indvar57, 3                   ; <i64> [#uses=1]
  49   %tmp71 = add i64 %tmp70, 6                      ; <i64> [#uses=1]
  50   %tmp73 = shl i64 %indvar57, 1                   ; <i64> [#uses=1]
  51   %add = add i64 %tmp73, 4                        ; <i64> [#uses=2]
  52   %arrayidx17 = getelementptr [8193 x i8], ptr @main.flags, i64 0, i64 %tmp68 ; <ptr> [#uses=1]
  53   %tmp18 = load i8, ptr %arrayidx17                   ; <i8> [#uses=1]
  54   %tobool19 = icmp eq i8 %tmp18, 0                ; <i1> [#uses=1]
  55   br i1 %tobool19, label %for.inc35, label %if.then
  56
  57 if.then:                                          ; preds = %for.body15
  58   %cmp2443 = icmp slt i64 %add, 8193              ; <i1> [#uses=1]
  59   br i1 %cmp2443, label %for.body25, label %for.end32
  60
  61 for.body25:                                       ; preds = %if.then, %for.body25
  62   %indvar55 = phi i64 [ %indvar.next56, %for.body25 ], [ 0, %if.then ] ; <i64> [#uses=2]
  63   %tmp60 = mul i64 %tmp68, %indvar55              ; <i64> [#uses=2]
  64   %tmp75 = add i64 %add, %tmp60                   ; <i64> [#uses=1]
  65   %arrayidx27 = getelementptr [8193 x i8], ptr @main.flags, i64 0, i64 %tmp75 ; <ptr> [#uses=1]
  66   store i8 0, ptr %arrayidx27
  67   %add31 = add i64 %tmp71, %tmp60                 ; <i64> [#uses=1]
  68   %cmp24 = icmp slt i64 %add31, 8193              ; <i1> [#uses=1]
  69   %indvar.next56 = add i64 %indvar55, 1           ; <i64> [#uses=1]
  70   br i1 %cmp24, label %for.body25, label %for.end32
  71
  72 for.end32:                                        ; preds = %for.body25, %if.then
  73   %inc34 = add nsw i32 %count.248, 1              ; <i32> [#uses=1]
  74   br label %for.inc35
  75
  76 for.inc35:                                        ; preds = %for.body15, %for.end32
  77   %count.1 = phi i32 [ %inc34, %for.end32 ], [ %count.248, %for.body15 ] ; <i32> [#uses=2]
  78   %indvar.next58 = add i64 %indvar57, 1           ; <i64> [#uses=2]
  79   %exitcond67 = icmp eq i64 %indvar.next58, 8191  ; <i1> [#uses=1]
  80   br i1 %exitcond67, label %while.cond.loopexit, label %for.body15
  81
  82 while.end:                                        ; preds = %while.cond.loopexit, %while.cond.preheader
  83   %count.0.lcssa = phi i32 [ 0, %while.cond.preheader ], [ %count.1, %while.cond.loopexit ] ; <i32> [#uses=1]
  84   %call40 = tail call i32 (ptr, ...) @printf(ptr @.str, i32 %count.0.lcssa) nounwind ; <i32> [#uses=0]
  85   ret i32 0
  86 }
  87
  88 declare i32 @atoi(ptr nocapture) nounwind readonly
  89
  90 declare i32 @printf(ptr nocapture, ...) nounwind