282 lines · plain
1; RUN: llc -mtriple=x86_64-- -print-after=finalize-isel %s -o /dev/null 2>&1 | FileCheck %s2 3declare void @foo(i32)4 5; CHECK-LABEL: test6 7define void @test(i32 %x) nounwind {8entry:9 switch i32 %x, label %sw.default [10 i32 1, label %sw.bb11 i32 155, label %sw.bb12 i32 156, label %sw.bb13 i32 157, label %sw.bb14 i32 158, label %sw.bb15 i32 159, label %sw.bb16 i32 1134, label %sw.bb17 i32 1140, label %sw.bb18 ], !prof !119 20sw.bb:21 call void @foo(i32 0)22 br label %sw.epilog23 24sw.default:25 call void @foo(i32 1)26 br label %sw.epilog27 28sw.epilog:29 ret void30 31; Check if weights are correctly assigned to edges generated from switch32; statement.33;34; CHECK: bb.0{{[0-9a-zA-Z.]*}}:35; %bb.0 to %bb.4: [0, 1133] (65 = 60 + 5)36; %bb.0 to %bb.5: [1134, UINT32_MAX] (25 = 20 + 5)37; CHECK: successors: %bb.4(0x5c71c71c), %bb.5(0x238e38e4)38;39; CHECK: bb.4{{[0-9a-zA-Z.]*}}:40; %bb.4 to %bb.1: [155, 159] (50)41; %bb.4 to %bb.5: [0, 1133] - [155, 159] (15 = 10 + 5)42; CHECK: successors: %bb.1(0x62762762), %bb.7(0x1d89d89e)43;44; CHECK: bb.5{{[0-9a-zA-Z.]*}}:45; %bb.5 to %bb.1: {1140} (10)46; %bb.5 to %bb.6: [1134, UINT32_MAX] - {1140} (15 = 10 + 5)47; CHECK: successors: %bb.1(0x33333333), %bb.6(0x4ccccccd)48;49; CHECK: bb.6{{[0-9a-zA-Z.]*}}:50; %bb.6 to %bb.1: {1134} (10)51; %bb.6 to %bb.2: [1134, UINT32_MAX] - {1134, 1140} (5)52; CHECK: successors: %bb.1(0x55555555), %bb.2(0x2aaaaaab)53}54 55; CHECK-LABEL: test256 57define void @test2(i32 %x) nounwind {58entry:59 60; In this switch statement, there is an edge from jump table to default61; statement.62 63 switch i32 %x, label %sw.default [64 i32 1, label %sw.bb65 i32 10, label %sw.bb266 i32 11, label %sw.bb367 i32 12, label %sw.bb468 i32 13, label %sw.bb569 i32 14, label %sw.bb570 ], !prof !371 72sw.bb:73 call void @foo(i32 0)74 br label %sw.epilog75 76sw.bb2:77 call void @foo(i32 2)78 br label %sw.epilog79 80sw.bb3:81 call void @foo(i32 3)82 br label %sw.epilog83 84sw.bb4:85 call void @foo(i32 4)86 br label %sw.epilog87 88sw.bb5:89 call void @foo(i32 5)90 br label %sw.epilog91 92sw.default:93 call void @foo(i32 1)94 br label %sw.epilog95 96sw.epilog:97 ret void98 99; Check if weights are correctly assigned to edges generated from switch100; statement.101;102; CHECK: bb.0{{[0-9a-zA-Z.]*}}:103; %bb.0 to %bb.6: {0} + [15, UINT32_MAX] (5)104; %bb.0 to %bb.8: [1, 14] (jump table) (65 = 60 + 5)105; CHECK: successors: %bb.6(0x09249249), %bb.8(0x76db6db7)106;107; CHECK: bb.8{{[0-9a-zA-Z.]*}}:108; %bb.8 to %bb.1: {1} (10)109; %bb.8 to %bb.6: [2, 9] (5)110; %bb.8 to %bb.2: {10} (10)111; %bb.8 to %bb.3: {11} (10)112; %bb.8 to %bb.4: {12} (10)113; %bb.8 to %bb.5: {13, 14} (20)114; CHECK: successors: %bb.1(0x13b13b14), %bb.6(0x09d89d8a), %bb.2(0x13b13b14), %bb.3(0x13b13b14), %bb.4(0x13b13b14), %bb.5(0x27627628)115}116 117; CHECK-LABEL: test3118 119define void @test3(i32 %x) nounwind {120entry:121 122; In this switch statement, there is no edge from jump table to default123; statement.124 125 switch i32 %x, label %sw.default [126 i32 10, label %sw.bb127 i32 11, label %sw.bb2128 i32 12, label %sw.bb3129 i32 13, label %sw.bb4130 i32 14, label %sw.bb5131 ], !prof !2132 133sw.bb:134 call void @foo(i32 0)135 br label %sw.epilog136 137sw.bb2:138 call void @foo(i32 2)139 br label %sw.epilog140 141sw.bb3:142 call void @foo(i32 3)143 br label %sw.epilog144 145sw.bb4:146 call void @foo(i32 4)147 br label %sw.epilog148 149sw.bb5:150 call void @foo(i32 5)151 br label %sw.epilog152 153sw.default:154 call void @foo(i32 1)155 br label %sw.epilog156 157sw.epilog:158 ret void159 160; Check if weights are correctly assigned to edges generated from switch161; statement.162;163; CHECK: bb.0{{[0-9a-zA-Z.]*}}:164; %bb.0 to %bb.6: [0, 9] + [15, UINT32_MAX] {10}165; %bb.0 to %bb.8: [10, 14] (jump table) (50)166; CHECK: successors: %bb.6(0x15555555), %bb.8(0x6aaaaaab)167;168; CHECK: bb.8{{[0-9a-zA-Z.]*}}:169; %bb.8 to %bb.1: {10} (10)170; %bb.8 to %bb.2: {11} (10)171; %bb.8 to %bb.3: {12} (10)172; %bb.8 to %bb.4: {13} (10)173; %bb.8 to %bb.5: {14} (10)174; CHECK: successors: %bb.1(0x1999999a), %bb.2(0x1999999a), %bb.3(0x1999999a), %bb.4(0x1999999a), %bb.5(0x1999999a)175}176 177; CHECK-LABEL: test4178 179define void @test4(i32 %x) nounwind {180entry:181 182; In this switch statement, there is no edge from bit test to default basic183; block.184 185 switch i32 %x, label %sw.default [186 i32 1, label %sw.bb187 i32 111, label %sw.bb2188 i32 112, label %sw.bb3189 i32 113, label %sw.bb3190 i32 114, label %sw.bb2191 i32 115, label %sw.bb2192 ], !prof !3193 194sw.bb:195 call void @foo(i32 0)196 br label %sw.epilog197 198sw.bb2:199 call void @foo(i32 2)200 br label %sw.epilog201 202sw.bb3:203 call void @foo(i32 3)204 br label %sw.epilog205 206sw.default:207 call void @foo(i32 1)208 br label %sw.epilog209 210sw.epilog:211 ret void212 213; Check if weights are correctly assigned to edges generated from switch214; statement.215;216; CHECK: bb.0{{[0-9a-zA-Z.]*}}:217; %bb.0 to %bb.6: [0, 110] + [116, UINT32_MAX] (20)218; %bb.0 to %bb.7: [111, 115] (bit test) (50)219; CHECK: successors: %bb.6(0x24924925), %bb.7(0x5b6db6db)220;221; CHECK: bb.7{{[0-9a-zA-Z.]*}}:222; %bb.7 to %bb.2: {111, 114, 115} (30)223; %bb.7 to %bb.3: {112, 113} (20)224; CHECK: successors: %bb.2(0x4ccccccd), %bb.3(0x33333333)225}226 227; CHECK-LABEL: test5228 229define void @test5(i32 %x) nounwind {230entry:231 232; In this switch statement, there is an edge from jump table to default basic233; block.234 235 switch i32 %x, label %sw.default [236 i32 4, label %sw.bb237 i32 20, label %sw.bb2238 i32 28, label %sw.bb3239 i32 36, label %sw.bb4240 i32 124, label %sw.bb5241 ], !prof !2242 243sw.bb:244 call void @foo(i32 0)245 br label %sw.epilog246 247sw.bb2:248 call void @foo(i32 1)249 br label %sw.epilog250 251sw.bb3:252 call void @foo(i32 2)253 br label %sw.epilog254 255sw.bb4:256 call void @foo(i32 3)257 br label %sw.epilog258 259sw.bb5:260 call void @foo(i32 4)261 br label %sw.epilog262 263sw.default:264 call void @foo(i32 5)265 br label %sw.epilog266 267sw.epilog:268 ret void269 270; Check if weights are correctly assigned to edges generated from switch271; statement.272;273; CHECK: bb.0{{[0-9a-zA-Z.]*}}:274; %bb.0 to %bb.6: [10, UINT32_MAX] (15)275; %bb.0 to %bb.8: [4, 20, 28, 36] (jump table) (45)276; CHECK: successors: %bb.8(0x20000001), %bb.9(0x5fffffff)277}278 279!1 = !{!"branch_weights", i32 10, i32 10, i32 10, i32 10, i32 10, i32 10, i32 10, i32 10, i32 10}280!2 = !{!"branch_weights", i32 10, i32 10, i32 10, i32 10, i32 10, i32 10}281!3 = !{!"branch_weights", i32 10, i32 10, i32 10, i32 10, i32 10, i32 10, i32 10}282