llvm/test/CodeGen/Thumb2/pacbti-m-outliner-4.ll

   1 ; RUN: llc --force-dwarf-frame-section %s -o - | FileCheck %s
   2 ; RUN: llc --filetype=obj %s -o - | llvm-readelf -s --unwind - | FileCheck %s --check-prefix=UNWIND
   3 target datalayout = "e-m:e-p:32:32-Fi8-i64:64-v128:64:128-a:0:32-n32-S64"
   4 target triple = "thumbv7m-arm-none-eabi"
   5
   6 ; C++, -Oz
   7 ; __attribute__((noinline)) int h(int a, int b) {
   8 ;   if (a < 0)
   9 ;     throw 1;
  10 ;   return a + b;
  11 ; }
  12 ;
  13 ; int f(int a, int b, int c, int d) {
  14 ;   if (a < 0)
  15 ;     return -1;
  16 ;   a = h(a, b);
  17 ;   return 2 + a * (a + b) / (c + d);
  18 ; }
  19 ;
  20 ; int g(int a, int b, int c, int d) {
  21 ;   if (a < 0)
  22 ;     return -1;
  23 ;   a = h(a, b);
  24 ;   return 1 + a * (a + b) / (c + d);
  25 ; }
  26
  27 @_ZTIi = external dso_local constant i8*
  28
  29 define hidden i32 @_Z1hii(i32 %a, i32 %b) local_unnamed_addr #0 {
  30 entry:
  31   %cmp = icmp slt i32 %a, 0
  32   br i1 %cmp, label %if.then, label %if.end
  33
  34 if.then:                                          ; preds = %entry
  35   %exception = tail call i8* @__cxa_allocate_exception(i32 4) #1
  36   %0 = bitcast i8* %exception to i32*
  37   store i32 1, i32* %0, align 8
  38   tail call void @__cxa_throw(i8* %exception, i8* bitcast (i8** @_ZTIi to i8*), i8* null) #2
  39   unreachable
  40
  41 if.end:                                           ; preds = %entry
  42   %add = add nsw i32 %b, %a
  43   ret i32 %add
  44 }
  45
  46 ; CHECK-LABEL: _Z1hii:
  47 ; ...
  48 ; CHECK:    pac    r12, lr, sp
  49 ; CHECK-NEXT:    .save    {r7, lr}
  50 ; CHECK-NEXT:    push    {r7, lr}
  51 ; CHECK-NEXT:    .cfi_def_cfa_offset 8
  52 ; CHECK-NEXT:    .cfi_offset lr, -4
  53 ; CHECK-NEXT:    .cfi_offset r7, -8
  54 ; CHECK-NEXT:    .save    {ra_auth_code}
  55 ; CHECK-NEXT:    str    r12, [sp, #-4]!
  56 ; CHECK-NEXT:    .cfi_def_cfa_offset 12
  57 ; CHECK-NEXT:    .cfi_offset ra_auth_code, -12
  58 ; CHECK-NEXT:    .pad    #4
  59 ; CHECK-NEXT:    sub    sp, #4
  60 ; CHECK-NEXT:    .cfi_def_cfa_offset 16
  61 ; ...
  62 ; CHECK-NOT: pac
  63 ; CHECK: aut
  64 ; CHECK:     .cfi_endproc
  65
  66 declare dso_local i8* @__cxa_allocate_exception(i32) local_unnamed_addr
  67
  68 declare dso_local void @__cxa_throw(i8*, i8*, i8*) local_unnamed_addr
  69
  70 define hidden i32 @_Z1fiiii(i32 %a, i32 %b, i32 %c, i32 %d) local_unnamed_addr #0 {
  71 entry:
  72   %cmp = icmp slt i32 %a, 0
  73   br i1 %cmp, label %return, label %if.end
  74
  75 if.end:                                           ; preds = %entry
  76   %call = tail call i32 @_Z1hii(i32 %a, i32 %b)
  77   %add = add nsw i32 %call, %b
  78   %mul = mul nsw i32 %add, %call
  79   %add1 = add nsw i32 %d, %c
  80   %div = sdiv i32 %mul, %add1
  81   %add2 = add nsw i32 %div, 2
  82   br label %return
  83
  84 return:                                           ; preds = %entry, %if.end
  85   %retval.0 = phi i32 [ %add2, %if.end ], [ -1, %entry ]
  86   ret i32 %retval.0
  87 }
  88
  89 ; CHECK-LABEL: _Z1fiiii:
  90 ; ...
  91 ; CHECK:    pac    r12, lr, sp
  92 ; CHECK-NEXT:    .save    {r4, r5, r6, lr}
  93 ; CHECK-NEXT:    push    {r4, r5, r6, lr}
  94 ; CHECK-NEXT:    .cfi_def_cfa_offset 16
  95 ; CHECK-NEXT:    .cfi_offset lr, -4
  96 ; CHECK-NEXT:    .cfi_offset r6, -8
  97 ; CHECK-NEXT:    .cfi_offset r5, -12
  98 ; CHECK-NEXT:    .cfi_offset r4, -16
  99 ; CHECK-NEXT:    .save    {ra_auth_code}
 100 ; CHECK-NEXT:    str    r12, [sp, #-4]!
 101 ; CHECK-NEXT:    .cfi_def_cfa_offset 20
 102 ; CHECK-NEXT:    .cfi_offset ra_auth_code, -20
 103 ; CHECK-NEXT:    .pad    #4
 104 ; CHECK-NEXT:    sub    sp, #4
 105 ; CHECK-NEXT:    .cfi_def_cfa_offset 24
 106 ; ...
 107 ; CHECK:    bl  OUTLINED_FUNCTION_0
 108 ; ...
 109 ; CHECK:    add    sp, #4
 110 ; CHECK-NEXT:    ldr    r12, [sp], #4
 111 ; CHECK-NEXT:    pop.w    {r4, r5, r6, lr}
 112 ; CHECK-NEXT:    aut    r12, lr, sp
 113 ; CHECK-NEXT:    bx    lr
 114
 115
 116
 117 define hidden i32 @_Z1giiii(i32 %a, i32 %b, i32 %c, i32 %d) local_unnamed_addr #0 {
 118 entry:
 119   %cmp = icmp slt i32 %a, 0
 120   br i1 %cmp, label %return, label %if.end
 121
 122 if.end:                                           ; preds = %entry
 123   %call = tail call i32 @_Z1hii(i32 %a, i32 %b)
 124   %add = add nsw i32 %call, %b
 125   %mul = mul nsw i32 %add, %call
 126   %add1 = add nsw i32 %d, %c
 127   %div = sdiv i32 %mul, %add1
 128   %add2 = add nsw i32 %div, 1
 129   br label %return
 130
 131 return:                                           ; preds = %entry, %if.end
 132   %retval.0 = phi i32 [ %add2, %if.end ], [ -1, %entry ]
 133   ret i32 %retval.0
 134 }
 135
 136 ; CHECK-LABEL: _Z1giiii:
 137 ; ...
 138 ; CHECK:    pac    r12, lr, sp
 139 ; CHECK-NEXT:    .save    {r4, r5, r6, lr}
 140 ; CHECK-NEXT:    push    {r4, r5, r6, lr}
 141 ; CHECK-NEXT:    .cfi_def_cfa_offset 16
 142 ; CHECK-NEXT:    .cfi_offset lr, -4
 143 ; CHECK-NEXT:    .cfi_offset r6, -8
 144 ; CHECK-NEXT:    .cfi_offset r5, -12
 145 ; CHECK-NEXT:    .cfi_offset r4, -16
 146 ; CHECK-NEXT:    .save    {ra_auth_code}
 147 ; CHECK-NEXT:    str    r12, [sp, #-4]!
 148 ; CHECK-NEXT:    .cfi_def_cfa_offset 20
 149 ; CHECK-NEXT:    .cfi_offset ra_auth_code, -20
 150 ; CHECK-NEXT:    .pad    #4
 151 ; CHECK-NEXT:    sub    sp, #4
 152 ; CHECK-NEXT:    .cfi_def_cfa_offset 24
 153 ; ...
 154 ; CHECK:    bl  OUTLINED_FUNCTION_0
 155 ; ...
 156 ; CHECK:    add    sp, #4
 157 ; CHECK-NEXT:    ldr    r12, [sp], #4
 158 ; CHECK-NEXT:    pop.w    {r4, r5, r6, lr}
 159 ; CHECK-NEXT:    aut    r12, lr, sp
 160 ; CHECK-NEXT:    bx    lr
 161
 162
 163 ; CHEK-LABEL: OUTLINED_FUNCTION_0:
 164 ; CHECK-NOT: pac
 165 ; CHECK-NOT: aut
 166 ; CHECK:        b    _Z1hii
 167
 168 attributes #0 = { minsize noinline optsize "denormal-fp-math"="preserve-sign,preserve-sign" "denormal-fp-math-f32"="ieee,ieee" "disable-tail-calls"="false" "frame-pointer"="none" "less-precise-fpmad"="false" "min-legal-vector-width"="0" "no-infs-fp-math"="true" "no-jump-tables"="false" "no-nans-fp-math"="true" "no-signed-zeros-fp-math"="true" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="cortex-m3" "target-features"="+armv7-m,+hwdiv,+thumb-mode" "unsafe-fp-math"="false" "use-soft-float"="false" }
 169 attributes #1 = { nounwind }
 170 attributes #2 = { noreturn }
 171
 172
 173 !llvm.module.flags = !{!0, !1, !2}
 174
 175 !0 = !{i32 8, !"branch-target-enforcement", i32 0}
 176 !1 = !{i32 8, !"sign-return-address", i32 1}
 177 !2 = !{i32 8, !"sign-return-address-all", i32 0}
 178
 179
 180 ; UNWIND-LABEL: FunctionAddress: 0x0
 181 ; UNWIND:       Opcodes
 182 ; UNWIND-NEXT:  0x00      ; vsp = vsp + 4
 183 ; UNWIND-NEXT:  0xB4      ; pop ra_auth_code
 184 ; UNWIND-NEXT:  0x84 0x08 ; pop {r7, lr}
 185 ; UNWIND-NEXT:  0xB0      ; finish
 186 ; UNWIND-NEXT:  0xB0      ; finish
 187
 188 ; UNWIND-LABEL: FunctionAddress: 0x3C
 189 ; UNWIND:       Opcodes
 190 ; UNWIND-NEXT:  0x00      ; vsp = vsp + 4
 191 ; UNWIND-NEXT:  0xB4      ; pop ra_auth_code
 192 ; UNWIND-NEXT:  0xAA      ; pop {r4, r5, r6, lr}
 193
 194 ; UNWIND-LABEL: FunctionAddress: 0x72
 195 ; UNWIND:       Opcodes
 196 ; UNWIND-NEXT:  0x00      ; vsp = vsp + 4
 197 ; UNWIND-NEXT:  0xB4      ; pop ra_auth_code
 198 ; UNWIND-NEXT:  0xAA      ; pop {r4, r5, r6, lr}
 199
 200 ; UNWIND-LABEL: FunctionAddress: 0xA8
 201 ; UNWIND:       Opcodes
 202 ; UNWIND-NEXT:  0xB0      ; finish
 203 ; UNWIND-NEXT:  0xB0      ; finish
 204 ; UNWIND-NEXT:  0xB0      ; finish
 205
 206 ; UNWIND: 000000a9 {{.*}} OUTLINED_FUNCTION_0
 207 ; UWNIND: 00000001 {{.*}} _Z1hii
 208 ; UWNIND: 0000003d {{.*}} _Z1fiiii
 209 ; UWNIND: 00000073 {{.*}} _Z1giiii