	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	4, 0x90                         ## -- Begin function inv_mix_columns
_inv_mix_columns:                       ## @inv_mix_columns
	.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
	subq	$88, %rsp
	.cfi_offset %rbx, -56
	.cfi_offset %r12, -48
	.cfi_offset %r13, -40
	.cfi_offset %r14, -32
	.cfi_offset %r15, -24
	movl	(%rdi), %r13d
	movl	4(%rdi), %r9d
	movl	%r9d, -72(%rbp)                 ## 4-byte Spill
	movl	8(%rdi), %ebx
	movl	12(%rdi), %esi
	movl	16(%rdi), %edx
	movl	20(%rdi), %r14d
	movq	%rdi, %r8
	movl	%r13d, %eax
	sarl	$8, %eax
	movl	%r13d, %edi
	shll	$24, %edi
	orl	%eax, %edi
	movl	%edi, %r10d
	movl	%edi, -56(%rbp)                 ## 4-byte Spill
	movl	%r9d, %eax
	sarl	$8, %eax
	movl	%r9d, %edi
	shll	$24, %edi
	orl	%eax, %edi
	movl	%edi, -60(%rbp)                 ## 4-byte Spill
	movl	%ebx, -44(%rbp)                 ## 4-byte Spill
	movl	%ebx, %eax
	sarl	$8, %eax
	shll	$24, %ebx
	orl	%eax, %ebx
	movl	%ebx, -68(%rbp)                 ## 4-byte Spill
	movl	%esi, -76(%rbp)                 ## 4-byte Spill
	movl	%esi, %eax
	sarl	$8, %eax
	shll	$24, %esi
	orl	%eax, %esi
	movl	%esi, -96(%rbp)                 ## 4-byte Spill
	movl	%edx, -84(%rbp)                 ## 4-byte Spill
	movl	%edx, %eax
	sarl	$8, %eax
	shll	$24, %edx
	orl	%eax, %edx
	movl	%edx, -104(%rbp)                ## 4-byte Spill
	movl	%r14d, %eax
	sarl	$8, %eax
	movl	%r14d, %edx
	shll	$24, %edx
	orl	%eax, %edx
	movl	%edx, %r12d
	movl	%edx, -64(%rbp)                 ## 4-byte Spill
	movq	%r8, -112(%rbp)                 ## 8-byte Spill
	movl	24(%r8), %r15d
	movl	%r15d, %eax
	sarl	$8, %eax
	movl	%r15d, %edx
	shll	$24, %edx
	orl	%eax, %edx
	movl	%edx, -92(%rbp)                 ## 4-byte Spill
	movl	28(%r8), %ecx
	movl	%ecx, -52(%rbp)                 ## 4-byte Spill
	movl	%ecx, %eax
	sarl	$8, %eax
	shll	$24, %ecx
	orl	%eax, %ecx
	movl	%ecx, -80(%rbp)                 ## 4-byte Spill
	movl	%r14d, %ebx
	movl	%r14d, -100(%rbp)               ## 4-byte Spill
	xorl	%r13d, %ebx
	movl	%r12d, %eax
	xorl	%r15d, %eax
	movl	%r15d, -48(%rbp)                ## 4-byte Spill
	movl	%r10d, %edi
	xorl	%ebx, %edi
	xorl	%eax, %edi
	callq	_rotr16
	movl	%r12d, %edx
	xorl	%r14d, %edx
	movl	-56(%rbp), %ecx                 ## 4-byte Reload
	xorl	%r15d, %ecx
	xorl	%edx, %ecx
	movl	%edx, -116(%rbp)                ## 4-byte Spill
	movl	-52(%rbp), %edi                 ## 4-byte Reload
	xorl	%edi, %ecx
	xorl	%eax, %ecx
	movl	-80(%rbp), %r12d                ## 4-byte Reload
	xorl	%r12d, %ecx
	movq	-112(%rbp), %rax                ## 8-byte Reload
	movl	%ecx, (%rax)
	movl	-72(%rbp), %eax                 ## 4-byte Reload
	movl	-60(%rbp), %r14d                ## 4-byte Reload
	xorl	%r14d, %eax
	xorl	%edx, %eax
	movl	-92(%rbp), %r15d                ## 4-byte Reload
	xorl	%r15d, %edi
	xorl	%eax, %edi
	callq	_rotr16
	xorl	%r15d, %r12d
	movl	-56(%rbp), %ecx                 ## 4-byte Reload
	xorl	%r14d, %ecx
	xorl	%r12d, %ecx
	movl	%r12d, %r15d
	xorl	-64(%rbp), %ebx                 ## 4-byte Folded Reload
	xorl	%ecx, %ebx
	xorl	%eax, %ebx
	movq	-112(%rbp), %r12                ## 8-byte Reload
	movl	%ebx, 4(%r12)
	movl	-72(%rbp), %r14d                ## 4-byte Reload
	xorl	%r13d, %r14d
	xorl	-44(%rbp), %r13d                ## 4-byte Folded Reload
	xorl	-68(%rbp), %r13d                ## 4-byte Folded Reload
	xorl	%r15d, %r13d
	movl	%r15d, -88(%rbp)                ## 4-byte Spill
	movl	-48(%rbp), %ebx                 ## 4-byte Reload
	xorl	%ebx, %r13d
	movl	%r13d, %edi
	callq	_rotr16
	movl	%r14d, %ecx
	xorl	-60(%rbp), %ecx                 ## 4-byte Folded Reload
	xorl	%r15d, %ecx
	movl	-68(%rbp), %r13d                ## 4-byte Reload
	movl	%r13d, %edx
	xorl	%ebx, %edx
	movl	%ebx, %esi
	xorl	%ecx, %edx
	xorl	%eax, %edx
	movl	%edx, 8(%r12)
	movl	%r14d, %eax
	movl	-56(%rbp), %r12d                ## 4-byte Reload
	xorl	%r12d, %eax
	movl	-116(%rbp), %r15d               ## 4-byte Reload
	xorl	%r15d, %eax
	movl	-76(%rbp), %ecx                 ## 4-byte Reload
	movl	-96(%rbp), %ebx                 ## 4-byte Reload
	xorl	%ebx, %ecx
	xorl	%esi, %ecx
	xorl	%eax, %ecx
	movl	-52(%rbp), %edi                 ## 4-byte Reload
	xorl	-80(%rbp), %edi                 ## 4-byte Folded Reload
	xorl	%ecx, %edi
	callq	_rotr16
	movl	-44(%rbp), %edx                 ## 4-byte Reload
	xorl	%edx, %r14d
	xorl	%r12d, %r14d
	xorl	%r15d, %r14d
	movl	%r15d, %esi
	movl	%r13d, %ecx
	xorl	%ebx, %ecx
	movl	%ebx, %r12d
	xorl	-48(%rbp), %ecx                 ## 4-byte Folded Reload
	xorl	%r14d, %ecx
	xorl	%eax, %ecx
	movq	-112(%rbp), %r14                ## 8-byte Reload
	movl	%ecx, 12(%r14)
	movl	-72(%rbp), %ecx                 ## 4-byte Reload
	xorl	%edx, %ecx
	movl	%ecx, %eax
	movl	%ecx, %r15d
	movl	-60(%rbp), %ebx                 ## 4-byte Reload
	xorl	%ebx, %eax
	xorl	%esi, %eax
	movl	-84(%rbp), %edi                 ## 4-byte Reload
	movl	-104(%rbp), %r13d               ## 4-byte Reload
	xorl	%r13d, %edi
	xorl	-52(%rbp), %edi                 ## 4-byte Folded Reload
	xorl	%eax, %edi
	xorl	-92(%rbp), %edi                 ## 4-byte Folded Reload
	callq	_rotr16
	movl	-76(%rbp), %esi                 ## 4-byte Reload
	movl	%r15d, %ecx
	xorl	%esi, %ecx
	xorl	%ebx, %ecx
	movl	-88(%rbp), %edi                 ## 4-byte Reload
	xorl	%edi, %ecx
	movl	%ecx, %ebx
	movl	-100(%rbp), %edx                ## 4-byte Reload
	movl	%edx, %ecx
	xorl	%r12d, %ecx
	xorl	%r13d, %ecx
	movl	%r13d, %r15d
	xorl	%ebx, %ecx
	movl	-64(%rbp), %r12d                ## 4-byte Reload
	xorl	%r12d, %ecx
	xorl	%eax, %ecx
	movq	%r14, %rbx
	movl	%ecx, 16(%r14)
	movl	-44(%rbp), %eax                 ## 4-byte Reload
	xorl	%esi, %eax
	movl	%eax, -44(%rbp)                 ## 4-byte Spill
	movl	-68(%rbp), %r14d                ## 4-byte Reload
	xorl	%r14d, %eax
	xorl	%edi, %eax
	movl	%edx, %edi
	movl	-48(%rbp), %r13d                ## 4-byte Reload
	xorl	%r13d, %edi
	xorl	%r12d, %edi
	xorl	%eax, %edi
	callq	_rotr16
	movl	-84(%rbp), %edx                 ## 4-byte Reload
	movl	-44(%rbp), %ecx                 ## 4-byte Reload
	xorl	%edx, %ecx
	xorl	%r14d, %ecx
	movl	-88(%rbp), %edi                 ## 4-byte Reload
	xorl	%edi, %ecx
	movl	%ecx, %r8d
	movl	%r13d, %ecx
	xorl	%r15d, %ecx
	xorl	%r12d, %ecx
	xorl	%r8d, %ecx
	xorl	%eax, %ecx
	movl	%ecx, 20(%rbx)
	movl	-76(%rbp), %ecx                 ## 4-byte Reload
	xorl	%edx, %ecx
	movl	%ecx, %eax
	movl	%ecx, %r14d
	movl	-96(%rbp), %ebx                 ## 4-byte Reload
	xorl	%ebx, %eax
	xorl	%edi, %eax
	movl	%edi, %r12d
	movl	%r13d, %edi
	movl	-52(%rbp), %r13d                ## 4-byte Reload
	xorl	%r13d, %edi
	xorl	%eax, %edi
	callq	_rotr16
	movl	%r14d, %ecx
	movl	-100(%rbp), %r15d               ## 4-byte Reload
	xorl	%r15d, %ecx
	xorl	%ebx, %ecx
	xorl	%r12d, %ecx
	movl	-64(%rbp), %edx                 ## 4-byte Reload
	xorl	%r13d, %edx
	xorl	%ecx, %edx
	xorl	%eax, %edx
	movq	-112(%rbp), %rbx                ## 8-byte Reload
	movl	%edx, 24(%rbx)
	xorl	-84(%rbp), %r15d                ## 4-byte Folded Reload
	xorl	%r15d, %r13d
	xorl	-80(%rbp), %r13d                ## 4-byte Folded Reload
	movl	-104(%rbp), %r14d               ## 4-byte Reload
	xorl	%r14d, %r13d
	movl	%r13d, %edi
	callq	_rotr16
	movl	%r15d, %ecx
	xorl	-48(%rbp), %ecx                 ## 4-byte Folded Reload
	xorl	%r14d, %ecx
	xorl	%r12d, %ecx
	xorl	%eax, %ecx
	movl	%ecx, 28(%rbx)
	addq	$88, %rsp
	popq	%rbx
	popq	%r12
	popq	%r13
	popq	%r14
	popq	%r15
	popq	%rbp
	retq
	.cfi_endproc
                                        ## -- End function
	.no_dead_strip	_inv_mix_columns
