	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.globl	_smt_srf_event                  ## -- Begin function smt_srf_event
	.p2align	4, 0x90
_smt_srf_event:                         ## @smt_srf_event
	.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
	movl	%ecx, %r12d
	movl	%edx, %r15d
	movl	%esi, %ebx
	movq	%rdi, %r14
	movq	_TICKS_PER_SECOND@GOTPCREL(%rip), %rax
	movl	(%rax), %r13d
	testl	%ecx, %ecx
	je	LBB0_3
## %bb.1:
	movq	_SMT_COND_MAC_DUP_ADDR@GOTPCREL(%rip), %rax
	cmpl	%ebx, (%rax)
	jne	LBB0_3
## %bb.2:
	movq	_RS_DUPADDR@GOTPCREL(%rip), %rax
	movl	(%rax), %esi
	movq	%r14, %rdi
	callq	_RS_SET
LBB0_3:
	testl	%ebx, %ebx
	je	LBB0_10
## %bb.4:
	movq	_srf_names@GOTPCREL(%rip), %rax
	movq	(%rax), %rax
	movslq	%ebx, %rcx
	movl	(%rax,%rcx,4), %esi
	leaq	L_.str(%rip), %rdi
	movl	%r15d, %edx
	xorl	%eax, %eax
	callq	_DB_SMT
	movq	%r14, %rdi
	movl	%ebx, %esi
	movl	%r15d, %edx
	callq	_smt_get_evc
	testq	%rax, %rax
	je	LBB0_11
## %bb.5:
	movq	%rax, %r15
	movl	%ebx, %edi
	callq	_SMT_IS_CONDITION
	testq	%rax, %rax
	je	LBB0_7
## %bb.6:
	movq	(%r15), %rax
	cmpl	%r12d, (%rax)
	je	LBB0_38
LBB0_7:
	movl	28(%r14), %esi
	movq	%r14, %rdi
	callq	_smt_set_timestamp
	movl	%ebx, %edi
	callq	_SMT_IS_CONDITION
	testq	%rax, %rax
	je	LBB0_12
## %bb.8:
	testl	%r12d, %r12d
	leaq	L_.str.3(%rip), %rax
	leaq	L_.str.4(%rip), %rsi
	cmovneq	%rax, %rsi
	leaq	L_.str.2(%rip), %rdi
	xorl	%eax, %eax
	callq	_DB_SMT
	testl	%r12d, %r12d
	je	LBB0_34
## %bb.9:
	movq	_TRUE@GOTPCREL(%rip), %rax
	movq	(%rax), %rbx
	movq	(%r15), %rax
	movl	%ebx, (%rax)
	movl	%ebx, 8(%r15)
	movq	%rbx, 16(%r14)
	xorl	%r12d, %r12d
	xorl	%r15d, %r15d
	jmp	LBB0_16
LBB0_10:
	xorl	%r12d, %r12d
	jmp	LBB0_15
LBB0_11:
	leaq	L_.str.1(%rip), %rdi
	xorl	%eax, %eax
	addq	$8, %rsp
	popq	%rbx
	popq	%r12
	popq	%r13
	popq	%r14
	popq	%r15
	popq	%rbp
	jmp	_DB_SMT                         ## TAILCALL
LBB0_12:
	cmpl	$0, 8(%r15)
	movq	_TRUE@GOTPCREL(%rip), %rax
	movq	(%rax), %rcx
	jne	LBB0_14
## %bb.13:
	movl	%ecx, 8(%r15)
	movq	_FALSE@GOTPCREL(%rip), %rcx
	movq	(%rcx), %rcx
LBB0_14:
	movq	16(%r15), %rdx
	movq	%rcx, (%rdx)
	movq	(%rax), %r12
	movq	%r12, 16(%r14)
LBB0_15:
	xorl	%r15d, %r15d
	xorl	%ebx, %ebx
