llvm/test/CodeGen/X86/kcfi-patchable-function-prefix.ll

   1 ; RUN: llc -mtriple=x86_64-unknown-linux-gnu -verify-machineinstrs < %s | FileCheck %s
   2
   3 ; CHECK:          .p2align 4, 0x90
   4 ; CHECK-LABEL:    __cfi_f1:
   5 ; CHECK-COUNT-11:   nop
   6 ; CHECK-NEXT:       movl $12345678, %eax
   7 ; CHECK-LABEL:    .Lcfi_func_end0:
   8 ; CHECK-NEXT:     .size   __cfi_f1, .Lcfi_func_end0-__cfi_f1
   9 ; CHECK-LABEL:    f1:
  10 define void @f1(ptr noundef %x) !kcfi_type !1 {
  11 ; CHECK:            addl -4(%r{{..}}), %r10d
  12   call void %x() [ "kcfi"(i32 12345678) ]
  13   ret void
  14 }
  15
  16 ; CHECK:          .p2align 4, 0x90
  17 ; CHECK-NOT:      __cfi_f2:
  18 ; CHECK-NOT:        nop
  19 ; CHECK-LABEL:    f2:
  20 define void @f2(ptr noundef %x) {
  21 ; CHECK:            addl -4(%r{{..}}), %r10d
  22   call void %x() [ "kcfi"(i32 12345678) ]
  23   ret void
  24 }
  25
  26 ; CHECK:          .p2align 4, 0x90
  27 ; CHECK-LABEL:    __cfi_f3:
  28 ; CHECK-NOT:        nop
  29 ; CHECK-NEXT:       movl $12345678, %eax
  30 ; CHECK-COUNT-11:   nop
  31 ; CHECK-LABEL:    f3:
  32 define void @f3(ptr noundef %x) #0 !kcfi_type !1 {
  33 ; CHECK:            addl -15(%r{{..}}), %r10d
  34   call void %x() [ "kcfi"(i32 12345678) ]
  35   ret void
  36 }
  37
  38 ; CHECK:          .p2align 4, 0x90
  39 ; CHECK-NOT:      __cfi_f4:
  40 ; CHECK-COUNT-16:   nop
  41 ; CHECK-LABEL:    f4:
  42 define void @f4(ptr noundef %x) #0 {
  43 ; CHECK:            addl -15(%r{{..}}), %r10d
  44   call void %x() [ "kcfi"(i32 12345678) ]
  45   ret void
  46 }
  47
  48 attributes #0 = { "patchable-function-prefix"="11" }
  49
  50 !llvm.module.flags = !{!0}
  51 !0 = !{i32 4, !"kcfi", i32 1}
  52 !1 = !{i32 12345678}