Changeset d83b266 for tests/polymorphism.cfa

Timestamp:

Jul 26, 2021, 2:42:34 PM (4 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

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

Children:

0a061c0

Parents:

c86ee4c (diff), 98233b3 (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.

Message:

Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc

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(long long 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(long long int) x;
+        showStatic(x);
+        showDynamic(x);
 }
 
@@ -114 +148 @@
                 assertf(ret == u.f2, "union operation fails in polymorphic context.");
         }
+
+        checkPlan9offsets();
 }