	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.globl	_sc25519_isshort_vartime        ## -- Begin function sc25519_isshort_vartime
	.p2align	4, 0x90
_sc25519_isshort_vartime:               ## @sc25519_isshort_vartime
	.cfi_startproc
## %bb.0:
	pushq	%rbp
	.cfi_def_cfa_offset 16
	.cfi_offset %rbp, -16
	movq	%rsp, %rbp
	.cfi_def_cfa_register %rbp
	movq	(%rdi), %rcx
	xorl	%eax, %eax
	cmpq	$0, 248(%rcx)
	je	LBB0_1
LBB0_16:
	popq	%rbp
	retq
LBB0_1:
	cmpq	$0, 240(%rcx)
	jne	LBB0_16
## %bb.2:
	cmpq	$0, 232(%rcx)
	jne	LBB0_16
## %bb.3:
	cmpq	$0, 224(%rcx)
	jne	LBB0_16
## %bb.4:
	cmpq	$0, 216(%rcx)
	jne	LBB0_16
## %bb.5:
	cmpq	$0, 208(%rcx)
	jne	LBB0_16
## %bb.6:
	cmpq	$0, 200(%rcx)
	jne	LBB0_16
## %bb.7:
	cmpq	$0, 192(%rcx)
	jne	LBB0_16
## %bb.8:
	cmpq	$0, 184(%rcx)
	jne	LBB0_16
## %bb.9:
	cmpq	$0, 176(%rcx)
	jne	LBB0_16
## %bb.10:
	cmpq	$0, 168(%rcx)
	jne	LBB0_16
## %bb.11:
	cmpq	$0, 160(%rcx)
	jne	LBB0_16
## %bb.12:
	cmpq	$0, 152(%rcx)
	jne	LBB0_16
## %bb.13:
	cmpq	$0, 144(%rcx)
	jne	LBB0_16
## %bb.14:
	cmpq	$0, 136(%rcx)
	jne	LBB0_16
## %bb.15:
	xorl	%eax, %eax
	cmpq	$0, 128(%rcx)
	sete	%al
	popq	%rbp
	retq
	.cfi_endproc
                                        ## -- End function
.subsections_via_symbols

	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.globl	_sc25519_isshort_vartime        ; -- Begin function sc25519_isshort_vartime
	.p2align	2
_sc25519_isshort_vartime:               ; @sc25519_isshort_vartime
	.cfi_startproc
; %bb.0:
	ldr	x8, [x0]
	ldr	x9, [x8, #248]
	cbz	x9, LBB0_2
; %bb.1:
	mov	w0, #0
	ret
LBB0_2:
	ldr	x9, [x8, #240]
	cbz	x9, LBB0_4
; %bb.3:
	mov	w0, #0
	ret
LBB0_4:
	ldr	x9, [x8, #232]
	cbz	x9, LBB0_6
; %bb.5:
	mov	w0, #0
	ret
LBB0_6:
	ldr	x9, [x8, #224]
	cbz	x9, LBB0_8
; %bb.7:
	mov	w0, #0
	ret
LBB0_8:
	ldr	x9, [x8, #216]
	cbz	x9, LBB0_10
; %bb.9:
	mov	w0, #0
	ret
LBB0_10:
	ldr	x9, [x8, #208]
	cbz	x9, LBB0_12
; %bb.11:
	mov	w0, #0
	ret
LBB0_12:
	ldr	x9, [x8, #200]
	cbz	x9, LBB0_14
; %bb.13:
	mov	w0, #0
	ret
LBB0_14:
	ldr	x9, [x8, #192]
	cbz	x9, LBB0_16
; %bb.15:
	mov	w0, #0
	ret
LBB0_16:
	ldr	x9, [x8, #184]
	cbz	x9, LBB0_18
; %bb.17:
	mov	w0, #0
	ret
LBB0_18:
	ldr	x9, [x8, #176]
	cbz	x9, LBB0_20
; %bb.19:
	mov	w0, #0
	ret
LBB0_20:
	ldr	x9, [x8, #168]
	cbz	x9, LBB0_22
; %bb.21:
	mov	w0, #0
	ret
LBB0_22:
	ldr	x9, [x8, #160]
	cbz	x9, LBB0_24
; %bb.23:
	mov	w0, #0
	ret
LBB0_24:
	ldr	x9, [x8, #152]
	cbz	x9, LBB0_26
; %bb.25:
	mov	w0, #0
	ret
LBB0_26:
	ldr	x9, [x8, #144]
	cbz	x9, LBB0_28
; %bb.27:
	mov	w0, #0
	ret
LBB0_28:
	ldr	x9, [x8, #136]
	cbz	x9, LBB0_30
; %bb.29:
	mov	w0, #0
	ret
LBB0_30:
	ldr	x8, [x8, #128]
	cmp	x8, #0
	cset	w0, eq
	ret
	.cfi_endproc
                                        ; -- End function
.subsections_via_symbols
