	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	4, 0x90                         ## -- Begin function nfp_bpf_check_alu
_nfp_bpf_check_alu:                     ## @nfp_bpf_check_alu
	.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	%r13
	pushq	%r12
	pushq	%rbx
	pushq	%rax
	.cfi_offset %rbx, -56
	.cfi_offset %r12, -48
	.cfi_offset %r13, -40
	.cfi_offset %r14, -32
	.cfi_offset %r15, -24
	movq	%rdx, %rbx
	movq	%rsi, %r15
	movq	%rdx, %rdi
	callq	_cur_regs
	movq	%rax, %r12
	movslq	(%r15), %r14
	movq	%rbx, -48(%rbp)                 ## 8-byte Spill
	movq	%rbx, %rdi
	callq	_cur_regs
	movq	%rax, %rbx
	movslq	4(%r15), %r13
	movq	24(%r15), %rdi
	movl	4(%r12,%r14,8), %esi
	callq	_min
	movq	%rax, 24(%r15)
	movq	16(%r15), %rdi
	movl	(%r12,%r14,8), %esi
	callq	_max
	movq	%rax, 16(%r15)
	movq	40(%r15), %rdi
	movl	4(%rbx,%r13,8), %esi
	callq	_min
	movq	%rax, 40(%r15)
	movq	32(%r15), %rdi
	movl	(%rbx,%r13,8), %esi
	callq	_max
	movq	%rax, 32(%r15)
	movq	%r15, %rdi
	callq	_is_mbpf_mul
	testq	%rax, %rax
	je	LBB0_10
## %bb.1:
	movq	32(%r15), %rax
	movq	_U32_MAX@GOTPCREL(%rip), %rbx
	cmpq	(%rbx), %rax
	jbe	LBB0_3
## %bb.2:
	leaq	L_.str(%rip), %rsi
	jmp	LBB0_21
LBB0_3:
	movq	%r15, %rdi
	callq	_mbpf_src
	movq	_BPF_X@GOTPCREL(%rip), %rcx
	cmpq	(%rcx), %rax
	jne	LBB0_6
## %bb.4:
	movq	16(%r15), %rax
	cmpq	(%rbx), %rax
	jbe	LBB0_6
## %bb.5:
	leaq	L_.str.1(%rip), %rsi
	jmp	LBB0_21
LBB0_6:
	movq	%r15, %rdi
	callq	_mbpf_class
	movq	_BPF_ALU64@GOTPCREL(%rip), %rcx
	cmpq	(%rcx), %rax
	jne	LBB0_10
## %bb.7:
	movq	%r15, %rdi
	callq	_mbpf_src
	movq	_BPF_K@GOTPCREL(%rip), %rcx
	cmpq	(%rcx), %rax
	jne	LBB0_10
## %bb.8:
	cmpq	$0, 8(%r15)
	js	LBB0_9
LBB0_10:
	movq	%r15, %rdi
	callq	_is_mbpf_div
	xorl	%ebx, %ebx
	testq	%rax, %rax
	je	LBB0_22
## %bb.11:
	movq	32(%r15), %rax
	movq	_U32_MAX@GOTPCREL(%rip), %r12
	cmpq	(%r12), %rax
	jbe	LBB0_13
## %bb.12:
	leaq	L_.str.3(%rip), %rsi
	jmp	LBB0_21
LBB0_13:
	movq	%r15, %rdi
	callq	_mbpf_src
	movq	_BPF_X@GOTPCREL(%rip), %rcx
	cmpq	(%rcx), %rax
	jne	LBB0_18
## %bb.14:
	movq	24(%r15), %rax
	cmpq	16(%r15), %rax
	je	LBB0_16
## %bb.15:
	leaq	L_.str.4(%rip), %rsi
	jmp	LBB0_21
LBB0_16:
	cmpq	(%r12), %rax
	jbe	LBB0_18
## %bb.17:
	leaq	L_.str.5(%rip), %rsi
	jmp	LBB0_21
LBB0_18:
	movq	%r15, %rdi
	callq	_mbpf_src
	movq	_BPF_K@GOTPCREL(%rip), %rcx
	cmpq	(%rcx), %rax
	jne	LBB0_22
## %bb.19:
	cmpq	$0, 8(%r15)
	jns	LBB0_22
## %bb.20:
	leaq	L_.str.6(%rip), %rsi
	jmp	LBB0_21
LBB0_9:
	leaq	L_.str.2(%rip), %rsi
LBB0_21:
	movq	-48(%rbp), %rdi                 ## 8-byte Reload
	callq	_pr_vlog
	movq	_EINVAL@GOTPCREL(%rip), %rax
	xorl	%ebx, %ebx
	subl	(%rax), %ebx
LBB0_22:
	movl	%ebx, %eax
	addq	$8, %rsp
	popq	%rbx
	popq	%r12
	popq	%r13
	popq	%r14
	popq	%r15
	popq	%rbp
	retq
	.cfi_endproc
                                        ## -- End function
	.comm	_U32_MAX,8,3                    ## @U32_MAX
	.section	__TEXT,__cstring,cstring_literals
