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 235
