} else if x == 379 {
		x += 379
	} else if x == 380 {
		x += 380
	} else if x == 381 {
		x += 381
	} else if x == 382 {
		x += 382
	} else if x == 383 {
		x += 383
	} else if x == 384 {
		x += 384
	} else if x == 385 {
		x += 385
	} else if x == 386 {
		x += 386
	} else if x == 387 {
		x += 387
	} else if x == 388 {
		x += 388
	} else if x == 389 {
		x += 389

	var x382 uint64
	_, x382 = bits.Add64(x315, x363, uint64(0x0))
	var x383 uint64
	var x384 uint64
	x383, x384 = bits.Add64(x333, x365, uint64(p521Uint1(x382)))
	var x385 uint64
	var x386 uint64
	x385, x386 = bits.Add64(x335, x367, uint64(p521Uint1(x384)))
	var x387 uint64
	var x388 uint64
	x387, x388 = bits.Add64(x337, x369, uint64(p521Uint1(x386)))
	var x389 uint64

  }

  /**
   * Returns a hash function implementing the SHA-384 algorithm (384 hash bits).
   *
   * @since 19.0
   */
  public static HashFunction sha384() {
    return Sha384Holder.SHA_384;
  }

  private static class Sha384Holder {
    static final HashFunction SHA_384 =
        new MessageDigestHashFunction("SHA-384", "Hashing.sha384()");
  }

00000080  03 03 00 01 01 17 03 03  00 17 e4 b2 43 7d 15 fc  |............C}..|
00000090  ae 58 44 9d 0d 82 a4 1c  21 c4 3f 86 fb 4b 6b d1  |.XD.....!.?..Kk.|
000000a0  96 17 03 03 02 6d 03 84  7a 2c 7e d8 c8 ca 31 07  |.....m..z,~...1.|
000000b0  fc 2c 47 5b e4 c1 e1 5f  1a c9 a0 45 4e 9a 3d 63  |.,G[..._...EN.=c|
000000c0  11 3b 26 d7 05 e3 6c 36  c3 49 46 c3 73 4e ee 97  |.;&...l6.IF.sN..|

	VMOVDQU    AA0, (8*32)(oup); VMOVDQU BB0, (9*32)(oup); VMOVDQU CC0, (10*32)(oup); VMOVDQU DD0, (11*32)(oup)

	MOVQ       $384, itr1
	LEAQ       384(inp), inp
	SUBQ       $384, inl
	VPERM2I128 $0x02, AA3, BB3, AA0
	VPERM2I128 $0x02, tmpStoreAVX2, DD3, BB0
	VPERM2I128 $0x13, AA3, BB3, CC0
	VPERM2I128 $0x13, tmpStoreAVX2, DD3, DD0

000002a0  ed 2a 34 61 73 8d 47 41  62 33 39 66 fa 3d 2a e5  |.*4as.GAb39f.=*.|
000002b0  bf 09 d6 c0 1e 3c 98 b3  86 a6 87 b5 a7 d2 cf d9  |.....<..........|
000002c0  dd f8 2e 86 f7 13 84 4a  f7 3b ec 8e e5 06 f5 cd  |.......J.;......|
000002d0  42 17 03 03 00 35 b2 38  87 30 58 9e 03 6e 44 dd  |B....5.8.0X..nD.|
000002e0  fb 87 11 3a a0 e7 c1 2d  74 3b 35 d0 3f bc de cd  |...:...-t;5.?...|

func stack1376() { var buf [1376]byte; use(buf[:]); C.callGoStackCheck() }
func stack1380() { var buf [1380]byte; use(buf[:]); C.callGoStackCheck() }
func stack1384() { var buf [1384]byte; use(buf[:]); C.callGoStackCheck() }
func stack1388() { var buf [1388]byte; use(buf[:]); C.callGoStackCheck() }
func stack1392() { var buf [1392]byte; use(buf[:]); C.callGoStackCheck() }

		return 377
	case 378:
		return 378
	case 379:
		return 379
	case 380:
		return 380
	case 381:
		return 381
	case 382:
		return 382
	case 383:
		return 383
	case 384:
		return 384
	case 385:
		return 385
	case 386:
		return 386
	case 387:
		return 387
	case 388:
		return 388
	case 389:
		return 389
	case 390:
		return 390
	case 391:
		return 391

	`0123.01_23 = 123.0123`,

	`1e-1000000000 = 0`,
	`1e+1000000000 = ?`,
	`6e5518446744 = ?`,
	`-6e5518446744 = ?`,

	// hexadecimal floats
	`0x0.p+0 = 0.`,
	`0Xdeadcafe.p-10 = 0xdeadcafe/1024`,
	`0x1234.P84 = 0x1234000000000000000000000`,

	`0x.1p-0 = 1/16`,
	`0X.deadcafep4 = 0xdeadcafe/0x10000000`,
	`0x.1234P+12 = 0x1234/0x10`,

	`0x0p0 = 0.`,
	`0Xdeadcafep+1 = 0x1bd5b95fc`,
	`0x1234P-10 = 0x1234/1024`,

	/*1376*/ uint16(xArgR16),
	/*1377*/ uint16(xArgRM16),
	/*1378*/ uint16(xMatch),
	/*1379*/ uint16(xSetOp), uint16(LSL),
	/*1381*/ uint16(xReadSlashR),
	/*1382*/ uint16(xArgR32),
	/*1383*/ uint16(xArgR32M16),
	/*1384*/ uint16(xMatch),
	/*1385*/ uint16(xSetOp), uint16(LSL),
	/*1387*/ uint16(xReadSlashR),
	/*1388*/ uint16(xArgR64),
	/*1389*/ uint16(xArgR32M16),
	/*1390*/ uint16(xMatch),
	/*1391*/ uint16(xCondIs64), 0, 1394,