xref: /llvm-project/llvm/test/CodeGen/X86/kcfi-patchable-function-prefix.ll (revision e6bf48d11047e970cb24554a01b65b566d6b5d22)
1; RUN: llc -mtriple=x86_64-unknown-linux-gnu -verify-machineinstrs < %s | FileCheck %s
2
3; CHECK:          .p2align 4
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:
10define 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
17; CHECK-NOT:      __cfi_f2:
18; CHECK-NOT:        nop
19; CHECK-LABEL:    f2:
20define 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
27; CHECK-LABEL:    __cfi_f3:
28; CHECK-NOT:        nop
29; CHECK-NEXT:       movl $12345678, %eax
30; CHECK-COUNT-11:   nop
31; CHECK-LABEL:    f3:
32define 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
39; CHECK-NOT:      __cfi_f4:
40; CHECK-COUNT-16:   nop
41; CHECK-LABEL:    f4:
42define void @f4(ptr noundef %x) #0 {
43; CHECK:            addl -15(%r{{..}}), %r10d
44  call void %x() [ "kcfi"(i32 12345678) ]
45  ret void
46}
47
48attributes #0 = { "patchable-function-prefix"="11" }
49
50!llvm.module.flags = !{!0}
51!0 = !{i32 4, !"kcfi", i32 1}
52!1 = !{i32 12345678}
53