test/Transforms/LowerTypeTests/function-arm-thumb.ll

   1 ; RUN: opt -S -mtriple=arm-unknown-linux-gnu -lowertypetests -lowertypetests-summary-action=export -lowertypetests-read-summary=%S/Inputs/use-typeid1-typeid2.yaml -lowertypetests-write-summary=%t < %s | FileCheck %s
   2
   3 target datalayout = "e-p:64:64"
   4
   5 define void @f1() "target-features"="+thumb-mode" !type !0 {
   6   ret void
   7 }
   8
   9 define void @g1() "target-features"="-thumb-mode" !type !0 {
  10   ret void
  11 }
  12
  13 define void @f2() "target-features"="+thumb-mode" !type !1 {
  14   ret void
  15 }
  16
  17 define void @g2() "target-features"="-thumb-mode" !type !1 {
  18   ret void
  19 }
  20
  21 define void @h2() "target-features"="-thumb-mode" !type !1 {
  22   ret void
  23 }
  24
  25 declare void @takeaddr(void()*, void()*, void()*, void()*, void()*)
  26 define 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" }