1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
|
; Test that functions with "section" attribute are accepted, and jumptables are
; emitted in ".text".
; RUN: opt -S -lowertypetests < %s | FileCheck %s
target triple = "x86_64-unknown-linux-gnu"
; CHECK: @[[A:.*]] = private constant {{.*}} section ".text"
; CHECK: @f = alias void (), bitcast ({{.*}}* @[[A]] to void ()*)
; CHECK: define private void {{.*}} 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
}
declare i1 @llvm.type.test(i8*, metadata) nounwind readnone
!0 = !{i64 0, !"_ZTSFvE"}
|
