test/CodeGen/ARM/remat.ll

   1 ; RUN: llc < %s -mtriple=arm-apple-darwin
   2 ; RUN: llc < %s -mtriple=arm-apple-darwin -stats -info-output-file - | grep "Number of re-materialization" | grep 2
   3
   4         %struct.CONTENTBOX = type { i32, i32, i32, i32, i32 }
   5         %struct.LOCBOX = type { i32, i32, i32, i32 }
   6         %struct.SIDEBOX = type { i32, i32 }
   7         %struct.UNCOMBOX = type { i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32 }
   8         %struct.cellbox = type { i8*, i32, i32, i32, [9 x i32], i32, i32, i32, i32, i32, i32, i32, double, double, double, double, double, i32, i32, %struct.CONTENTBOX*, %struct.UNCOMBOX*, [8 x %struct.tilebox*], %struct.SIDEBOX* }
   9         %struct.termbox = type { %struct.termbox*, i32, i32, i32, i32, i32 }
  10         %struct.tilebox = type { %struct.tilebox*, double, double, double, double, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, i32, %struct.termbox*, %struct.LOCBOX* }
  11 @numcells = external global i32         ; <i32*> [#uses=1]
  12 @cellarray = external global %struct.cellbox**          ; <%struct.cellbox***> [#uses=1]
  13 @numBinsY = external global i32         ; <i32*> [#uses=1]
  14
  15 define fastcc void @fixpenal() {
  16 entry:
  17         %tmp491 = load i32* @numcells, align 4          ; <i32> [#uses=1]
  18         %tmp9 = load %struct.cellbox*** @cellarray, align 4             ; <%struct.cellbox**> [#uses=1]
  19         %tmp77.i = load i32* @numBinsY, align 4         ; <i32> [#uses=2]
  20         br label %bb490
  21
  22 bb8:            ; preds = %bb490, %cond_false428
  23   %foo3 = phi i1 [ 0, %bb490 ], [ 1, %cond_false428 ]
  24         br i1 %foo3, label %cond_false58.i, label %cond_false.i
  25
  26 cond_false.i:           ; preds = %bb8
  27         ret void
  28
  29 cond_false58.i:         ; preds = %bb8
  30         %highBinX.0.i = select i1 false, i32 1, i32 0           ; <i32> [#uses=2]
  31         br i1 %foo3, label %cond_next85.i, label %cond_false76.i
  32
  33 cond_false76.i:         ; preds = %cond_false58.i
  34         ret void
  35
  36 cond_next85.i:          ; preds = %cond_false58.i
  37         br i1 %foo3, label %cond_next105.i, label %cond_false98.i
  38
  39 cond_false98.i:         ; preds = %cond_next85.i
  40         ret void
  41
  42 cond_next105.i:         ; preds = %cond_next85.i
  43         %tmp108.i = icmp eq i32 1, %highBinX.0.i                ; <i1> [#uses=1]
  44         %tmp115.i = icmp eq i32 1, %tmp77.i             ; <i1> [#uses=1]
  45         %bothcond.i = and i1 %tmp115.i, %tmp108.i               ; <i1> [#uses=1]
  46         %storemerge.i = select i1 %bothcond.i, i32 1, i32 0             ; <i32> [#uses=2]
  47         br i1 %bothcond.i, label %whoOverlaps.exit, label %bb503.preheader.i
  48
  49 bb503.preheader.i:              ; preds = %bb513.i, %cond_next105.i
  50         %i.022.0.i = phi i32 [ %tmp512.i, %bb513.i ], [ 0, %cond_next105.i ]            ; <i32> [#uses=2]
  51         %tmp165.i = getelementptr i32*** null, i32 %i.022.0.i           ; <i32***> [#uses=0]
  52         br label %bb503.i
  53
  54 bb137.i:                ; preds = %bb503.i
  55         br i1 %tmp506.i, label %bb162.i, label %bb148.i
  56
  57 bb148.i:                ; preds = %bb137.i
  58         ret void
  59
  60 bb162.i:                ; preds = %bb137.i
  61         %tmp49435.i = load i32* null            ; <i32> [#uses=1]
  62         br label %bb170.i
  63
  64 bb170.i:                ; preds = %bb491.i, %bb162.i
  65         %indvar.i = phi i32 [ %k.032.0.i, %bb491.i ], [ 0, %bb162.i ]           ; <i32> [#uses=2]
  66         %k.032.0.i = add i32 %indvar.i, 1               ; <i32> [#uses=2]
  67         %tmp173.i = getelementptr i32* null, i32 %k.032.0.i             ; <i32*> [#uses=1]
  68         %tmp174.i = load i32* %tmp173.i         ; <i32> [#uses=4]
  69         %tmp177.i = icmp eq i32 %tmp174.i, %cell.1              ; <i1> [#uses=1]
  70         %tmp184.i = icmp sgt i32 %tmp174.i, %tmp491             ; <i1> [#uses=1]
  71         %bothcond = or i1 %tmp177.i, %tmp184.i          ; <i1> [#uses=1]
  72         br i1 %bothcond, label %bb491.i, label %cond_next188.i
  73
  74 cond_next188.i:         ; preds = %bb170.i
  75         %tmp191.i = getelementptr %struct.cellbox** %tmp9, i32 %tmp174.i                ; <%struct.cellbox**> [#uses=1]
  76         %tmp192.i = load %struct.cellbox** %tmp191.i            ; <%struct.cellbox*> [#uses=1]
  77         %tmp195.i = icmp eq i32 %tmp174.i, 0            ; <i1> [#uses=1]
  78         br i1 %tmp195.i, label %bb491.i, label %cond_true198.i
  79
  80 cond_true198.i:         ; preds = %cond_next188.i
  81         %tmp210.i = getelementptr %struct.cellbox* %tmp192.i, i32 0, i32 3              ; <i32*> [#uses=0]
  82         ret void
  83
  84 bb491.i:                ; preds = %cond_next188.i, %bb170.i
  85         %tmp490.i = add i32 %indvar.i, 2                ; <i32> [#uses=1]
  86         %tmp496.i = icmp slt i32 %tmp49435.i, %tmp490.i         ; <i1> [#uses=1]
  87         br i1 %tmp496.i, label %bb500.i, label %bb170.i
  88
  89 bb500.i:                ; preds = %bb491.i
  90         %indvar.next82.i = add i32 %j.0.i, 1            ; <i32> [#uses=1]
  91         br label %bb503.i
  92
  93 bb503.i:                ; preds = %bb500.i, %bb503.preheader.i
  94         %j.0.i = phi i32 [ 0, %bb503.preheader.i ], [ %indvar.next82.i, %bb500.i ]              ; <i32> [#uses=2]
  95         %tmp506.i = icmp sgt i32 %j.0.i, %tmp77.i               ; <i1> [#uses=1]
  96         br i1 %tmp506.i, label %bb513.i, label %bb137.i
  97
  98 bb513.i:                ; preds = %bb503.i
  99         %tmp512.i = add i32 %i.022.0.i, 1               ; <i32> [#uses=2]
 100         %tmp516.i = icmp sgt i32 %tmp512.i, %highBinX.0.i               ; <i1> [#uses=1]
 101         br i1 %tmp516.i, label %whoOverlaps.exit, label %bb503.preheader.i
 102
 103 whoOverlaps.exit:               ; preds = %bb513.i, %cond_next105.i
 104   %foo = phi i1 [ 1, %bb513.i], [0, %cond_next105.i]
 105         br i1 %foo, label %cond_false428, label %bb490
 106
 107 cond_false428:          ; preds = %whoOverlaps.exit
 108         br i1 %foo, label %bb497, label %bb8
 109
 110 bb490:          ; preds = %whoOverlaps.exit, %entry
 111         %binY.tmp.2 = phi i32 [ 0, %entry ], [ %storemerge.i, %whoOverlaps.exit ]               ; <i32> [#uses=1]
 112         %cell.1 = phi i32 [ 1, %entry ], [ 0, %whoOverlaps.exit ]               ; <i32> [#uses=1]
 113         %foo2 = phi i1 [ 1, %entry], [0, %whoOverlaps.exit]
 114         br i1 %foo2, label %bb497, label %bb8
 115
 116 bb497:          ; preds = %bb490, %cond_false428
 117         %binY.tmp.3 = phi i32 [ %binY.tmp.2, %bb490 ], [ %storemerge.i, %cond_false428 ]                ; <i32> [#uses=0]
 118         ret void
 119 }