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: xchgw %ax, %ax 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: xchgw %ax, %ax 50; 32-NEXT: nop 51; 64: nopl (%rax) 52; CHECK: ret 53; CHECK: .section __patchable_function_entries,"aGwo",@progbits,f3,comdat,f3{{$}} 54; 32: .p2align 2 55; 32-NEXT: .long .Lfunc_begin3 56; 64: .p2align 3 57; 64-NEXT: .quad .Lfunc_begin3 58 ret void 59} 60 61$f5 = comdat any 62define void @f5() "patchable-function-entry"="5" comdat { 63; CHECK-LABEL: f5: 64; CHECK-NEXT: .Lfunc_begin4: 65; 32-COUNT-2: xchgw %ax, %ax 66; 32-NEXT: nop 67; 64: nopl 8(%rax,%rax) 68; CHECK-NEXT: ret 69; CHECK: .section __patchable_function_entries,"aGwo",@progbits,f5,comdat,f5{{$}} 70; 32: .p2align 2 71; 32-NEXT: .long .Lfunc_begin4 72; 64: .p2align 3 73; 64-NEXT: .quad .Lfunc_begin4 74 ret void 75} 76 77;; -fpatchable-function-entry=3,2 78;; "patchable-function-prefix" emits data before the function entry label. 79;; We emit 1-byte NOPs before the function entry, so that with a partial patch, 80;; the remaining instructions do not need to be modified. 81define void @f3_2() "patchable-function-entry"="1" "patchable-function-prefix"="2" { 82; CHECK-LABEL: .type f3_2,@function 83; CHECK-NEXT: .Ltmp0: # @f3_2 84; CHECK-NEXT: nop 85; CHECK-NEXT: nop 86; CHECK-NEXT: f3_2: 87; CHECK: # %bb.0: 88; CHECK-NEXT: nop 89; CHECK-NEXT: ret 90;; .size does not include the prefix. 91; CHECK: .Lfunc_end5: 92; CHECK-NEXT: .size f3_2, .Lfunc_end5-f3_2 93; CHECK: .section __patchable_function_entries,"awo",@progbits,f3_2{{$}} 94; 32: .p2align 2 95; 32-NEXT: .long .Ltmp0 96; 64: .p2align 3 97; 64-NEXT: .quad .Ltmp0 98 %frame = alloca i8, i32 16 99 ret void 100} 101