Skip to content

Commit bfa142f

Browse files
committed
fix x86
1 parent a7d853d commit bfa142f

File tree

1 file changed

+3
-0
lines changed

1 file changed

+3
-0
lines changed

backend/amd64/emit.ml

+3
Original file line numberDiff line numberDiff line change
@@ -122,6 +122,9 @@ let to_x86_directive (dir : ND.Directive.t) : X86_ast.asm_line list =
122122
| Cfi_endproc -> [X86_ast.Cfi_endproc]
123123
| Cfi_offset { reg; offset } -> [X86_ast.Cfi_offset (reg, offset)]
124124
| Cfi_startproc -> [X86_ast.Cfi_startproc]
125+
| Cfi_remember_state -> [X86_ast.Cfi_remember_state]
126+
| Cfi_restore_state -> [X86_ast.Cfi_restore_state]
127+
| Cfi_def_cfa_register r -> [X86_ast.Cfi_def_cfa_register r]
125128
| Protected s -> [X86_ast.Protected s]
126129

127130
let _label s = D.label ~typ:QWORD s

0 commit comments

Comments
 (0)