1; RUN: llc -mtriple=i386 %s -o - | FileCheck --check-prefixes=CHECK,32 %s
2; RUN: llc -mtriple=x86_64 %s -o - | FileCheck --check-prefixes=CHECK,64 %s
3; RUN: llc -mtriple=x86_64 -function-sections %s -o - | FileCheck --check-prefixes=CHECK,64 %s
4
5define void @f0() "patchable-function-entry"="0" {
6; CHECK-LABEL: f0:
7; CHECK-NEXT: .Lfunc_begin0:
8; CHECK-NOT:   nop
9; CHECK:       ret
10; CHECK-NOT:   .section __patchable_function_entries
11  ret void
12}
13
14define void @f1() "patchable-function-entry"="1" {
15; CHECK-LABEL: f1:
16; CHECK-NEXT: .Lfunc_begin1:
17; CHECK:       nop
18; CHECK-NEXT:  ret
19; CHECK:       .section __patchable_function_entries,"awo",@progbits,f1{{$}}
20; 32:          .p2align 2
21; 32-NEXT:     .long .Lfunc_begin1
22; 64:          .p2align 3
23; 64-NEXT:     .quad .Lfunc_begin1
24  ret void
25}
26
27;; Without -function-sections, f2 is in the same text section as f1.
28;; They share the __patchable_function_entries section.
29;; With -function-sections, f1 and f2 are in different text sections.
30;; Use separate __patchable_function_entries.
31define void @f2() "patchable-function-entry"="2" {
32; CHECK-LABEL: f2:
33; CHECK-NEXT: .Lfunc_begin2:
34; 32-COUNT-2:  nop
35; 64:          xchgw %ax, %ax
36; CHECK-NEXT:  ret
37; CHECK:       .section __patchable_function_entries,"awo",@progbits,f2{{$}}
38; 32:          .p2align 2
39; 32-NEXT:     .long .Lfunc_begin2
40; 64:          .p2align 3
41; 64-NEXT:     .quad .Lfunc_begin2
42  ret void
43}
44
45$f3 = comdat any
46define void @f3() "patchable-function-entry"="3" comdat {
47; CHECK-LABEL: f3:
48; CHECK-NEXT: .Lfunc_begin3:
49; 32-COUNT-3:  nop
50; 64:          nopl (%rax)
51; CHECK:       ret
52; CHECK:       .section __patchable_function_entries,"aGwo",@progbits,f3,comdat,f3{{$}}
53; 32:          .p2align 2
54; 32-NEXT:     .long .Lfunc_begin3
55; 64:          .p2align 3
56; 64-NEXT:     .quad .Lfunc_begin3
57  ret void
58}
59
60$f5 = comdat any
61define void @f5() "patchable-function-entry"="5" comdat {
62; CHECK-LABEL: f5:
63; CHECK-NEXT: .Lfunc_begin4:
64; 32-COUNT-5:  nop
65; 64:          nopl 8(%rax,%rax)
66; CHECK-NEXT:  ret
67; CHECK:       .section __patchable_function_entries,"aGwo",@progbits,f5,comdat,f5{{$}}
68; 32:          .p2align 2
69; 32-NEXT:     .long .Lfunc_begin4
70; 64:          .p2align 3
71; 64-NEXT:     .quad .Lfunc_begin4
72  ret void
73}
74
75;; -fpatchable-function-entry=3,2
76;; "patchable-function-prefix" emits data before the function entry label.
77;; We emit 1-byte NOPs before the function entry, so that with a partial patch,
78;; the remaining instructions do not need to be modified.
79define void @f3_2() "patchable-function-entry"="1" "patchable-function-prefix"="2" {
80; CHECK-LABEL: .type f3_2,@function
81; CHECK-NEXT: .Ltmp0: # @f3_2
82; CHECK-NEXT:  nop
83; CHECK-NEXT:  nop
84; CHECK-NEXT: f3_2:
85; CHECK:      # %bb.0:
86; CHECK-NEXT:  nop
87; CHECK-NEXT:  ret
88;; .size does not include the prefix.
89; CHECK:      .Lfunc_end5:
90; CHECK-NEXT: .size f3_2, .Lfunc_end5-f3_2
91; CHECK:      .section __patchable_function_entries,"awo",@progbits,f3_2{{$}}
92; 32:         .p2align 2
93; 32-NEXT:    .long .Ltmp0
94; 64:         .p2align 3
95; 64-NEXT:    .quad .Ltmp0
96  %frame = alloca i8, i32 16
97  ret void
98}
99