test/Analysis/MustExecute/must_be_executed_context.ll

   1 ; RUN: opt -print-mustexecute               -analyze 2>&1 < %s | FileCheck %s --check-prefix=ME
   2 ; RUN: opt -print-must-be-executed-contexts -analyze 2>&1 < %s | FileCheck %s --check-prefix=MBEC
   3 ;
   4 ;    void simple_conditional(int c) {
   5 ;      A();
   6 ;      B();
   7 ;      if (c) {
   8 ;        C();
   9 ;        D();
  10 ;      }
  11 ;      E();
  12 ;      F();
  13 ;      G();
  14 ;    }
  15 ;
  16 ; Best result:
  17 ; Start Instruction   | Visit Set
  18 ; A                   | A, B,       E, F
  19 ;    B                | A, B,       E, F
  20 ;       C             | A, B, C, D, E, F
  21 ;          D          | A, B, C, D, E, F
  22 ;             E       | A, B,       E, F
  23 ;                F    | A, B,       E, F
  24 ;                   G | A, B,       E, F, G
  25 ;
  26 ; FIXME: We miss the B -> E and backward exploration.
  27 ;
  28 ; There are no loops so print-mustexec will not do anything.
  29 ; ME-NOT: mustexec
  30 ;
  31 define void @simple_conditional(i32 %arg) {
  32 bb:
  33   call void @A()
  34 ; MBEC:      -- Explore context of:   call void @A()
  35 ; MBEC-NEXT:   [F: simple_conditional]   call void @A()
  36 ; MBEC-NEXT:   [F: simple_conditional]   call void @B()
  37 ; MBEC-NEXT:   [F: simple_conditional]   %tmp = icmp eq i32 %arg, 0
  38 ; MBEC-NEXT:   [F: simple_conditional]   br i1 %tmp, label %bb2, label %bb1
  39 ; MBEC-NOT:    call
  40
  41   call void @B()
  42 ; MBEC:      -- Explore context of:   call void @B()
  43 ; MBEC-NEXT:   [F: simple_conditional]   call void @B()
  44 ; MBEC-NEXT:   [F: simple_conditional]   %tmp = icmp eq i32 %arg, 0
  45 ; MBEC-NEXT:   [F: simple_conditional]   br i1 %tmp, label %bb2, label %bb1
  46 ; MBEC-NOT:    call
  47 ; MBEC:      -- Explore context of: %tmp
  48
  49   %tmp = icmp eq i32 %arg, 0
  50   br i1 %tmp, label %bb2, label %bb1
  51
  52 bb1:                                              ; preds = %bb
  53   call void @C()
  54 ; MBEC:      -- Explore context of:   call void @C()
  55 ; MBEC-NEXT:   [F: simple_conditional]   call void @C()
  56 ; MBEC-NEXT:   [F: simple_conditional]   call void @D()
  57 ; MBEC-NEXT:   [F: simple_conditional]   br label %bb2
  58 ; MBEC-NEXT:   [F: simple_conditional]   call void @E()
  59 ; MBEC-NEXT:   [F: simple_conditional]   call void @F()
  60 ; MBEC-NOT:    call
  61
  62   call void @D()
  63 ; MBEC:      -- Explore context of:   call void @D()
  64 ; MBEC-NEXT:   [F: simple_conditional]   call void @D()
  65 ; MBEC-NEXT:   [F: simple_conditional]   br label %bb2
  66 ; MBEC-NEXT:   [F: simple_conditional]   call void @E()
  67 ; MBEC-NEXT:   [F: simple_conditional]   call void @F()
  68 ; MBEC-NOT:    call
  69 ; MBEC:      -- Explore context of: br
  70
  71   br label %bb2
  72
  73 bb2:                                              ; preds = %bb, %bb1
  74   call void @E()
  75 ; MBEC:      -- Explore context of:   call void @E()
  76 ; MBEC-NEXT:   [F: simple_conditional]   call void @E()
  77 ; MBEC-NEXT:   [F: simple_conditional]   call void @F()
  78 ; MBEC-NOT:    call
  79
  80   call void @F() ; might not return!
  81 ; MBEC:      -- Explore context of:   call void @F()
  82 ; MBEC-NEXT:   [F: simple_conditional]   call void @F()
  83 ; MBEC-NOT:    call
  84
  85   call void @G()
  86 ; MBEC:      -- Explore context of:   call void @G()
  87 ; MBEC-NEXT:   [F: simple_conditional]   call void @G()
  88 ; MBEC-NEXT:   [F: simple_conditional]   ret void
  89 ; MBEC-NOT:    call
  90 ; MBEC:      -- Explore context of: ret
  91
  92   ret void
  93 }
  94
  95
  96 ;    void complex_loops_and_control(int c, int d) {
  97 ;      A();
  98 ;      while (1) {
  99 ;        B();
 100 ;        if (++c == d)
 101 ;          C();
 102 ;        if (++c == d)
 103 ;          continue;
 104 ;        D();
 105 ;        if (++c == d)
 106 ;          break;
 107 ;        do {
 108 ;          if (++c == d)
 109 ;            continue;
 110 ;          E();
 111 ;        } while (++c == d);
 112 ;        F();
 113 ;      }
 114 ;      G();
 115 ;    }
 116 ;
 117 ; Best result:
 118 ; Start Instruction    | Visit Set
 119 ; A                    | A, B
 120 ;    B                 | A, B
 121 ;       C              | A, B, C
 122 ;          D           | A, B,    D
 123 ;             E        | A, B,    D, E, F
 124 ;                F     | A, B,    D,    F
 125 ;                   G  | A, B,    D,       G
 126 ;
 127 ;
 128 ; ME: define void @complex_loops_and_control
 129 define void @complex_loops_and_control(i32 %arg, i32 %arg1) {
 130 bb:
 131   call void @A()
 132 ; ME:     call void @A()
 133 ; ME-NOT: mustexec
 134 ; ME-NEXT: br
 135 ; MBEC:      -- Explore context of:   call void @A()
 136 ; MBEC-NEXT:   [F: complex_loops_and_control]   call void @A()
 137 ; MBEC-NEXT:   [F: complex_loops_and_control]   br label %bb2
 138 ; MBEC-NEXT:   [F: complex_loops_and_control]   %.0 = phi i32 [ %arg, %bb ], [ %.0.be, %.backedge ]
 139 ; MBEC-NEXT:   [F: complex_loops_and_control]   call void @B()
 140 ; MBEC-NEXT:   [F: complex_loops_and_control]   %tmp = add nsw i32 %.0, 1
 141 ; MBEC-NEXT:   [F: complex_loops_and_control]   %tmp3 = icmp eq i32 %tmp, %arg1
 142 ; MBEC-NEXT:   [F: complex_loops_and_control]   br i1 %tmp3, label %bb4, label %bb5
 143 ; MBEC-NOT:    call
 144 ; MBEC:      -- Explore context of: br
 145   br label %bb2
 146
 147 bb2:                                              ; preds = %.backedge, %bb
 148   %.0 = phi i32 [ %arg, %bb ], [ %.0.be, %.backedge ]
 149   call void @B()
 150 ; ME: call void @B() ; (mustexec in: bb2)
 151 ; MBEC:      -- Explore context of:   call void @B()
 152 ; MBEC-NEXT:   [F: complex_loops_and_control]   call void @B()
 153 ; MBEC-NEXT:   [F: complex_loops_and_control]   %tmp = add nsw i32 %.0, 1
 154 ; MBEC-NEXT:   [F: complex_loops_and_control]   %tmp3 = icmp eq i32 %tmp, %arg1
 155 ; MBEC-NEXT:   [F: complex_loops_and_control]   br i1 %tmp3, label %bb4, label %bb5
 156 ; MBEC-NOT:    call
 157 ; MBEC:      -- Explore context of: %tmp
 158   %tmp = add nsw i32 %.0, 1
 159   %tmp3 = icmp eq i32 %tmp, %arg1
 160   br i1 %tmp3, label %bb4, label %bb5
 161
 162 bb4:                                              ; preds = %bb2
 163   call void @C()
 164 ; ME: call void @C()
 165 ; ME-NOT: mustexec
 166 ; ME-NEXT: br
 167 ; FIXME: Missing A and B (backward)
 168 ; MBEC:      -- Explore context of:   call void @C()
 169 ; MBEC-NEXT:   [F: complex_loops_and_control]   call void @C()
 170 ; MBEC-NEXT:   [F: complex_loops_and_control]   br label %bb5
 171 ; MBEC-NEXT:   [F: complex_loops_and_control]   %tmp6 = add nsw i32 %.0, 2
 172 ; MBEC-NEXT:   [F: complex_loops_and_control]   %tmp7 = icmp eq i32 %tmp6, %arg1
 173 ; MBEC-NEXT:   [F: complex_loops_and_control]   br i1 %tmp7, label %bb8, label %bb9
 174 ; MBEC-NOT:    call
 175 ; MBEC:      -- Explore context of: br
 176   br label %bb5
 177
 178 bb5:                                              ; preds = %bb4, %bb2
 179   %tmp6 = add nsw i32 %.0, 2
 180   %tmp7 = icmp eq i32 %tmp6, %arg1
 181   br i1 %tmp7, label %bb8, label %bb9
 182
 183 bb8:                                              ; preds = %bb5
 184   br label %.backedge
 185
 186 .backedge:                                        ; preds = %bb8, %bb22
 187   %.0.be = phi i32 [ %tmp6, %bb8 ], [ %.lcssa, %bb22 ]
 188   br label %bb2
 189
 190 bb9:                                              ; preds = %bb5
 191   call void @D()
 192 ; ME: call void @D()
 193 ; ME-NOT: mustexec
 194 ; ME-NEXT: %tmp10
 195 ; FIXME: Missing A and B (backward)
 196 ; MBEC:      -- Explore context of:   call void @D()
 197 ; MBEC-NEXT:   [F: complex_loops_and_control]   call void @D()
 198 ; MBEC-NEXT:   [F: complex_loops_and_control]   %tmp10 = add nsw i32 %.0, 3
 199 ; MBEC-NEXT:   [F: complex_loops_and_control]   %tmp11 = icmp eq i32 %tmp10, %arg1
 200 ; MBEC-NEXT:   [F: complex_loops_and_control]   br i1 %tmp11, label %bb12, label %bb13
 201 ; MBEC-NOT:    call
 202 ; MBEC:      -- Explore context of: %tmp10
 203   %tmp10 = add nsw i32 %.0, 3
 204   %tmp11 = icmp eq i32 %tmp10, %arg1
 205   br i1 %tmp11, label %bb12, label %bb13
 206
 207 bb12:                                             ; preds = %bb9
 208   br label %bb23
 209
 210 bb13:                                             ; preds = %bb9
 211   br label %bb14
 212
 213 bb14:                                             ; preds = %bb19, %bb13
 214   %.1 = phi i32 [ %tmp10, %bb13 ], [ %tmp20, %bb19 ]
 215   %tmp15 = add nsw i32 %.1, 1
 216   %tmp16 = icmp eq i32 %tmp15, %arg1
 217   br i1 %tmp16, label %bb17, label %bb18
 218
 219 bb17:                                             ; preds = %bb14
 220   br label %bb19
 221
 222 bb18:                                             ; preds = %bb14
 223   call void @E()
 224 ; ME: call void @E()
 225 ; ME-NOT: mustexec
 226 ; ME-NEXT: br
 227 ; FIXME: Missing A, B, and D (backward), as well as F
 228 ; MBEC:      -- Explore context of:   call void @E()
 229 ; MBEC-NEXT:   [F: complex_loops_and_control]   call void @E()
 230 ; MBEC-NEXT:   [F: complex_loops_and_control]   br label %bb19
 231 ; MBEC-NEXT:   [F: complex_loops_and_control]   %tmp20 = add nsw i32 %.1, 2
 232 ; MBEC-NEXT:   [F: complex_loops_and_control]   %tmp21 = icmp eq i32 %tmp20, %arg1
 233 ; MBEC-NEXT:   [F: complex_loops_and_control]   br i1 %tmp21, label %bb14, label %bb22
 234 ; MBEC-NOT:    call
 235 ; MBEC:      -- Explore context of: br
 236   br label %bb19
 237
 238 bb19:                                             ; preds = %bb18, %bb17
 239   %tmp20 = add nsw i32 %.1, 2
 240   %tmp21 = icmp eq i32 %tmp20, %arg1
 241   br i1 %tmp21, label %bb14, label %bb22
 242
 243 bb22:                                             ; preds = %bb19
 244   %.lcssa = phi i32 [ %tmp20, %bb19 ]
 245   call void @F()
 246 ; ME: call void @F()
 247 ; ME-NOT: mustexec
 248 ; ME-NEXT: br
 249 ; FIXME: Missing A, B, and D (backward)
 250 ; MBEC:      -- Explore context of:   call void @F()
 251 ; MBEC-NEXT:   [F: complex_loops_and_control]   call void @F()
 252 ; MBEC-NOT:    call
 253 ; MBEC:      -- Explore context of: br
 254   br label %.backedge
 255
 256 bb23:                                             ; preds = %bb12
 257   call void @G()
 258 ; ME: call void @G()
 259 ; ME-NOT: mustexec
 260 ; ME-NEXT: ret
 261 ; FIXME: Missing A, B, and D (backward)
 262 ; MBEC:      -- Explore context of:   call void @G()
 263 ; MBEC-NEXT:   [F: complex_loops_and_control]   call void @G()
 264 ; MBEC-NEXT:   [F: complex_loops_and_control]   ret void
 265 ; MBEC-NOT:    call
 266 ; MBEC:      -- Explore context of: ret
 267   ret void
 268 }
 269
 270 declare void @A() nounwind willreturn
 271
 272 declare void @B() nounwind willreturn
 273
 274 declare void @C() nounwind willreturn
 275
 276 declare void @D() nounwind willreturn
 277
 278 declare void @E() nounwind willreturn
 279
 280 declare void @F() nounwind
 281
 282 declare void @G() nounwind willreturn