From a15858a0a8fcea82db02fe8c9bd2ed912210419f Mon Sep 17 00:00:00 2001 From: xleroy Date: Wed, 18 Aug 2010 09:06:55 +0000 Subject: Merge of branches/full-expr-4: - Csyntax, Csem: source C language has side-effects within expressions, performs implicit casts, and has nondeterministic reduction semantics for expressions - Cstrategy: deterministic red. sem. for the above - Clight: the previous source C language, with pure expressions. Added: temporary variables + implicit casts. - New pass SimplExpr to pull side-effects out of expressions (previously done in untrusted Caml code in cparser/) - Csharpminor: added temporary variables to match Clight. - Cminorgen: adapted, removed cast optimization (moved to back-end) - CastOptim: RTL-level optimization of casts - cparser: transformations Bitfields, StructByValue and StructAssign now work on non-simplified expressions - Added pretty-printers for several intermediate languages, and matching -dxxx command-line flags. git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@1467 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e --- test/regression/Results/struct8 | 3 +++ 1 file changed, 3 insertions(+) (limited to 'test/regression/Results/struct8') diff --git a/test/regression/Results/struct8 b/test/regression/Results/struct8 index a2151938..19ec15d2 100644 --- a/test/regression/Results/struct8 +++ b/test/regression/Results/struct8 @@ -1,2 +1,5 @@ a = { 123, 2.718000, 'a' } b = { 125, 5.436000, 'f' } +c = { 128, 16.308000, 'f' } +d = { 125, 5.436000, 'f' } +e = { 128, 16.308000, 'f' } -- cgit