; Test that functions with "section" attribute are accepted, and jumptables are
; emitted in ".text".

; RUN: opt -S -passes=lowertypetests %s | FileCheck %s

target triple = "x86_64-unknown-linux-gnu"

; CHECK: @f = alias void (), void ()* @[[JT:.*]]
; CHECK: define hidden void @f.cfi() section "xxx"

define void @f() section "xxx" !type !0 {
entry:
  ret void
}

define i1 @g() {
entry:
  %0 = call i1 @llvm.type.test(i8* bitcast (void ()* @f to i8*), metadata !"_ZTSFvE")
  ret i1 %0
}

; CHECK: define private void @[[JT]]() #{{.*}} align {{.*}} {

declare i1 @llvm.type.test(i8*, metadata) nounwind readnone

!0 = !{i64 0, !"_ZTSFvE"}