<commit_before>/* j/5/aes.c
**
** This file is in the public domain.
*/
#include "all.h"
#include "../pit.h"

union doub {
  double d;
  c3_d c;
};

/* declarations
*/
  extern u2_ho_jet j2_mcj(Pt5, rd, mul)[];
  extern u2_ho_jet j2_mcj(Pt5, rd, div)[];
  extern u2_ho_jet j2_mcj(Pt5, rd, add)[];
  extern u2_ho_jet j2_mcj(Pt5, rd, sub)[];

/* functions
*/
/* mul
*/
  u2_weak
  j2_mcd(Pt5, rd, mul)(u2_wire wir_r,
                        u2_atom a,
                        u2_atom b)
  {
    union doub c, d, e;
    c.c = u2_chub(0, a);
    d.c = u2_chub(0, b);
    e.d = c.d * d.d;
      
    return u2_ci_chubs(1, &e.c);
  }

  u2_weak
  j2_mc(Pt5, rd, mul)(u2_wire wir_r,
                       u2_noun cor)
  {
    u2_noun a, b;

    if ( u2_no == u2_mean(cor, u2_cv_sam_2, &a, u2_cv_sam_3, &b, 0) ||
         u2_no == u2_stud(a) ||
         u2_no == u2_stud(b) )
    {
      return u2_bl_bail(wir_r, c3__exit);
    }
    else {
      return j2_mcd(Pt5, rd, mul)(wir_r, a, b);
    }
  }

/* div
*/
  u2_weak
  j2_mcd(Pt5, rd, div)(u2_wire wir_r,
                        u2_atom a,
                        u2_atom b)
  {
    union doub c, d, e;
    c.c = u2_chub(0, a);
    d.c = u2_chub(0, b);
    e.d = c.d / d.d;
      
    return u2_ci_chubs(1, &e.c);
  }

  u2_weak
  j2_mc(Pt5, rd, div)(u2_wire wir_r,
                       u2_noun cor)
  {
    u2_noun a, b;

    if ( u2_no == u2_mean(cor, u2_cv_sam_2, &a, u2_cv_sam_3, &b, 0) ||
         u2_no == u2_stud(a) ||
         u2_no == u2_stud(b) )
    {
      return u2_bl_bail(wir_r, c3__exit);
    }
    else {
      return j2_mcd(Pt5, rd, div)(wir_r, a, b);
    }
  }

/* add
*/
  u2_weak
  j2_mcd(Pt5, rd, add)(u2_wire wir_r,
                        u2_atom a,
                        u2_atom b)
  {
    union doub c, d, e;
    c.c = u2_chub(0, a);
    d.c = u2_chub(0, b);
    e.d = c.d + d.d;
      
    return u2_ci_chubs(1, &e.c);
  }

  u2_weak
  j2_mc(Pt5, rd, add)(u2_wire wir_r,
                       u2_noun cor)
  {
    u2_noun a, b;

    if ( u2_no == u2_mean(cor, u2_cv_sam_2, &a, u2_cv_sam_3, &b, 0) ||
         u2_no == u2_stud(a) ||
         u2_no == u2_stud(b) )
    {
      return u2_bl_bail(wir_r, c3__exit);
    }
    else {
      return j2_mcd(Pt5, rd, add)(wir_r, a, b);
    }
  }

/* sub
*/
  u2_weak
  j2_mcd(Pt5, rd, sub)(u2_wire wir_r,
                        u2_atom a,
                        u2_atom b)
  {
    union doub c, d, e;
    c.c = u2_chub(0, a);
    d.c = u2_chub(0, b);
    e.d = c.d - d.d;
      
    return u2_ci_chubs(1, &e.c);
  }

  u2_weak
  j2_mc(Pt5, rd, sub)(u2_wire wir_r,
                       u2_noun cor)
  {
    u2_noun a, b;

    if ( u2_no == u2_mean(cor, u2_cv_sam_2, &a, u2_cv_sam_3, &b, 0) ||
         u2_no == u2_stud(a) ||
         u2_no == u2_stud(b) )
    {
      return u2_bl_bail(wir_r, c3__exit);
    }
    else {
      return j2_mcd(Pt5, rd, sub)(wir_r, a, b);
    }
  }

