regnames:        regNamesRISCV64,
		gpregmask:       gpMask,
		fpregmask:       fpMask,
		framepointerreg: -1, // not used
		// Integer parameters passed in register X10-X17, X8-X9, X18-X23
		ParamIntRegNames: "X10 X11 X12 X13 X14 X15 X16 X17 X8 X9 X18 X19 X20 X21 X22 X23",
		// Float parameters passed in register F10-F17, F8-F9, F18-F23
		ParamFloatRegNames: "F10 F11 F12 F13 F14 F15 F16 F17 F8 F9 F18 F19 F20 F21 F22 F23",
	})

((Rsh64U|Lsh64)x32 <t> x y)  => (ISEL [0] (S(R|L)D <t> x y) (MOVDconst [0])        (CMPWUconst y [64]))
((Rsh64U|Lsh64)x16 <t> x y)  => (ISEL [2] (S(R|L)D <t> x y) (MOVDconst [0])        (CMPconst [0] (ANDconst [0xFFC0] y)))
((Rsh64U|Lsh64)x8  <t> x y)  => (ISEL [2] (S(R|L)D <t> x y) (MOVDconst [0])        (CMPconst [0] (ANDconst [0x00C0] y)))
(Rsh64x(64|32)     <t> x y)  => (ISEL [0] (SRAD    <t> x y) (SRADconst <t> x [63]) (CMP(U|WU)const y [64]))

//     Hardware

#include "textflag.h"

#define B0 X0
#define B1 X1
#define B2 X2
#define B3 X3
#define B4 X4
#define B5 X5
#define B6 X6
#define B7 X7

#define ACC0 X8
#define ACC1 X9
#define ACCM X10

#define T0 X11
#define T1 X12
#define T2 X13
#define POLY X14
#define BSWAP X15

DATA bswapMask<>+0x00(SB)/8, $0x08090a0b0c0d0e0f

	var x3 C.jthrowable = 0
	_ = x3
	var x4 C.jstring = 0
	_ = x4
	var x5 C.jarray = 0
	_ = x5
	var x6 C.jbooleanArray = 0
	_ = x6
	var x7 C.jbyteArray = 0
	_ = x7
	var x8 C.jcharArray = 0
	_ = x8
	var x9 C.jshortArray = 0
	_ = x9
	var x10 C.jintArray = 0
	_ = x10
	var x11 C.jlongArray = 0
	_ = x11
	var x12 C.jfloatArray = 0
	_ = x12
	var x13 C.jdoubleArray = 0

#define state0		X1	// round intermediates and outputs
#define state1		X2
#define m0		X3	// m0, m1,... m4 -- round message temps
#define m1		X4
#define m2		X5
#define m3		X6
#define m4		X7
#define shufMask	X8	// input data endian conversion control mask
#define abefSave	X9	// digest hash vector inter-block buffer abef
#define cdghSave	X10	// digest hash vector inter-block buffer cdgh

  // Build the shape of the refined type, if lhs is unranked it
  // will be directly the shape of the refined type, otherwise we merged by
  // taking the most specialized. This combines `10x?x?` and `?x?x8` into
  // `10x?x8`.
  if (!lhs_shape_type.hasRank()) {
    if (rhs_shape_type.hasRank()) {
      shape.append(rhs_shape_type.getShape().begin(),
                   rhs_shape_type.getShape().end());
      refined_shape = true;

// left shift
(Lsh(64|32|16|8)x64 <t> x y) && shiftIsBounded(v) => (SLL <t> x y)
(Lsh(64|32|16|8)x32 <t> x y) && shiftIsBounded(v) => (SLL <t> x y)
(Lsh(64|32|16|8)x16 <t> x y) && shiftIsBounded(v) => (SLL <t> x y)
(Lsh(64|32|16|8)x8  <t> x y) && shiftIsBounded(v) => (SLL <t> x y)

// signed right shift
(Rsh64x(64|32|16|8) <t> x y) && shiftIsBounded(v) => (SRA <t> x y)
(Rsh32x(64|32|16|8) <t> x y) && shiftIsBounded(v) => (SRA <t> (SignExt32to64 x) y)

ĦüA {3Åý »á6 ô Òb\9ºŽÞ쳬ô¹,w…BÉé)uÌÊŠ ù?Z \œáýóLjä‹h óÌ îBM†,êó(†ayÇ °páËʸ[É Ÿ® vâ鱟§î= °A 6Ž?¨ È'uBAL ódb%bn e½ 1 ×¥³n¤f‚Y!‘~ï‰+ ÝïAëˆÎØyþú==Âz_æ~? c{|»pÛ¼ å7SB‹ÒåLZ0eö+]51´Zmză§îVû·hÏÓ p¡sæ× ,°†ÝI »9l‡:‚ã¾öÈN· 2°k² Ô0¤û5\³mW[mâ? ŽCܤ«‡¡j( {7T` X8 sbA'éY‹P 5z˜ù·|4,þ:KWˆø˜˜ò |°Vd?<õ‹ aíêïõucÄ]º±ÊƒË,h$ b½`ØŠö´q¡©ç 8d .ZŒ‘ÿØ äVÎÉ ¤ jü3nº ܯ†¿| ¿O‡† ÂJŸä |ÆoVˆÐØ’œ˜Ä( ’Feƒ¢eÜô®ÊgM3YhC Ê×&$ öÞ Ê¢$‡~´ ¬Ü¡:ñqø”÷Zs¤â­¿,×ÿè2 >=þÞ“^´/A@cÐü…×| â äÄ ¢Îx„o:vnðEc‰º )Ö‹LgöX€Òºƒ7½ ‰}e€ÈÓ""­5‘–©@Ü Ì†@×¹f 53Å)÷T…öš[Ú=8®S#´]™9Ÿç%...

9oqyP49W5dp7bK4hNENTfp+9vRt85ZINE8I/yIz8aNT1uuQO2+tjw4RrWo3cHzyj
ON3R4CfGWBi/82ireHpYbFUDwWXFDpemFfX4PXOY6gCYVCG4X7skFvvxBmJ0eP9h
t8GyComD7LgYkMOJzdSHRk6X6FvQ8pmKSHKyyWZLdv+KnksV8R2tf6hewozqDVeV
c2te/pi0UtjTe/x8/pXMiLmH+3cyyf1PwyMiuEAXAqpu9vSErAoCth23dwARAQAB
iQI8BBgBCAAmFiEEjacMAN968bDS+dx03bzBJwop0IEFAlsgsskCGwwFCQeGH4AA
CgkQ3bzBJwop0IE34g//QtY5NYkyHofCmQ0DhJMFVxIyMA54NH8UqtyAjY8h+fCR