	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.globl	_DH_check_ex                    ## -- Begin function DH_check_ex
	.p2align	4, 0x90
_DH_check_ex:                           ## @DH_check_ex
	.cfi_startproc
## %bb.0:
	pushq	%rbp
	.cfi_def_cfa_offset 16
	.cfi_offset %rbp, -16
	movq	%rsp, %rbp
	.cfi_def_cfa_register %rbp
	subq	$16, %rsp
	movl	$0, -4(%rbp)
	leaq	-4(%rbp), %rsi
	callq	_DH_check
	testl	%eax, %eax
	je	LBB0_1
## %bb.2:
	movl	-4(%rbp), %ecx
	movq	_DH_NOT_SUITABLE_GENERATOR@GOTPCREL(%rip), %rax
	testl	%ecx, (%rax)
	je	LBB0_4
## %bb.3:
	movq	_DH_F_DH_CHECK_EX@GOTPCREL(%rip), %rax
	movl	(%rax), %edi
	movq	_DH_R_NOT_SUITABLE_GENERATOR@GOTPCREL(%rip), %rax
	movl	(%rax), %esi
	callq	_DHerr
	movl	-4(%rbp), %ecx
LBB0_4:
	movq	_DH_CHECK_Q_NOT_PRIME@GOTPCREL(%rip), %rax
	testl	%ecx, (%rax)
	je	LBB0_6
## %bb.5:
	movq	_DH_F_DH_CHECK_EX@GOTPCREL(%rip), %rax
	movl	(%rax), %edi
	movq	_DH_R_CHECK_Q_NOT_PRIME@GOTPCREL(%rip), %rax
	movl	(%rax), %esi
	callq	_DHerr
	movl	-4(%rbp), %ecx
LBB0_6:
	movq	_DH_CHECK_INVALID_Q_VALUE@GOTPCREL(%rip), %rax
	testl	%ecx, (%rax)
	je	LBB0_8
## %bb.7:
	movq	_DH_F_DH_CHECK_EX@GOTPCREL(%rip), %rax
	movl	(%rax), %edi
	movq	_DH_R_CHECK_INVALID_Q_VALUE@GOTPCREL(%rip), %rax
	movl	(%rax), %esi
	callq	_DHerr
	movl	-4(%rbp), %ecx
LBB0_8:
	movq	_DH_CHECK_INVALID_J_VALUE@GOTPCREL(%rip), %rax
	testl	%ecx, (%rax)
	je	LBB0_10
## %bb.9:
	movq	_DH_F_DH_CHECK_EX@GOTPCREL(%rip), %rax
	movl	(%rax), %edi
	movq	_DH_R_CHECK_INVALID_J_VALUE@GOTPCREL(%rip), %rax
	movl	(%rax), %esi
	callq	_DHerr
	movl	-4(%rbp), %ecx
LBB0_10:
	movq	_DH_UNABLE_TO_CHECK_GENERATOR@GOTPCREL(%rip), %rax
	testl	%ecx, (%rax)
	je	LBB0_12
## %bb.11:
	movq	_DH_F_DH_CHECK_EX@GOTPCREL(%rip), %rax
	movl	(%rax), %edi
	movq	_DH_R_UNABLE_TO_CHECK_GENERATOR@GOTPCREL(%rip), %rax
	movl	(%rax), %esi
	callq	_DHerr
	movl	-4(%rbp), %ecx
LBB0_12:
	movq	_DH_CHECK_P_NOT_PRIME@GOTPCREL(%rip), %rax
	testl	%ecx, (%rax)
	je	LBB0_14
## %bb.13:
	movq	_DH_F_DH_CHECK_EX@GOTPCREL(%rip), %rax
	movl	(%rax), %edi
	movq	_DH_R_CHECK_P_NOT_PRIME@GOTPCREL(%rip), %rax
	movl	(%rax), %esi
	callq	_DHerr
	movl	-4(%rbp), %ecx
LBB0_14:
	movq	_DH_CHECK_P_NOT_SAFE_PRIME@GOTPCREL(%rip), %rax
	testl	%ecx, (%rax)
	je	LBB0_16
