test/CodeGen/Hexagon/packetize-allocframe.ll

   1 ; RUN: llc -march=hexagon -O2 < %s | FileCheck %s
   2
   3 ; The purpose of this test is to make sure that the packetizer is ignoring
   4 ; CFI instructions while forming packet for allocframe. Refer to 7d7d99622
   5 ; which replaced PROLOG_LABEL with CFI_INSTRUCTION.
   6
   7 @g0 = external constant i8*
   8
   9 ; We used to emit:
  10 ;      {
  11 ;        allocframe(#0)
  12 ;      }
  13 ;      {
  14 ;         r0 = #4
  15 ; But we can put more instructions in the first packet.
  16
  17 ; CHECK:      {
  18 ; CHECK-NEXT:   call f1
  19 ; CHECK-NEXT:   r0 = #4
  20 ; CHECK-NEXT:   allocframe(#0)
  21 ; CHECK-NEXT: }
  22
  23 define i32 @f0() personality i8* bitcast (i32 (...)* @f3 to i8*) {
  24 b0:
  25   %v0 = tail call i8* @f1(i32 4) #1
  26   %v1 = bitcast i8* %v0 to i32*
  27   store i32 20, i32* %v1, align 4, !tbaa !0
  28   invoke void @f2(i8* %v0, i8* bitcast (i8** @g0 to i8*), i8* null) #2
  29           to label %b4 unwind label %b1
  30
  31 b1:                                               ; preds = %b0
  32   %v2 = landingpad { i8*, i32 }
  33           catch i8* bitcast (i8** @g0 to i8*)
  34   %v3 = extractvalue { i8*, i32 } %v2, 1
  35   %v4 = tail call i32 @llvm.eh.typeid.for(i8* bitcast (i8** @g0 to i8*)) #1
  36   %v5 = icmp eq i32 %v3, %v4
  37   br i1 %v5, label %b2, label %b3
  38
  39 b2:                                               ; preds = %b1
  40   %v6 = extractvalue { i8*, i32 } %v2, 0
  41   %v7 = tail call i8* @f4(i8* %v6) #1
  42   tail call void @f5() #1
  43   ret i32 1
  44
  45 b3:                                               ; preds = %b1
  46   resume { i8*, i32 } %v2
  47
  48 b4:                                               ; preds = %b0
  49   unreachable
  50 }
  51
  52 declare i8* @f1(i32)
  53
  54 declare void @f2(i8*, i8*, i8*)
  55
  56 declare i32 @f3(...)
  57
  58 ; Function Attrs: nounwind readnone
  59 declare i32 @llvm.eh.typeid.for(i8*) #0
  60
  61 declare i8* @f4(i8*)
  62
  63 declare void @f5()
  64
  65 attributes #0 = { nounwind readnone }
  66 attributes #1 = { nounwind }
  67 attributes #2 = { noreturn }
  68
  69 !0 = !{!1, !1, i64 0}
  70 !1 = !{!"int", !2}
  71 !2 = !{!"omnipotent char", !3}
  72 !3 = !{!"Simple C/C++ TBAA"}