	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.globl	_check_field                    ## -- Begin function check_field
	.p2align	4, 0x90
_check_field:                           ## @check_field
	.cfi_startproc
## %bb.0:
	pushq	%rbp
	.cfi_def_cfa_offset 16
	.cfi_offset %rbp, -16
	movq	%rsp, %rbp
	.cfi_def_cfa_register %rbp
	pushq	%r15
	pushq	%r14
	pushq	%r12
	pushq	%rbx
	.cfi_offset %rbx, -48
	.cfi_offset %r12, -40
	.cfi_offset %r14, -32
	.cfi_offset %r15, -24
	movq	%rsi, %r14
	movq	%rdi, %rbx
	callq	_COERCE_ARRAY
	movq	%rbx, %rdi
	callq	_VALUE_TYPE
	movq	%rax, %rbx
	movq	_TYPE_CODE_PTR@GOTPCREL(%rip), %r15
	movq	_TYPE_CODE_REF@GOTPCREL(%rip), %r12
	jmp	LBB0_1
	.p2align	4, 0x90
LBB0_3:                                 ##   in Loop: Header=BB0_1 Depth=1
	movq	%rbx, %rdi
	callq	_TYPE_TARGET_TYPE
	movq	%rax, %rbx
LBB0_1:                                 ## =>This Inner Loop Header: Depth=1
	movq	%rbx, %rdi
	callq	_CHECK_TYPEDEF
	movq	%rbx, %rdi
	callq	_TYPE_CODE
	cmpq	(%r15), %rax
	je	LBB0_3
## %bb.2:                               ##   in Loop: Header=BB0_1 Depth=1
	movq	%rbx, %rdi
	callq	_TYPE_CODE
	cmpq	(%r12), %rax
	je	LBB0_3
## %bb.4:
	movq	%rbx, %rdi
	callq	_TYPE_CODE
	movq	_TYPE_CODE_MEMBER@GOTPCREL(%rip), %rcx
	cmpq	(%rcx), %rax
	jne	LBB0_6
## %bb.5:
	leaq	L_.str(%rip), %rdi
	callq	_error
LBB0_6:
	movq	%rbx, %rdi
	callq	_TYPE_CODE
	movq	_TYPE_CODE_STRUCT@GOTPCREL(%rip), %rcx
	cmpq	(%rcx), %rax
	je	LBB0_9
## %bb.7:
	movq	%rbx, %rdi
	callq	_TYPE_CODE
	movq	_TYPE_CODE_UNION@GOTPCREL(%rip), %rcx
	cmpq	(%rcx), %rax
	je	LBB0_9
## %bb.8:
	leaq	L_.str.1(%rip), %rdi
	callq	_error
LBB0_9:
	movq	%rbx, %rdi
	movq	%r14, %rsi
	popq	%rbx
	popq	%r12
	popq	%r14
	popq	%r15
	popq	%rbp
	jmp	_check_field_in                 ## TAILCALL
	.cfi_endproc
                                        ## -- End function
	.comm	_TYPE_CODE_PTR,8,3              ## @TYPE_CODE_PTR
	.comm	_TYPE_CODE_REF,8,3              ## @TYPE_CODE_REF
	.comm	_TYPE_CODE_MEMBER,8,3           ## @TYPE_CODE_MEMBER
	.section	__TEXT,__cstring,cstring_literals
L_.str:                                 ## @.str
	.asciz	"not implemented: member type in check_field"

	.comm	_TYPE_CODE_STRUCT,8,3           ## @TYPE_CODE_STRUCT
	.comm	_TYPE_CODE_UNION,8,3            ## @TYPE_CODE_UNION
L_.str.1:                               ## @.str.1
	.asciz	"Internal error: `this' is not an aggregate"

.subsections_via_symbols

	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.globl	_check_field                    ; -- Begin function check_field
	.p2align	2
_check_field:                           ; @check_field
	.cfi_startproc