/* structures
*/
  u2_ho_jet
  j2_mcj(Pt5, rd, mul)[] = {
    { ".2", c3__lite, j2_mc(Pt5, rd, mul), Tier5_test, u2_none, u2_none },
    { }
  };
  u2_ho_jet
  j2_mcj(Pt5, rd, div)[] = {
    { ".2", c3__lite, j2_mc(Pt5, rd, div), Tier5_test, u2_none, u2_none },
    { }
  };
  u2_ho_jet
  j2_mcj(Pt5, rd, add)[] = {
    { ".2", c3__lite, j2_mc(Pt5, rd, add), Tier5_test, u2_none, u2_none },
    { }
  };
  u2_ho_jet
  j2_mcj(Pt5, rd, sub)[] = {
    { ".2", c3__lite, j2_mc(Pt5, rd, sub), Tier5_test, u2_none, u2_none },
    { }
  };

  u2_ho_driver
  j2_mbd(Pt5, rd)[] = {
    { j2_sc(Pt5, rd, mul), j2_mcj(Pt5, rd, mul), 0, 0, u2_none },
    { j2_sc(Pt5, rd, div), j2_mcj(Pt5, rd, div), 0, 0, u2_none },
    { j2_sc(Pt5, rd, add), j2_mcj(Pt5, rd, add), 0, 0, u2_none },
    { j2_sc(Pt5, rd, sub), j2_mcj(Pt5, rd, sub), 0, 0, u2_none },
    { }
  };

  u2_ho_driver
  j2_db(Pt5, rd) =
    { j2_sb(Pt5, rd), 0, j2_mbd(Pt5, rd), 0, u2_none };<commit_msg>Add comparison gates for floating points.<commit_after>/* j/5/aes.c
**
** This file is in the public domain.
*/
#include "all.h"
#include "../pit.h"

union doub {
  double d;
  c3_d c;
};

/* declarations
*/
  extern u2_ho_jet j2_mcj(Pt5, rd, mul)[];
  extern u2_ho_jet j2_mcj(Pt5, rd, div)[];
  extern u2_ho_jet j2_mcj(Pt5, rd, add)[];
  extern u2_ho_jet j2_mcj(Pt5, rd, sub)[];
  extern u2_ho_jet j2_mcj(Pt5, rd, lte)[];
  extern u2_ho_jet j2_mcj(Pt5, rd, lth)[];
  extern u2_ho_jet j2_mcj(Pt5, rd, gte)[];
  extern u2_ho_jet j2_mcj(Pt5, rd, gth)[];

/* functions
*/
/* mul
*/
  u2_weak
  j2_mcd(Pt5, rd, mul)(u2_wire wir_r,
                        u2_atom a,
                        u2_atom b)
  {
    union doub c, d, e;
    c.c = u2_chub(0, a);
    d.c = u2_chub(0, b);
    e.d = c.d * d.d;
      
    return u2_ci_chubs(1, &e.c);
  }

  u2_weak
  j2_mc(Pt5, rd, mul)(u2_wire wir_r,
                       u2_noun cor)
  {
    u2_noun a, b;

    if ( u2_no == u2_mean(cor, u2_cv_sam_2, &a, u2_cv_sam_3, &b, 0) ||
         u2_no == u2_stud(a) ||
         u2_no == u2_stud(b) )
    {
      return u2_bl_bail(wir_r, c3__exit);
    }
    else {
      return j2_mcd(Pt5, rd, mul)(wir_r, a, b);
    }
  }

/* div
*/
  u2_weak
  j2_mcd(Pt5, rd, div)(u2_wire wir_r,
                        u2_atom a,
                        u2_atom b)
  {
    union doub c, d, e;
    c.c = u2_chub(0, a);
    d.c = u2_chub(0, b);
    e.d = c.d / d.d;
      
    return u2_ci_chubs(1, &e.c);
  }

  u2_weak
  j2_mc(Pt5, rd, div)(u2_wire wir_r,
                       u2_noun cor)
  {
    u2_noun a, b;

    if ( u2_no == u2_mean(cor, u2_cv_sam_2, &a, u2_cv_sam_3, &b, 0) ||
         u2_no == u2_stud(a) ||
         u2_no == u2_stud(b) )
    {
      return u2_bl_bail(wir_r, c3__exit);
    }
    else {
      return j2_mcd(Pt5, rd, div)(wir_r, a, b);
    }
  }