L_.str:                                 ## @.str
	.asciz	"multiplier is not within u32 value range\n"

	.comm	_EINVAL,4,2                     ## @EINVAL
	.comm	_BPF_X,8,3                      ## @BPF_X
L_.str.1:                               ## @.str.1
	.asciz	"multiplicand is not within u32 value range\n"

	.comm	_BPF_ALU64,8,3                  ## @BPF_ALU64
	.comm	_BPF_K,8,3                      ## @BPF_K
L_.str.2:                               ## @.str.2
	.asciz	"sign extended multiplicand won't be within u32 value range\n"

L_.str.3:                               ## @.str.3
	.asciz	"dividend is not within u32 value range\n"

L_.str.4:                               ## @.str.4
	.asciz	"divisor is not constant\n"

L_.str.5:                               ## @.str.5
	.asciz	"divisor is not within u32 value range\n"

L_.str.6:                               ## @.str.6
	.asciz	"divide by negative constant is not supported\n"

	.no_dead_strip	_nfp_bpf_check_alu
.subsections_via_symbols

	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	2                               ; -- Begin function nfp_bpf_check_alu
_nfp_bpf_check_alu:                     ; @nfp_bpf_check_alu
	.cfi_startproc
; %bb.0:
	stp	x24, x23, [sp, #-64]!           ; 16-byte Folded Spill
	.cfi_def_cfa_offset 64
	stp	x22, x21, [sp, #16]             ; 16-byte Folded Spill
	stp	x20, x19, [sp, #32]             ; 16-byte Folded Spill
	stp	x29, x30, [sp, #48]             ; 16-byte Folded Spill
	add	x29, sp, #48
	.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
	.cfi_offset w23, -56
	.cfi_offset w24, -64
	mov	x19, x2
	mov	x20, x1
	mov	x0, x2
	bl	_cur_regs
	mov	x21, x0
	ldrsw	x23, [x20]
	mov	x0, x19
	bl	_cur_regs
	mov	x22, x0
	ldrsw	x24, [x20, #4]
	ldr	x0, [x20, #24]
	add	x21, x21, x23, lsl #3
	ldr	w1, [x21, #4]
	bl	_min
	str	x0, [x20, #24]
	ldr	x0, [x20, #16]
	ldr	w1, [x21]
	bl	_max
	str	x0, [x20, #16]
	ldr	x0, [x20, #40]
	add	x21, x22, x24, lsl #3
	ldr	w1, [x21, #4]
	bl	_min
	str	x0, [x20, #40]
	ldr	x0, [x20, #32]
	ldr	w1, [x21]
	bl	_max
	str	x0, [x20, #32]
	mov	x0, x20
	bl	_is_mbpf_mul
	cbz	x0, LBB0_9
; %bb.1:
	ldr	x8, [x20, #32]
Lloh0:
	adrp	x21, _U32_MAX@GOTPAGE
Lloh1:
	ldr	x21, [x21, _U32_MAX@GOTPAGEOFF]
	ldr	x9, [x21]
	cmp	x8, x9
	b.ls	LBB0_3
; %bb.2:
Lloh2:
	adrp	x1, l_.str@PAGE
Lloh3:
	add	x1, x1, l_.str@PAGEOFF
	b	LBB0_22
LBB0_3:
	mov	x0, x20
	bl	_mbpf_src
Lloh4:
	adrp	x8, _BPF_X@GOTPAGE
Lloh5:
	ldr	x8, [x8, _BPF_X@GOTPAGEOFF]
Lloh6:
	ldr	x8, [x8]
	cmp	x0, x8
	b.ne	LBB0_6
; %bb.4:
	ldr	x8, [x20, #16]
	ldr	x9, [x21]
	cmp	x8, x9
	b.ls	LBB0_6
; %bb.5:
Lloh7:
	adrp	x1, l_.str.1@PAGE
Lloh8:
	add	x1, x1, l_.str.1@PAGEOFF
	b	LBB0_22
LBB0_6:
	mov	x0, x20
	bl	_mbpf_class
Lloh9:
	adrp	x8, _BPF_ALU64@GOTPAGE
Lloh10:
	ldr	x8, [x8, _BPF_ALU64@GOTPAGEOFF]
Lloh11:
	ldr	x8, [x8]
	cmp	x0, x8
	b.ne	LBB0_9
; %bb.7:
	mov	x0, x20
	bl	_mbpf_src
Lloh12:
	adrp	x8, _BPF_K@GOTPAGE
Lloh13:
	ldr	x8, [x8, _BPF_K@GOTPAGEOFF]
Lloh14:
	ldr	x8, [x8]
	cmp	x0, x8
	b.ne	LBB0_9
; %bb.8:
	ldr	x8, [x20, #8]
	tbnz	x8, #63, LBB0_20
LBB0_9:
	mov	x0, x20
	bl	_is_mbpf_div
	cbz	x0, LBB0_23
; %bb.10:
	ldr	x8, [x20, #32]
Lloh15:
	adrp	x21, _U32_MAX@GOTPAGE
Lloh16:
	ldr	x21, [x21, _U32_MAX@GOTPAGEOFF]
	ldr	x9, [x21]
	cmp	x8, x9
	b.ls	LBB0_12
; %bb.11:
Lloh17:
	adrp	x1, l_.str.3@PAGE
Lloh18:
	add	x1, x1, l_.str.3@PAGEOFF
	b	LBB0_22
LBB0_12:
	mov	x0, x20
	bl	_mbpf_src
Lloh19:
	adrp	x8, _BPF_X@GOTPAGE
Lloh20:
	ldr	x8, [x8, _BPF_X@GOTPAGEOFF]
Lloh21:
	ldr	x8, [x8]
	cmp	x0, x8
	b.ne	LBB0_17
; %bb.13:
	ldp	x9, x8, [x20, #16]
	cmp	x8, x9
	b.eq	LBB0_15
; %bb.14:
Lloh22:
	adrp	x1, l_.str.4@PAGE
Lloh23:
	add	x1, x1, l_.str.4@PAGEOFF
	b	LBB0_22
LBB0_15:
	ldr	x9, [x21]
	cmp	x8, x9
	b.ls	LBB0_17
; %bb.16:
Lloh24:
	adrp	x1, l_.str.5@PAGE
Lloh25:
	add	x1, x1, l_.str.5@PAGEOFF
	b	LBB0_22
LBB0_17:
	mov	x0, x20
	bl	_mbpf_src
Lloh26:
	adrp	x8, _BPF_K@GOTPAGE
Lloh27:
	ldr	x8, [x8, _BPF_K@GOTPAGEOFF]
Lloh28:
	ldr	x8, [x8]
	cmp	x0, x8
	b.ne	LBB0_19
; %bb.18:
	ldr	x8, [x20, #8]
	tbnz	x8, #63, LBB0_21
LBB0_19:
	mov	w0, #0
	b	LBB0_23
LBB0_20:
Lloh29:
	adrp	x1, l_.str.2@PAGE
Lloh30:
	add	x1, x1, l_.str.2@PAGEOFF
	b	LBB0_22
LBB0_21:
Lloh31:
	adrp	x1, l_.str.6@PAGE
Lloh32:
	add	x1, x1, l_.str.6@PAGEOFF
LBB0_22:
	mov	x0, x19
	bl	_pr_vlog
Lloh33:
	adrp	x8, _EINVAL@GOTPAGE
Lloh34:
	ldr	x8, [x8, _EINVAL@GOTPAGEOFF]
Lloh35:
	ldr	w8, [x8]
	neg	w0, w8
LBB0_23:
	ldp	x29, x30, [sp, #48]             ; 16-byte Folded Reload
	ldp	x20, x19, [sp, #32]             ; 16-byte Folded Reload
	ldp	x22, x21, [sp, #16]             ; 16-byte Folded Reload
	ldp	x24, x23, [sp], #64             ; 16-byte Folded Reload
	ret
	.loh AdrpLdrGot	Lloh0, Lloh1
	.loh AdrpAdd	Lloh2, Lloh3
	.loh AdrpLdrGotLdr	Lloh4, Lloh5, Lloh6
	.loh AdrpAdd	Lloh7, Lloh8
	.loh AdrpLdrGotLdr	Lloh9, Lloh10, Lloh11
	.loh AdrpLdrGotLdr	Lloh12, Lloh13, Lloh14
	.loh AdrpLdrGot	Lloh15, Lloh16
	.loh AdrpAdd	Lloh17, Lloh18
	.loh AdrpLdrGotLdr	Lloh19, Lloh20, Lloh21
	.loh AdrpAdd	Lloh22, Lloh23
	.loh AdrpAdd	Lloh24, Lloh25
	.loh AdrpLdrGotLdr	Lloh26, Lloh27, Lloh28
	.loh AdrpAdd	Lloh29, Lloh30
	.loh AdrpAdd	Lloh31, Lloh32
	.loh AdrpLdrGotLdr	Lloh33, Lloh34, Lloh35
	.cfi_endproc
                                        ; -- End function
	.comm	_U32_MAX,8,3                    ; @U32_MAX
	.section	__TEXT,__cstring,cstring_literals
l_.str:                                 ; @.str
	.asciz	"multiplier is not within u32 value range\n"

	.comm	_EINVAL,4,2                     ; @EINVAL
	.comm	_BPF_X,8,3                      ; @BPF_X
l_.str.1:                               ; @.str.1
	.asciz	"multiplicand is not within u32 value range\n"

	.comm	_BPF_ALU64,8,3                  ; @BPF_ALU64
	.comm	_BPF_K,8,3                      ; @BPF_K
l_.str.2:                               ; @.str.2
	.asciz	"sign extended multiplicand won't be within u32 value range\n"

l_.str.3:                               ; @.str.3
	.asciz	"dividend is not within u32 value range\n"

l_.str.4:                               ; @.str.4
	.asciz	"divisor is not constant\n"

l_.str.5:                               ; @.str.5
	.asciz	"divisor is not within u32 value range\n"

l_.str.6:                               ; @.str.6
	.asciz	"divide by negative constant is not supported\n"

	.no_dead_strip	_nfp_bpf_check_alu
.subsections_via_symbols
