	.text
	.align 3
	.globl bn_mul_comba4
	.ent bn_mul_comba4
bn_mul_comba4:
bn_mul_comba4..ng:
	.frame $30,0,$26,0
	.prologue 0

	ldq	$0,	0($17)
	ldq	$1,	0($18)
	ldq	$2,	8($17)
	ldq	$3,	8($18)
	ldq	$4,	16($17)
	ldq	$5,	16($18)
	ldq	$6,	24($17)
	ldq	$7,	24($18)
	bis	$31,	$31,	$23
	mulq	$0,	$1,	$8
	umulh	$0,	$1,	$22
	stq	$8,	0($16)
	bis	$31,	$31,	$8
	mulq	$0,	$3,	$24
	umulh	$0,	$3,	$25
	addq	$22,	$24,	$22
	cmpult	$22,	$24,	$27
	addq	$27,	$25,	$25
	addq	$23,	$25,	$23
	cmpult	$23,	$25,	$28
	addq	$8,	$28,	$8
	mulq	$2,	$1,	$21
	umulh	$2,	$1,	$20
	addq	$22,	$21,	$22
	cmpult	$22,	$21,	$19
	addq	$19,	$20,	$20
	addq	$23,	$20,	$23
	cmpult	$23,	$20,	$17
	addq	$8,	$17,	$8
	stq	$22,	8($16)
	bis	$31,	$31,	$22
	mulq	$2,	$3,	$18
	umulh	$2,	$3,	$24
	addq	$23,	$18,	$23
	cmpult	$23,	$18,	$27
	addq	$27,	$24,	$24
	addq	$8,	$24,	$8
	cmpult	$8,	$24,	$25
	addq	$22,	$25,	$22
	mulq	$0,	$5,	$28
	umulh	$0,	$5,	$21
	addq	$23,	$28,	$23
	cmpult	$23,	$28,	$19
	addq	$19,	$21,	$21
	addq	$8,	$21,	$8
	cmpult	$8,	$21,	$20
	addq	$22,	$20,	$22
	mulq	$4,	$1,	$17
	umulh	$4,	$1,	$18
	addq	$23,	$17,	$23
	cmpult	$23,	$17,	$27
	addq	$27,	$18,	$18
	addq	$8,	$18,	$8
	cmpult	$8,	$18,	$24
	addq	$22,	$24,	$22
	stq	$23,	16($16)
	bis	$31,	$31,	$23
	mulq	$0,	$7,	$25
	umulh	$0,	$7,	$28
	addq	$8,	$25,	$8
	cmpult	$8,	$25,	$19
	addq	$19,	$28,	$28
	addq	$22,	$28,	$22
	cmpult	$22,	$28,	$21
	addq	$23,	$21,	$23
	mulq	$2,	$5,	$20
	umulh	$2,	$5,	$17
	addq	$8,	$20,	$8
	cmpult	$8,	$20,	$27
	addq	$27,	$17,	$17
	addq	$22,	$17,	$22
	cmpult	$22,	$17,	$18
	addq	$23,	$18,	$23
	mulq	$4,	$3,	$24
	umulh	$4,	$3,	$25
	addq	$8,	$24,	$8
	cmpult	$8,	$24,	$19
	addq	$19,	$25,	$25
	addq	$22,	$25,	$22
	cmpult	$22,	$25,	$28
	addq	$23,	$28,	$23
	mulq	$6,	$1,	$21
	umulh	$6,	$1,	$0
	addq	$8,	$21,	$8
	cmpult	$8,	$21,	$20
	addq	$20,	$0,	$0
	addq	$22,	$0,	$22
	cmpult	$22,	$0,	$27
	addq	$23,	$27,	$23
	stq	$8,	24($16)
	bis	$31,	$31,	$8
	mulq	$2,	$7,	$17
	umulh	$2,	$7,	$18
	addq	$22,	$17,	$22
	cmpult	$22,	$17,	$24
	addq	$24,	$18,	$18
	addq	$23,	$18,	$23
	cmpult	$23,	$18,	$19
	addq	$8,	$19,	$8
	mulq	$4,	$5,	$25
	umulh	$4,	$5,	$28
	addq	$22,	$25,	$22
	cmpult	$22,	$25,	$21
	addq	$21,	$28,	$28
	addq	$23,	$28,	$23
	cmpult	$23,	$28,	$20
	addq	$8,	$20,	$8
	mulq	$6,	$3,	$0
	umulh	$6,	$3,	$27
	addq	$22,	$0,	$22
	cmpult	$22,	$0,	$1
	addq	$1,	$27,	$27
	addq	$23,	$27,	$23
	cmpult	$23,	$27,	$17
	addq	$8,	$17,	$8
	stq	$22,	32($16)
	bis	$31,	$31,	$22
	mulq	$4,	$7,	$24
	umulh	$4,	$7,	$18
	addq	$23,	$24,	$23
	cmpult	$23,	$24,	$19
	addq	$19,	$18,	$18
	addq	$8,	$18,	$8
	cmpult	$8,	$18,	$2
	addq	$22,	$2,	$22
	mulq	$6,	$5,	$25
	umulh	$6,	$5,	$21
	addq	$23,	$25,	$23
	cmpult	$23,	$25,	$28
	addq	$28,	$21,	$21
	addq	$8,	$21,	$8
	cmpult	$8,	$21,	$20
	addq	$22,	$20,	$22
	stq	$23,	40($16)
	bis	$31,	$31,	$23
	mulq	$6,	$7,	$0
	umulh	$6,	$7,	$1
	addq	$8,	$0,	$8
	cmpult	$8,	$0,	$27
	addq	$27,	$1,	$1
	addq	$22,	$1,	$22
	cmpult	$22,	$1,	$17
	addq	$23,	$17,	$23
	stq	$8,	48($16)
	stq	$22,	56($16)
	ret	$31,($26),1
	.end bn_mul_comba4
	.text
	.align 3
	.globl bn_mul_comba8
	.ent bn_mul_comba8
