test/CodeGen/switch-dce.c

   1 // RUN: %clang_cc1 -triple i386-unknown-unknown %s -emit-llvm -o - | FileCheck %s
   2
   3 // PR9322 and rdar://6970405
   4
   5 // CHECK: @test1
   6 // CHECK-NOT: switch
   7 // CHECK-NOT: @dead
   8 // CHECK: add nsw i32 {{.*}}, 1
   9 // CHECK-NOT: switch
  10 // CHECK-NOT: @dead
  11 // CHECK: ret void
  12 int i;
  13 void dead();
  14
  15 void test1() {
  16   switch (1)
  17     case 1:
  18       ++i;
  19
  20   switch (0)
  21     case 1:
  22       dead();
  23 }
  24
  25
  26 // CHECK: @test2
  27 // CHECK-NOT: switch
  28 // CHECK-NOT: @dead
  29 // CHECK: add nsw i32 {{.*}}, 2
  30 // CHECK-NOT: switch
  31 // CHECK-NOT: @dead
  32 // CHECK: ret void
  33 void test2() {
  34   switch (4) {
  35   case 1:
  36     dead();
  37     break;
  38   case 4:
  39     i += 2;
  40     // Fall off the end of the switch.
  41   }
  42 }
  43
  44
  45 // CHECK: @test3
  46 // CHECK-NOT: switch
  47 // CHECK-NOT: @dead
  48 // CHECK: add nsw i32 {{.*}}, 2
  49 // CHECK-NOT: switch
  50 // CHECK-NOT: @dead
  51 // CHECK: ret void
  52 void test3() {
  53   switch (4) {
  54   case 1:
  55     dead();
  56     break;
  57   case 4: {
  58     i += 2;
  59     break;
  60   }
  61   }
  62 }
  63
  64 // CHECK: @test4
  65 // CHECK-NOT: switch
  66 // CHECK-NOT: @dead
  67 // CHECK: add nsw i32 {{.*}}, 2
  68 // CHECK-NOT: switch
  69 // CHECK-NOT: @dead
  70 // CHECK: ret void
  71 void test4() {
  72   switch (4) {
  73     case 1:
  74       dead();
  75       break;
  76     default: {
  77       i += 2;
  78       break;
  79     }
  80   }
  81 }
  82
  83 // This shouldn't crash codegen, but we don't have to optimize out the switch
  84 // in this case.
  85 void test5() {
  86   switch (1) {
  87     int x;  // eliding var decl?
  88     case 1:
  89       x = 4;
  90       i = x;
  91       break;
  92   }
  93 }
  94
  95 // CHECK: @test6
  96 // CHECK-NOT: switch
  97 // CHECK-NOT: @dead
  98 // CHECK: ret void
  99 void test6() {
 100   // Neither case is reachable.
 101   switch (40) {
 102   case 1:
 103    dead();
 104     break;
 105   case 4: {
 106     dead();
 107     break;
 108   }
 109   }
 110 }
 111
 112 // CHECK: @test7
 113 // CHECK-NOT: switch
 114 // CHECK-NOT: @dead
 115 // CHECK: add nsw i32
 116 // CHECK-NOT: switch
 117 // CHECK-NOT: @dead
 118 // CHECK: ret void
 119 void test7() {
 120   switch (4) {
 121   case 1:
 122       dead();
 123     break;
 124     {
 125       case 4:   // crazy brace scenario
 126         ++i;
 127     }
 128     break;
 129   }
 130 }
 131
 132 // CHECK: @test8
 133 // CHECK-NOT: switch
 134 // CHECK-NOT: @dead
 135 // CHECK: add nsw i32
 136 // CHECK-NOT: switch
 137 // CHECK-NOT: @dead
 138 // CHECK: ret void
 139 void test8() {
 140   switch (4) {
 141   case 1:
 142     dead();
 143     break;
 144   case 4:
 145     ++i;
 146     // Fall off the end of the switch.
 147   }
 148 }
 149
 150 // CHECK: @test9
 151 // CHECK-NOT: switch
 152 // CHECK-NOT: @dead
 153 // CHECK: add nsw i32
 154 // CHECK: add nsw i32
 155 // CHECK-NOT: switch
 156 // CHECK-NOT: @dead
 157 // CHECK: ret void
 158 void test9(int i) {
 159   switch (1) {
 160   case 5:
 161     dead();
 162   case 1:
 163     ++i;
 164     // Fall through is fine.
 165   case 4:
 166     ++i;
 167     break;
 168   }
 169 }
 170
 171 // CHECK: @test10
 172 // CHECK-NOT: switch
 173 // CHECK: ret i32
 174 int test10(void) {
 175         switch(8) {
 176                 case 8:
 177                         break;
 178                 case 4:
 179                         break;
 180                 default:
 181                         dead();
 182         }
 183
 184         return 0;
 185 }
 186
 187 // CHECK: @test11
 188 // CHECK-NOT: switch
 189 // CHECK: ret void
 190 void test11() {
 191   switch (1) {
 192     case 1:
 193       break;
 194     case 42: ;
 195       int x;  // eliding var decl?
 196       x = 4;
 197       break;
 198   }
 199 }
 200
 201 // CHECK: @test12
 202 // CHECK-NOT: switch
 203 // CHECK: ret void
 204 void test12() {
 205   switch (1) {
 206   case 2: {
 207      int a;   // Ok to skip this vardecl.
 208      a = 42;
 209    }
 210   case 1:
 211     break;
 212   case 42: ;
 213     int x;  // eliding var decl?
 214     x = 4;
 215     break;
 216   }
 217 }
 218
 219 // Verify that case 42 only calls test14 once.
 220 // CHECK: @test13
 221 // CHECK: call void @test13(i32 97)
 222 // CHECK-NEXT: br label %[[EPILOG2:[0-9.a-z]+]]
 223 // CHECK: [[EPILOG2]]
 224 // CHECK-NEXT: br label [[EPILOG:%[0-9.a-z]+]]
 225 // CHECK: call void @test13(i32 42)
 226 // CHECK-NEXT: br label [[EPILOG]]
 227 void test13(int x) {
 228   switch (x) {
 229     case 42: test13(97);  // fallthrough
 230     case 11: break;
 231     default: test13(42); break;
 232   }
 233 }
 234