/* add
*/
  u2_weak
  j2_mcd(Pt5, rd, add)(u2_wire wir_r,
                        u2_atom a,
                        u2_atom b)
  {
    union doub c, d, e;
    c.c = u2_chub(0, a);
    d.c = u2_chub(0, b);
    e.d = c.d + d.d;
      
    return u2_ci_chubs(1, &e.c);
  }

  u2_weak
  j2_mc(Pt5, rd, add)(u2_wire wir_r,
                       u2_noun cor)
  {
    u2_noun a, b;

    if ( u2_no == u2_mean(cor, u2_cv_sam_2, &a, u2_cv_sam_3, &b, 0) ||
         u2_no == u2_stud(a) ||
         u2_no == u2_stud(b) )
    {
      return u2_bl_bail(wir_r, c3__exit);
    }
    else {
      return j2_mcd(Pt5, rd, add)(wir_r, a, b);
    }
  }

/* sub
*/
  u2_weak
  j2_mcd(Pt5, rd, sub)(u2_wire wir_r,
                        u2_atom a,
                        u2_atom b)
  {
    union doub c, d, e;
    c.c = u2_chub(0, a);
    d.c = u2_chub(0, b);
    e.d = c.d - d.d;
      
    return u2_ci_chubs(1, &e.c);
  }

  u2_weak
  j2_mc(Pt5, rd, sub)(u2_wire wir_r,
                       u2_noun cor)
  {
    u2_noun a, b;

    if ( u2_no == u2_mean(cor, u2_cv_sam_2, &a, u2_cv_sam_3, &b, 0) ||
         u2_no == u2_stud(a) ||
         u2_no == u2_stud(b) )
    {
      return u2_bl_bail(wir_r, c3__exit);
    }
    else {
      return j2_mcd(Pt5, rd, sub)(wir_r, a, b);
    }
  }

/* lte
*/
  u2_weak
  j2_mcd(Pt5, rd, lte)(u2_wire wir_r,
                        u2_atom a,
                        u2_atom b)
  {
    union doub c, d;
    c.c = u2_chub(0, a);
    d.c = u2_chub(0, b);
      
    return u2_say(c.d <= d.d);
  }

  u2_weak
  j2_mc(Pt5, rd, lte)(u2_wire wir_r,
                       u2_noun cor)
  {
    u2_noun a, b;

    if ( u2_no == u2_mean(cor, u2_cv_sam_2, &a, u2_cv_sam_3, &b, 0) ||
         u2_no == u2_stud(a) ||
         u2_no == u2_stud(b) )
    {
      return u2_bl_bail(wir_r, c3__exit);
    }
    else {
      return j2_mcd(Pt5, rd, lte)(wir_r, a, b);
    }
  }

/* lth
*/
  u2_weak
  j2_mcd(Pt5, rd, lth)(u2_wire wir_r,
                        u2_atom a,
                        u2_atom b)
  {
    union doub c, d;
    c.c = u2_chub(0, a);
    d.c = u2_chub(0, b);
      
    return u2_say(c.d < d.d);
  }

  u2_weak
  j2_mc(Pt5, rd, lth)(u2_wire wir_r,
                       u2_noun cor)
  {
    u2_noun a, b;

    if ( u2_no == u2_mean(cor, u2_cv_sam_2, &a, u2_cv_sam_3, &b, 0) ||
         u2_no == u2_stud(a) ||
         u2_no == u2_stud(b) )
    {
      return u2_bl_bail(wir_r, c3__exit);
    }
    else {
      return j2_mcd(Pt5, rd, lth)(wir_r, a, b);
    }
  }

/* gte
*/
  u2_weak
  j2_mcd(Pt5, rd, gte)(u2_wire wir_r,
                        u2_atom a,
                        u2_atom b)
  {
    union doub c, d;
    c.c = u2_chub(0, a);
    d.c = u2_chub(0, b);
      
    return u2_say(c.d >= d.d);
  }

  u2_weak
  j2_mc(Pt5, rd, gte)(u2_wire wir_r,
                       u2_noun cor)
  {
    u2_noun a, b;

    if ( u2_no == u2_mean(cor, u2_cv_sam_2, &a, u2_cv_sam_3, &b, 0) ||
         u2_no == u2_stud(a) ||
         u2_no == u2_stud(b) )
    {
      return u2_bl_bail(wir_r, c3__exit);
    }
    else {
      return j2_mcd(Pt5, rd, gte)(wir_r, a, b);
    }
  }