bn_mul_comba8:
bn_mul_comba8..ng:
	.frame $30,0,$26,0
	.prologue 0

	stq	$9,	8($30)
	stq	$10,	16($30)
	ldq	$0,	0($17)
	ldq	$1,	0($18)
	ldq	$2,	8($17)
	ldq	$3,	8($18)
	ldq	$4,	16($17)
	ldq	$5,	16($18)
	ldq	$6,	24($17)
	ldq	$7,	24($18)
	ldq	$8,	8($17)
	ldq	$22,	8($18)
	ldq	$23,	8($17)
	ldq	$24,	8($18)
	ldq	$25,	8($17)
	ldq	$27,	8($18)
	ldq	$28,	8($17)
	ldq	$21,	8($18)
	bis	$31,	$31,	$9
	mulq	$0,	$1,	$20
	umulh	$0,	$1,	$19
	stq	$20,	0($16)
	bis	$31,	$31,	$20
	mulq	$0,	$3,	$10
	umulh	$0,	$3,	$17
	addq	$19,	$10,	$19
	cmpult	$19,	$10,	$18
	addq	$18,	$17,	$17
	addq	$9,	$17,	$9
	cmpult	$9,	$17,	$10
	addq	$20,	$10,	$20
	mulq	$2,	$1,	$18
	umulh	$2,	$1,	$17
	addq	$19,	$18,	$19
	cmpult	$19,	$18,	$10
	addq	$10,	$17,	$17
	addq	$9,	$17,	$9
	cmpult	$9,	$17,	$18
	addq	$20,	$18,	$20
	stq	$19,	8($16)
	bis	$31,	$31,	$19
	mulq	$0,	$5,	$10
	umulh	$0,	$5,	$17
	addq	$9,	$10,	$9
	cmpult	$9,	$10,	$18
	addq	$18,	$17,	$17
	addq	$20,	$17,	$20
	cmpult	$20,	$17,	$10
	addq	$19,	$10,	$19
	mulq	$2,	$3,	$18
	umulh	$2,	$3,	$17
	addq	$9,	$18,	$9
	cmpult	$9,	$18,	$10
	addq	$10,	$17,	$17
	addq	$20,	$17,	$20
	cmpult	$20,	$17,	$18
	addq	$19,	$18,	$19
	mulq	$4,	$1,	$10
	umulh	$4,	$1,	$17
	addq	$9,	$10,	$9
	cmpult	$9,	$10,	$18
	addq	$18,	$17,	$17
	addq	$20,	$17,	$20
	cmpult	$20,	$17,	$10
	addq	$19,	$10,	$19
	stq	$9,	16($16)
	bis	$31,	$31,	$9
	mulq	$0,	$7,	$18
	umulh	$0,	$7,	$17
	addq	$20,	$18,	$20
	cmpult	$20,	$18,	$10
	addq	$10,	$17,	$17
	addq	$19,	$17,	$19
	cmpult	$19,	$17,	$18
	addq	$9,	$18,	$9
	mulq	$2,	$5,	$10
	umulh	$2,	$5,	$17
	addq	$20,	$10,	$20
	cmpult	$20,	$10,	$18
	addq	$18,	$17,	$17
	addq	$19,	$17,	$19
	cmpult	$19,	$17,	$10
	addq	$9,	$10,	$9
	mulq	$4,	$3,	$18
	umulh	$4,	$3,	$17
	addq	$20,	$18,	$20
	cmpult	$20,	$18,	$10
	addq	$10,	$17,	$17
	addq	$19,	$17,	$19
	cmpult	$19,	$17,	$18
	addq	$9,	$18,	$9
	mulq	$6,	$1,	$10
	umulh	$6,	$1,	$17
	addq	$20,	$10,	$20
	cmpult	$20,	$10,	$18
	addq	$18,	$17,	$17
	addq	$19,	$17,	$19
	cmpult	$19,	$17,	$10
	addq	$9,	$10,	$9
	stq	$20,	24($16)
	bis	$31,	$31,	$20
	mulq	$0,	$22,	$18
	umulh	$0,	$22,	$17
	addq	$19,	$18,	$19
	cmpult	$19,	$18,	$10
	addq	$10,	$17,	$17
	addq	$9,	$17,	$9
	cmpult	$9,	$17,	$18
	addq	$20,	$18,	$20
	mulq	$2,	$7,	$10
	umulh	$2,	$7,	$17
	addq	$19,	$10,	$19
	cmpult	$19,	$10,	$18
	addq	$18,	$17,	$17
	addq	$9,	$17,	$9
	cmpult	$9,	$17,	$10
	addq	$20,	$10,	$20
	mulq	$4,	$5,	$18
	umulh	$4,	$5,	$17
	addq	$19,	$18,	$19
	cmpult	$19,	$18,	$10
	addq	$10,	$17,	$17
	addq	$9,	$17,	$9
	cmpult	$9,	$17,	$18
	addq	$20,	$18,	$20
	mulq	$6,	$3,	$10
	umulh	$6,	$3,	$17
	addq	$19,	$10,	$19
	cmpult	$19,	$10,	$18
	addq	$18,	$17,	$17
	addq	$9,	$17,	$9
	cmpult	$9,	$17,	$10
	addq	$20,	$10,	$20
	mulq	$8,	$1,	$18
	umulh	$8,	$1,	$17
	addq	$19,	$18,	$19
	cmpult	$19,	$18,	$10
	addq	$10,	$17,	$17
	addq	$9,	$17,	$9
	cmpult	$9,	$17,	$18
	addq	$20,	$18,	$20
	stq	$19,	32($16)
	bis	$31,	$31,	$19
	mulq	$0,	$24,	$10
	umulh	$0,	$24,	$17
	addq	$9,	$10,	$9
	cmpult	$9,	$10,	$18
	addq	$18,	$17,	$17
	addq	$20,	$17,	$20
	cmpult	$20,	$17,	$10
	addq	$19,	$10,	$19
	mulq	$2,	$22,	$18
	umulh	$2,	$22,	$17
	addq	$9,	$18,	$9
	cmpult	$9,	$18,	$10
	addq	$10,	$17,	$17
	addq	$20,	$17,	$20
	cmpult	$20,	$17,	$18
	addq	$19,	$18,	$19
	mulq	$4,	$7,	$10
	umulh	$4,	$7,	$17
	addq	$9,	$10,	$9
	cmpult	$9,	$10,	$18
	addq	$18,	$17,	$17
	addq	$20,	$17,	$20
	cmpult	$20,	$17,	$10
	addq	$19,	$10,	$19
	mulq	$6,	$5,	$18
	umulh	$6,	$5,	$17
	addq	$9,	$18,	$9
	cmpult	$9,	$18,	$10
	addq	$10,	$17,	$17
	addq	$20,	$17,	$20
	cmpult	$20,	$17,	$18
	addq	$19,	$18,	$19
	mulq	$8,	$3,	$10
	umulh	$8,	$3,	$17
	addq	$9,	$10,	$9
	cmpult	$9,	$10,	$18
	addq	$18,	$17,	$17
	addq	$20,	$17,	$20
	cmpult	$20,	$17,	$10
	addq	$19,	$10,	$19
	mulq	$23,	$1,	$18
	umulh	$23,	$1,	$17
	addq	$9,	$18,	$9
	cmpult	$9,	$18,	$10
	addq	$10,	$17,	$17
	addq	$20,	$17,	$20
	cmpult	$20,	$17,	$18
	addq	$19,	$18,	$19
	stq	$9,	40($16)
	bis	$31,	$31,	$9
	mulq	$0,	$27,	$10
	umulh	$0,	$27,	$17
	addq	$20,	$10,	$20
	cmpult	$20,	$10,	$18
	addq	$18,	$17,	$17
	addq	$19,	$17,	$19
	cmpult	$19,	$17,	$10
	addq	$9,	$10,	$9
	mulq	$2,	$24,	$18
	umulh	$2,	$24,	$17
	addq	$20,	$18,	$20
	cmpult	$20,	$18,	$10
	addq	$10,	$17,	$17
	addq	$19,	$17,	$19
	cmpult	$19,	$17,	$18
	addq	$9,	$18,	$9
	mulq	$4,	$22,	$10
	umulh	$4,	$22,	$17
	addq	$20,	$10,	$20
	cmpult	$20,	$10,	$18
	addq	$18,	$17,	$17
	addq	$19,	$17,	$19
	cmpult	$19,	$17,	$10
	addq	$9,	$10,	$9
	mulq	$6,	$7,	$18
	umulh	$6,	$7,	$17
	addq	$20,	$18,	$20
	cmpult	$20,	$18,	$10
	addq	$10,	$17,	$17
	addq	$19,	$17,	$19
	cmpult	$19,	$17,	$18
	addq	$9,	$18,	$9
	mulq	$8,	$5,	$10
	umulh	$8,	$5,	$17
	addq	$20,	$10,	$20
	cmpult	$20,	$10,	$18
	addq	$18,	$17,	$17
	addq	$19,	$17,	$19
	cmpult	$19,	$17,	$10
	addq	$9,	$10,	$9
	mulq	$23,	$3,	$18
	umulh	$23,	$3,	$17
	addq	$20,	$18,	$20
	cmpult	$20,	$18,	$10
	addq	$10,	$17,	$17
	addq	$19,	$17,	$19
	cmpult	$19,	$17,	$18
	addq	$9,	$18,	$9
	mulq	$25,	$1,	$10
	umulh	$25,	$1,	$17
	addq	$20,	$10,	$20
	cmpult	$20,	$10,	$18
	addq	$18,	$17,	$17
	addq	$19,	$17,	$19
	cmpult	$19,	$17,	$10
	addq	$9,	$10,	$9
	stq	$20,	48($16)
	bis	$31,	$31,	$20
	mulq	$0,	$21,	$18
	umulh	$0,	$21,	$17
	addq	$19,	$18,	$19
	cmpult	$19,	$18,	$10
	addq	$10,	$17,	$17
	addq	$9,	$17,	$9
	cmpult	$9,	$17,	$18
	addq	$20,	$18,	$20
	mulq	$2,	$27,	$10
	umulh	$2,	$27,	$17
	addq	$19,	$10,	$19
	cmpult	$19,	$10,	$18
	addq	$18,	$17,	$17
	addq	$9,	$17,	$9
	cmpult	$9,	$17,	$0
	addq	$20,	$0,	$20
	mulq	$4,	$24,	$10
	umulh	$4,	$24,	$18
	addq	$19,	$10,	$19
	cmpult	$19,	$10,	$17
	addq	$17,	$18,	$18
	addq	$9,	$18,	$9
	cmpult	$9,	$18,	$0
	addq	$20,	$0,	$20
	mulq	$6,	$22,	$10
	umulh	$6,	$22,	$17
	addq	$19,	$10,	$19
	cmpult	$19,	$10,	$18
	addq	$18,	$17,	$17
	addq	$9,	$17,	$9
	cmpult	$9,	$17,	$0
	addq	$20,	$0,	$20
	mulq	$8,	$7,	$10
	umulh	$8,	$7,	$18
	addq	$19,	$10,	$19
	cmpult	$19,	$10,	$17
	addq	$17,	$18,	$18
	addq	$9,	$18,	$9
	cmpult	$9,	$18,	$0
	addq	$20,	$0,	$20
	mulq	$23,	$5,	$10
	umulh	$23,	$5,	$17
	addq	$19,	$10,	$19
	cmpult	$19,	$10,	$18
	addq	$18,	$17,	$17
	addq	$9,	$17,	$9
	cmpult	$9,	$17,	$0
	addq	$20,	$0,	$20
	mulq	$25,	$3,	$10
	umulh	$25,	$3,	$18
	addq	$19,	$10,	$19
	cmpult	$19,	$10,	$17
	addq	$17,	$18,	$18
	addq	$9,	$18,	$9
	cmpult	$9,	$18,	$0
	addq	$20,	$0,	$20
	mulq	$28,	$1,	$10
	umulh	$28,	$1,	$17
	addq	$19,	$10,	$19
	cmpult	$19,	$10,	$18
	addq	$18,	$17,	$17
	addq	$9,	$17,	$9
	cmpult	$9,	$17,	$0
	addq	$20,	$0,	$20
	stq	$19,	56($16)
	bis	$31,	$31,	$19
	mulq	$2,	$21,	$10
	umulh	$2,	$21,	$18
	addq	$9,	$10,	$9
	cmpult	$9,	$10,	$17
	addq	$17,	$18,	$18
	addq	$20,	$18,	$20
	cmpult	$20,	$18,	$0
	addq	$19,	$0,	$19
	mulq	$4,	$27,	$1
	umulh	$4,	$27,	$10
	addq	$9,	$1,	$9
	cmpult	$9,	$1,	$17
	addq	$17,	$10,	$10
	addq	$20,	$10,	$20
	cmpult	$20,	$10,	$18
	addq	$19,	$18,	$19
	mulq	$6,	$24,	$0
	umulh	$6,	$24,	$2
	addq	$9,	$0,	$9
	cmpult	$9,	$0,	$1
	addq	$1,	$2,	$2
	addq	$20,	$2,	$20
	cmpult	$20,	$2,	$17
	addq	$19,	$17,	$19
	mulq	$8,	$22,	$10
	umulh	$8,	$22,	$18
	addq	$9,	$10,	$9
	cmpult	$9,	$10,	$0
	addq	$0,	$18,	$18
	addq	$20,	$18,	$20
	cmpult	$20,	$18,	$1
	addq	$19,	$1,	$19
	mulq	$23,	$7,	$2
	umulh	$23,	$7,	$17
	addq	$9,	$2,	$9
	cmpult	$9,	$2,	$10
	addq	$10,	$17,	$17
	addq	$20,	$17,	$20
	cmpult	$20,	$17,	$0
	addq	$19,	$0,	$19
	mulq	$25,	$5,	$18
	umulh	$25,	$5,	$1
	addq	$9,	$18,	$9
	cmpult	$9,	$18,	$2
	addq	$2,	$1,	$1
	addq	$20,	$1,	$20
	cmpult	$20,	$1,	$10
	addq	$19,	$10,	$19
	mulq	$28,	$3,	$17
	umulh	$28,	$3,	$0
	addq	$9,	$17,	$9
	cmpult	$9,	$17,	$18
	addq	$18,	$0,	$0
	addq	$20,	$0,	$20
	cmpult	$20,	$0,	$2
	addq	$19,	$2,	$19
	stq	$9,	64($16)
	bis	$31,	$31,	$9
	mulq	$4,	$21,	$1
	umulh	$4,	$21,	$10
	addq	$20,	$1,	$20
	cmpult	$20,	$1,	$17
	addq	$17,	$10,	$10
	addq	$19,	$10,	$19
	cmpult	$19,	$10,	$18
	addq	$9,	$18,	$9
	mulq	$6,	$27,	$0
	umulh	$6,	$27,	$2
	addq	$20,	$0,	$20
	cmpult	$20,	$0,	$3
	addq	$3,	$2,	$2
	addq	$19,	$2,	$19
	cmpult	$19,	$2,	$1
	addq	$9,	$1,	$9
	mulq	$8,	$24,	$17
	umulh	$8,	$24,	$10
	addq	$20,	$17,	$20
	cmpult	$20,	$17,	$18
	addq	$18,	$10,	$10
	addq	$19,	$10,	$19
	cmpult	$19,	$10,	$4
	addq	$9,	$4,	$9
	mulq	$23,	$22,	$0
	umulh	$23,	$22,	$3
	addq	$20,	$0,	$20
	cmpult	$20,	$0,	$2
	addq	$2,	$3,	$3
	addq	$19,	$3,	$19
	cmpult	$19,	$3,	$1
	addq	$9,	$1,	$9
	mulq	$25,	$7,	$17
	umulh	$25,	$7,	$18
	addq	$20,	$17,	$20
	cmpult	$20,	$17,	$10
	addq	$10,	$18,	$18
	addq	$19,	$18,	$19
	cmpult	$19,	$18,	$4
	addq	$9,	$4,	$9
	mulq	$28,	$5,	$0
	umulh	$28,	$5,	$2
	addq	$20,	$0,	$20
	cmpult	$20,	$0,	$3
	addq	$3,	$2,	$2
	addq	$19,	$2,	$19
	cmpult	$19,	$2,	$1
	addq	$9,	$1,	$9
	stq	$20,	72($16)
	bis	$31,	$31,	$20
	mulq	$6,	$21,	$17
	umulh	$6,	$21,	$10
	addq	$19,	$17,	$19
	cmpult	$19,	$17,	$18
	addq	$18,	$10,	$10
	addq	$9,	$10,	$9
	cmpult	$9,	$10,	$4
	addq	$20,	$4,	$20
	mulq	$8,	$27,	$0
	umulh	$8,	$27,	$3
	addq	$19,	$0,	$19
	cmpult	$19,	$0,	$2
	addq	$2,	$3,	$3
	addq	$9,	$3,	$9
	cmpult	$9,	$3,	$1
	addq	$20,	$1,	$20
	mulq	$23,	$24,	$5
	umulh	$23,	$24,	$17
	addq	$19,	$5,	$19
	cmpult	$19,	$5,	$18
	addq	$18,	$17,	$17
	addq	$9,	$17,	$9
	cmpult	$9,	$17,	$10
	addq	$20,	$10,	$20
	mulq	$25,	$22,	$4
	umulh	$25,	$22,	$6
	addq	$19,	$4,	$19
	cmpult	$19,	$4,	$0
	addq	$0,	$6,	$6
	addq	$9,	$6,	$9
	cmpult	$9,	$6,	$2
	addq	$20,	$2,	$20
	mulq	$28,	$7,	$3
	umulh	$28,	$7,	$1
	addq	$19,	$3,	$19
	cmpult	$19,	$3,	$5
	addq	$5,	$1,	$1
	addq	$9,	$1,	$9
	cmpult	$9,	$1,	$18
	addq	$20,	$18,	$20
	stq	$19,	80($16)
	bis	$31,	$31,	$19
	mulq	$8,	$21,	$17
	umulh	$8,	$21,	$10
	addq	$9,	$17,	$9
	cmpult	$9,	$17,	$4
	addq	$4,	$10,	$10
	addq	$20,	$10,	$20
	cmpult	$20,	$10,	$0
	addq	$19,	$0,	$19
	mulq	$23,	$27,	$6
	umulh	$23,	$27,	$2
	addq	$9,	$6,	$9
	cmpult	$9,	$6,	$3
	addq	$3,	$2,	$2
	addq	$20,	$2,	$20
	cmpult	$20,	$2,	$5
	addq	$19,	$5,	$19
	mulq	$25,	$24,	$1
	umulh	$25,	$24,	$18
	addq	$9,	$1,	$9
	cmpult	$9,	$1,	$7
	addq	$7,	$18,	$18
	addq	$20,	$18,	$20
	cmpult	$20,	$18,	$17
	addq	$19,	$17,	$19
	mulq	$28,	$22,	$4
	umulh	$28,	$22,	$10
	addq	$9,	$4,	$9
	cmpult	$9,	$4,	$0
	addq	$0,	$10,	$10
	addq	$20,	$10,	$20
	cmpult	$20,	$10,	$8
	addq	$19,	$8,	$19
	stq	$9,	88($16)
	bis	$31,	$31,	$9
	mulq	$23,	$21,	$6
	umulh	$23,	$21,	$3
	addq	$20,	$6,	$20
	cmpult	$20,	$6,	$2
	addq	$2,	$3,	$3
	addq	$19,	$3,	$19
	cmpult	$19,	$3,	$5
	addq	$9,	$5,	$9
	mulq	$25,	$27,	$1
	umulh	$25,	$27,	$7
	addq	$20,	$1,	$20
	cmpult	$20,	$1,	$18
	addq	$18,	$7,	$7
	addq	$19,	$7,	$19
	cmpult	$19,	$7,	$17
	addq	$9,	$17,	$9
	mulq	$28,	$24,	$4
	umulh	$28,	$24,	$0
	addq	$20,	$4,	$20
	cmpult	$20,	$4,	$10
	addq	$10,	$0,	$0
	addq	$19,	$0,	$19
	cmpult	$19,	$0,	$8
	addq	$9,	$8,	$9
	stq	$20,	96($16)
	bis	$31,	$31,	$20
	mulq	$25,	$21,	$22
	umulh	$25,	$21,	$6
	addq	$19,	$22,	$19
	cmpult	$19,	$22,	$2
	addq	$2,	$6,	$6
	addq	$9,	$6,	$9
	cmpult	$9,	$6,	$3
	addq	$20,	$3,	$20
	mulq	$28,	$27,	$5
	umulh	$28,	$27,	$23
	addq	$19,	$5,	$19
	cmpult	$19,	$5,	$1
	addq	$1,	$23,	$23
	addq	$9,	$23,	$9
	cmpult	$9,	$23,	$18
	addq	$20,	$18,	$20
	stq	$19,	104($16)
	bis	$31,	$31,	$19
	mulq	$28,	$21,	$7
	umulh	$28,	$21,	$17
	addq	$9,	$7,	$9
	cmpult	$9,	$7,	$4
	addq	$4,	$17,	$17
	addq	$20,	$17,	$20
	cmpult	$20,	$17,	$10
	addq	$19,	$10,	$19
	stq	$9,	112($16)
	stq	$20,	120($16)
	ldq	$9,	8($30)
	ldq	$10,	16($30)
	ret	$31,($26),1
	.end bn_mul_comba8