LBB0_16:
	xorl	%eax, %eax
	callq	_smt_get_time
	movl	8(%r14), %ecx
	cmpl	$128, %ecx
	je	LBB0_22
## %bb.17:
	addl	%r13d, %r13d
	subl	(%r14), %eax
	cmpl	$129, %ecx
	je	LBB0_24
## %bb.18:
	cmpl	$130, %ecx
	jne	LBB0_38
## %bb.19:
	testl	%ebx, %ebx
	je	LBB0_29
## %bb.20:
	cmpl	%eax, %r13d
	jle	LBB0_29
## %bb.21:
	movq	_THRESHOLD_2@GOTPCREL(%rip), %rax
	movl	(%rax), %eax
	movl	%eax, 12(%r14)
	jmp	LBB0_37
LBB0_22:
	cmpl	$0, 24(%r14)
	je	LBB0_38
## %bb.23:
	movl	$130, 8(%r14)
	xorl	%eax, %eax
	callq	_smt_get_time
	movq	%rax, (%r14)
	movq	_THRESHOLD_2@GOTPCREL(%rip), %rax
	movl	(%rax), %eax
	movl	%eax, 12(%r14)
	movq	%r14, %rdi
	addq	$8, %rsp
	popq	%rbx
	popq	%r12
	popq	%r13
	popq	%r14
	popq	%r15
	popq	%rbp
	jmp	_clear_all_rep                  ## TAILCALL
LBB0_24:
	cmpl	%eax, %r13d
	jle	LBB0_32
## %bb.25:
	testl	%ebx, %ebx
	je	LBB0_27
## %bb.26:
	movq	_THRESHOLD_2@GOTPCREL(%rip), %rax
	movl	(%rax), %eax
	movl	%eax, 12(%r14)
LBB0_27:
	cmpl	$0, 24(%r14)
	jne	LBB0_38
LBB0_49:
	movl	$128, 8(%r14)
	jmp	LBB0_38
LBB0_29:
	testl	%r15d, %r15d
	je	LBB0_35
## %bb.30:
	cmpl	%eax, %r13d
	jg	LBB0_37
LBB0_35:
	testl	%r12d, %r12d
	je	LBB0_39
## %bb.36:
	cmpl	%eax, %r13d
	jle	LBB0_39
LBB0_37:
	movl	$129, 8(%r14)
LBB0_38:
	addq	$8, %rsp
	popq	%rbx
	popq	%r12
	popq	%r13
	popq	%r14
	popq	%r15
	popq	%rbp
	retq
LBB0_32:
	movl	$130, 8(%r14)
LBB0_33:
	xorl	%eax, %eax
	callq	_smt_get_time
	movq	%rax, (%r14)
	movq	%r14, %rdi
	addq	$8, %rsp
	popq	%rbx
	popq	%r12
	popq	%r13
	popq	%r14
	popq	%r15
	popq	%rbp
	jmp	_smt_send_srf                   ## TAILCALL
LBB0_34:
	movq	_FALSE@GOTPCREL(%rip), %rax
	movl	(%rax), %eax
	movq	(%r15), %rcx
	movl	%eax, (%rcx)
	movq	_TRUE@GOTPCREL(%rip), %rax
	movl	(%rax), %r15d
	xorl	%ebx, %ebx
	xorl	%r12d, %r12d
	jmp	LBB0_16
LBB0_39:
	testl	%ebx, %ebx
	je	LBB0_42
## %bb.40:
	cmpl	%eax, %r13d
	jg	LBB0_42
## %bb.41:
	movq	_THRESHOLD_2@GOTPCREL(%rip), %rax
	movl	(%rax), %eax
	movl	%eax, 12(%r14)
	jmp	LBB0_33
LBB0_42:
	testl	%r15d, %r15d
	je	LBB0_44
## %bb.43:
	cmpl	%eax, %r13d
	jle	LBB0_33
LBB0_44:
	testl	%r12d, %r12d
	je	LBB0_46
## %bb.45:
	cmpl	%eax, %r13d
	jle	LBB0_33