## %bb.15:
	movq	_DH_F_DH_CHECK_EX@GOTPCREL(%rip), %rax
	movl	(%rax), %edi
	movq	_DH_R_CHECK_P_NOT_SAFE_PRIME@GOTPCREL(%rip), %rax
	movl	(%rax), %esi
	callq	_DHerr
	movl	-4(%rbp), %ecx
LBB0_16:
	xorl	%eax, %eax
	testl	%ecx, %ecx
	sete	%al
	jmp	LBB0_17
LBB0_1:
	xorl	%eax, %eax
LBB0_17:
	addq	$16, %rsp
	popq	%rbp
	retq
	.cfi_endproc
                                        ## -- End function
	.comm	_DH_NOT_SUITABLE_GENERATOR,4,2  ## @DH_NOT_SUITABLE_GENERATOR
	.comm	_DH_F_DH_CHECK_EX,4,2           ## @DH_F_DH_CHECK_EX
	.comm	_DH_R_NOT_SUITABLE_GENERATOR,4,2 ## @DH_R_NOT_SUITABLE_GENERATOR
	.comm	_DH_CHECK_Q_NOT_PRIME,4,2       ## @DH_CHECK_Q_NOT_PRIME
	.comm	_DH_R_CHECK_Q_NOT_PRIME,4,2     ## @DH_R_CHECK_Q_NOT_PRIME
	.comm	_DH_CHECK_INVALID_Q_VALUE,4,2   ## @DH_CHECK_INVALID_Q_VALUE
	.comm	_DH_R_CHECK_INVALID_Q_VALUE,4,2 ## @DH_R_CHECK_INVALID_Q_VALUE
	.comm	_DH_CHECK_INVALID_J_VALUE,4,2   ## @DH_CHECK_INVALID_J_VALUE
	.comm	_DH_R_CHECK_INVALID_J_VALUE,4,2 ## @DH_R_CHECK_INVALID_J_VALUE
	.comm	_DH_UNABLE_TO_CHECK_GENERATOR,4,2 ## @DH_UNABLE_TO_CHECK_GENERATOR
	.comm	_DH_R_UNABLE_TO_CHECK_GENERATOR,4,2 ## @DH_R_UNABLE_TO_CHECK_GENERATOR
	.comm	_DH_CHECK_P_NOT_PRIME,4,2       ## @DH_CHECK_P_NOT_PRIME
	.comm	_DH_R_CHECK_P_NOT_PRIME,4,2     ## @DH_R_CHECK_P_NOT_PRIME
	.comm	_DH_CHECK_P_NOT_SAFE_PRIME,4,2  ## @DH_CHECK_P_NOT_SAFE_PRIME
	.comm	_DH_R_CHECK_P_NOT_SAFE_PRIME,4,2 ## @DH_R_CHECK_P_NOT_SAFE_PRIME
.subsections_via_symbols

	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.globl	_DH_check_ex                    ; -- Begin function DH_check_ex
	.p2align	2
_DH_check_ex:                           ; @DH_check_ex
	.cfi_startproc
