| ; RUN: llc -mtriple=i686-pc-gnu-linux < %s | FileCheck %s |
| ; RUN: llc -mtriple=i686-pc-gnu-linux -print-after=finalize-isel %s -o /dev/null 2>&1 | FileCheck %s -check-prefix=CHECK-JT-PROB |
| |
| |
| ; An unreachable default destination is ignored and no compare and branch |
| ; is generated for the default values. |
| |
| define void @foo(i32 %x, ptr %to) { |
| ; CHECK-LABEL: foo: |
| ; CHECK: movl 4(%esp), [[REG:%e[a-z]{2}]] |
| ; CHECK-NEXT: jmpl *.LJTI0_0(,[[REG]],4) |
| ; CHECK: movl $4 |
| ; CHECK: retl |
| |
| entry: |
| switch i32 %x, label %default [ |
| i32 0, label %bb0 |
| i32 1, label %bb1 |
| i32 2, label %bb2 |
| i32 3, label %bb3 |
| i32 4, label %bb4 |
| i32 5, label %bb4 |
| ] |
| bb0: |
| store i32 0, ptr %to |
| br label %exit |
| bb1: |
| store i32 1, ptr %to |
| br label %exit |
| bb2: |
| store i32 2, ptr %to |
| br label %exit |
| bb3: |
| store i32 3, ptr %to |
| br label %exit |
| bb4: |
| store i32 4, ptr %to |
| br label %exit |
| exit: |
| ret void |
| default: |
| unreachable |
| |
| ; The jump table has four entries. |
| ; CHECK-LABEL: .LJTI0_0: |
| ; CHECK-NEXT: .long .LBB0_1 |
| ; CHECK-NEXT: .long .LBB0_2 |
| ; CHECK-NEXT: .long .LBB0_3 |
| ; CHECK-NEXT: .long .LBB0_4 |
| ; CHECK-NEXT: .long .LBB0_5 |
| ; CHECK-NEXT: .long .LBB0_5 |
| } |
| |
| ; Check if branch probabilities are correctly assigned to the jump table. |
| |
| define void @bar(i32 %x, ptr %to) { |
| ; CHECK-JT-PROB-LABEL: bar: |
| ; CHECK-JT-PROB: successors: %bb.6(0x12492492), %bb.8(0x6db6db6e) |
| ; CHECK-JT-PROB: successors: %bb.1(0x15555555), %bb.2(0x15555555), %bb.3(0x15555555), %bb.4(0x15555555), %bb.5(0x2aaaaaab) |
| |
| entry: |
| switch i32 %x, label %default [ |
| i32 0, label %bb0 |
| i32 1, label %bb1 |
| i32 2, label %bb2 |
| i32 3, label %bb3 |
| i32 4, label %bb4 |
| i32 5, label %bb4 |
| ], !prof !1 |
| bb0: |
| store i32 0, ptr %to |
| br label %exit |
| bb1: |
| store i32 1, ptr %to |
| br label %exit |
| bb2: |
| store i32 2, ptr %to |
| br label %exit |
| bb3: |
| store i32 3, ptr %to |
| br label %exit |
| bb4: |
| store i32 4, ptr %to |
| br label %exit |
| default: |
| store i32 5, ptr %to |
| br label %exit |
| exit: |
| ret void |
| } |
| |
| !1 = !{!"branch_weights", i32 16, i32 16, i32 16, i32 16, i32 16, i32 16, i32 16} |