LBB0_46:
	cmpq	$0, 16(%r14)
	je	LBB0_48
## %bb.47:
	movl	12(%r14), %ecx
	cmpl	%eax, %ecx
	jle	LBB0_50
LBB0_48:
	cmpl	$0, 24(%r14)
	jne	LBB0_38
	jmp	LBB0_49
LBB0_50:
	addl	%ecx, %ecx
	movq	_THRESHOLD_32@GOTPCREL(%rip), %rax
	movl	(%rax), %eax
	cmpl	%eax, %ecx
	cmovgel	%eax, %ecx
	movl	%ecx, 12(%r14)
	jmp	LBB0_33
	.cfi_endproc
                                        ## -- End function
	.comm	_TICKS_PER_SECOND,4,2           ## @TICKS_PER_SECOND
	.comm	_SMT_COND_MAC_DUP_ADDR,4,2      ## @SMT_COND_MAC_DUP_ADDR
	.comm	_RS_DUPADDR,4,2                 ## @RS_DUPADDR
	.section	__TEXT,__cstring,cstring_literals
L_.str:                                 ## @.str
	.asciz	"SRF: %s index %d"

	.comm	_srf_names,8,3                  ## @srf_names
L_.str.1:                               ## @.str.1
	.asciz	"SRF : smt_get_evc() failed"

L_.str.2:                               ## @.str.2
	.asciz	"SRF: condition is %s"

L_.str.3:                               ## @.str.3
	.asciz	"ON"

L_.str.4:                               ## @.str.4
	.asciz	"OFF"

	.comm	_TRUE,8,3                       ## @TRUE
	.comm	_FALSE,8,3                      ## @FALSE
	.comm	_THRESHOLD_2,8,3                ## @THRESHOLD_2
	.comm	_THRESHOLD_32,4,2               ## @THRESHOLD_32
.subsections_via_symbols

	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.globl	_smt_srf_event                  ; -- Begin function smt_srf_event
	.p2align	2
_smt_srf_event:                         ; @smt_srf_event
	.cfi_startproc
