Add bt_ctf_field_type_compare(): field type deep comparison
[babeltrace.git] / formats / ctf / ir / event-types.c
index 31cd2524d77570cc182dd030752fe00a3ac7feb6..c750d2187a12a5534579d6f4d29a27b48f9f7651 100644 (file)
@@ -229,6 +229,44 @@ struct bt_ctf_field_type *(* const type_copy_funcs[])(
        [CTF_TYPE_STRING] = bt_ctf_field_type_string_copy,
 };
 
+static
+int bt_ctf_field_type_integer_compare(struct bt_ctf_field_type *,
+               struct bt_ctf_field_type *);
+static
+int bt_ctf_field_type_floating_point_compare(struct bt_ctf_field_type *,
+               struct bt_ctf_field_type *);
+static
+int bt_ctf_field_type_enumeration_compare(struct bt_ctf_field_type *,
+               struct bt_ctf_field_type *);
+static
+int bt_ctf_field_type_string_compare(struct bt_ctf_field_type *,
+               struct bt_ctf_field_type *);
+static
+int bt_ctf_field_type_structure_compare(struct bt_ctf_field_type *,
+               struct bt_ctf_field_type *);
+static
+int bt_ctf_field_type_variant_compare(struct bt_ctf_field_type *,
+               struct bt_ctf_field_type *);
+static
+int bt_ctf_field_type_array_compare(struct bt_ctf_field_type *,
+               struct bt_ctf_field_type *);
+static
+int bt_ctf_field_type_sequence_compare(struct bt_ctf_field_type *,
+               struct bt_ctf_field_type *);
+
+static
+int (* const type_compare_funcs[])(struct bt_ctf_field_type *,
+               struct bt_ctf_field_type *) = {
+       [CTF_TYPE_INTEGER] = bt_ctf_field_type_integer_compare,
+       [CTF_TYPE_ENUM] = bt_ctf_field_type_enumeration_compare,
+       [CTF_TYPE_FLOAT] = bt_ctf_field_type_floating_point_compare,
+       [CTF_TYPE_STRUCT] = bt_ctf_field_type_structure_compare,
+       [CTF_TYPE_VARIANT] = bt_ctf_field_type_variant_compare,
+       [CTF_TYPE_ARRAY] = bt_ctf_field_type_array_compare,
+       [CTF_TYPE_SEQUENCE] = bt_ctf_field_type_sequence_compare,
+       [CTF_TYPE_STRING] = bt_ctf_field_type_string_compare,
+};
+
 static
 void destroy_enumeration_mapping(struct enumeration_mapping *mapping)
 {
@@ -1545,6 +1583,32 @@ end:
        return ret;
 }
 
+BT_HIDDEN
+int bt_ctf_field_type_array_set_element_type(struct bt_ctf_field_type *type,
+               struct bt_ctf_field_type *element_type)
+{
+       int ret = 0;
+       struct bt_ctf_field_type_array *array;
+
+       if (!type || !element_type ||
+                       (type->declaration->id != CTF_TYPE_ARRAY)) {
+               ret = -1;
+               goto end;
+       }
+
+       array = container_of(type, struct bt_ctf_field_type_array, parent);
+
+       if (array->element_type) {
+               BT_PUT(array->element_type);
+       }
+
+       array->element_type = element_type;
+       bt_get(array->element_type);
+
+end:
+       return ret;
+}
+
 int64_t bt_ctf_field_type_array_get_length(struct bt_ctf_field_type *type)
 {
        int64_t ret;
@@ -1606,6 +1670,32 @@ end:
        return ret;
 }
 
