switch word {
	case "BRC",
		"BC",
		"BCL",
		"BEQ",
		"BGE",
		"BGT",
		"BL",
		"BLE",
		"BLEU",
		"BLT",
		"BLTU",
		"BNE",
		"BR",
		"BVC",
		"BVS",
		"BRCT",
		"BRCTG",
		"CMPBEQ",
		"CMPBGE",
		"CMPBGT",
		"CMPBLE",
		"CMPBLT",
		"CMPBNE",
		"CMPUBEQ",
		"CMPUBGE",
		"CMPUBGT",
		"CMPUBLE",
		"CMPUBLT",
		"CMPUBNE",
		"CRJ",
		"CGRJ",
		"CLRJ",

	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.1.0-rc1/fips1...