; %bb.0:
	stp	x22, x21, [sp, #-48]!           ; 16-byte Folded Spill
	.cfi_def_cfa_offset 48
	stp	x20, x19, [sp, #16]             ; 16-byte Folded Spill
	stp	x29, x30, [sp, #32]             ; 16-byte Folded Spill
	add	x29, sp, #32
	.cfi_def_cfa w29, 16
	.cfi_offset w30, -8
	.cfi_offset w29, -16
	.cfi_offset w19, -24
	.cfi_offset w20, -32
	.cfi_offset w21, -40
	.cfi_offset w22, -48
	mov	x19, x1
	mov	x20, x0
	bl	_COERCE_ARRAY
	mov	x0, x20
	bl	_VALUE_TYPE
	mov	x20, x0
Lloh0:
	adrp	x21, _TYPE_CODE_PTR@GOTPAGE
Lloh1:
	ldr	x21, [x21, _TYPE_CODE_PTR@GOTPAGEOFF]
Lloh2:
	adrp	x22, _TYPE_CODE_REF@GOTPAGE
Lloh3:
	ldr	x22, [x22, _TYPE_CODE_REF@GOTPAGEOFF]
	b	LBB0_2
LBB0_1:                                 ;   in Loop: Header=BB0_2 Depth=1
	mov	x0, x20
	bl	_TYPE_TARGET_TYPE
	mov	x20, x0
LBB0_2:                                 ; =>This Inner Loop Header: Depth=1
	mov	x0, x20
	bl	_CHECK_TYPEDEF
	mov	x0, x20
	bl	_TYPE_CODE
	ldr	x8, [x21]
	cmp	x0, x8
	b.eq	LBB0_1
; %bb.3:                                ;   in Loop: Header=BB0_2 Depth=1
	mov	x0, x20
	bl	_TYPE_CODE
	ldr	x8, [x22]
	cmp	x0, x8
	b.eq	LBB0_1
; %bb.4:
	mov	x0, x20
	bl	_TYPE_CODE
Lloh4:
	adrp	x8, _TYPE_CODE_MEMBER@GOTPAGE
Lloh5:
	ldr	x8, [x8, _TYPE_CODE_MEMBER@GOTPAGEOFF]
Lloh6:
	ldr	x8, [x8]
	cmp	x0, x8
	b.ne	LBB0_6
; %bb.5:
Lloh7:
	adrp	x0, l_.str@PAGE
Lloh8:
	add	x0, x0, l_.str@PAGEOFF
	bl	_error
LBB0_6:
	mov	x0, x20
	bl	_TYPE_CODE
Lloh9:
	adrp	x8, _TYPE_CODE_STRUCT@GOTPAGE
Lloh10:
	ldr	x8, [x8, _TYPE_CODE_STRUCT@GOTPAGEOFF]
Lloh11:
	ldr	x8, [x8]
	cmp	x0, x8
	b.eq	LBB0_9
; %bb.7:
	mov	x0, x20
	bl	_TYPE_CODE
Lloh12:
	adrp	x8, _TYPE_CODE_UNION@GOTPAGE
Lloh13:
	ldr	x8, [x8, _TYPE_CODE_UNION@GOTPAGEOFF]
Lloh14:
	ldr	x8, [x8]
	cmp	x0, x8
	b.eq	LBB0_9
; %bb.8:
Lloh15:
	adrp	x0, l_.str.1@PAGE
Lloh16:
	add	x0, x0, l_.str.1@PAGEOFF
	bl	_error
LBB0_9:
	mov	x0, x20
	mov	x1, x19
	ldp	x29, x30, [sp, #32]             ; 16-byte Folded Reload
	ldp	x20, x19, [sp, #16]             ; 16-byte Folded Reload
	ldp	x22, x21, [sp], #48             ; 16-byte Folded Reload
	b	_check_field_in
	.loh AdrpLdrGot	Lloh2, Lloh3
	.loh AdrpLdrGot	Lloh0, Lloh1
	.loh AdrpLdrGotLdr	Lloh4, Lloh5, Lloh6
	.loh AdrpAdd	Lloh7, Lloh8
	.loh AdrpLdrGotLdr	Lloh9, Lloh10, Lloh11
	.loh AdrpLdrGotLdr	Lloh12, Lloh13, Lloh14
	.loh AdrpAdd	Lloh15, Lloh16
	.cfi_endproc
                                        ; -- End function
	.comm	_TYPE_CODE_PTR,8,3              ; @TYPE_CODE_PTR
	.comm	_TYPE_CODE_REF,8,3              ; @TYPE_CODE_REF
	.comm	_TYPE_CODE_MEMBER,8,3           ; @TYPE_CODE_MEMBER
	.section	__TEXT,__cstring,cstring_literals
l_.str:                                 ; @.str
	.asciz	"not implemented: member type in check_field"

	.comm	_TYPE_CODE_STRUCT,8,3           ; @TYPE_CODE_STRUCT
	.comm	_TYPE_CODE_UNION,8,3            ; @TYPE_CODE_UNION
l_.str.1:                               ; @.str.1
	.asciz	"Internal error: `this' is not an aggregate"

.subsections_via_symbols