+BT_HIDDEN
+int bt_ctf_field_type_sequence_set_element_type(struct bt_ctf_field_type *type,
+               struct bt_ctf_field_type *element_type)
+{
+       int ret = 0;
+       struct bt_ctf_field_type_sequence *sequence;
+
+       if (!type || !element_type ||
+                       (type->declaration->id != CTF_TYPE_SEQUENCE)) {
+               ret = -1;
+               goto end;
+       }
+
+       sequence = container_of(type, struct bt_ctf_field_type_sequence, parent);
+
+       if (sequence->element_type) {
+               BT_PUT(sequence->element_type);
+       }
+
+       sequence->element_type = element_type;
+       bt_get(sequence->element_type);
+
+end:
+       return ret;
+}
+
 const char *bt_ctf_field_type_sequence_get_length_field_name(
                struct bt_ctf_field_type *type)
 {
@@ -1815,7 +1905,6 @@ enum bt_ctf_byte_order bt_ctf_field_type_get_byte_order(
                struct bt_ctf_field_type *type)
 {
        enum bt_ctf_byte_order ret = BT_CTF_BYTE_ORDER_UNKNOWN;
-       int internal_byte_order = -1;
 
        if (!type) {
                goto end;
@@ -1826,7 +1915,7 @@ enum bt_ctf_byte_order bt_ctf_field_type_get_byte_order(
        {
                struct bt_ctf_field_type_integer *integer = container_of(
                        type, struct bt_ctf_field_type_integer, parent);
-               internal_byte_order = integer->declaration.byte_order;
+               ret = integer->user_byte_order;
                break;
        }
        case CTF_TYPE_FLOAT:
@@ -1835,26 +1924,18 @@ enum bt_ctf_byte_order bt_ctf_field_type_get_byte_order(
                        container_of(type,
                                struct bt_ctf_field_type_floating_point,
                                parent);
-               internal_byte_order = floating_point->declaration.byte_order;
+               ret = floating_point->user_byte_order;
                break;
        }
        default:
                goto end;
        }
 
-       switch (internal_byte_order) {
-       case LITTLE_ENDIAN:
-               ret = BT_CTF_BYTE_ORDER_LITTLE_ENDIAN;
-               break;
-       case BIG_ENDIAN:
-               ret = BT_CTF_BYTE_ORDER_BIG_ENDIAN;
-               break;
-       case 0:
-               ret = BT_CTF_BYTE_ORDER_NATIVE;
-               break;
-       default:
-               ret = BT_CTF_BYTE_ORDER_UNKNOWN;
-       }
+       assert(ret == BT_CTF_BYTE_ORDER_NATIVE ||
+               ret == BT_CTF_BYTE_ORDER_LITTLE_ENDIAN ||
+               ret == BT_CTF_BYTE_ORDER_BIG_ENDIAN ||
+               ret == BT_CTF_BYTE_ORDER_NETWORK);
+
 end:
        return ret;
 }
@@ -2504,8 +2585,6 @@ void bt_ctf_field_type_variant_freeze(struct bt_ctf_field_type *type)
        struct bt_ctf_field_type_variant *variant_type = container_of(
                type, struct bt_ctf_field_type_variant, parent);
 
-       /* Cache the alignment */
-       type->declaration->alignment = bt_ctf_field_type_get_alignment(type);
        generic_field_type_freeze(type);
        g_ptr_array_foreach(variant_type->fields,
                (GFunc) freeze_structure_field, NULL);
@@ -2892,6 +2971,33 @@ int bt_ctf_field_type_string_serialize(struct bt_ctf_field_type *type,
        return 0;
 }
 
+static
+enum bt_ctf_byte_order get_ctf_ir_byte_order(int byte_order) {
+       enum bt_ctf_byte_order ret;
+
+       switch (byte_order) {
+       case BT_CTF_BYTE_ORDER_LITTLE_ENDIAN:
+       case LITTLE_ENDIAN:
+               ret = BT_CTF_BYTE_ORDER_LITTLE_ENDIAN;
+               break;
+       case BT_CTF_BYTE_ORDER_BIG_ENDIAN:
+       case BIG_ENDIAN:
+               ret = BT_CTF_BYTE_ORDER_BIG_ENDIAN;
+               break;
+       case BT_CTF_BYTE_ORDER_NETWORK:
+               ret = BT_CTF_BYTE_ORDER_NETWORK;
+               break;
+       case BT_CTF_BYTE_ORDER_NATIVE:
+               ret = BT_CTF_BYTE_ORDER_NATIVE;
+               break;
+       default:
+               ret = BT_CTF_BYTE_ORDER_UNKNOWN;
+               break;
+       }
+
+       return ret;
+}
+
 static
 void bt_ctf_field_type_integer_set_byte_order(struct bt_ctf_field_type *type,
                int byte_order, int set_native)
@@ -2900,10 +3006,17 @@ void bt_ctf_field_type_integer_set_byte_order(struct bt_ctf_field_type *type,
                struct bt_ctf_field_type_integer, parent);
 
        if (set_native) {
-               integer_type->declaration.byte_order =
-                       integer_type->declaration.byte_order == 0 ?
-                       byte_order : integer_type->declaration.byte_order;
+               if (integer_type->user_byte_order == BT_CTF_BYTE_ORDER_NATIVE) {
+                       /*
+                        * User byte order is native, so we can set
+                        * the real byte order.
+                        */
+                       integer_type->declaration.byte_order =
+                               byte_order;
+               }
        } else {
+               integer_type->user_byte_order =
+                       get_ctf_ir_byte_order(byte_order);
                integer_type->declaration.byte_order = byte_order;
        }
 }
@@ -2929,20 +3042,24 @@ void bt_ctf_field_type_floating_point_set_byte_order(
                parent);
 
        if (set_native) {
-               floating_point_type->declaration.byte_order =
-                       floating_point_type->declaration.byte_order == 0 ?
-                       byte_order :
-                       floating_point_type->declaration.byte_order;
-               floating_point_type->sign.byte_order =
-                       floating_point_type->sign.byte_order == 0 ?
-                       byte_order : floating_point_type->sign.byte_order;
-               floating_point_type->mantissa.byte_order =
-                       floating_point_type->mantissa.byte_order == 0 ?
-                       byte_order : floating_point_type->mantissa.byte_order;
-               floating_point_type->exp.byte_order =
-                       floating_point_type->exp.byte_order == 0 ?
-                       byte_order : floating_point_type->exp.byte_order;
+               if (floating_point_type->user_byte_order ==
+                               BT_CTF_BYTE_ORDER_NATIVE) {
+                       /*
+                        * User byte order is native, so we can set
+                        * the real byte order.
+                        */
+                       floating_point_type->declaration.byte_order =
+                               byte_order;
+                       floating_point_type->sign.byte_order =
+                               byte_order;
+                       floating_point_type->mantissa.byte_order =
+                               byte_order;
+                       floating_point_type->exp.byte_order =
+                               byte_order;
+               }
        } else {
+               floating_point_type->user_byte_order =
+                       get_ctf_ir_byte_order(byte_order);
                floating_point_type->declaration.byte_order = byte_order;
                floating_point_type->sign.byte_order = byte_order;
                floating_point_type->mantissa.byte_order = byte_order;
@@ -3042,6 +3159,9 @@ struct bt_ctf_field_type *bt_ctf_field_type_integer_copy(
                bt_get(integer->mapped_clock);
                copy_integer->mapped_clock = integer->mapped_clock;
        }
+
+       copy_integer->user_byte_order = integer->user_byte_order;
+
 end:
        return copy;
 }
@@ -3115,6 +3235,7 @@ struct bt_ctf_field_type *bt_ctf_field_type_floating_point_copy(
        copy_float->sign = floating_point->sign;
        copy_float->mantissa = floating_point->mantissa;
        copy_float->exp = floating_point->exp;
+       copy_float->user_byte_order = floating_point->user_byte_order;
 end:
        return copy;
 }
@@ -3334,3 +3455,407 @@ struct bt_ctf_field_type *bt_ctf_field_type_string_copy(
 end:
        return copy;
 }
+
+static
+int bt_ctf_field_type_integer_compare(struct bt_ctf_field_type *type_a,
+               struct bt_ctf_field_type *type_b)
+{
+       int ret = 1;
+       struct bt_ctf_field_type_integer *integer_a;
+       struct bt_ctf_field_type_integer *integer_b;
+       struct declaration_integer *decl_a;
+       struct declaration_integer *decl_b;
+
+       integer_a = container_of(type_a, struct bt_ctf_field_type_integer,
+               parent);
+       integer_b = container_of(type_b, struct bt_ctf_field_type_integer,
+               parent);
+       decl_a = &integer_a->declaration;
+       decl_b = &integer_b->declaration;
+
+       /* Length */
+       if (decl_a->len != decl_b->len) {
+               goto end;
+       }
+
+       /*
+        * Compare user byte orders only, not the cached,
+        * real byte orders.
+        */
+       if (integer_a->user_byte_order != integer_b->user_byte_order) {
+               goto end;
+       }
+
+       /* Signedness */
+       if (decl_a->signedness != decl_b->signedness) {
+               goto end;
+       }
+
+       /* Base */
+       if (decl_a->base != decl_b->base) {
+               goto end;
+       }
+
+       /* Encoding */
+       if (decl_a->encoding != decl_b->encoding) {
+               goto end;
+       }
+
+       /* Mapped clock */
+       if (integer_a->mapped_clock != integer_b->mapped_clock) {
+               goto end;
+       }
+
+       /* Equal */
+       ret = 0;
+
+end:
+       return ret;
+}
+
+static
+int bt_ctf_field_type_floating_point_compare(struct bt_ctf_field_type *type_a,
+               struct bt_ctf_field_type *type_b)
+{
+       int ret = 1;
+       struct bt_ctf_field_type_floating_point *float_a;
+       struct bt_ctf_field_type_floating_point *float_b;
+
+       float_a = container_of(type_a,
+               struct bt_ctf_field_type_floating_point, parent);
+       float_b = container_of(type_b,
+               struct bt_ctf_field_type_floating_point, parent);
+
+       /* Sign length */
+       if (float_a->sign.len != float_b->sign.len) {
+               goto end;
+       }
+
+       /* Exponent length */
+       if (float_a->exp.len != float_b->exp.len) {
+               goto end;
+       }
+
+       /* Mantissa length */
+       if (float_a->mantissa.len != float_b->mantissa.len) {
+               goto end;
+       }
+
+       /*
+        * Compare user byte orders only, not the cached,
+        * real byte orders.
+        */
+       if (float_a->user_byte_order != float_b->user_byte_order) {
+               goto end;
+       }
+
+       /* Equal */
+       ret = 0;
+
+end:
+       return ret;
+}
+
+static
+int compare_enumeration_mappings(struct enumeration_mapping *mapping_a,
+               struct enumeration_mapping *mapping_b)
+{
+       int ret = 1;
+
+       /* Label */
+       if (mapping_a->string != mapping_b->string) {
+               goto end;
+       }
+
+       /* Range start */
+       if (mapping_a->range_start._unsigned !=
+                       mapping_b->range_start._unsigned) {
+               goto end;
+       }
+
+       /* Range end */
+       if (mapping_a->range_end._unsigned !=
+                       mapping_b->range_end._unsigned) {
+               goto end;
+       }
+
+       /* Equal */
+       ret = 0;
+
+end:
+       return ret;
+}
+
+static
+int bt_ctf_field_type_enumeration_compare(struct bt_ctf_field_type *type_a,
+               struct bt_ctf_field_type *type_b)
+{
+       int ret = 1;
+       int i;
+       struct bt_ctf_field_type_enumeration *enum_a;
+       struct bt_ctf_field_type_enumeration *enum_b;
+
+       enum_a = container_of(type_a,
+               struct bt_ctf_field_type_enumeration, parent);
+       enum_b = container_of(type_b,
+               struct bt_ctf_field_type_enumeration, parent);
+
+       /* Container field type */
+       ret = bt_ctf_field_type_compare(enum_a->container, enum_b->container);
+       if (ret) {
+               goto end;
+       }
+
+       ret = 1;
+
+       /* Entries */
+       if (enum_a->entries->len != enum_b->entries->len) {
+               goto end;
+       }
+
+       for (i = 0; i < enum_a->entries->len; ++i) {
+               struct enumeration_mapping *mapping_a =
+                       g_ptr_array_index(enum_a->entries, i);
+               struct enumeration_mapping *mapping_b =
+                       g_ptr_array_index(enum_b->entries, i);
+
+               if (compare_enumeration_mappings(mapping_a, mapping_b)) {
+                       goto end;
+               }
+       }
+
+       /* Equal */
+       ret = 0;
+
+end:
+       return ret;
+}
+
+static
+int bt_ctf_field_type_string_compare(struct bt_ctf_field_type *type_a,
+               struct bt_ctf_field_type *type_b)
+{
+       int ret = 1;
+       struct bt_ctf_field_type_string *string_a;
+       struct bt_ctf_field_type_string *string_b;
+
+       string_a = container_of(type_a,
+               struct bt_ctf_field_type_string, parent);
+       string_b = container_of(type_b,
+               struct bt_ctf_field_type_string, parent);
+
+       /* Encoding */
+       if (string_a->declaration.encoding != string_b->declaration.encoding) {
+               goto end;
+       }
+
+       /* Equal */
+       ret = 0;
+
+end:
+       return ret;
+}
+
+static
+int compare_structure_fields(struct structure_field *field_a,
+               struct structure_field *field_b)
+{
+       int ret = 1;
+
+       /* Label */
+       if (field_a->name != field_b->name) {
+               goto end;
+       }
+
+       /* Type */
+       ret = bt_ctf_field_type_compare(field_a->type, field_b->type);
+
+end:
+       return ret;
+}
+
+static
+int bt_ctf_field_type_structure_compare(struct bt_ctf_field_type *type_a,
+               struct bt_ctf_field_type *type_b)
+{
+       int ret = 1;
+       int i;
+       struct bt_ctf_field_type_structure *struct_a;
+       struct bt_ctf_field_type_structure *struct_b;
+
+       struct_a = container_of(type_a,
+               struct bt_ctf_field_type_structure, parent);
+       struct_b = container_of(type_b,
+               struct bt_ctf_field_type_structure, parent);
+
+       /* Alignment */
+       if (bt_ctf_field_type_get_alignment(type_a) !=
+                       bt_ctf_field_type_get_alignment(type_b)) {
+               goto end;
+       }
+
+       /* Fields */
+       if (struct_a->fields->len != struct_b->fields->len) {
+               goto end;
+       }
+
+       for (i = 0; i < struct_a->fields->len; ++i) {
+               struct structure_field *field_a =
+                       g_ptr_array_index(struct_a->fields, i);
+               struct structure_field *field_b =
+                       g_ptr_array_index(struct_b->fields, i);
+
+               ret = compare_structure_fields(field_a, field_b);
+               if (ret) {
+                       goto end;
+               }
+
+               ret = 1;
+       }
+
+       /* Equal */
+       ret = 0;
+
+end:
+       return ret;
+}
+
+static
+int bt_ctf_field_type_variant_compare(struct bt_ctf_field_type *type_a,
+               struct bt_ctf_field_type *type_b)
+{
+       int ret = 1;
+       int i;
+       struct bt_ctf_field_type_variant *variant_a;
+       struct bt_ctf_field_type_variant *variant_b;
+
+       variant_a = container_of(type_a,
+               struct bt_ctf_field_type_variant, parent);
+       variant_b = container_of(type_b,
+               struct bt_ctf_field_type_variant, parent);
+
+       /* Tag name */
+       if (strcmp(variant_a->tag_name->str, variant_b->tag_name->str)) {
+               goto end;
+       }
+
+       /* Tag type */
+       ret = bt_ctf_field_type_compare(
+               (struct bt_ctf_field_type *) variant_a->tag,
+               (struct bt_ctf_field_type *) variant_b->tag);
+       if (ret) {
+               goto end;
+       }
+
+       ret = 1;
+
+       /* Fields */
+       if (variant_a->fields->len != variant_b->fields->len) {
+               goto end;
+       }
+
+       for (i = 0; i < variant_a->fields->len; ++i) {
+               struct structure_field *field_a =
+                       g_ptr_array_index(variant_a->fields, i);
+               struct structure_field *field_b =
+                       g_ptr_array_index(variant_b->fields, i);
+
+               ret = compare_structure_fields(field_a, field_b);
+               if (ret) {
+                       goto end;
+               }
+
+               ret = 1;
+       }
+
+       /* Equal */
+       ret = 0;
+
+end:
+       return ret;
+}
+
+static
+int bt_ctf_field_type_array_compare(struct bt_ctf_field_type *type_a,
+               struct bt_ctf_field_type *type_b)
+{
+       int ret = 1;
+       struct bt_ctf_field_type_array *array_a;
+       struct bt_ctf_field_type_array *array_b;
+
+       array_a = container_of(type_a,
+               struct bt_ctf_field_type_array, parent);
+       array_b = container_of(type_b,
+               struct bt_ctf_field_type_array, parent);
+
+       /* Length */
+       if (array_a->length != array_b->length) {
+               goto end;
+       }
+
+       /* Element type */
+       ret = bt_ctf_field_type_compare(array_a->element_type,
+               array_b->element_type);
+
+end:
+       return ret;
+}
+
+static
+int bt_ctf_field_type_sequence_compare(struct bt_ctf_field_type *type_a,
+               struct bt_ctf_field_type *type_b)
+{
+       int ret = -1;
+       struct bt_ctf_field_type_sequence *sequence_a;
+       struct bt_ctf_field_type_sequence *sequence_b;
+
+       sequence_a = container_of(type_a,
+               struct bt_ctf_field_type_sequence, parent);
+       sequence_b = container_of(type_b,
+               struct bt_ctf_field_type_sequence, parent);
+
+       /* Length name */
+       if (strcmp(sequence_a->length_field_name->str,
+                       sequence_b->length_field_name->str)) {
+               goto end;
+       }
+
+       /* Element type */
+       ret = bt_ctf_field_type_compare(sequence_a->element_type,
+                       sequence_b->element_type);
+
+end:
+       return ret;
+}
+
+int bt_ctf_field_type_compare(struct bt_ctf_field_type *type_a,
+               struct bt_ctf_field_type *type_b)
+{
+       int ret = 1;
+
+       if (type_a == type_b) {
+               /* Same reference: equal (even if both are NULL) */
+               ret = 0;
+               goto end;
+       }
+
+       if (!type_a || !type_b) {
+               ret = -1;
+               goto end;
+       }
+
+       if (type_a->declaration->id != type_b->declaration->id) {
+               /* Different type IDs */
+               goto end;
+       }
+
+       if (type_a->declaration->id == CTF_TYPE_UNKNOWN) {
+               /* Both have unknown type IDs */
+               goto end;
+       }
+
+       ret = type_compare_funcs[type_a->declaration->id](type_a, type_b);
+
+end:
+       return ret;
+}
This page took 0.031295 seconds and 4 git commands to generate.