Changeset 6545a88e

Timestamp:

Aug 9, 2021, 5:13:26 PM (3 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:

b42d0ea

Parents:

eb2cfbf

Message:

Fixed cfa outputs for cfa_main_returned (x86)

Location:

tests/.expect

Files:

• declarationSpecifier.x86.txt (modified) (2 diffs)
• gccExtensions.x86.txt (modified) (2 diffs)

tests/.expect/declarationSpecifier.x86.txt

@@ -1132 +1132 @@
 char **_X13cfa_args_argvPPc_1;
 char **_X13cfa_args_envpPPc_1;
+signed int _X17cfa_main_returnedi_1 = ((signed int )0);
 signed int main(signed int _X4argci_1, char **_X4argvPPc_1, char **_X4envpPPc_1){
     __attribute__ ((unused)) signed int _X12_retval_maini_1;
@@ -1146 +1147 @@
     }
 
-    {
-        signed int _tmp_cp_ret6;
-        ((void)(_X12_retval_maini_1=(((void)(_tmp_cp_ret6=invoke_main(_X4argci_1, _X4argvPPc_1, _X4envpPPc_1))) , _tmp_cp_ret6)) /* ?{} */);
+    signed int _tmp_cp_ret6;
+    signed int _X3reti_2 = (((void)(_tmp_cp_ret6=invoke_main(_X4argci_1, _X4argvPPc_1, _X4envpPPc_1))) , _tmp_cp_ret6);
+    {
+        ((void)(_X17cfa_main_returnedi_1=((signed int )1)));
+    }
+
+    {
+        ((void)(_X12_retval_maini_1=_X3reti_2) /* ?{} */);
     }
 

tests/.expect/gccExtensions.x86.txt

@@ -302 +302 @@
 char **_X13cfa_args_argvPPc_1;
 char **_X13cfa_args_envpPPc_1;
+signed int _X17cfa_main_returnedi_1 = ((signed int )0);
 signed int main(signed int _X4argci_1, char **_X4argvPPc_1, char **_X4envpPPc_1){
     __attribute__ ((unused)) signed int _X12_retval_maini_1;
@@ -316 +317 @@
     }
 
-    {
-        signed int _tmp_cp_ret6;
-        ((void)(_X12_retval_maini_1=(((void)(_tmp_cp_ret6=invoke_main(_X4argci_1, _X4argvPPc_1, _X4envpPPc_1))) , _tmp_cp_ret6)) /* ?{} */);
+    signed int _tmp_cp_ret6;
+    signed int _X3reti_2 = (((void)(_tmp_cp_ret6=invoke_main(_X4argci_1, _X4argvPPc_1, _X4envpPPc_1))) , _tmp_cp_ret6);
+    {
+        ((void)(_X17cfa_main_returnedi_1=((signed int )1)));
+    }
+
+    {
+        ((void)(_X12_retval_maini_1=_X3reti_2) /* ?{} */);
     }