114 lines · plain
1; RUN: llc -mtriple=i386 %s -o - | FileCheck --check-prefixes=CHECK,X86 %s2; RUN: llc -mtriple=x86_64 %s -o - | FileCheck --check-prefixes=CHECK,X64 %s3; RUN: llc -mtriple=x86_64 -function-sections %s -o - | FileCheck --check-prefixes=CHECK,X64 %s4 5define void @f0() "patchable-function-entry"="0" {6; CHECK-LABEL: f0:7; CHECK-NEXT: .Lfunc_begin0:8; CHECK-NOT: nop9; CHECK: ret10; CHECK-NOT: .section __patchable_function_entries11 ret void12}13 14define void @f1() "patchable-function-entry"="1" {15; CHECK-LABEL: f1:16; CHECK-NEXT: .Lfunc_begin1:17; CHECK: nop18; CHECK-NEXT: ret19; CHECK: .section __patchable_function_entries,"awo",@progbits,f1{{$}}20; X86: .p2align 221; X86-NEXT: .long .Lfunc_begin122; X64: .p2align 323; X64-NEXT: .quad .Lfunc_begin124 ret void25}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; X86: xchgw %ax, %ax35; X64: xchgw %ax, %ax36; CHECK-NEXT: ret37; CHECK: .section __patchable_function_entries,"awo",@progbits,f2{{$}}38; X86: .p2align 239; X86-NEXT: .long .Lfunc_begin240; X64: .p2align 341; X64-NEXT: .quad .Lfunc_begin242 ret void43}44 45$f3 = comdat any46define void @f3() "patchable-function-entry"="3" comdat {47; CHECK-LABEL: f3:48; CHECK-NEXT: .Lfunc_begin3:49; X86: xchgw %ax, %ax50; X86-NEXT: nop51; X64: nopl (%rax)52; CHECK: ret53; CHECK: .section __patchable_function_entries,"awoG",@progbits,f3,f3,comdat{{$}}54; X86: .p2align 255; X86-NEXT: .long .Lfunc_begin356; X64: .p2align 357; X64-NEXT: .quad .Lfunc_begin358 ret void59}60 61$f5 = comdat any62define void @f5() "patchable-function-entry"="5" comdat {63; CHECK-LABEL: f5:64; CHECK-NEXT: .Lfunc_begin4:65; X86-COUNT-2: xchgw %ax, %ax66; X86-NEXT: nop67; X64: nopl 8(%rax,%rax)68; CHECK-NEXT: ret69; CHECK: .section __patchable_function_entries,"awoG",@progbits,f5,f5,comdat{{$}}70; X86: .p2align 271; X86-NEXT: .long .Lfunc_begin472; X64: .p2align 373; X64-NEXT: .quad .Lfunc_begin474 ret void75}76 77;; -fpatchable-function-entry=3,278;; "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,@function83; CHECK-NEXT: .Ltmp0:84; CHECK-NEXT: nop85; CHECK-NEXT: nop86; CHECK-NEXT: f3_2: # @f3_287; CHECK: # %bb.0:88; CHECK-NEXT: nop89; CHECK-NEXT: ret90;; .size does not include the prefix.91; CHECK: .Lfunc_end5:92; CHECK-NEXT: .size f3_2, .Lfunc_end5-f3_293; CHECK: .section __patchable_function_entries,"awo",@progbits,f3_2{{$}}94; X86: .p2align 295; X86-NEXT: .long .Ltmp096; X64: .p2align 397; X64-NEXT: .quad .Ltmp098 %frame = alloca i8, i32 1699 ret void100}101 102define void @s1() "patchable-function-entry"="1" "patchable-function-entry-section"=".entries" {103; CHECK-LABEL: s1:104; CHECK-NEXT: .Lfunc_begin6:105; CHECK: nop106; CHECK-NEXT: ret107; CHECK: .section .entries,"awo",@progbits,s1{{$}}108; X86: .p2align 2109; X86-NEXT: .long .Lfunc_begin6110; X64: .p2align 3111; X64-NEXT: .quad .Lfunc_begin6112 ret void113}114