; %bb.0:
	sub	sp, sp, #80
	.cfi_def_cfa_offset 80
	stp	x24, x23, [sp, #16]             ; 16-byte Folded Spill
	stp	x22, x21, [sp, #32]             ; 16-byte Folded Spill
	stp	x20, x19, [sp, #48]             ; 16-byte Folded Spill
	stp	x29, x30, [sp, #64]             ; 16-byte Folded Spill
	add	x29, sp, #64
	.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	x20, x3
	mov	x21, x2
	mov	x22, x1
	mov	x19, x0
Lloh0:
	adrp	x8, _TICKS_PER_SECOND@GOTPAGE
Lloh1:
	ldr	x8, [x8, _TICKS_PER_SECOND@GOTPAGEOFF]
Lloh2:
	ldr	w23, [x8]
	cbz	w3, LBB0_3
; %bb.1:
Lloh3:
	adrp	x8, _SMT_COND_MAC_DUP_ADDR@GOTPAGE
Lloh4:
	ldr	x8, [x8, _SMT_COND_MAC_DUP_ADDR@GOTPAGEOFF]
Lloh5:
	ldr	w8, [x8]
	cmp	w8, w22
	b.ne	LBB0_3
; %bb.2:
Lloh6:
	adrp	x8, _RS_DUPADDR@GOTPAGE
Lloh7:
	ldr	x8, [x8, _RS_DUPADDR@GOTPAGEOFF]
Lloh8:
	ldr	w1, [x8]
	mov	x0, x19
	bl	_RS_SET
LBB0_3:
	cbz	w22, LBB0_10
; %bb.4:
Lloh9:
	adrp	x8, _srf_names@GOTPAGE
Lloh10:
	ldr	x8, [x8, _srf_names@GOTPAGEOFF]
Lloh11:
	ldr	x8, [x8]
	ldr	w8, [x8, w22, sxtw #2]
	stp	x8, x21, [sp]
Lloh12:
	adrp	x0, l_.str@PAGE
Lloh13:
	add	x0, x0, l_.str@PAGEOFF
	bl	_DB_SMT
	mov	x0, x19
	mov	x1, x22
	mov	x2, x21
	bl	_smt_get_evc
	cbz	x0, LBB0_11
; %bb.5:
	mov	x21, x0
	mov	x0, x22
	bl	_SMT_IS_CONDITION
	cbz	x0, LBB0_7
; %bb.6:
	ldr	x8, [x21]
	ldr	w8, [x8]
	cmp	w8, w20
	b.eq	LBB0_35
LBB0_7:
	ldr	w1, [x19, #28]
	mov	x0, x19
	bl	_smt_set_timestamp
	mov	x0, x22
	bl	_SMT_IS_CONDITION
	cbz	x0, LBB0_12
; %bb.8:
Lloh14:
	adrp	x8, l_.str.4@PAGE
Lloh15:
	add	x8, x8, l_.str.4@PAGEOFF
Lloh16:
	adrp	x9, l_.str.3@PAGE
Lloh17:
	add	x9, x9, l_.str.3@PAGEOFF
	cmp	w20, #0
	csel	x8, x9, x8, ne
	str	x8, [sp]
Lloh18:
	adrp	x0, l_.str.2@PAGE
Lloh19:
	add	x0, x0, l_.str.2@PAGEOFF
	bl	_DB_SMT
	cbz	w20, LBB0_15
; %bb.9:
	mov	w20, #0
	mov	w24, #0
Lloh20:
	adrp	x8, _TRUE@GOTPAGE
Lloh21:
	ldr	x8, [x8, _TRUE@GOTPAGEOFF]
Lloh22:
	ldr	x22, [x8]
	ldr	x8, [x21]
	str	w22, [x8]
	str	w22, [x21, #8]
	str	x22, [x19, #16]
	b	LBB0_16
LBB0_10:
	mov	w20, #0
	mov	w24, #0
	b	LBB0_16
LBB0_11:
Lloh23:
	adrp	x0, l_.str.1@PAGE
Lloh24:
	add	x0, x0, l_.str.1@PAGEOFF
	ldp	x29, x30, [sp, #64]             ; 16-byte Folded Reload
	ldp	x20, x19, [sp, #48]             ; 16-byte Folded Reload
	ldp	x22, x21, [sp, #32]             ; 16-byte Folded Reload
	ldp	x24, x23, [sp, #16]             ; 16-byte Folded Reload
	add	sp, sp, #80
	b	_DB_SMT
LBB0_12:
	ldr	w10, [x21, #8]
Lloh25:
	adrp	x8, _TRUE@GOTPAGE
Lloh26:
	ldr	x8, [x8, _TRUE@GOTPAGEOFF]
	ldr	x9, [x8]
	cbnz	w10, LBB0_14
; %bb.13:
	str	w9, [x21, #8]
Lloh27:
	adrp	x9, _FALSE@GOTPAGE
Lloh28:
	ldr	x9, [x9, _FALSE@GOTPAGEOFF]
Lloh29:
	ldr	x9, [x9]
LBB0_14:
	mov	w24, #0
	mov	w22, #0
	ldr	x10, [x21, #16]
	str	x9, [x10]
	ldr	x20, [x8]
	str	x20, [x19, #16]
	b	LBB0_16
LBB0_15:
	mov	w22, #0
Lloh30:
	adrp	x8, _FALSE@GOTPAGE
Lloh31:
	ldr	x8, [x8, _FALSE@GOTPAGEOFF]
Lloh32:
	ldr	x8, [x8]
	ldr	x9, [x21]
	str	w8, [x9]
Lloh33:
	adrp	x8, _TRUE@GOTPAGE
Lloh34:
	ldr	x8, [x8, _TRUE@GOTPAGEOFF]
Lloh35:
	ldr	w24, [x8]
LBB0_16:
	bl	_smt_get_time
	ldr	w10, [x19, #8]
	cmp	w10, #128
	b.eq	LBB0_22
; %bb.17:
	lsl	w9, w23, #1
	ldr	w8, [x19]
	sub	w8, w0, w8
	cmp	w10, #129
	b.eq	LBB0_24
; %bb.18:
	cmp	w10, #130
	b.ne	LBB0_35
; %bb.19:
	cbz	w22, LBB0_29
; %bb.20:
	cmp	w9, w8
	b.le	LBB0_29
; %bb.21:
Lloh36:
	adrp	x8, _THRESHOLD_2@GOTPAGE
Lloh37:
	ldr	x8, [x8, _THRESHOLD_2@GOTPAGEOFF]
Lloh38:
	ldr	x8, [x8]
	mov	w9, #129
	stp	w9, w8, [x19, #8]
	b	LBB0_35
LBB0_22:
	ldr	w8, [x19, #24]
	cbz	w8, LBB0_35
; %bb.23:
	mov	w8, #130
	str	w8, [x19, #8]
	bl	_smt_get_time
	str	x0, [x19]
Lloh39:
	adrp	x8, _THRESHOLD_2@GOTPAGE
Lloh40:
	ldr	x8, [x8, _THRESHOLD_2@GOTPAGEOFF]
Lloh41:
	ldr	x8, [x8]
	str	w8, [x19, #12]
	mov	x0, x19
	ldp	x29, x30, [sp, #64]             ; 16-byte Folded Reload
	ldp	x20, x19, [sp, #48]             ; 16-byte Folded Reload
	ldp	x22, x21, [sp, #32]             ; 16-byte Folded Reload
	ldp	x24, x23, [sp, #16]             ; 16-byte Folded Reload
	add	sp, sp, #80
	b	_clear_all_rep
LBB0_24:
	cmp	w9, w8
	b.le	LBB0_36
; %bb.25:
	cbz	w22, LBB0_27
; %bb.26:
Lloh42:
	adrp	x8, _THRESHOLD_2@GOTPAGE
Lloh43:
	ldr	x8, [x8, _THRESHOLD_2@GOTPAGEOFF]
Lloh44:
	ldr	x8, [x8]
	str	w8, [x19, #12]
LBB0_27:
	ldr	w8, [x19, #24]
	cbnz	w8, LBB0_35
; %bb.28:
	mov	w8, #128
	b	LBB0_34
LBB0_29:
	cbz	w24, LBB0_31
; %bb.30:
	cmp	w9, w8
	b.gt	LBB0_33
LBB0_31:
	cbz	w20, LBB0_38
; %bb.32:
	cmp	w9, w8
	b.le	LBB0_38
LBB0_33:
	mov	w8, #129
LBB0_34:
	str	w8, [x19, #8]
LBB0_35:
	ldp	x29, x30, [sp, #64]             ; 16-byte Folded Reload
	ldp	x20, x19, [sp, #48]             ; 16-byte Folded Reload
	ldp	x22, x21, [sp, #32]             ; 16-byte Folded Reload
	ldp	x24, x23, [sp, #16]             ; 16-byte Folded Reload
	add	sp, sp, #80
	ret
LBB0_36:
	mov	w8, #130
	str	w8, [x19, #8]
LBB0_37:
	bl	_smt_get_time
	str	x0, [x19]
	mov	x0, x19
	ldp	x29, x30, [sp, #64]             ; 16-byte Folded Reload
	ldp	x20, x19, [sp, #48]             ; 16-byte Folded Reload
	ldp	x22, x21, [sp, #32]             ; 16-byte Folded Reload
	ldp	x24, x23, [sp, #16]             ; 16-byte Folded Reload
	add	sp, sp, #80
	b	_smt_send_srf
LBB0_38:
	cbz	w22, LBB0_41
; %bb.39:
	cmp	w9, w8
	b.gt	LBB0_41
; %bb.40:
Lloh45:
	adrp	x8, _THRESHOLD_2@GOTPAGE
Lloh46:
	ldr	x8, [x8, _THRESHOLD_2@GOTPAGEOFF]
Lloh47:
	ldr	x8, [x8]
	str	w8, [x19, #12]
	b	LBB0_37
LBB0_41:
	cbz	w24, LBB0_43
; %bb.42:
	cmp	w9, w8
	b.le	LBB0_37
LBB0_43:
	cbz	w20, LBB0_45
; %bb.44:
	cmp	w9, w8
	b.le	LBB0_37
LBB0_45:
	ldr	x9, [x19, #16]
	cbz	x9, LBB0_27
; %bb.46:
	ldr	w9, [x19, #12]
	cmp	w9, w8
	b.gt	LBB0_27
; %bb.47:
	lsl	w8, w9, #1
Lloh48:
	adrp	x9, _THRESHOLD_32@GOTPAGE
Lloh49:
	ldr	x9, [x9, _THRESHOLD_32@GOTPAGEOFF]
Lloh50:
	ldr	w9, [x9]
	cmp	w8, w9
	csel	w8, w8, w9, lt
	str	w8, [x19, #12]
	b	LBB0_37
	.loh AdrpLdrGotLdr	Lloh0, Lloh1, Lloh2
	.loh AdrpLdrGotLdr	Lloh3, Lloh4, Lloh5
	.loh AdrpLdrGotLdr	Lloh6, Lloh7, Lloh8
	.loh AdrpAdd	Lloh12, Lloh13
	.loh AdrpLdrGotLdr	Lloh9, Lloh10, Lloh11
	.loh AdrpAdd	Lloh18, Lloh19
	.loh AdrpAdd	Lloh16, Lloh17
	.loh AdrpAdd	Lloh14, Lloh15
	.loh AdrpLdrGotLdr	Lloh20, Lloh21, Lloh22
	.loh AdrpAdd	Lloh23, Lloh24
	.loh AdrpLdrGot	Lloh25, Lloh26
	.loh AdrpLdrGotLdr	Lloh27, Lloh28, Lloh29
	.loh AdrpLdrGotLdr	Lloh33, Lloh34, Lloh35
	.loh AdrpLdrGotLdr	Lloh30, Lloh31, Lloh32
	.loh AdrpLdrGotLdr	Lloh36, Lloh37, Lloh38
	.loh AdrpLdrGotLdr	Lloh39, Lloh40, Lloh41
	.loh AdrpLdrGotLdr	Lloh42, Lloh43, Lloh44
	.loh AdrpLdrGotLdr	Lloh45, Lloh46, Lloh47
	.loh AdrpLdrGotLdr	Lloh48, Lloh49, Lloh50
	.cfi_endproc
                                        ; -- End function
	.comm	_TICKS_PER_SECOND,4,2           ; @TICKS_PER_SECOND
	.comm	_SMT_COND_MAC_DUP_ADDR,4,2      ; @SMT_COND_MAC_DUP_ADDR
	.comm	_RS_DUPADDR,4,2                 ; @RS_DUPADDR
	.section	__TEXT,__cstring,cstring_literals
l_.str:                                 ; @.str
	.asciz	"SRF: %s index %d"

	.comm	_srf_names,8,3                  ; @srf_names
l_.str.1:                               ; @.str.1
	.asciz	"SRF : smt_get_evc() failed"

l_.str.2:                               ; @.str.2
	.asciz	"SRF: condition is %s"

l_.str.3:                               ; @.str.3
	.asciz	"ON"

l_.str.4:                               ; @.str.4
	.asciz	"OFF"

	.comm	_TRUE,8,3                       ; @TRUE
	.comm	_FALSE,8,3                      ; @FALSE
	.comm	_THRESHOLD_2,8,3                ; @THRESHOLD_2
	.comm	_THRESHOLD_32,4,2               ; @THRESHOLD_32
.subsections_via_symbols
