crypto/openssh/libcrux_mlkem768_sha3.h

10012

(((uint32_t)Eurydice_slice_index(byte_chunk, (size_t)0U, uint8_t,

crypto/openssh/libcrux_mlkem768_sha3.h

10014

(uint32_t)Eurydice_slice_index(byte_chunk, (size_t)1U, uint8_t,

crypto/openssh/libcrux_mlkem768_sha3.h

10017

(uint32_t)Eurydice_slice_index(byte_chunk, (size_t)2U, uint8_t,

crypto/openssh/libcrux_mlkem768_sha3.h

10020

(uint32_t)Eurydice_slice_index(byte_chunk, (size_t)3U, uint8_t,

crypto/openssh/libcrux_mlkem768_sha3.h

10058

((uint32_t)Eurydice_slice_index(byte_chunk, (size_t)0U, uint8_t,

crypto/openssh/libcrux_mlkem768_sha3.h

10060

(uint32_t)Eurydice_slice_index(byte_chunk, (size_t)1U, uint8_t,

crypto/openssh/libcrux_mlkem768_sha3.h

10063

(uint32_t)Eurydice_slice_index(byte_chunk, (size_t)2U, uint8_t,

crypto/openssh/libcrux_mlkem768_sha3.h

5918

uint8_t r0 = (uint8_t)Eurydice_slice_index(v, (size_t)0U, int16_t, int16_t *);

crypto/openssh/libcrux_mlkem768_sha3.h

5919

uint8_t r1 = (uint32_t)(uint8_t)(Eurydice_slice_index(v, (size_t)1U, int16_t,

crypto/openssh/libcrux_mlkem768_sha3.h

5923

(uint32_t)(uint8_t)(Eurydice_slice_index(v, (size_t)0U, int16_t,

crypto/openssh/libcrux_mlkem768_sha3.h

5926

uint8_t r2 = (uint32_t)(uint8_t)(Eurydice_slice_index(v, (size_t)2U, int16_t,

crypto/openssh/libcrux_mlkem768_sha3.h

5930

(uint32_t)(uint8_t)(Eurydice_slice_index(v, (size_t)1U, int16_t,

crypto/openssh/libcrux_mlkem768_sha3.h

5934

(uint8_t)(Eurydice_slice_index(v, (size_t)2U, int16_t, int16_t *) >> 2U &

crypto/openssh/libcrux_mlkem768_sha3.h

5936

uint8_t r4 = (uint32_t)(uint8_t)(Eurydice_slice_index(v, (size_t)3U, int16_t,

crypto/openssh/libcrux_mlkem768_sha3.h

5940

(uint32_t)(uint8_t)(Eurydice_slice_index(v, (size_t)2U, int16_t,

crypto/openssh/libcrux_mlkem768_sha3.h

5943

uint8_t r5 = (uint32_t)(uint8_t)(Eurydice_slice_index(v, (size_t)4U, int16_t,

crypto/openssh/libcrux_mlkem768_sha3.h

5947

(uint32_t)(uint8_t)(Eurydice_slice_index(v, (size_t)3U, int16_t,

crypto/openssh/libcrux_mlkem768_sha3.h

5950

uint8_t r6 = (uint32_t)(uint8_t)(Eurydice_slice_index(v, (size_t)5U, int16_t,

crypto/openssh/libcrux_mlkem768_sha3.h

5954

(uint32_t)(uint8_t)(Eurydice_slice_index(v, (size_t)4U, int16_t,

crypto/openssh/libcrux_mlkem768_sha3.h

5958

(uint8_t)(Eurydice_slice_index(v, (size_t)5U, int16_t, int16_t *) >> 1U &

crypto/openssh/libcrux_mlkem768_sha3.h

5960

uint8_t r8 = (uint32_t)(uint8_t)(Eurydice_slice_index(v, (size_t)6U, int16_t,

crypto/openssh/libcrux_mlkem768_sha3.h

5964

(uint32_t)(uint8_t)(Eurydice_slice_index(v, (size_t)5U, int16_t,

crypto/openssh/libcrux_mlkem768_sha3.h

5967

uint8_t r9 = (uint32_t)(uint8_t)(Eurydice_slice_index(v, (size_t)7U, int16_t,

crypto/openssh/libcrux_mlkem768_sha3.h

5971

(uint32_t)(uint8_t)(Eurydice_slice_index(v, (size_t)6U, int16_t,

crypto/openssh/libcrux_mlkem768_sha3.h

5975

(uint8_t)(Eurydice_slice_index(v, (size_t)7U, int16_t, int16_t *) >> 3U);

crypto/openssh/libcrux_mlkem768_sha3.h

6050

((int16_t)Eurydice_slice_index(bytes, (size_t)1U, uint8_t, uint8_t *) &

crypto/openssh/libcrux_mlkem768_sha3.h

6053

(int16_t)Eurydice_slice_index(bytes, (size_t)0U, uint8_t, uint8_t *);

crypto/openssh/libcrux_mlkem768_sha3.h

6055

((int16_t)Eurydice_slice_index(bytes, (size_t)2U, uint8_t, uint8_t *) &

crypto/openssh/libcrux_mlkem768_sha3.h

6058

(int16_t)Eurydice_slice_index(bytes, (size_t)1U, uint8_t, uint8_t *) >>

crypto/openssh/libcrux_mlkem768_sha3.h

6061

(((int16_t)Eurydice_slice_index(bytes, (size_t)4U, uint8_t, uint8_t *) &

crypto/openssh/libcrux_mlkem768_sha3.h

6064

(int16_t)Eurydice_slice_index(bytes, (size_t)3U, uint8_t, uint8_t *)

crypto/openssh/libcrux_mlkem768_sha3.h

6066

(int16_t)Eurydice_slice_index(bytes, (size_t)2U, uint8_t, uint8_t *) >>

crypto/openssh/libcrux_mlkem768_sha3.h

6069

((int16_t)Eurydice_slice_index(bytes, (size_t)5U, uint8_t, uint8_t *) &

crypto/openssh/libcrux_mlkem768_sha3.h

6072

(int16_t)Eurydice_slice_index(bytes, (size_t)4U, uint8_t, uint8_t *) >>

crypto/openssh/libcrux_mlkem768_sha3.h

6075

((int16_t)Eurydice_slice_index(bytes, (size_t)6U, uint8_t, uint8_t *) &

crypto/openssh/libcrux_mlkem768_sha3.h

6078

(int16_t)Eurydice_slice_index(bytes, (size_t)5U, uint8_t, uint8_t *) >>

crypto/openssh/libcrux_mlkem768_sha3.h

6081

(((int16_t)Eurydice_slice_index(bytes, (size_t)8U, uint8_t, uint8_t *) &

crypto/openssh/libcrux_mlkem768_sha3.h

6084

(int16_t)Eurydice_slice_index(bytes, (size_t)7U, uint8_t, uint8_t *)

crypto/openssh/libcrux_mlkem768_sha3.h

6086

(int16_t)Eurydice_slice_index(bytes, (size_t)6U, uint8_t, uint8_t *) >>

crypto/openssh/libcrux_mlkem768_sha3.h

6089

((int16_t)Eurydice_slice_index(bytes, (size_t)9U, uint8_t, uint8_t *) &

crypto/openssh/libcrux_mlkem768_sha3.h

6092

(int16_t)Eurydice_slice_index(bytes, (size_t)8U, uint8_t, uint8_t *) >>

crypto/openssh/libcrux_mlkem768_sha3.h

6095

(int16_t)Eurydice_slice_index(bytes, (size_t)10U, uint8_t, uint8_t *)

crypto/openssh/libcrux_mlkem768_sha3.h

6097

(int16_t)Eurydice_slice_index(bytes, (size_t)9U, uint8_t, uint8_t *) >>

crypto/openssh/libcrux_mlkem768_sha3.h

7390

result.elements[i0] = (int16_t)((uint32_t)Eurydice_slice_index(

crypto/openssh/libcrux_mlkem768_sha3.h

7398

result.elements[i0] = (int16_t)((uint32_t)Eurydice_slice_index(

crypto/openssh/libcrux_mlkem768_sha3.h

7425

(uint32_t)(uint8_t)Eurydice_slice_index(v, (size_t)1U, int16_t, int16_t *)

crypto/openssh/libcrux_mlkem768_sha3.h

7427

(uint32_t)(uint8_t)Eurydice_slice_index(v, (size_t)0U, int16_t,

crypto/openssh/libcrux_mlkem768_sha3.h

7430

(uint32_t)(uint8_t)Eurydice_slice_index(v, (size_t)3U, int16_t, int16_t *)

crypto/openssh/libcrux_mlkem768_sha3.h

7432

(uint32_t)(uint8_t)Eurydice_slice_index(v, (size_t)2U, int16_t,

crypto/openssh/libcrux_mlkem768_sha3.h

7435

(uint32_t)(uint8_t)Eurydice_slice_index(v, (size_t)5U, int16_t, int16_t *)

crypto/openssh/libcrux_mlkem768_sha3.h

7437

(uint32_t)(uint8_t)Eurydice_slice_index(v, (size_t)4U, int16_t,

crypto/openssh/libcrux_mlkem768_sha3.h

7440

(uint32_t)(uint8_t)Eurydice_slice_index(v, (size_t)7U, int16_t, int16_t *)

crypto/openssh/libcrux_mlkem768_sha3.h

7442

(uint32_t)(uint8_t)Eurydice_slice_index(v, (size_t)6U, int16_t,

crypto/openssh/libcrux_mlkem768_sha3.h

7485

int16_t v0 = (int16_t)((uint32_t)Eurydice_slice_index(bytes, (size_t)0U,

crypto/openssh/libcrux_mlkem768_sha3.h

7488

int16_t v1 = (int16_t)((uint32_t)Eurydice_slice_index(bytes, (size_t)0U,

crypto/openssh/libcrux_mlkem768_sha3.h

7492

int16_t v2 = (int16_t)((uint32_t)Eurydice_slice_index(bytes, (size_t)1U,

crypto/openssh/libcrux_mlkem768_sha3.h

7495

int16_t v3 = (int16_t)((uint32_t)Eurydice_slice_index(bytes, (size_t)1U,

crypto/openssh/libcrux_mlkem768_sha3.h

7499

int16_t v4 = (int16_t)((uint32_t)Eurydice_slice_index(bytes, (size_t)2U,

crypto/openssh/libcrux_mlkem768_sha3.h

7502

int16_t v5 = (int16_t)((uint32_t)Eurydice_slice_index(bytes, (size_t)2U,

crypto/openssh/libcrux_mlkem768_sha3.h

7506

int16_t v6 = (int16_t)((uint32_t)Eurydice_slice_index(bytes, (size_t)3U,

crypto/openssh/libcrux_mlkem768_sha3.h

7509

int16_t v7 = (int16_t)((uint32_t)Eurydice_slice_index(bytes, (size_t)3U,

crypto/openssh/libcrux_mlkem768_sha3.h

7570

(uint8_t)(Eurydice_slice_index(v, (size_t)0U, int16_t, int16_t *) |

crypto/openssh/libcrux_mlkem768_sha3.h

7571

Eurydice_slice_index(v, (size_t)1U, int16_t, int16_t *) << 5U);

crypto/openssh/libcrux_mlkem768_sha3.h

7573

(uint8_t)((Eurydice_slice_index(v, (size_t)1U, int16_t, int16_t *) >> 3U |

crypto/openssh/libcrux_mlkem768_sha3.h

7574

Eurydice_slice_index(v, (size_t)2U, int16_t, int16_t *)

crypto/openssh/libcrux_mlkem768_sha3.h

7576

Eurydice_slice_index(v, (size_t)3U, int16_t, int16_t *) << 7U);

crypto/openssh/libcrux_mlkem768_sha3.h

7578

(uint8_t)(Eurydice_slice_index(v, (size_t)3U, int16_t, int16_t *) >> 1U |

crypto/openssh/libcrux_mlkem768_sha3.h

7579

Eurydice_slice_index(v, (size_t)4U, int16_t, int16_t *) << 4U);

crypto/openssh/libcrux_mlkem768_sha3.h

7581

(uint8_t)((Eurydice_slice_index(v, (size_t)4U, int16_t, int16_t *) >> 4U |

crypto/openssh/libcrux_mlkem768_sha3.h

7582

Eurydice_slice_index(v, (size_t)5U, int16_t, int16_t *)

crypto/openssh/libcrux_mlkem768_sha3.h

7584

Eurydice_slice_index(v, (size_t)6U, int16_t, int16_t *) << 6U);

crypto/openssh/libcrux_mlkem768_sha3.h

7586

(uint8_t)(Eurydice_slice_index(v, (size_t)6U, int16_t, int16_t *) >> 2U |

crypto/openssh/libcrux_mlkem768_sha3.h

7587

Eurydice_slice_index(v, (size_t)7U, int16_t, int16_t *) << 3U);

crypto/openssh/libcrux_mlkem768_sha3.h

7628

int16_t v0 = (int16_t)((uint32_t)Eurydice_slice_index(bytes, (size_t)0U,

crypto/openssh/libcrux_mlkem768_sha3.h

7631

int16_t v1 = (int16_t)(((uint32_t)Eurydice_slice_index(bytes, (size_t)1U,

crypto/openssh/libcrux_mlkem768_sha3.h

7634

(uint32_t)Eurydice_slice_index(bytes, (size_t)0U,

crypto/openssh/libcrux_mlkem768_sha3.h

7637

int16_t v2 = (int16_t)((uint32_t)Eurydice_slice_index(bytes, (size_t)1U,

crypto/openssh/libcrux_mlkem768_sha3.h

7641

int16_t v3 = (int16_t)(((uint32_t)Eurydice_slice_index(bytes, (size_t)2U,

crypto/openssh/libcrux_mlkem768_sha3.h

7645

(uint32_t)Eurydice_slice_index(bytes, (size_t)1U,

crypto/openssh/libcrux_mlkem768_sha3.h

7648

int16_t v4 = (int16_t)(((uint32_t)Eurydice_slice_index(bytes, (size_t)3U,

crypto/openssh/libcrux_mlkem768_sha3.h

7651

(uint32_t)Eurydice_slice_index(bytes, (size_t)2U,

crypto/openssh/libcrux_mlkem768_sha3.h

7654

int16_t v5 = (int16_t)((uint32_t)Eurydice_slice_index(bytes, (size_t)3U,

crypto/openssh/libcrux_mlkem768_sha3.h

7658

int16_t v6 = (int16_t)(((uint32_t)Eurydice_slice_index(bytes, (size_t)4U,

crypto/openssh/libcrux_mlkem768_sha3.h

7661

(uint32_t)Eurydice_slice_index(bytes, (size_t)3U,

crypto/openssh/libcrux_mlkem768_sha3.h

7664

int16_t v7 = (int16_t)((uint32_t)Eurydice_slice_index(bytes, (size_t)4U,

crypto/openssh/libcrux_mlkem768_sha3.h

7716

(uint8_t)(Eurydice_slice_index(v, (size_t)0U, int16_t, int16_t *) &

crypto/openssh/libcrux_mlkem768_sha3.h

7718

uint8_t r1 = (uint32_t)(uint8_t)(Eurydice_slice_index(v, (size_t)1U, int16_t,

crypto/openssh/libcrux_mlkem768_sha3.h

7722

(uint32_t)(uint8_t)(Eurydice_slice_index(v, (size_t)0U, int16_t,

crypto/openssh/libcrux_mlkem768_sha3.h

7726

uint8_t r2 = (uint32_t)(uint8_t)(Eurydice_slice_index(v, (size_t)2U, int16_t,

crypto/openssh/libcrux_mlkem768_sha3.h

7730

(uint32_t)(uint8_t)(Eurydice_slice_index(v, (size_t)1U, int16_t,

crypto/openssh/libcrux_mlkem768_sha3.h

7734

uint8_t r3 = (uint32_t)(uint8_t)(Eurydice_slice_index(v, (size_t)3U, int16_t,

crypto/openssh/libcrux_mlkem768_sha3.h

7738

(uint32_t)(uint8_t)(Eurydice_slice_index(v, (size_t)2U, int16_t,

crypto/openssh/libcrux_mlkem768_sha3.h

7743

(uint8_t)(Eurydice_slice_index(v, (size_t)3U, int16_t, int16_t *) >> 2U &

crypto/openssh/libcrux_mlkem768_sha3.h

7801

((int16_t)Eurydice_slice_index(bytes, (size_t)1U, uint8_t, uint8_t *) &

crypto/openssh/libcrux_mlkem768_sha3.h

7804

((int16_t)Eurydice_slice_index(bytes, (size_t)0U, uint8_t, uint8_t *) &

crypto/openssh/libcrux_mlkem768_sha3.h

7807

((int16_t)Eurydice_slice_index(bytes, (size_t)2U, uint8_t, uint8_t *) &

crypto/openssh/libcrux_mlkem768_sha3.h

7810

(int16_t)Eurydice_slice_index(bytes, (size_t)1U, uint8_t, uint8_t *) >>

crypto/openssh/libcrux_mlkem768_sha3.h

7813

((int16_t)Eurydice_slice_index(bytes, (size_t)3U, uint8_t, uint8_t *) &

crypto/openssh/libcrux_mlkem768_sha3.h

7816

(int16_t)Eurydice_slice_index(bytes, (size_t)2U, uint8_t, uint8_t *) >>

crypto/openssh/libcrux_mlkem768_sha3.h

7819

(int16_t)Eurydice_slice_index(bytes, (size_t)4U, uint8_t, uint8_t *)

crypto/openssh/libcrux_mlkem768_sha3.h

7821

(int16_t)Eurydice_slice_index(bytes, (size_t)3U, uint8_t, uint8_t *) >>

crypto/openssh/libcrux_mlkem768_sha3.h

7824

((int16_t)Eurydice_slice_index(bytes, (size_t)6U, uint8_t, uint8_t *) &

crypto/openssh/libcrux_mlkem768_sha3.h

7827

((int16_t)Eurydice_slice_index(bytes, (size_t)5U, uint8_t, uint8_t *) &

crypto/openssh/libcrux_mlkem768_sha3.h

7830

((int16_t)Eurydice_slice_index(bytes, (size_t)7U, uint8_t, uint8_t *) &

crypto/openssh/libcrux_mlkem768_sha3.h

7833

(int16_t)Eurydice_slice_index(bytes, (size_t)6U, uint8_t, uint8_t *) >>

crypto/openssh/libcrux_mlkem768_sha3.h

7836

((int16_t)Eurydice_slice_index(bytes, (size_t)8U, uint8_t, uint8_t *) &

crypto/openssh/libcrux_mlkem768_sha3.h

7839

(int16_t)Eurydice_slice_index(bytes, (size_t)7U, uint8_t, uint8_t *) >>

crypto/openssh/libcrux_mlkem768_sha3.h

7842

(int16_t)Eurydice_slice_index(bytes, (size_t)9U, uint8_t, uint8_t *)

crypto/openssh/libcrux_mlkem768_sha3.h

7844

(int16_t)Eurydice_slice_index(bytes, (size_t)8U, uint8_t, uint8_t *) >>

crypto/openssh/libcrux_mlkem768_sha3.h

7902

(uint8_t)(Eurydice_slice_index(v, (size_t)0U, int16_t, int16_t *) &

crypto/openssh/libcrux_mlkem768_sha3.h

7905

(uint8_t)(Eurydice_slice_index(v, (size_t)0U, int16_t, int16_t *) >> 8U |

crypto/openssh/libcrux_mlkem768_sha3.h

7906

(Eurydice_slice_index(v, (size_t)1U, int16_t, int16_t *) &

crypto/openssh/libcrux_mlkem768_sha3.h

7910

(uint8_t)(Eurydice_slice_index(v, (size_t)1U, int16_t, int16_t *) >> 4U &

crypto/openssh/libcrux_mlkem768_sha3.h

7986

(int16_t)Eurydice_slice_index(bytes, (size_t)0U, uint8_t, uint8_t *);

crypto/openssh/libcrux_mlkem768_sha3.h

7988

(int16_t)Eurydice_slice_index(bytes, (size_t)1U, uint8_t, uint8_t *);

crypto/openssh/libcrux_mlkem768_sha3.h

7990

(int16_t)Eurydice_slice_index(bytes, (size_t)2U, uint8_t, uint8_t *);

crypto/openssh/libcrux_mlkem768_sha3.h

8054

int16_t b1 = (int16_t)Eurydice_slice_index(a, i0 * (size_t)3U + (size_t)0U,

crypto/openssh/libcrux_mlkem768_sha3.h

8056

int16_t b2 = (int16_t)Eurydice_slice_index(a, i0 * (size_t)3U + (size_t)1U,

crypto/openssh/libcrux_mlkem768_sha3.h

8058

int16_t b3 = (int16_t)Eurydice_slice_index(a, i0 * (size_t)3U + (size_t)2U,

crypto/openssh/libcrux_mlkem768_sha3.h

8071

Eurydice_slice_index(result, sampled, int16_t, int16_t *) = d1;

crypto/openssh/libcrux_mlkem768_sha3.h

8082

Eurydice_slice_index(result, uu____5, int16_t, int16_t *) = uu____4;

crypto/openssh/libcrux_mlkem768_sha3.h

8099

Eurydice_slice_index(result, uu____5, int16_t, int16_t *) = uu____4;

crypto/openssh/libcrux_mlkem768_sha3.h

810

((uint32_t)Eurydice_slice_index(lhs, i0, uint8_t, uint8_t *) ^

crypto/openssh/libcrux_mlkem768_sha3.h

811

(uint32_t)Eurydice_slice_index(rhs, i0, uint8_t, uint8_t *));

crypto/openssh/libcrux_mlkem768_sha3.h

835

out[i0] = ((uint32_t)Eurydice_slice_index(lhs, i0, uint8_t, uint8_t *) &

crypto/openssh/libcrux_mlkem768_sha3.h

837

((uint32_t)Eurydice_slice_index(rhs, i0, uint8_t, uint8_t *) &