1# RUN: llc -mtriple=x86_64-apple-darwin -stop-after branch-folder -start-after branch-folder -o - %s | FileCheck %s 2# This test verifies that the machine verifier won't report an error when 3# verifying the PATCHPOINT instruction. 4 5--- | 6 7 define void @small_patchpoint_codegen(i64 %p1, i64 %p2, i64 %p3, i64 %p4) { 8 entry: 9 %result = tail call i64 (i64, i32, i8*, i32, ...) @llvm.experimental.patchpoint.i64(i64 5, i32 5, i8* null, i32 2, i64 %p1, i64 %p2) 10 ret void 11 } 12 13 declare i64 @llvm.experimental.patchpoint.i64(i64, i32, i8*, i32, ...) 14 15... 16--- 17name: small_patchpoint_codegen 18tracksRegLiveness: true 19liveins: 20 - { reg: '%rdi' } 21 - { reg: '%rsi' } 22frameInfo: 23 hasPatchPoint: true 24 stackSize: 8 25 adjustsStack: true 26 hasCalls: true 27fixedStack: 28 - { id: 0, type: spill-slot, offset: -16, size: 8, alignment: 16 } 29body: | 30 bb.0.entry: 31 liveins: %rdi, %rsi, %rbp 32 33 frame-setup PUSH64r killed %rbp, implicit-def %rsp, implicit %rsp 34 CFI_INSTRUCTION .cfi_def_cfa_offset 16 35 CFI_INSTRUCTION .cfi_offset %rbp, -16 36 %rbp = frame-setup MOV64rr %rsp 37 CFI_INSTRUCTION .cfi_def_cfa_register %rbp 38 ; CHECK: PATCHPOINT 5, 5, 0, 2, 0, %rdi, %rsi, csr_64, implicit-def dead early-clobber %r11, implicit-def %rsp, implicit-def dead %rax 39 PATCHPOINT 5, 5, 0, 2, 0, %rdi, %rsi, csr_64, implicit-def dead early-clobber %r11, implicit-def %rsp, implicit-def dead %rax 40 %rbp = POP64r implicit-def %rsp, implicit %rsp 41 RETQ 42... 43