@@ -742,19 +742,19 @@ i=i + 1;goto _TLAC;_TLAB:;}
742
742
return ;}default :
743
743
return ;};}
744
744
# 425
745
- static void * Cyc_CfFlowInfo_insert_place_inner (void * new_val ,void * old_val ){void * _T0 ;int * _T1 ;unsigned _T2 ;void * _T3 ;struct Cyc_CfFlowInfo_UnionRInfo _T4 ;struct _fat_ptr _T5 ;struct _fat_ptr _T6 ;void * * _T7 ;unsigned _T8 ;unsigned _T9 ;void * _TA ;struct _fat_ptr _TB ;unsigned _TC ;int _TD ;unsigned char * _TE ; void * * _TF ;void * _T10 ;struct Cyc_CfFlowInfo_Aggregate_CfFlowInfo_AbsRVal_struct * _T11 ; void * _T12 ;void * _T13 ;void * _T14 ;struct Cyc_CfFlowInfo_Consumed_CfFlowInfo_AbsRVal_struct * _T15 ; void * _T16 ;void * _T17 ;void * _T18 ;struct Cyc_CfFlowInfo_NamedLocation_CfFlowInfo_AbsRVal_struct * _T19 ;void * _T1A ;void * _T1B ;struct Cyc_Absyn_Vardecl * _T1C ;int _T1D ;void * _T1E ;void * _T1F ;struct _fat_ptr _T20 ;int _T21 ;_T0 = old_val ;_T1 = (int * )_T0 ;_T2 = * _T1 ;switch (_T2 ){case 6 : _T3 = old_val ;{struct Cyc_CfFlowInfo_Aggregate_CfFlowInfo_AbsRVal_struct * _T22 = (struct Cyc_CfFlowInfo_Aggregate_CfFlowInfo_AbsRVal_struct * )_T3 ;_T4 = _T22 -> f1 ;_T21 = _T4 .is_union ;_T20 = _T22 -> f2 ;}{int is_union = _T21 ;struct _fat_ptr d = _T20 ;_T6 = d ;{unsigned _T22 =
745
+ static void * Cyc_CfFlowInfo_insert_place_inner (void * new_val ,void * old_val ){void * _T0 ;int * _T1 ;unsigned _T2 ;void * _T3 ;struct Cyc_CfFlowInfo_UnionRInfo _T4 ;struct _fat_ptr _T5 ;struct _fat_ptr _T6 ;void * * _T7 ;unsigned _T8 ;unsigned _T9 ;void * _TA ;struct _fat_ptr _TB ;unsigned char * _TC ;void * * _TD ;void * * _TE ; unsigned _TF ;int _T10 ; void * _T11 ;struct Cyc_CfFlowInfo_Aggregate_CfFlowInfo_AbsRVal_struct * _T12 ;void * _T13 ;void * _T14 ;void * _T15 ; struct Cyc_CfFlowInfo_Consumed_CfFlowInfo_AbsRVal_struct * _T16 ;void * _T17 ;void * _T18 ;void * _T19 ; struct Cyc_CfFlowInfo_NamedLocation_CfFlowInfo_AbsRVal_struct * _T1A ;void * _T1B ;void * _T1C ;struct Cyc_Absyn_Vardecl * _T1D ;int _T1E ;void * _T1F ;void * _T20 ;struct _fat_ptr _T21 ;int _T22 ;_T0 = old_val ;_T1 = (int * )_T0 ;_T2 = * _T1 ;switch (_T2 ){case 6 : _T3 = old_val ;{struct Cyc_CfFlowInfo_Aggregate_CfFlowInfo_AbsRVal_struct * _T23 = (struct Cyc_CfFlowInfo_Aggregate_CfFlowInfo_AbsRVal_struct * )_T3 ;_T4 = _T23 -> f1 ;_T22 = _T4 .is_union ;_T21 = _T23 -> f2 ;}{int is_union = _T22 ;struct _fat_ptr d = _T21 ;_T6 = d ;{unsigned _T23 =
746
746
# 428
747
- _get_fat_size (_T6 ,sizeof (void * ));_T8 = _check_times (_T22 ,sizeof (void * ));{void * * _T23 = _cycalloc (_T8 );{unsigned _T24 = _T22 ;unsigned i ;i = 0 ;_TLB1 : if (i < _T24 )goto _TLAF ;else {goto _TLB0 ;}_TLAF : _T9 = i ;_TA = new_val ;_TB = d ;_TC = i ;_TD = (int ) _TC ; _TE = _check_fat_subscript ( _TB , sizeof ( void * ), _TD ); _TF = ( void * * ) _TE ; _T10 = * _TF ;
748
- _T23 [ _T9 ]= Cyc_CfFlowInfo_insert_place_inner (_TA ,_T10 );i = i + 1 ;goto _TLB1 ;_TLB0 :;}_T7 = (void * * )_T23 ;}_T5 =
747
+ _get_fat_size (_T6 ,sizeof (void * ));_T8 = _check_times (_T23 ,sizeof (void * ));{void * * _T24 = _cycalloc (_T8 );{unsigned _T25 = _T23 ;unsigned i ;i = 0 ;_TLB1 : if (i < _T25 )goto _TLAF ;else {goto _TLB0 ;}_TLAF : _T9 = i ;_TA = new_val ;_TB = d ;_TC = _TB . curr ;_TD = (void * * ) _TC ; _TE =
748
+ _check_null ( _TD ); _TF = i ; _T10 = ( int ) _TF ; _T11 = _TE [ _T10 ]; _T24 [ _T9 ]= Cyc_CfFlowInfo_insert_place_inner (_TA ,_T11 );i = i + 1 ;goto _TLB1 ;_TLB0 :;}_T7 = (void * * )_T24 ;}_T5 =
749
749
# 428
750
- _tag_fat (_T7 ,sizeof (void * ),_T22 );}{struct _fat_ptr d2 = _T5 ;{struct Cyc_CfFlowInfo_Aggregate_CfFlowInfo_AbsRVal_struct * _T22 = _cycalloc (sizeof (struct Cyc_CfFlowInfo_Aggregate_CfFlowInfo_AbsRVal_struct ));_T22 -> tag = 6 ;
750
+ _tag_fat (_T7 ,sizeof (void * ),_T23 );}{struct _fat_ptr d2 = _T5 ;{struct Cyc_CfFlowInfo_Aggregate_CfFlowInfo_AbsRVal_struct * _T23 = _cycalloc (sizeof (struct Cyc_CfFlowInfo_Aggregate_CfFlowInfo_AbsRVal_struct ));_T23 -> tag = 6 ;
751
751
# 432
752
- _T22 -> f1 .is_union = is_union ;_T22 -> f1 .fieldnum = - 1 ;_T22 -> f2 = d2 ;_T11 = (struct Cyc_CfFlowInfo_Aggregate_CfFlowInfo_AbsRVal_struct * )_T22 ;} _T12 = (void * )_T11 ;return _T12 ;}}case 7 : _T13 = old_val ;{struct Cyc_CfFlowInfo_Consumed_CfFlowInfo_AbsRVal_struct * _T22 = (struct Cyc_CfFlowInfo_Consumed_CfFlowInfo_AbsRVal_struct * )_T13 ; _T1F = _T22 -> f1 ;_T21 = _T22 -> f2 ;_T14 = _T22 -> f3 ;_T1E = (void * )_T14 ; _T1D = _T22 -> f4 ;}{struct Cyc_Absyn_Exp * e = _T1F ;int i = _T21 ;void * rval = _T1E ;int l = _T1D ;{struct Cyc_CfFlowInfo_Consumed_CfFlowInfo_AbsRVal_struct * _T22 = _cycalloc (sizeof (struct Cyc_CfFlowInfo_Consumed_CfFlowInfo_AbsRVal_struct ));_T22 -> tag = 7 ;
752
+ _T23 -> f1 .is_union = is_union ;_T23 -> f1 .fieldnum = - 1 ;_T23 -> f2 = d2 ;_T12 = (struct Cyc_CfFlowInfo_Aggregate_CfFlowInfo_AbsRVal_struct * )_T23 ;} _T13 = (void * )_T12 ;return _T13 ;}}case 7 : _T14 = old_val ;{struct Cyc_CfFlowInfo_Consumed_CfFlowInfo_AbsRVal_struct * _T23 = (struct Cyc_CfFlowInfo_Consumed_CfFlowInfo_AbsRVal_struct * )_T14 ; _T20 = _T23 -> f1 ;_T22 = _T23 -> f2 ;_T15 = _T23 -> f3 ;_T1F = (void * )_T15 ; _T1E = _T23 -> f4 ;}{struct Cyc_Absyn_Exp * e = _T20 ;int i = _T22 ;void * rval = _T1F ;int l = _T1E ;{struct Cyc_CfFlowInfo_Consumed_CfFlowInfo_AbsRVal_struct * _T23 = _cycalloc (sizeof (struct Cyc_CfFlowInfo_Consumed_CfFlowInfo_AbsRVal_struct ));_T23 -> tag = 7 ;
753
753
# 434
754
- _T22 -> f1 = e ;_T22 -> f2 = i ;_T22 -> f3 = Cyc_CfFlowInfo_insert_place_inner (new_val ,rval );_T22 -> f4 = l ;_T15 = (struct Cyc_CfFlowInfo_Consumed_CfFlowInfo_AbsRVal_struct * )_T22 ;} _T16 = (void * )_T15 ;return _T16 ;}case 8 : _T17 = old_val ;{struct Cyc_CfFlowInfo_NamedLocation_CfFlowInfo_AbsRVal_struct * _T22 = (struct Cyc_CfFlowInfo_NamedLocation_CfFlowInfo_AbsRVal_struct * )_T17 ; _T1C = _T22 -> f1 ;_T18 = _T22 -> f2 ;_T1F = (void * )_T18 ;}{struct Cyc_Absyn_Vardecl * n = _T1C ;void * rval = _T1F ;{struct Cyc_CfFlowInfo_NamedLocation_CfFlowInfo_AbsRVal_struct * _T22 = _cycalloc (sizeof (struct Cyc_CfFlowInfo_NamedLocation_CfFlowInfo_AbsRVal_struct ));_T22 -> tag = 8 ;
754
+ _T23 -> f1 = e ;_T23 -> f2 = i ;_T23 -> f3 = Cyc_CfFlowInfo_insert_place_inner (new_val ,rval );_T23 -> f4 = l ;_T16 = (struct Cyc_CfFlowInfo_Consumed_CfFlowInfo_AbsRVal_struct * )_T23 ;} _T17 = (void * )_T16 ;return _T17 ;}case 8 : _T18 = old_val ;{struct Cyc_CfFlowInfo_NamedLocation_CfFlowInfo_AbsRVal_struct * _T23 = (struct Cyc_CfFlowInfo_NamedLocation_CfFlowInfo_AbsRVal_struct * )_T18 ; _T1D = _T23 -> f1 ;_T19 = _T23 -> f2 ;_T20 = (void * )_T19 ;}{struct Cyc_Absyn_Vardecl * n = _T1D ;void * rval = _T20 ;{struct Cyc_CfFlowInfo_NamedLocation_CfFlowInfo_AbsRVal_struct * _T23 = _cycalloc (sizeof (struct Cyc_CfFlowInfo_NamedLocation_CfFlowInfo_AbsRVal_struct ));_T23 -> tag = 8 ;
755
755
# 436
756
- _T22 -> f1 = n ;_T22 -> f2 = Cyc_CfFlowInfo_insert_place_inner (new_val ,rval );_T19 = (struct Cyc_CfFlowInfo_NamedLocation_CfFlowInfo_AbsRVal_struct * )_T22 ;} _T1A = (void * )_T19 ;return _T1A ;}default : _T1B = new_val ;
757
- return _T1B ;};}
756
+ _T23 -> f1 = n ;_T23 -> f2 = Cyc_CfFlowInfo_insert_place_inner (new_val ,rval );_T1A = (struct Cyc_CfFlowInfo_NamedLocation_CfFlowInfo_AbsRVal_struct * )_T23 ;} _T1B = (void * )_T1A ;return _T1B ;}default : _T1C = new_val ;
757
+ return _T1C ;};}
758
758
# 443
759
759
static struct _fat_ptr Cyc_CfFlowInfo_aggr_dict_insert (struct _fat_ptr d ,int n ,void * rval ){struct _fat_ptr _T0 ;int _T1 ;unsigned char * _T2 ;void * * _T3 ;struct _fat_ptr _T4 ;struct _fat_ptr _T5 ;struct _fat_ptr _T6 ;void * * _T7 ;unsigned _T8 ;unsigned _T9 ;struct _fat_ptr _TA ;unsigned char * _TB ;void * * _TC ;unsigned _TD ;int _TE ;struct _fat_ptr _TF ;unsigned char * _T10 ;void * * _T11 ;int _T12 ;struct _fat_ptr _T13 ;_T0 = d ;_T1 = n ;_T2 = _check_fat_subscript (_T0 ,sizeof (void * ),_T1 );_T3 = (void * * )_T2 ;{
760
760
void * old_rval = * _T3 ;
0 commit comments