	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	4, 0x90                         ## -- Begin function secp256k1_scalar_shr_int
_secp256k1_scalar_shr_int:              ## @secp256k1_scalar_shr_int
	.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	%rbx
	pushq	%rax
	.cfi_offset %rbx, -40
	.cfi_offset %r14, -32
	.cfi_offset %r15, -24
	movl	%esi, %r15d
	movq	%rdi, %r14
	xorl	%edi, %edi
	testl	%esi, %esi
	setg	%dil
	callq	_VERIFY_CHECK
	xorl	%edi, %edi
	cmpl	$16, %r15d
	setl	%dil
	callq	_VERIFY_CHECK
	movl	$-1, %eax
	movl	%r15d, %ecx
	shll	%cl, %eax
	movq	(%r14), %rsi
	notl	%eax
	movl	(%rsi), %edi
	movl	4(%rsi), %r8d
	andl	%edi, %eax
	sarl	%cl, %edi
	movl	%r15d, %r9d
	negb	%r9b
	movl	%r8d, %ebx
	movl	%r9d, %ecx
	shll	%cl, %ebx
	addl	%edi, %ebx
	movl	%ebx, (%rsi)
	movl	%r15d, %ecx
	sarl	%cl, %r8d
	movl	8(%rsi), %ebx
	movl	%ebx, %edi
	movl	%r9d, %ecx
	shll	%cl, %edi
	addl	%r8d, %edi
	movl	%edi, 4(%rsi)
	movl	%r15d, %ecx
	sarl	%cl, %ebx
	movl	12(%rsi), %edx
	movl	%edx, %edi
	movl	%r9d, %ecx
	shll	%cl, %edi
	addl	%ebx, %edi
	movl	%edi, 8(%rsi)
	movl	%r15d, %ecx
	sarl	%cl, %edx
	movl	16(%rsi), %ebx
	movl	%ebx, %edi
	movl	%r9d, %ecx
	shll	%cl, %edi
	addl	%edx, %edi
	movl	%edi, 12(%rsi)
	movl	%r15d, %ecx
	sarl	%cl, %ebx
	movl	20(%rsi), %edx
	movl	%edx, %edi
	movl	%r9d, %ecx
	shll	%cl, %edi
	addl	%ebx, %edi
	movl	%edi, 16(%rsi)
	movl	%r15d, %ecx
	sarl	%cl, %edx
	movl	24(%rsi), %ebx
	movl	%ebx, %edi
	movl	%r9d, %ecx
	shll	%cl, %edi
	addl	%edx, %edi
	movl	%edi, 20(%rsi)
	movl	%r15d, %ecx
	sarl	%cl, %ebx
	movl	28(%rsi), %edx
	movl	%edx, %edi
	movl	%r9d, %ecx
	shll	%cl, %edi
	addl	%ebx, %edi
	movl	%edi, 24(%rsi)
	movl	%r15d, %ecx
	sarl	%cl, %edx
	movl	%edx, 28(%rsi)
	addq	$8, %rsp
	popq	%rbx
	popq	%r14
	popq	%r15
	popq	%rbp
	retq
	.cfi_endproc
                                        ## -- End function
	.no_dead_strip	_secp256k1_scalar_shr_int
.subsections_via_symbols

	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	2                               ; -- Begin function secp256k1_scalar_shr_int
_secp256k1_scalar_shr_int:              ; @secp256k1_scalar_shr_int
	.cfi_startproc
; %bb.0:
	stp	x20, x19, [sp, #-32]!           ; 16-byte Folded Spill
	.cfi_def_cfa_offset 32
	stp	x29, x30, [sp, #16]             ; 16-byte Folded Spill
	add	x29, sp, #16
	.cfi_def_cfa w29, 16
	.cfi_offset w30, -8
	.cfi_offset w29, -16
	.cfi_offset w19, -24
	.cfi_offset w20, -32
	mov	x19, x1
	mov	x20, x0
	cmp	w1, #0
	cset	w0, gt
	bl	_VERIFY_CHECK
	cmp	w19, #16
	cset	w0, lt
	bl	_VERIFY_CHECK
	ldr	x8, [x20]
	ldr	w9, [x8]
	mov	w10, #-1
	lsl	w10, w10, w19
	bic	w0, w9, w10
	mov	w10, #32
	sub	w10, w10, w19
	ldur	q0, [x8, #4]
	dup.4s	v1, w10
	mov.s	w10, v0[3]
	ushl.4s	v1, v0, v1
	mov.s	v0[3], w9
	asr	w9, w10, w19
	neg	w10, w19
	ldp	w11, w12, [x8, #20]
	lsl	w13, w11, w10
	add	w9, w13, w9
	asr	w11, w11, w19
	lsl	w13, w12, w10
	add	w11, w13, w11
	dup.4s	v2, w19
	neg.4s	v2, v2
	sshl.4s	v0, v0, v2
	ext.16b	v0, v0, v0, #12
	add.4s	v0, v1, v0
	str	q0, [x8]
	stp	w9, w11, [x8, #16]
	asr	w9, w12, w19
	ldr	w11, [x8, #28]
	lsl	w10, w11, w10
	add	w9, w10, w9
	asr	w10, w11, w19
	stp	w9, w10, [x8, #24]
	ldp	x29, x30, [sp, #16]             ; 16-byte Folded Reload
	ldp	x20, x19, [sp], #32             ; 16-byte Folded Reload
	ret
	.cfi_endproc
                                        ; -- End function
	.no_dead_strip	_secp256k1_scalar_shr_int
.subsections_via_symbols