; %bb.0:
	sub	sp, sp, #48
	.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
	str	wzr, [sp, #12]
	add	x1, sp, #12
	bl	_DH_check
	cbz	w0, LBB0_16
; %bb.1:
	ldr	w8, [sp, #12]
Lloh0:
	adrp	x9, _DH_NOT_SUITABLE_GENERATOR@GOTPAGE
Lloh1:
	ldr	x9, [x9, _DH_NOT_SUITABLE_GENERATOR@GOTPAGEOFF]
Lloh2:
	ldr	w9, [x9]
Lloh3:
	adrp	x19, _DH_F_DH_CHECK_EX@GOTPAGE
Lloh4:
	ldr	x19, [x19, _DH_F_DH_CHECK_EX@GOTPAGEOFF]
	tst	w9, w8
	b.eq	LBB0_3
; %bb.2:
	ldr	w0, [x19]
Lloh5:
	adrp	x8, _DH_R_NOT_SUITABLE_GENERATOR@GOTPAGE
Lloh6:
	ldr	x8, [x8, _DH_R_NOT_SUITABLE_GENERATOR@GOTPAGEOFF]
Lloh7:
	ldr	w1, [x8]
	bl	_DHerr
	ldr	w8, [sp, #12]
LBB0_3:
Lloh8:
	adrp	x9, _DH_CHECK_Q_NOT_PRIME@GOTPAGE
Lloh9:
	ldr	x9, [x9, _DH_CHECK_Q_NOT_PRIME@GOTPAGEOFF]
Lloh10:
	ldr	w9, [x9]
	tst	w9, w8
	b.eq	LBB0_5
; %bb.4:
	ldr	w0, [x19]
Lloh11:
	adrp	x8, _DH_R_CHECK_Q_NOT_PRIME@GOTPAGE
Lloh12:
	ldr	x8, [x8, _DH_R_CHECK_Q_NOT_PRIME@GOTPAGEOFF]
Lloh13:
	ldr	w1, [x8]
	bl	_DHerr
	ldr	w8, [sp, #12]
LBB0_5:
Lloh14:
	adrp	x9, _DH_CHECK_INVALID_Q_VALUE@GOTPAGE
Lloh15:
	ldr	x9, [x9, _DH_CHECK_INVALID_Q_VALUE@GOTPAGEOFF]
Lloh16:
	ldr	w9, [x9]
	tst	w9, w8
	b.eq	LBB0_7
; %bb.6:
	ldr	w0, [x19]
Lloh17:
	adrp	x8, _DH_R_CHECK_INVALID_Q_VALUE@GOTPAGE
Lloh18:
	ldr	x8, [x8, _DH_R_CHECK_INVALID_Q_VALUE@GOTPAGEOFF]
Lloh19:
	ldr	w1, [x8]
	bl	_DHerr
	ldr	w8, [sp, #12]
LBB0_7:
Lloh20:
	adrp	x9, _DH_CHECK_INVALID_J_VALUE@GOTPAGE
Lloh21:
	ldr	x9, [x9, _DH_CHECK_INVALID_J_VALUE@GOTPAGEOFF]
Lloh22:
	ldr	w9, [x9]
	tst	w9, w8
	b.eq	LBB0_9
; %bb.8:
	ldr	w0, [x19]
Lloh23:
	adrp	x8, _DH_R_CHECK_INVALID_J_VALUE@GOTPAGE
Lloh24:
	ldr	x8, [x8, _DH_R_CHECK_INVALID_J_VALUE@GOTPAGEOFF]
Lloh25:
	ldr	w1, [x8]
	bl	_DHerr
	ldr	w8, [sp, #12]
LBB0_9:
Lloh26:
	adrp	x9, _DH_UNABLE_TO_CHECK_GENERATOR@GOTPAGE
Lloh27:
	ldr	x9, [x9, _DH_UNABLE_TO_CHECK_GENERATOR@GOTPAGEOFF]
Lloh28:
	ldr	w9, [x9]
	tst	w9, w8
	b.eq	LBB0_11
; %bb.10:
	ldr	w0, [x19]
Lloh29:
	adrp	x8, _DH_R_UNABLE_TO_CHECK_GENERATOR@GOTPAGE
Lloh30:
	ldr	x8, [x8, _DH_R_UNABLE_TO_CHECK_GENERATOR@GOTPAGEOFF]
Lloh31:
	ldr	w1, [x8]
	bl	_DHerr
	ldr	w8, [sp, #12]
LBB0_11:
Lloh32:
	adrp	x9, _DH_CHECK_P_NOT_PRIME@GOTPAGE
Lloh33:
	ldr	x9, [x9, _DH_CHECK_P_NOT_PRIME@GOTPAGEOFF]
Lloh34:
	ldr	w9, [x9]
	tst	w9, w8
	b.eq	LBB0_13
; %bb.12:
	ldr	w0, [x19]
Lloh35:
	adrp	x8, _DH_R_CHECK_P_NOT_PRIME@GOTPAGE
Lloh36:
	ldr	x8, [x8, _DH_R_CHECK_P_NOT_PRIME@GOTPAGEOFF]
Lloh37:
	ldr	w1, [x8]
	bl	_DHerr
	ldr	w8, [sp, #12]
LBB0_13:
Lloh38:
	adrp	x9, _DH_CHECK_P_NOT_SAFE_PRIME@GOTPAGE
Lloh39:
	ldr	x9, [x9, _DH_CHECK_P_NOT_SAFE_PRIME@GOTPAGEOFF]
Lloh40:
	ldr	w9, [x9]
	tst	w9, w8
	b.eq	LBB0_15
; %bb.14:
	ldr	w0, [x19]
Lloh41:
	adrp	x8, _DH_R_CHECK_P_NOT_SAFE_PRIME@GOTPAGE
Lloh42:
	ldr	x8, [x8, _DH_R_CHECK_P_NOT_SAFE_PRIME@GOTPAGEOFF]
Lloh43:
	ldr	w1, [x8]
	bl	_DHerr
	ldr	w8, [sp, #12]
LBB0_15:
	cmp	w8, #0
	cset	w0, eq
LBB0_16:
	ldp	x29, x30, [sp, #32]             ; 16-byte Folded Reload
	ldp	x20, x19, [sp, #16]             ; 16-byte Folded Reload
	add	sp, sp, #48
	ret
	.loh AdrpLdrGot	Lloh3, Lloh4
	.loh AdrpLdrGotLdr	Lloh0, Lloh1, Lloh2
	.loh AdrpLdrGotLdr	Lloh5, Lloh6, Lloh7
	.loh AdrpLdrGotLdr	Lloh8, Lloh9, Lloh10
	.loh AdrpLdrGotLdr	Lloh11, Lloh12, Lloh13
	.loh AdrpLdrGotLdr	Lloh14, Lloh15, Lloh16
	.loh AdrpLdrGotLdr	Lloh17, Lloh18, Lloh19
	.loh AdrpLdrGotLdr	Lloh20, Lloh21, Lloh22
	.loh AdrpLdrGotLdr	Lloh23, Lloh24, Lloh25
	.loh AdrpLdrGotLdr	Lloh26, Lloh27, Lloh28
	.loh AdrpLdrGotLdr	Lloh29, Lloh30, Lloh31
	.loh AdrpLdrGotLdr	Lloh32, Lloh33, Lloh34
	.loh AdrpLdrGotLdr	Lloh35, Lloh36, Lloh37
	.loh AdrpLdrGotLdr	Lloh38, Lloh39, Lloh40
	.loh AdrpLdrGotLdr	Lloh41, Lloh42, Lloh43
	.cfi_endproc
                                        ; -- End function
	.comm	_DH_NOT_SUITABLE_GENERATOR,4,2  ; @DH_NOT_SUITABLE_GENERATOR
	.comm	_DH_F_DH_CHECK_EX,4,2           ; @DH_F_DH_CHECK_EX
	.comm	_DH_R_NOT_SUITABLE_GENERATOR,4,2 ; @DH_R_NOT_SUITABLE_GENERATOR
	.comm	_DH_CHECK_Q_NOT_PRIME,4,2       ; @DH_CHECK_Q_NOT_PRIME
	.comm	_DH_R_CHECK_Q_NOT_PRIME,4,2     ; @DH_R_CHECK_Q_NOT_PRIME
	.comm	_DH_CHECK_INVALID_Q_VALUE,4,2   ; @DH_CHECK_INVALID_Q_VALUE
	.comm	_DH_R_CHECK_INVALID_Q_VALUE,4,2 ; @DH_R_CHECK_INVALID_Q_VALUE
	.comm	_DH_CHECK_INVALID_J_VALUE,4,2   ; @DH_CHECK_INVALID_J_VALUE
	.comm	_DH_R_CHECK_INVALID_J_VALUE,4,2 ; @DH_R_CHECK_INVALID_J_VALUE
	.comm	_DH_UNABLE_TO_CHECK_GENERATOR,4,2 ; @DH_UNABLE_TO_CHECK_GENERATOR
	.comm	_DH_R_UNABLE_TO_CHECK_GENERATOR,4,2 ; @DH_R_UNABLE_TO_CHECK_GENERATOR
	.comm	_DH_CHECK_P_NOT_PRIME,4,2       ; @DH_CHECK_P_NOT_PRIME
	.comm	_DH_R_CHECK_P_NOT_PRIME,4,2     ; @DH_R_CHECK_P_NOT_PRIME
	.comm	_DH_CHECK_P_NOT_SAFE_PRIME,4,2  ; @DH_CHECK_P_NOT_SAFE_PRIME
	.comm	_DH_R_CHECK_P_NOT_SAFE_PRIME,4,2 ; @DH_R_CHECK_P_NOT_SAFE_PRIME
.subsections_via_symbols
