| # RUN: not llvm-mc -triple x86_64-unknown-unknown %s --validate-cfi --filetype=null 2>&1 | FileCheck %s |
| # RUN: llvm-mc -triple x86_64-unknown-unknown %s --filetype=asm 2>&1 | FileCheck %s -check-prefix=ASSEMBLER --implicit-check-not warning: --implicit-check-not error: |
| # ASSEMBLER: .text |
| .text |
| .globl f |
| .type f, @function |
| f: |
| .cfi_startproc |
| |
| ## TODO: Remove these lines when the initial frame directives set the callee saved registers |
| .cfi_undefined %rax |
| .cfi_undefined %flags |
| |
| .cfi_val_offset %rbp, -8 |
| |
| pushq %rax |
| # CHECK: error: modified CFA register RSP but not changed CFA rule |
| |
| addq $10, %rax |
| # CHECK: error: did not modify CFA register RSP but changed CFA rule |
| .cfi_adjust_cfa_offset 8 |
| |
| .Lfunc_end0: |
| .size f, .Lfunc_end0-f |
| .cfi_endproc |
