	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 13, 0	sdk_version 13, 3
	.globl	_br_aes_ct64_bitslice_Sbox      ## -- Begin function br_aes_ct64_bitslice_Sbox
	.p2align	4, 0x90
_br_aes_ct64_bitslice_Sbox:             ## @br_aes_ct64_bitslice_Sbox
	.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
	.cfi_offset %rbx, -56
	.cfi_offset %r12, -48
	.cfi_offset %r13, -40
	.cfi_offset %r14, -32
	.cfi_offset %r15, -24
	movl	28(%rdi), %eax
	movl	24(%rdi), %r10d
	movl	16(%rdi), %edx
	movl	8(%rdi), %r14d
	movl	(%rdi), %r9d
	movl	4(%rdi), %r12d
	movl	%r14d, %esi
	xorl	%edx, %esi
	movl	%r12d, %ecx
	xorl	%eax, %ecx
	movl	%ecx, -48(%rbp)                 ## 4-byte Spill
	movl	%r14d, %r8d
	xorl	%eax, %r8d
	movl	%eax, %ebx
	movl	%eax, -76(%rbp)                 ## 4-byte Spill
	movl	20(%rdi), %r13d
	movq	%rdi, -112(%rbp)                ## 8-byte Spill
	xorl	%r10d, %r13d
	movl	%ecx, %eax
	xorl	%esi, %eax
	movl	%eax, -60(%rbp)                 ## 4-byte Spill
	movl	%esi, -96(%rbp)                 ## 4-byte Spill
	movl	12(%rdi), %edi
	xorl	%eax, %edi
	xorl	%edi, %r14d
	xorl	%r10d, %edi
	movl	%r9d, %eax
	xorl	%r13d, %eax
	movl	%eax, %r11d
	movl	%eax, %r10d
	movl	%eax, -64(%rbp)                 ## 4-byte Spill
	xorl	%edx, %r11d
	movl	%r11d, -56(%rbp)                ## 4-byte Spill
	xorl	%ebx, %edx
	movl	%r14d, %ebx
	xorl	%r13d, %ebx
	movl	%edi, %r15d
	xorl	%edx, %r15d
	movl	%edx, -100(%rbp)                ## 4-byte Spill
	movl	%ebx, %eax
	movl	%ebx, -44(%rbp)                 ## 4-byte Spill
	xorl	%r15d, %eax
	movl	%eax, %r11d
	movl	%eax, -68(%rbp)                 ## 4-byte Spill
	movl	%r15d, %eax
	andl	%edx, %eax
	andl	%esi, %r11d
	xorl	%eax, %r11d
	movl	%ebx, %esi
	andl	%r8d, %esi
	xorl	%eax, %esi
	movl	%r12d, %ebx
	xorl	%r10d, %ebx
	movl	%ebx, %eax
	movl	%ebx, -84(%rbp)                 ## 4-byte Spill
	xorl	%r8d, %eax
	movl	%eax, -88(%rbp)                 ## 4-byte Spill
	movl	%r8d, -92(%rbp)                 ## 4-byte Spill
	movl	%r14d, %ecx
	movl	%r14d, -52(%rbp)                ## 4-byte Spill
	movl	%r14d, %edx
	xorl	%r9d, %edx
	movl	%edx, -72(%rbp)                 ## 4-byte Spill
	andl	-60(%rbp), %ecx                 ## 4-byte Folded Reload
	andl	%eax, %edx
	xorl	%ecx, %edi
	xorl	%edx, %edi
	movl	-56(%rbp), %eax                 ## 4-byte Reload
	andl	%r9d, %eax
	xorl	%r8d, %eax
	movl	-44(%rbp), %r14d                ## 4-byte Reload
	xorl	%r14d, %eax
	xorl	%ecx, %eax
	xorl	%r15d, %r13d
	andl	%r10d, %ebx
	movl	-48(%rbp), %edx                 ## 4-byte Reload
	movl	%edx, %ecx
	orl	%r13d, %ecx
	xorl	%ebx, %ecx
	xorl	%r11d, %edi
	xorl	%r11d, %ecx
	movl	-76(%rbp), %ebx                 ## 4-byte Reload
	xorl	%ebx, %r10d
	movl	%r10d, -80(%rbp)                ## 4-byte Spill
	notl	%edx
	andl	%r13d, %edx
	xorl	%ebx, %edx
	movl	%r15d, %r12d
	xorl	%r9d, %r12d
	movl	%r9d, %r11d
	movl	%r12d, %r8d
	andl	%r10d, %r8d
	xorl	%esi, %eax
	xorl	%r8d, %esi
	xorl	%edx, %esi
	movl	%edi, %r9d
	xorl	%eax, %r9d
	andl	%ecx, %edi
	movl	%edi, %r8d
	xorl	%esi, %r8d
	movl	%r8d, %r10d
	andl	%r9d, %r10d
	xorl	%eax, %r10d
	movl	%ecx, %edx
	xorl	%esi, %edx
	xorl	%edi, %eax
	andl	%edx, %eax
	movl	%eax, %ebx
	xorl	%edi, %eax
	xorl	%esi, %ebx
	andl	%esi, %eax
	xorl	%eax, %ecx
	xorl	%r8d, %eax
	andl	%r10d, %eax
	xorl	%r9d, %eax
	andl	%ecx, -52(%rbp)                 ## 4-byte Folded Spill
	movl	%ecx, %r9d
	andl	-60(%rbp), %ecx                 ## 4-byte Folded Reload
	xorl	%ebx, %r9d
	movl	%eax, %edi
	xorl	%r9d, %edi
	andl	%r9d, -72(%rbp)                 ## 4-byte Folded Spill
	andl	-88(%rbp), %r9d                 ## 4-byte Folded Reload
	movl	%r10d, %esi
	xorl	%ebx, %esi
	movl	%r11d, %r8d
	andl	%ebx, %r8d
	andl	-56(%rbp), %ebx                 ## 4-byte Folded Reload
	movl	%eax, %edx
	xorl	%r10d, %edx
	andl	%edx, %r13d
	andl	-48(%rbp), %edx                 ## 4-byte Folded Reload
	andl	%eax, -64(%rbp)                 ## 4-byte Folded Spill
	andl	-84(%rbp), %eax                 ## 4-byte Folded Reload
	andl	%r10d, %r12d
	andl	-80(%rbp), %r10d                ## 4-byte Folded Reload
	movl	%edi, %r11d
	xorl	%esi, %r11d
	andl	%esi, %r15d
	andl	-100(%rbp), %esi                ## 4-byte Folded Reload
	andl	%r11d, -68(%rbp)                ## 4-byte Folded Spill
	andl	-96(%rbp), %r11d                ## 4-byte Folded Reload
	andl	%edi, %r14d
	movl	%r14d, -44(%rbp)                ## 4-byte Spill
	andl	-92(%rbp), %edi                 ## 4-byte Folded Reload
	xorl	%r9d, %ebx
	xorl	%ecx, %r9d
	xorl	%r12d, %eax
	movl	%edx, %ecx
	xorl	%r8d, %ecx
	xorl	%r8d, %r12d
	movl	-52(%rbp), %r14d                ## 4-byte Reload
	xorl	%r13d, %r14d
	xorl	%r13d, %r15d
	movl	-68(%rbp), %r13d                ## 4-byte Reload
	movl	-44(%rbp), %r8d                 ## 4-byte Reload
	xorl	%r13d, %r8d
	xorl	%r13d, %r15d
	xorl	%r11d, %esi
	xorl	%r14d, %ecx
	xorl	%ecx, %r10d
	xorl	%eax, %ecx
	xorl	%esi, %ecx
	movl	-64(%rbp), %r13d                ## 4-byte Reload
	xorl	%r13d, %esi
	xorl	%esi, %r8d
	xorl	%r9d, %esi
	xorl	%r15d, %r13d
	movl	%r13d, %r9d
	movl	-72(%rbp), %r13d                ## 4-byte Reload
	xorl	%esi, %r13d
	xorl	%r15d, %esi
	xorl	%eax, %edx
	xorl	%r8d, %r10d
	xorl	%r8d, %edx
	xorl	%r13d, %r14d
	xorl	%r12d, %r13d
	xorl	%r11d, %edi
	xorl	%r10d, %ebx
	xorl	%r9d, %edi
	xorl	%r10d, %edi
	movq	-112(%rbp), %r8                 ## 8-byte Reload
	movl	%esi, 28(%r8)
	movl	%r9d, %eax
	xorl	%r14d, %eax
	notl	%eax
	movl	%eax, 24(%r8)
	notl	%edi
	movl	%edi, 20(%r8)
	movl	%r14d, 16(%r8)
	movl	%r13d, 12(%r8)
	movl	%ebx, 8(%r8)
	notl	%edx
	movl	%edx, 4(%r8)
	notl	%ecx
	movl	%ecx, (%r8)
	popq	%rbx
	popq	%r12
	popq	%r13
	popq	%r14
	popq	%r15
	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	_br_aes_ct64_bitslice_Sbox      ; -- Begin function br_aes_ct64_bitslice_Sbox
	.p2align	2
