kc3-lang/kc3/test/cfn_test.c

• Show log

  Commit

• Hash : 1baea400
  Author : Thomas de Grivel
  Date : 2023-06-16T13:46:25
  

  refactor

Download

• test/cfn_test.c

• /* c3
   * Copyright 2022,2023 kmx.io <contact@kmx.io>
   *
   * Permission is hereby granted to use this software granted the above
   * copyright notice and this permission paragraph are included in all
   * copies and substantial portions of this software.
   *
   * THIS SOFTWARE IS PROVIDED "AS-IS" WITHOUT ANY GUARANTEE OF
   * PURPOSE AND PERFORMANCE. IN NO EVENT WHATSOEVER SHALL THE
   * AUTHOR BE CONSIDERED LIABLE FOR THE USE AND PERFORMANCE OF
   * THIS SOFTWARE.
   */
  #include <string.h>
  #include "../libc3/cfn.h"
  #include "../libc3/list.h"
  #include "../libc3/sym.h"
  #include "../libc3/tag.h"
  #include "test.h"
  
  /* 1 */
  bool cfn_test_not (bool a);
  
  /* 2 */
  TEST_CASE_PROTOTYPE(cfn_apply);
  TEST_CASE_PROTOTYPE(cfn_copy);
  TEST_CASE_PROTOTYPE(cfn_init_clean);
  TEST_CASE_PROTOTYPE(cfn_link);
  TEST_CASE_PROTOTYPE(cfn_prep_cif);
  
  /* 3 */
  void cfn_test ();
  
  void cfn_test ()
  {
    TEST_CASE_RUN(cfn_init_clean);
    TEST_CASE_RUN(cfn_copy);
    TEST_CASE_RUN(cfn_link);
    TEST_CASE_RUN(cfn_prep_cif);
    TEST_CASE_RUN(cfn_apply);
  }
  
  bool cfn_test_not (bool a)
  {
    return a ? false : true;
  }
  
  TEST_CASE(cfn_apply)
  {
    s_list *args;
    s_tag result;
    s_cfn a;
    cfn_init(&a, sym_1("cfn_test_not"),
             list_1("(:bool)"),
             sym_1("bool"));
    cfn_link(&a);
    cfn_prep_cif(&a);
    args = list_new(NULL, NULL);
    tag_init_bool(&args->tag, false);
    TEST_EQ(cfn_apply(&a, args, &result), &result);
    TEST_EQ(result.type, TAG_BOOL);
    TEST_EQ(result.data.bool, true);
    list_delete_all(args);
    cfn_clean(&a);
  }
  TEST_CASE_END(cfn_apply)
  
  TEST_CASE(cfn_copy)
  {
    s_cfn a;
    s_list *a_arg_types;
    s_cfn b;
    s_list *b_arg_types;
    cfn_init(&a, sym_1("cfn_test_not"),
             list_1("(:bool)"),
             sym_1("bool"));
    TEST_EQ(cfn_copy(&a, &b), &b);
    TEST_EQ(a.name, b.name);
    TEST_EQ(a.ptr.p, b.ptr.p);
    TEST_EQ(a.arity, b.arity);
    TEST_EQ(a.result_type, b.result_type);
    TEST_EQ(a.arg_result, b.arg_result);
    a_arg_types = a.arg_types;
    b_arg_types = b.arg_types;
    while (a_arg_types && b_arg_types) {
      TEST_EQ(a_arg_types->tag.type, TAG_SYM);
      TEST_EQ(a_arg_types->tag.type, b_arg_types->tag.type);
      TEST_EQ(a_arg_types->tag.data.sym, b_arg_types->tag.data.sym);
      a_arg_types = list_next(a_arg_types);
      b_arg_types = list_next(b_arg_types);
    }
    TEST_EQ(a.cif.abi, b.cif.abi);
    TEST_EQ(a.cif.nargs, b.cif.nargs);
    TEST_EQ(memcmp(a.cif.arg_types, b.cif.arg_types,
                   a.cif.nargs * sizeof(ffi_type *)), 0);
    TEST_EQ(a.cif.rtype, b.cif.rtype);
    TEST_EQ(a.cif.bytes, b.cif.bytes);
    TEST_EQ(a.cif.flags, b.cif.flags);
    cfn_clean(&b);
    cfn_clean(&a);
  }
  TEST_CASE_END(cfn_copy)
  
  TEST_CASE(cfn_init_clean)
  {
    s_cfn a;
    TEST_EQ(cfn_init(&a, sym_1("cfn_test_not"),
                     list_1("(:bool)"),
                     sym_1("bool")), &a);
    TEST_EQ(a.name, sym_1("cfn_test_not"));
    TEST_EQ(a.ptr.f, 0);
    TEST_EQ(a.ptr.p, 0);
    TEST_EQ(a.arity, 1);
    TEST_EQ(a.result_type, sym_1("bool"));
    TEST_EQ(a.arg_result, false);
    TEST_EQ(a.arg_types->tag.type, TAG_SYM);
    TEST_EQ(a.arg_types->tag.data.sym, sym_1("bool"));
    TEST_EQ(a.arg_types->next.type, TAG_LIST);
    TEST_EQ(a.arg_types->next.data.list, NULL);
    TEST_EQ(a.cif.abi, 0);
    TEST_EQ(a.cif.nargs, 0);
    TEST_EQ(a.cif.arg_types, 0);
    TEST_EQ(a.cif.rtype, 0);
    TEST_EQ(a.cif.bytes, 0);
    TEST_EQ(a.cif.flags, 0);
    cfn_clean(&a);
    test_ok();
  }
  TEST_CASE_END(cfn_init_clean)
  
  TEST_CASE(cfn_link)
  {
    s_cfn a;
    s_cfn b;
    cfn_init(&a, sym_1("cfn_test_not"),
             list_1("(:bool)"),
             sym_1("bool"));
    b = a;
    TEST_EQ(cfn_link(&a), &a);
    TEST_EQ(a.name, b.name);
    TEST_EQ(a.ptr.f, &cfn_test_not);
    TEST_EQ(a.arity, b.arity);
    TEST_EQ(a.result_type, b.result_type);
    TEST_EQ(a.arg_result, b.arg_result);
    TEST_EQ(a.arg_types, b.arg_types);
    TEST_EQ(a.cif.abi, b.cif.abi);
    TEST_EQ(a.cif.nargs, b.cif.nargs);
    TEST_EQ(a.cif.arg_types, b.cif.arg_types);
    TEST_EQ(a.cif.rtype, b.cif.rtype);
    TEST_EQ(a.cif.bytes, b.cif.bytes);
    TEST_EQ(a.cif.flags, b.cif.flags);
    cfn_clean(&a);
  }
  TEST_CASE_END(cfn_link)
  
  TEST_CASE(cfn_prep_cif)
  {
    s_cfn a;
    s_cfn b;
    cfn_init(&a, sym_1("cfn_test_not"),
             list_1("(:bool)"),
             sym_1("bool"));
    b = a;
    TEST_EQ(cfn_prep_cif(&a), &a);
    TEST_EQ(a.name, b.name);
    TEST_EQ(a.ptr.f, b.ptr.f);
    TEST_EQ(a.ptr.p, b.ptr.p);
    TEST_EQ(a.arity, b.arity);
    TEST_EQ(a.result_type, b.result_type);
    TEST_EQ(a.arg_result, b.arg_result);
    TEST_EQ(a.arg_types, b.arg_types);
    TEST_EQ(a.cif.nargs, 1);
    TEST_ASSERT(a.cif.arg_types);
    TEST_EQ(a.cif.arg_types[0], &ffi_type_uint8);
    TEST_EQ(a.cif.rtype, &ffi_type_uint8);
    cfn_clean(&a);
  }
  TEST_CASE_END(cfn_prep_cif)
  

Download