test/CodeGen/X86/switch-jump-table.ll

   1 ; RUN: llc -mtriple=i686-pc-gnu-linux < %s | FileCheck %s
   2 ; RUN: llc -mtriple=i686-pc-gnu-linux -print-after=finalize-isel %s -o /dev/null 2>&1 | FileCheck %s -check-prefix=CHECK-JT-PROB
   3
   4
   5 ; An unreachable default destination is ignored and no compare and branch
   6 ; is generated for the default values.
   7
   8 define void @foo(i32 %x, i32* %to) {
   9 ; CHECK-LABEL: foo:
  10 ; CHECK: movl 4(%esp), [[REG:%e[a-z]{2}]]
  11 ; CHECK-NEXT: jmpl *.LJTI0_0(,[[REG]],4)
  12 ; CHECK: movl $4
  13 ; CHECK: retl
  14
  15 entry:
  16   switch i32 %x, label %default [
  17     i32 0, label %bb0
  18     i32 1, label %bb1
  19     i32 2, label %bb2
  20     i32 3, label %bb3
  21     i32 4, label %bb4
  22     i32 5, label %bb4
  23   ]
  24 bb0:
  25   store i32 0, i32* %to
  26   br label %exit
  27 bb1:
  28   store i32 1, i32* %to
  29   br label %exit
  30 bb2:
  31   store i32 2, i32* %to
  32   br label %exit
  33 bb3:
  34   store i32 3, i32* %to
  35   br label %exit
  36 bb4:
  37   store i32 4, i32* %to
  38   br label %exit
  39 exit:
  40   ret void
  41 default:
  42   unreachable
  43
  44 ; The jump table has four entries.
  45 ; CHECK-LABEL: .LJTI0_0:
  46 ; CHECK-NEXT: .long  .LBB0_1
  47 ; CHECK-NEXT: .long  .LBB0_2
  48 ; CHECK-NEXT: .long  .LBB0_3
  49 ; CHECK-NEXT: .long  .LBB0_4
  50 ; CHECK-NEXT: .long  .LBB0_5
  51 ; CHECK-NEXT: .long  .LBB0_5
  52 }
  53
  54 ; Check if branch probabilities are correctly assigned to the jump table.
  55
  56 define void @bar(i32 %x, i32* %to) {
  57 ; CHECK-JT-PROB-LABEL: bar:
  58 ; CHECK-JT-PROB: successors: %bb.6(0x12492492), %bb.8(0x6db6db6e)
  59 ; CHECK-JT-PROB: successors: %bb.1(0x15555555), %bb.2(0x15555555), %bb.3(0x15555555), %bb.4(0x15555555), %bb.5(0x2aaaaaab)
  60
  61 entry:
  62   switch i32 %x, label %default [
  63     i32 0, label %bb0
  64     i32 1, label %bb1
  65     i32 2, label %bb2
  66     i32 3, label %bb3
  67     i32 4, label %bb4
  68     i32 5, label %bb4
  69   ], !prof !1
  70 bb0:
  71   store i32 0, i32* %to
  72   br label %exit
  73 bb1:
  74   store i32 1, i32* %to
  75   br label %exit
  76 bb2:
  77   store i32 2, i32* %to
  78   br label %exit
  79 bb3:
  80   store i32 3, i32* %to
  81   br label %exit
  82 bb4:
  83   store i32 4, i32* %to
  84   br label %exit
  85 default:
  86   store i32 5, i32* %to
  87   br label %exit
  88 exit:
  89   ret void
  90 }
  91
  92 !1 = !{!"branch_weights", i32 16, i32 16, i32 16, i32 16, i32 16, i32 16, i32 16}