.subsections_via_symbols

	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.p2align	2                               ; -- Begin function inv_mix_columns
_inv_mix_columns:                       ; @inv_mix_columns
	.cfi_startproc
; %bb.0:
	sub	sp, sp, #160
	.cfi_def_cfa_offset 160
	stp	x28, x27, [sp, #64]             ; 16-byte Folded Spill
	stp	x26, x25, [sp, #80]             ; 16-byte Folded Spill
	stp	x24, x23, [sp, #96]             ; 16-byte Folded Spill
	stp	x22, x21, [sp, #112]            ; 16-byte Folded Spill
	stp	x20, x19, [sp, #128]            ; 16-byte Folded Spill
	stp	x29, x30, [sp, #144]            ; 16-byte Folded Spill
	add	x29, sp, #144
	.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
	.cfi_offset w25, -72
	.cfi_offset w26, -80
	.cfi_offset w27, -88
	.cfi_offset w28, -96
	mov	x19, x0
	ldp	w28, w13, [x0]
	asr	w8, w28, #8
	orr	w26, w8, w28, lsl #24
	ldp	w11, w10, [x0, #8]
	str	w10, [sp, #60]                  ; 4-byte Folded Spill
	asr	w8, w13, #8
	ldp	w9, w22, [x0, #16]
	orr	w8, w8, w13, lsl #24
	str	w8, [sp, #12]                   ; 4-byte Folded Spill
	mov	x27, x13
	asr	w8, w11, #8
	ldp	w20, w13, [x0, #24]
	orr	w8, w8, w11, lsl #24
	stp	w8, w11, [sp, #40]              ; 8-byte Folded Spill
	asr	w8, w10, #8
	orr	w8, w8, w10, lsl #24
	str	w8, [sp, #52]                   ; 4-byte Folded Spill
	asr	w8, w9, #8
	orr	w8, w8, w9, lsl #24
	stp	w9, w8, [sp, #32]               ; 8-byte Folded Spill
	asr	w8, w22, #8
	orr	w23, w8, w22, lsl #24
	asr	w8, w20, #8
	orr	w8, w8, w20, lsl #24
	str	w8, [sp, #48]                   ; 4-byte Folded Spill
	asr	w8, w13, #8
	eor	w10, w22, w28
	str	w10, [sp, #8]                   ; 4-byte Folded Spill
	str	w22, [sp, #28]                  ; 4-byte Folded Spill
	eor	w9, w23, w20
	eor	w9, w9, w26
	eor	w0, w9, w10
	orr	w21, w8, w13, lsl #24
	mov	x24, x13
	bl	_rotr16
	eor	w22, w23, w22
	str	w23, [sp, #24]                  ; 4-byte Folded Spill
	eor	w8, w22, w26
	str	w26, [sp, #4]                   ; 4-byte Folded Spill
	eor	w8, w8, w20
	mov	x9, x24
	str	w24, [sp, #16]                  ; 4-byte Folded Spill
	eor	w8, w8, w24
	eor	w8, w8, w0
	eor	w8, w8, w21
	str	w21, [sp, #56]                  ; 4-byte Folded Spill
	str	w8, [x19]
	mov	x24, x27
	eor	w8, w22, w27
	ldr	w27, [sp, #12]                  ; 4-byte Folded Reload
	eor	w8, w8, w27
	eor	w8, w8, w9
	ldr	w25, [sp, #48]                  ; 4-byte Folded Reload
	eor	w0, w8, w25
	bl	_rotr16
	eor	w25, w21, w25
	eor	w8, w25, w26
	eor	w8, w8, w27
	ldr	w9, [sp, #8]                    ; 4-byte Folded Reload
	eor	w8, w8, w9
	eor	w8, w8, w23
	eor	w8, w8, w0
	str	w8, [x19, #4]
	str	w24, [sp, #20]                  ; 4-byte Folded Spill
	eor	w26, w24, w28
	eor	w8, w25, w28
	ldp	w21, w9, [sp, #40]              ; 8-byte Folded Reload
	eor	w8, w8, w9
	eor	w8, w8, w21
	eor	w0, w8, w20
	bl	_rotr16
	eor	w8, w25, w26
	eor	w8, w8, w27
	eor	w8, w8, w21
	eor	w8, w8, w20
	eor	w8, w8, w0
	str	w8, [x19, #8]
	eor	w8, w22, w26
	ldr	w23, [sp, #4]                   ; 4-byte Folded Reload
	eor	w8, w8, w23
	ldr	w9, [sp, #60]                   ; 4-byte Folded Reload
	eor	w8, w8, w9
	ldp	w28, w9, [sp, #52]              ; 8-byte Folded Reload
	eor	w8, w8, w28
	eor	w8, w8, w20
	ldr	w24, [sp, #16]                  ; 4-byte Folded Reload
	eor	w8, w8, w24
	eor	w0, w8, w9
	bl	_rotr16
	ldr	w9, [sp, #44]                   ; 4-byte Folded Reload
	eor	w8, w22, w9
	eor	w8, w8, w26
	eor	w8, w8, w23
	eor	w8, w8, w21
	eor	w8, w8, w28
	eor	w8, w8, w20
	eor	w8, w8, w0
	str	w8, [x19, #12]
	ldr	w8, [sp, #20]                   ; 4-byte Folded Reload
	eor	w26, w9, w8
	mov	x23, x9
	eor	w8, w22, w26
	eor	w8, w8, w27
	ldp	w21, w22, [sp, #32]             ; 8-byte Folded Reload
	eor	w8, w8, w21
	eor	w8, w8, w22
	eor	w8, w8, w24
	ldr	w9, [sp, #48]                   ; 4-byte Folded Reload
	eor	w0, w8, w9
	bl	_rotr16
	ldr	w10, [sp, #60]                  ; 4-byte Folded Reload
	eor	w8, w25, w10
	eor	w8, w8, w26
	eor	w8, w8, w27
	ldp	w9, w11, [sp, #24]              ; 8-byte Folded Reload
	eor	w8, w8, w11
	eor	w8, w8, w28
	eor	w8, w8, w22
	mov	x26, x22
	eor	w8, w8, w9
	eor	w8, w8, w0
	str	w8, [x19, #16]
	eor	w22, w10, w23
	eor	w8, w25, w22
	ldr	w23, [sp, #40]                  ; 4-byte Folded Reload
	eor	w8, w8, w23
	eor	w8, w8, w11
	mov	x28, x11
	eor	w8, w8, w20
	eor	w0, w8, w9
	mov	x27, x9
	bl	_rotr16
	eor	w8, w25, w21
	eor	w8, w8, w22
	eor	w8, w8, w23
	eor	w8, w8, w20
	eor	w8, w8, w26
	eor	w8, w8, w27
	eor	w8, w8, w0
	str	w8, [x19, #20]
	ldr	w8, [sp, #60]                   ; 4-byte Folded Reload
	eor	w22, w21, w8
	eor	w8, w25, w22
	ldr	w23, [sp, #52]                  ; 4-byte Folded Reload
	eor	w8, w8, w23
	eor	w8, w8, w20
	eor	w0, w8, w24
	bl	_rotr16
	eor	w8, w25, w28
	eor	w8, w8, w22
	eor	w8, w8, w23
	eor	w8, w8, w24
	eor	w8, w8, w27
	eor	w8, w8, w0
	str	w8, [x19, #24]
	eor	w22, w28, w21
	ldr	w8, [sp, #56]                   ; 4-byte Folded Reload
	eor	w8, w8, w24
	eor	w8, w8, w22
	eor	w0, w8, w26
	bl	_rotr16
	eor	w8, w25, w20
	eor	w8, w8, w22
	eor	w8, w8, w26
	eor	w8, w8, w0
	str	w8, [x19, #28]
	ldp	x29, x30, [sp, #144]            ; 16-byte Folded Reload
	ldp	x20, x19, [sp, #128]            ; 16-byte Folded Reload
	ldp	x22, x21, [sp, #112]            ; 16-byte Folded Reload
	ldp	x24, x23, [sp, #96]             ; 16-byte Folded Reload
	ldp	x26, x25, [sp, #80]             ; 16-byte Folded Reload
	ldp	x28, x27, [sp, #64]             ; 16-byte Folded Reload
	add	sp, sp, #160
	ret
	.cfi_endproc
                                        ; -- End function
	.no_dead_strip	_inv_mix_columns
.subsections_via_symbols
