llvm/llvm/test/CodeGen/X86/win64-jumptable.ll

; RUN: llc < %s -relocation-model=static | FileCheck %s
; RUN: llc < %s -relocation-model=pic | FileCheck %s --check-prefix=PIC
; RUN: llc < %s -relocation-model=pic -code-model=large | FileCheck %s --check-prefix=PIC

; FIXME: Remove '-relocation-model=static' when it is no longer necessary to
; trigger the separate .rdata section.

target datalayout = "e-m:w-i64:64-f80:128-n8:16:32:64-S128"
target triple = "x86_64-pc-windows-msvc19.0.24215"

define void @f(i32 %x) {
entry:
  switch i32 %x, label %sw.epilog [
    i32 0, label %sw.bb
    i32 1, label %sw.bb1
    i32 2, label %sw.bb2
    i32 3, label %sw.bb3
  ]

sw.bb:                                            ; preds = %entry
  tail call void @g(i32 0) #2
  br label %sw.epilog

sw.bb1:                                           ; preds = %entry
  tail call void @g(i32 1) #2
  br label %sw.epilog

sw.bb2:                                           ; preds = %entry
  tail call void @g(i32 2) #2
  br label %sw.epilog

sw.bb3:                                           ; preds = %entry
  tail call void @g(i32 3) #2
  br label %sw.epilog

sw.epilog:                                        ; preds = %entry, %sw.bb3, %sw.bb2, %sw.bb1, %sw.bb
  tail call void @g(i32 10) #2
  ret void
}

declare void @g(i32)

; CHECK: .text
; CHECK: f:
; CHECK: .seh_proc f
; CHECK: jmpq    *.LJTI0_0
; CHECK: .LBB0_{{.*}}: # %sw.bb
; CHECK: .LBB0_{{.*}}: # %sw.bb2
; CHECK: .LBB0_{{.*}}: # %sw.bb3
; CHECK: .LBB0_{{.*}}: # %sw.bb1
; CHECK: callq g
; CHECK: jmp g # TAILCALL
; CHECK: .section        .rdata,"dr"
; CHECK: .quad .LBB0_
; CHECK: .quad .LBB0_
; CHECK: .quad .LBB0_
; CHECK: .quad .LBB0_

; It's important that we switch back to .text here, not .rdata.
; CHECK: .text
; CHECK: .seh_endproc

; Windows PIC code should use 32-bit entries
; PIC: .long .LBB0_2-.LJTI0_0
; PIC: .long .LBB0_3-.LJTI0_0
; PIC: .long .LBB0_4-.LJTI0_0
; PIC: .long .LBB0_5-.LJTI0_0