1; RUN: opt -S -mtriple=arm-unknown-linux-gnu -passes=lowertypetests -lowertypetests-summary-action=export -lowertypetests-read-summary=%S/Inputs/use-typeid1-typeid2.yaml -lowertypetests-write-summary=%t %s | FileCheck %s
2
3target datalayout = "e-p:64:64"
4
5define void @f1() "target-features"="+thumb-mode" !type !0 {
6  ret void
7}
8
9define void @g1() "target-features"="-thumb-mode" !type !0 {
10  ret void
11}
12
13define void @f2() "target-features"="+thumb-mode" !type !1 {
14  ret void
15}
16
17define void @g2() "target-features"="-thumb-mode" !type !1 {
18  ret void
19}
20
21define void @h2() "target-features"="-thumb-mode" !type !1 {
22  ret void
23}
24
25declare void @takeaddr(void()*, void()*, void()*, void()*, void()*)
26define void @addrtaken() {
27  call void @takeaddr(void()* @f1, void()* @g1, void()* @f2, void()* @g2, void()* @h2)
28  ret void
29}
30
31!0 = !{i32 0, !"typeid1"}
32!1 = !{i32 0, !"typeid2"}
33
34; CHECK: define private void {{.*}} #[[AT:.*]] align 4 {
35; CHECK-NEXT: entry:
36; CHECK-NEXT:  call void asm sideeffect "b.w $0\0Ab.w $1\0A", "s,s"(void ()* @f1.cfi, void ()* @g1.cfi)
37; CHECK-NEXT:  unreachable
38; CHECK-NEXT: }
39
40; CHECK: define private void {{.*}} #[[AA:.*]] align 4 {
41; CHECK-NEXT: entry:
42; CHECK-NEXT:  call void asm sideeffect "b $0\0Ab $1\0Ab $2\0A", "s,s,s"(void ()* @f2.cfi, void ()* @g2.cfi, void ()* @h2.cfi)
43; CHECK-NEXT:  unreachable
44; CHECK-NEXT: }
45
46; CHECK-DAG: attributes #[[AA]] = { naked nounwind "target-features"="-thumb-mode" }
47; CHECK-DAG: attributes #[[AT]] = { naked nounwind "target-cpu"="cortex-a8" "target-features"="+thumb-mode" }
48