BGT	0(PC)                  // a7240000
	BGE	0(PC)                  // a7a40000
	BLTU	0(PC)                  // a7540000
	BLEU	0(PC)                  // a7d40000

	BRCT	R1, 0(PC)              // a7160000
	BRCTG	R2, 0(PC)              // a7270000

	CMPBNE	R1, R2, 0(PC)          // ec1200007064
	CMPBEQ	R3, R4, 0(PC)          // ec3400008064
	CMPBLT	R5, R6, 0(PC)          // ec5600004064

56(R4)(R3), R7 MLGR R5, R0 MLGR R5, R6 VACQ V6, V1, V0, V5 VACCCQ V6, V1, V0, V0 VACQ V5, V7, V2, V3 VACCCQ V5, V7, V2, V2 VPDI $4, V3, V3, V3 VL 48(R4)(R2), V1 VPDI $4, V1, V1, V1 VST V3, 32(R4)(R2) VLVGP R0, R1, V6 VLVGP R7, R8, V7 MOVD $32(R4), R4 BRCTG R10, L_top L_end: VACQ V6, V1, V0, V5 VACCCQ V6, V1, V0, V0 VACQ V5, V7, V2, V3 VACCCQ V5, V7, V2, V2 VPDI $4, V3, V3, V3 VST V3, 16(R2)(R4) VAG V0, V2, V2 L_1: VLGVG $1, V2, R2 ADDC R6, R2 MOVD R2, c+24(FP) RET golang.org/fips140@v1.26.0/fips140/...