	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.globl	_ada_vax_float_print_function   ## -- Begin function ada_vax_float_print_function
	.p2align	4, 0x90
_ada_vax_float_print_function:          ## @ada_vax_float_print_function
	.cfi_startproc
## %bb.0:
	pushq	%rbp
	.cfi_def_cfa_offset 16
	.cfi_offset %rbp, -16
	movq	%rsp, %rbp
	.cfi_def_cfa_register %rbp
	callq	_ada_vax_float_type_suffix
	cmpl	$68, %eax
	je	LBB0_5
## %bb.1:
	cmpl	$71, %eax
	je	LBB0_6
## %bb.2:
	cmpl	$70, %eax
	jne	LBB0_7
## %bb.3:
	leaq	L_.str(%rip), %rdi
	jmp	LBB0_4
LBB0_5:
	leaq	L_.str.1(%rip), %rdi
	jmp	LBB0_4
LBB0_6:
	leaq	L_.str.2(%rip), %rdi
LBB0_4:
	xorl	%esi, %esi
	popq	%rbp
	jmp	_get_var_value                  ## TAILCALL
LBB0_7:
	leaq	L_.str.3(%rip), %rdi
	popq	%rbp
	jmp	_error                          ## TAILCALL
	.cfi_endproc
                                        ## -- End function
	.section	__TEXT,__cstring,cstring_literals
L_.str:                                 ## @.str
	.asciz	"DEBUG_STRING_F"

L_.str.1:                               ## @.str.1
	.asciz	"DEBUG_STRING_D"

L_.str.2:                               ## @.str.2
	.asciz	"DEBUG_STRING_G"

L_.str.3:                               ## @.str.3
	.asciz	"invalid VAX floating-point type"

.subsections_via_symbols

	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.globl	_ada_vax_float_print_function   ; -- Begin function ada_vax_float_print_function
	.p2align	2
_ada_vax_float_print_function:          ; @ada_vax_float_print_function
	.cfi_startproc
; %bb.0:
	stp	x29, x30, [sp, #-16]!           ; 16-byte Folded Spill
	.cfi_def_cfa_offset 16
	mov	x29, sp
	.cfi_def_cfa w29, 16
	.cfi_offset w30, -8
	.cfi_offset w29, -16
	bl	_ada_vax_float_type_suffix
	cmp	w0, #68
	b.eq	LBB0_4
; %bb.1:
	cmp	w0, #71
	b.eq	LBB0_5
; %bb.2:
	cmp	w0, #70
	b.ne	LBB0_7
; %bb.3:
Lloh0:
	adrp	x0, l_.str@PAGE
Lloh1:
	add	x0, x0, l_.str@PAGEOFF
	b	LBB0_6
LBB0_4:
Lloh2:
	adrp	x0, l_.str.1@PAGE
Lloh3:
	add	x0, x0, l_.str.1@PAGEOFF
	b	LBB0_6
LBB0_5:
Lloh4:
	adrp	x0, l_.str.2@PAGE
Lloh5:
	add	x0, x0, l_.str.2@PAGEOFF
LBB0_6:
	mov	w1, #0
	ldp	x29, x30, [sp], #16             ; 16-byte Folded Reload
	b	_get_var_value
LBB0_7:
Lloh6:
	adrp	x0, l_.str.3@PAGE
Lloh7:
	add	x0, x0, l_.str.3@PAGEOFF
	ldp	x29, x30, [sp], #16             ; 16-byte Folded Reload
	b	_error
	.loh AdrpAdd	Lloh0, Lloh1
	.loh AdrpAdd	Lloh2, Lloh3
	.loh AdrpAdd	Lloh4, Lloh5
	.loh AdrpAdd	Lloh6, Lloh7
	.cfi_endproc
                                        ; -- End function
	.section	__TEXT,__cstring,cstring_literals
l_.str:                                 ; @.str
	.asciz	"DEBUG_STRING_F"

l_.str.1:                               ; @.str.1
	.asciz	"DEBUG_STRING_D"

l_.str.2:                               ; @.str.2
	.asciz	"DEBUG_STRING_G"

l_.str.3:                               ; @.str.3
	.asciz	"invalid VAX floating-point type"

.subsections_via_symbols