_br_aes_ct64_bitslice_Sbox:             ; @br_aes_ct64_bitslice_Sbox
	.cfi_startproc
; %bb.0:
	stp	x28, x27, [sp, #-96]!           ; 16-byte Folded Spill
	.cfi_def_cfa_offset 96
	stp	x26, x25, [sp, #16]             ; 16-byte Folded Spill
	stp	x24, x23, [sp, #32]             ; 16-byte Folded Spill
	stp	x22, x21, [sp, #48]             ; 16-byte Folded Spill
	stp	x20, x19, [sp, #64]             ; 16-byte Folded Spill
	stp	x29, x30, [sp, #80]             ; 16-byte Folded Spill
	.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
	ldp	w3, w2, [x0, #24]
	ldp	w13, w12, [x0, #16]
	ldp	w5, w4, [x0, #8]
	eor	w8, w5, w13
	ldp	w16, w14, [x0]
	eor	w11, w14, w2
	eor	w10, w13, w2
	eor	w9, w5, w2
	eor	w6, w12, w3
	eor	w1, w16, w6
	eor	w13, w1, w13
	eor	w15, w11, w8
	eor	w12, w1, w2
	eor	w14, w1, w14
	eor	w17, w14, w9
	eor	w4, w15, w4
	eor	w5, w4, w5
	eor	w3, w4, w3
	eor	w4, w5, w16
	eor	w7, w5, w6
	eor	w19, w3, w10
	eor	w20, w19, w16
	eor	w21, w7, w19
	eor	w6, w19, w6
	and	w22, w5, w15
	and	w23, w4, w17
	and	w24, w13, w16
	and	w25, w14, w1
	and	w26, w20, w12
	and	w27, w19, w10
	and	w28, w21, w8
	eor	w28, w28, w27
	and	w30, w7, w9
	eor	w27, w30, w27
	eor	w3, w22, w3
	eor	w3, w3, w23
	eor	w3, w3, w28
	eor	w23, w24, w9
	eor	w23, w23, w7
	eor	w22, w23, w22
	eor	w22, w22, w27
	bic	w23, w6, w11
	orr	w24, w11, w6
	eor	w24, w24, w25
	eor	w24, w24, w28
	eor	w2, w23, w2
	eor	w2, w2, w26
	eor	w2, w2, w27
	eor	w23, w3, w22
	and	w3, w3, w24
	eor	w25, w3, w2
	and	w26, w25, w23
	eor	w26, w26, w22
	eor	w27, w24, w2
	eor	w22, w3, w22
	and	w22, w22, w27
	eor	w27, w22, w2
	eor	w3, w22, w3
	and	w2, w3, w2
	eor	w3, w2, w24
	eor	w22, w3, w27
	eor	w2, w2, w25
	and	w2, w2, w26
	eor	w2, w2, w23
	eor	w23, w2, w22
	eor	w24, w26, w27
	eor	w25, w2, w26
	eor	w28, w23, w24
	and	w5, w3, w5
	and	w4, w22, w4
	and	w16, w27, w16
	and	w6, w25, w6
	and	w1, w2, w1
	and	w20, w26, w20
	and	w19, w24, w19
	and	w21, w28, w21
	and	w7, w23, w7
	and	w15, w3, w15
	and	w17, w22, w17
	and	w13, w27, w13
	and	w11, w25, w11
	and	w14, w2, w14
	and	w12, w26, w12
	and	w10, w24, w10
	and	w8, w28, w8
	and	w9, w23, w9
	eor	w10, w8, w10
	eor	w13, w17, w13
	eor	w14, w14, w20
	eor	w15, w15, w17
	eor	w17, w11, w16
	eor	w16, w16, w20
	eor	w2, w21, w7
	eor	w3, w6, w5
	eor	w17, w17, w3
	eor	w5, w10, w1
	eor	w6, w6, w19
	eor	w6, w6, w21
	eor	w12, w17, w12
	eor	w2, w2, w5
	eor	w15, w15, w5
	eor	w1, w6, w1
	eor	w12, w12, w2
	eor	w4, w15, w4
	eor	w15, w15, w6
	eor	w11, w14, w11
	eon	w11, w11, w2
	eor	w2, w4, w3
	eon	w3, w1, w2
	stp	w3, w15, [x0, #24]
	eor	w9, w1, w9
	eor	w8, w9, w8
	eon	w8, w8, w12
	stp	w2, w8, [x0, #16]
	eor	w8, w14, w17
	eor	w9, w16, w4
	eor	w12, w13, w12
	stp	w12, w9, [x0, #8]
	eon	w8, w8, w10
	stp	w8, w11, [x0]
	ldp	x29, x30, [sp, #80]             ; 16-byte Folded Reload
	ldp	x20, x19, [sp, #64]             ; 16-byte Folded Reload
	ldp	x22, x21, [sp, #48]             ; 16-byte Folded Reload
	ldp	x24, x23, [sp, #32]             ; 16-byte Folded Reload
	ldp	x26, x25, [sp, #16]             ; 16-byte Folded Reload
	ldp	x28, x27, [sp], #96             ; 16-byte Folded Reload
	ret
	.cfi_endproc
                                        ; -- End function
.subsections_via_symbols