/* gth
*/
  u2_weak
  j2_mcd(Pt5, rd, gth)(u2_wire wir_r,
                        u2_atom a,
                        u2_atom b)
  {
    union doub c, d;
    c.c = u2_chub(0, a);
    d.c = u2_chub(0, b);
      
    return u2_say(c.d > d.d);
  }

  u2_weak
  j2_mc(Pt5, rd, gth)(u2_wire wir_r,
                       u2_noun cor)
  {
    u2_noun a, b;

    if ( u2_no == u2_mean(cor, u2_cv_sam_2, &a, u2_cv_sam_3, &b, 0) ||
         u2_no == u2_stud(a) ||
         u2_no == u2_stud(b) )
    {
      return u2_bl_bail(wir_r, c3__exit);
    }
    else {
      return j2_mcd(Pt5, rd, gth)(wir_r, a, b);
    }
  }

/* structures
*/
  u2_ho_jet
  j2_mcj(Pt5, rd, mul)[] = {
    { ".2", c3__lite, j2_mc(Pt5, rd, mul), Tier5_test, u2_none, u2_none },
    { }
  };
  u2_ho_jet
  j2_mcj(Pt5, rd, div)[] = {
    { ".2", c3__lite, j2_mc(Pt5, rd, div), Tier5_test, u2_none, u2_none },
    { }
  };
  u2_ho_jet
  j2_mcj(Pt5, rd, add)[] = {
    { ".2", c3__lite, j2_mc(Pt5, rd, add), Tier5_test, u2_none, u2_none },
    { }
  };
  u2_ho_jet
  j2_mcj(Pt5, rd, sub)[] = {
    { ".2", c3__lite, j2_mc(Pt5, rd, sub), Tier5_test, u2_none, u2_none },
    { }
  };
  u2_ho_jet
  j2_mcj(Pt5, rd, lte)[] = {
    { ".2", c3__lite, j2_mc(Pt5, rd, lte), Tier5_test, u2_none, u2_none },
    { }
  };
  u2_ho_jet
  j2_mcj(Pt5, rd, lth)[] = {
    { ".2", c3__lite, j2_mc(Pt5, rd, lth), Tier5_test, u2_none, u2_none },
    { }
  };
  u2_ho_jet
  j2_mcj(Pt5, rd, gte)[] = {
    { ".2", c3__lite, j2_mc(Pt5, rd, gte), Tier5_test, u2_none, u2_none },
    { }
  };
  u2_ho_jet
  j2_mcj(Pt5, rd, gth)[] = {
    { ".2", c3__lite, j2_mc(Pt5, rd, gth), Tier5_test, u2_none, u2_none },
    { }
  };

  u2_ho_driver
  j2_mbd(Pt5, rd)[] = {
    { j2_sc(Pt5, rd, mul), j2_mcj(Pt5, rd, mul), 0, 0, u2_none },
    { j2_sc(Pt5, rd, div), j2_mcj(Pt5, rd, div), 0, 0, u2_none },
    { j2_sc(Pt5, rd, add), j2_mcj(Pt5, rd, add), 0, 0, u2_none },
    { j2_sc(Pt5, rd, sub), j2_mcj(Pt5, rd, sub), 0, 0, u2_none },
    { j2_sc(Pt5, rd, lte), j2_mcj(Pt5, rd, lte), 0, 0, u2_none },
    { j2_sc(Pt5, rd, lth), j2_mcj(Pt5, rd, lth), 0, 0, u2_none },
    { j2_sc(Pt5, rd, gte), j2_mcj(Pt5, rd, gte), 0, 0, u2_none },
    { j2_sc(Pt5, rd, gth), j2_mcj(Pt5, rd, gth), 0, 0, u2_none },
    { }
  };

  u2_ho_driver
  j2_db(Pt5, rd) =
    { j2_sb(Pt5, rd), 0, j2_mbd(Pt5, rd), 0, u2_none };
{'fraction_non_alphanumeric': 0.16477885652642935, 'fraction_numerical': 0.05951096727795757, 'mean_word_length': 1.8228875919817304, 'pattern_counts': {'":': 0, '<': 5, '<?xml version=': 0, '>': 5, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '1819142', 'n_tokens_mistral': 5950, 'n_tokens_neox': 5705, 'n_words': 1079}