Changeset 801978b for tests/polymorphism.cfa

Timestamp:

Jul 13, 2021, 12:41:41 PM (3 years ago)

Author:

Michael Brooks <mlbrooks@…>

Branches:

ADT, ast-experimental, enum, forall-pointer-decay, jacob/cs343-translation, master, new-ast-unique-expr, pthread-emulation, qualifiedEnum

Children:

ca69a8a

Parents:

37c6f77

Message:

GenPoly? field-number selection for dynamic layouts uses uniqueId to match anonymous fields, rather than accepting first name match. fixed #253?

File:

• tests/polymorphism.cfa (modified) (2 diffs)

tests/polymorphism.cfa

@@ -54 +54 @@
         b.i = s.i;
         return b.j;
+}
+
+void checkPlan9offsets() {
+
+        forall( T )
+        struct thing {
+                T q;                // variable-sized padding
+                inline double;
+                inline float;
+        };
+
+        #define SHOW_OFFSETS \
+                double & x_inner_double = x; \
+                float  & x_inner_float  = x; \
+                printf("  offset of inner double: %ld\n", ((char *) & x_inner_double) - ((char *) & x) ); \
+                printf("  offset of inner float:  %ld\n", ((char *) & x_inner_float ) - ((char *) & x) );
+
+        void showStatic( thing(int) & x ) {
+                printf("static:\n");
+                SHOW_OFFSETS
+        }
+
+        forall( T )
+        void showDynamic( thing(T) & x ) {
+                printf("dynamic:\n");
+                SHOW_OFFSETS
+        }
+
+        #undef SHOW_OFFSETS
+
+        printf("=== checkPlan9offsets\n");
+        thing(int) x;
+        showStatic(x);
+        showDynamic(x);
 }
 
@@ -114 +148 @@
                 assertf(ret == u.f2, "union operation fails in polymorphic context.");
         }
+
+        checkPlan9offsets();
 }