Ignore:
Timestamp:
Feb 25, 2013, 9:54:49 PM (7 years ago)
Author:
sacerdot
Message:

Exported again.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/rTLabs_syntax.ml

    r2717 r2730  
    139139    Graphs.label -> 'a1) -> 'a1 -> statement -> 'a1 **)
    140140let rec statement_rect_Type4 h_St_skip h_St_cost h_St_const h_St_op1 h_St_op2 h_St_load h_St_store h_St_call_id h_St_call_ptr h_St_cond h_St_return = function
    141 | St_skip x_14738 -> h_St_skip x_14738
    142 | St_cost (x_14740, x_14739) -> h_St_cost x_14740 x_14739
    143 | St_const (t, x_14743, x_14742, x_14741) ->
    144   h_St_const t x_14743 x_14742 x_14741
    145 | St_op1 (t', t, x_14747, x_14746, x_14745, x_14744) ->
    146   h_St_op1 t' t x_14747 x_14746 x_14745 x_14744
    147 | St_op2 (t', t1, t2, x_14752, x_14751, x_14750, x_14749, x_14748) ->
    148   h_St_op2 t' t1 t2 x_14752 x_14751 x_14750 x_14749 x_14748
    149 | St_load (x_14756, x_14755, x_14754, x_14753) ->
    150   h_St_load x_14756 x_14755 x_14754 x_14753
    151 | St_store (x_14760, x_14759, x_14758, x_14757) ->
    152   h_St_store x_14760 x_14759 x_14758 x_14757
    153 | St_call_id (x_14764, x_14763, x_14762, x_14761) ->
    154   h_St_call_id x_14764 x_14763 x_14762 x_14761
    155 | St_call_ptr (x_14768, x_14767, x_14766, x_14765) ->
    156   h_St_call_ptr x_14768 x_14767 x_14766 x_14765
    157 | St_cond (x_14771, x_14770, x_14769) -> h_St_cond x_14771 x_14770 x_14769
     141| St_skip x_1809 -> h_St_skip x_1809
     142| St_cost (x_1811, x_1810) -> h_St_cost x_1811 x_1810
     143| St_const (t, x_1814, x_1813, x_1812) -> h_St_const t x_1814 x_1813 x_1812
     144| St_op1 (t', t, x_1818, x_1817, x_1816, x_1815) ->
     145  h_St_op1 t' t x_1818 x_1817 x_1816 x_1815
     146| St_op2 (t', t1, t2, x_1823, x_1822, x_1821, x_1820, x_1819) ->
     147  h_St_op2 t' t1 t2 x_1823 x_1822 x_1821 x_1820 x_1819
     148| St_load (x_1827, x_1826, x_1825, x_1824) ->
     149  h_St_load x_1827 x_1826 x_1825 x_1824
     150| St_store (x_1831, x_1830, x_1829, x_1828) ->
     151  h_St_store x_1831 x_1830 x_1829 x_1828
     152| St_call_id (x_1835, x_1834, x_1833, x_1832) ->
     153  h_St_call_id x_1835 x_1834 x_1833 x_1832
     154| St_call_ptr (x_1839, x_1838, x_1837, x_1836) ->
     155  h_St_call_ptr x_1839 x_1838 x_1837 x_1836
     156| St_cond (x_1842, x_1841, x_1840) -> h_St_cond x_1842 x_1841 x_1840
    158157| St_return -> h_St_return
    159158
     
    174173    Graphs.label -> 'a1) -> 'a1 -> statement -> 'a1 **)
    175174let rec statement_rect_Type5 h_St_skip h_St_cost h_St_const h_St_op1 h_St_op2 h_St_load h_St_store h_St_call_id h_St_call_ptr h_St_cond h_St_return = function
    176 | St_skip x_14784 -> h_St_skip x_14784
    177 | St_cost (x_14786, x_14785) -> h_St_cost x_14786 x_14785
    178 | St_const (t, x_14789, x_14788, x_14787) ->
    179   h_St_const t x_14789 x_14788 x_14787
    180 | St_op1 (t', t, x_14793, x_14792, x_14791, x_14790) ->
    181   h_St_op1 t' t x_14793 x_14792 x_14791 x_14790
    182 | St_op2 (t', t1, t2, x_14798, x_14797, x_14796, x_14795, x_14794) ->
    183   h_St_op2 t' t1 t2 x_14798 x_14797 x_14796 x_14795 x_14794
    184 | St_load (x_14802, x_14801, x_14800, x_14799) ->
    185   h_St_load x_14802 x_14801 x_14800 x_14799
    186 | St_store (x_14806, x_14805, x_14804, x_14803) ->
    187   h_St_store x_14806 x_14805 x_14804 x_14803
    188 | St_call_id (x_14810, x_14809, x_14808, x_14807) ->
    189   h_St_call_id x_14810 x_14809 x_14808 x_14807
    190 | St_call_ptr (x_14814, x_14813, x_14812, x_14811) ->
    191   h_St_call_ptr x_14814 x_14813 x_14812 x_14811
    192 | St_cond (x_14817, x_14816, x_14815) -> h_St_cond x_14817 x_14816 x_14815
     175| St_skip x_1855 -> h_St_skip x_1855
     176| St_cost (x_1857, x_1856) -> h_St_cost x_1857 x_1856
     177| St_const (t, x_1860, x_1859, x_1858) -> h_St_const t x_1860 x_1859 x_1858
     178| St_op1 (t', t, x_1864, x_1863, x_1862, x_1861) ->
     179  h_St_op1 t' t x_1864 x_1863 x_1862 x_1861
     180| St_op2 (t', t1, t2, x_1869, x_1868, x_1867, x_1866, x_1865) ->
     181  h_St_op2 t' t1 t2 x_1869 x_1868 x_1867 x_1866 x_1865
     182| St_load (x_1873, x_1872, x_1871, x_1870) ->
     183  h_St_load x_1873 x_1872 x_1871 x_1870
     184| St_store (x_1877, x_1876, x_1875, x_1874) ->
     185  h_St_store x_1877 x_1876 x_1875 x_1874
     186| St_call_id (x_1881, x_1880, x_1879, x_1878) ->
     187  h_St_call_id x_1881 x_1880 x_1879 x_1878
     188| St_call_ptr (x_1885, x_1884, x_1883, x_1882) ->
     189  h_St_call_ptr x_1885 x_1884 x_1883 x_1882
     190| St_cond (x_1888, x_1887, x_1886) -> h_St_cond x_1888 x_1887 x_1886
    193191| St_return -> h_St_return
    194192
     
    209207    Graphs.label -> 'a1) -> 'a1 -> statement -> 'a1 **)
    210208let rec statement_rect_Type3 h_St_skip h_St_cost h_St_const h_St_op1 h_St_op2 h_St_load h_St_store h_St_call_id h_St_call_ptr h_St_cond h_St_return = function
    211 | St_skip x_14830 -> h_St_skip x_14830
    212 | St_cost (x_14832, x_14831) -> h_St_cost x_14832 x_14831
    213 | St_const (t, x_14835, x_14834, x_14833) ->
    214   h_St_const t x_14835 x_14834 x_14833
    215 | St_op1 (t', t, x_14839, x_14838, x_14837, x_14836) ->
    216   h_St_op1 t' t x_14839 x_14838 x_14837 x_14836
    217 | St_op2 (t', t1, t2, x_14844, x_14843, x_14842, x_14841, x_14840) ->
    218   h_St_op2 t' t1 t2 x_14844 x_14843 x_14842 x_14841 x_14840
    219 | St_load (x_14848, x_14847, x_14846, x_14845) ->
    220   h_St_load x_14848 x_14847 x_14846 x_14845
    221 | St_store (x_14852, x_14851, x_14850, x_14849) ->
    222   h_St_store x_14852 x_14851 x_14850 x_14849
    223 | St_call_id (x_14856, x_14855, x_14854, x_14853) ->
    224   h_St_call_id x_14856 x_14855 x_14854 x_14853
    225 | St_call_ptr (x_14860, x_14859, x_14858, x_14857) ->
    226   h_St_call_ptr x_14860 x_14859 x_14858 x_14857
    227 | St_cond (x_14863, x_14862, x_14861) -> h_St_cond x_14863 x_14862 x_14861
     209| St_skip x_1901 -> h_St_skip x_1901
     210| St_cost (x_1903, x_1902) -> h_St_cost x_1903 x_1902
     211| St_const (t, x_1906, x_1905, x_1904) -> h_St_const t x_1906 x_1905 x_1904
     212| St_op1 (t', t, x_1910, x_1909, x_1908, x_1907) ->
     213  h_St_op1 t' t x_1910 x_1909 x_1908 x_1907
     214| St_op2 (t', t1, t2, x_1915, x_1914, x_1913, x_1912, x_1911) ->
     215  h_St_op2 t' t1 t2 x_1915 x_1914 x_1913 x_1912 x_1911
     216| St_load (x_1919, x_1918, x_1917, x_1916) ->
     217  h_St_load x_1919 x_1918 x_1917 x_1916
     218| St_store (x_1923, x_1922, x_1921, x_1920) ->
     219  h_St_store x_1923 x_1922 x_1921 x_1920
     220| St_call_id (x_1927, x_1926, x_1925, x_1924) ->
     221  h_St_call_id x_1927 x_1926 x_1925 x_1924
     222| St_call_ptr (x_1931, x_1930, x_1929, x_1928) ->
     223  h_St_call_ptr x_1931 x_1930 x_1929 x_1928
     224| St_cond (x_1934, x_1933, x_1932) -> h_St_cond x_1934 x_1933 x_1932
    228225| St_return -> h_St_return
    229226
     
    244241    Graphs.label -> 'a1) -> 'a1 -> statement -> 'a1 **)
    245242let rec statement_rect_Type2 h_St_skip h_St_cost h_St_const h_St_op1 h_St_op2 h_St_load h_St_store h_St_call_id h_St_call_ptr h_St_cond h_St_return = function
    246 | St_skip x_14876 -> h_St_skip x_14876
    247 | St_cost (x_14878, x_14877) -> h_St_cost x_14878 x_14877
    248 | St_const (t, x_14881, x_14880, x_14879) ->
    249   h_St_const t x_14881 x_14880 x_14879
    250 | St_op1 (t', t, x_14885, x_14884, x_14883, x_14882) ->
    251   h_St_op1 t' t x_14885 x_14884 x_14883 x_14882
    252 | St_op2 (t', t1, t2, x_14890, x_14889, x_14888, x_14887, x_14886) ->
    253   h_St_op2 t' t1 t2 x_14890 x_14889 x_14888 x_14887 x_14886
    254 | St_load (x_14894, x_14893, x_14892, x_14891) ->
    255   h_St_load x_14894 x_14893 x_14892 x_14891
    256 | St_store (x_14898, x_14897, x_14896, x_14895) ->
    257   h_St_store x_14898 x_14897 x_14896 x_14895
    258 | St_call_id (x_14902, x_14901, x_14900, x_14899) ->
    259   h_St_call_id x_14902 x_14901 x_14900 x_14899
    260 | St_call_ptr (x_14906, x_14905, x_14904, x_14903) ->
    261   h_St_call_ptr x_14906 x_14905 x_14904 x_14903
    262 | St_cond (x_14909, x_14908, x_14907) -> h_St_cond x_14909 x_14908 x_14907
     243| St_skip x_1947 -> h_St_skip x_1947
     244| St_cost (x_1949, x_1948) -> h_St_cost x_1949 x_1948
     245| St_const (t, x_1952, x_1951, x_1950) -> h_St_const t x_1952 x_1951 x_1950
     246| St_op1 (t', t, x_1956, x_1955, x_1954, x_1953) ->
     247  h_St_op1 t' t x_1956 x_1955 x_1954 x_1953
     248| St_op2 (t', t1, t2, x_1961, x_1960, x_1959, x_1958, x_1957) ->
     249  h_St_op2 t' t1 t2 x_1961 x_1960 x_1959 x_1958 x_1957
     250| St_load (x_1965, x_1964, x_1963, x_1962) ->
     251  h_St_load x_1965 x_1964 x_1963 x_1962
     252| St_store (x_1969, x_1968, x_1967, x_1966) ->
     253  h_St_store x_1969 x_1968 x_1967 x_1966
     254| St_call_id (x_1973, x_1972, x_1971, x_1970) ->
     255  h_St_call_id x_1973 x_1972 x_1971 x_1970
     256| St_call_ptr (x_1977, x_1976, x_1975, x_1974) ->
     257  h_St_call_ptr x_1977 x_1976 x_1975 x_1974
     258| St_cond (x_1980, x_1979, x_1978) -> h_St_cond x_1980 x_1979 x_1978
    263259| St_return -> h_St_return
    264260
     
    279275    Graphs.label -> 'a1) -> 'a1 -> statement -> 'a1 **)
    280276let rec statement_rect_Type1 h_St_skip h_St_cost h_St_const h_St_op1 h_St_op2 h_St_load h_St_store h_St_call_id h_St_call_ptr h_St_cond h_St_return = function
    281 | St_skip x_14922 -> h_St_skip x_14922
    282 | St_cost (x_14924, x_14923) -> h_St_cost x_14924 x_14923
    283 | St_const (t, x_14927, x_14926, x_14925) ->
    284   h_St_const t x_14927 x_14926 x_14925
    285 | St_op1 (t', t, x_14931, x_14930, x_14929, x_14928) ->
    286   h_St_op1 t' t x_14931 x_14930 x_14929 x_14928
    287 | St_op2 (t', t1, t2, x_14936, x_14935, x_14934, x_14933, x_14932) ->
    288   h_St_op2 t' t1 t2 x_14936 x_14935 x_14934 x_14933 x_14932
    289 | St_load (x_14940, x_14939, x_14938, x_14937) ->
    290   h_St_load x_14940 x_14939 x_14938 x_14937
    291 | St_store (x_14944, x_14943, x_14942, x_14941) ->
    292   h_St_store x_14944 x_14943 x_14942 x_14941
    293 | St_call_id (x_14948, x_14947, x_14946, x_14945) ->
    294   h_St_call_id x_14948 x_14947 x_14946 x_14945
    295 | St_call_ptr (x_14952, x_14951, x_14950, x_14949) ->
    296   h_St_call_ptr x_14952 x_14951 x_14950 x_14949
    297 | St_cond (x_14955, x_14954, x_14953) -> h_St_cond x_14955 x_14954 x_14953
     277| St_skip x_1993 -> h_St_skip x_1993
     278| St_cost (x_1995, x_1994) -> h_St_cost x_1995 x_1994
     279| St_const (t, x_1998, x_1997, x_1996) -> h_St_const t x_1998 x_1997 x_1996
     280| St_op1 (t', t, x_2002, x_2001, x_2000, x_1999) ->
     281  h_St_op1 t' t x_2002 x_2001 x_2000 x_1999
     282| St_op2 (t', t1, t2, x_2007, x_2006, x_2005, x_2004, x_2003) ->
     283  h_St_op2 t' t1 t2 x_2007 x_2006 x_2005 x_2004 x_2003
     284| St_load (x_2011, x_2010, x_2009, x_2008) ->
     285  h_St_load x_2011 x_2010 x_2009 x_2008
     286| St_store (x_2015, x_2014, x_2013, x_2012) ->
     287  h_St_store x_2015 x_2014 x_2013 x_2012
     288| St_call_id (x_2019, x_2018, x_2017, x_2016) ->
     289  h_St_call_id x_2019 x_2018 x_2017 x_2016
     290| St_call_ptr (x_2023, x_2022, x_2021, x_2020) ->
     291  h_St_call_ptr x_2023 x_2022 x_2021 x_2020
     292| St_cond (x_2026, x_2025, x_2024) -> h_St_cond x_2026 x_2025 x_2024
    298293| St_return -> h_St_return
    299294
     
    314309    Graphs.label -> 'a1) -> 'a1 -> statement -> 'a1 **)
    315310let rec statement_rect_Type0 h_St_skip h_St_cost h_St_const h_St_op1 h_St_op2 h_St_load h_St_store h_St_call_id h_St_call_ptr h_St_cond h_St_return = function
    316 | St_skip x_14968 -> h_St_skip x_14968
    317 | St_cost (x_14970, x_14969) -> h_St_cost x_14970 x_14969
    318 | St_const (t, x_14973, x_14972, x_14971) ->
    319   h_St_const t x_14973 x_14972 x_14971
    320 | St_op1 (t', t, x_14977, x_14976, x_14975, x_14974) ->
    321   h_St_op1 t' t x_14977 x_14976 x_14975 x_14974
    322 | St_op2 (t', t1, t2, x_14982, x_14981, x_14980, x_14979, x_14978) ->
    323   h_St_op2 t' t1 t2 x_14982 x_14981 x_14980 x_14979 x_14978
    324 | St_load (x_14986, x_14985, x_14984, x_14983) ->
    325   h_St_load x_14986 x_14985 x_14984 x_14983
    326 | St_store (x_14990, x_14989, x_14988, x_14987) ->
    327   h_St_store x_14990 x_14989 x_14988 x_14987
    328 | St_call_id (x_14994, x_14993, x_14992, x_14991) ->
    329   h_St_call_id x_14994 x_14993 x_14992 x_14991
    330 | St_call_ptr (x_14998, x_14997, x_14996, x_14995) ->
    331   h_St_call_ptr x_14998 x_14997 x_14996 x_14995
    332 | St_cond (x_15001, x_15000, x_14999) -> h_St_cond x_15001 x_15000 x_14999
     311| St_skip x_2039 -> h_St_skip x_2039
     312| St_cost (x_2041, x_2040) -> h_St_cost x_2041 x_2040
     313| St_const (t, x_2044, x_2043, x_2042) -> h_St_const t x_2044 x_2043 x_2042
     314| St_op1 (t', t, x_2048, x_2047, x_2046, x_2045) ->
     315  h_St_op1 t' t x_2048 x_2047 x_2046 x_2045
     316| St_op2 (t', t1, t2, x_2053, x_2052, x_2051, x_2050, x_2049) ->
     317  h_St_op2 t' t1 t2 x_2053 x_2052 x_2051 x_2050 x_2049
     318| St_load (x_2057, x_2056, x_2055, x_2054) ->
     319  h_St_load x_2057 x_2056 x_2055 x_2054
     320| St_store (x_2061, x_2060, x_2059, x_2058) ->
     321  h_St_store x_2061 x_2060 x_2059 x_2058
     322| St_call_id (x_2065, x_2064, x_2063, x_2062) ->
     323  h_St_call_id x_2065 x_2064 x_2063 x_2062
     324| St_call_ptr (x_2069, x_2068, x_2067, x_2066) ->
     325  h_St_call_ptr x_2069 x_2068 x_2067 x_2066
     326| St_cond (x_2072, x_2071, x_2070) -> h_St_cond x_2072 x_2071 x_2070
    333327| St_return -> h_St_return
    334328
     
    466460    Graphs.label Types.sig0 -> Graphs.label Types.sig0 -> 'a1) ->
    467461    internal_function -> 'a1 **)
    468 let rec internal_function_rect_Type4 h_mk_internal_function x_15291 =
     462let rec internal_function_rect_Type4 h_mk_internal_function x_2362 =
    469463  let { f_labgen = f_labgen0; f_reggen = f_reggen0; f_result = f_result0;
    470464    f_params = f_params0; f_locals = f_locals0; f_stacksize = f_stacksize0;
    471     f_graph = f_graph0; f_entry = f_entry0; f_exit = f_exit0 } = x_15291
     465    f_graph = f_graph0; f_entry = f_entry0; f_exit = f_exit0 } = x_2362
    472466  in
    473467  h_mk_internal_function f_labgen0 f_reggen0 f_result0 f_params0 f_locals0
     
    481475    Graphs.label Types.sig0 -> Graphs.label Types.sig0 -> 'a1) ->
    482476    internal_function -> 'a1 **)
    483 let rec internal_function_rect_Type5 h_mk_internal_function x_15293 =
     477let rec internal_function_rect_Type5 h_mk_internal_function x_2364 =
    484478  let { f_labgen = f_labgen0; f_reggen = f_reggen0; f_result = f_result0;
    485479    f_params = f_params0; f_locals = f_locals0; f_stacksize = f_stacksize0;
    486     f_graph = f_graph0; f_entry = f_entry0; f_exit = f_exit0 } = x_15293
     480    f_graph = f_graph0; f_entry = f_entry0; f_exit = f_exit0 } = x_2364
    487481  in
    488482  h_mk_internal_function f_labgen0 f_reggen0 f_result0 f_params0 f_locals0
     
    496490    Graphs.label Types.sig0 -> Graphs.label Types.sig0 -> 'a1) ->
    497491    internal_function -> 'a1 **)
    498 let rec internal_function_rect_Type3 h_mk_internal_function x_15295 =
     492let rec internal_function_rect_Type3 h_mk_internal_function x_2366 =
    499493  let { f_labgen = f_labgen0; f_reggen = f_reggen0; f_result = f_result0;
    500494    f_params = f_params0; f_locals = f_locals0; f_stacksize = f_stacksize0;
    501     f_graph = f_graph0; f_entry = f_entry0; f_exit = f_exit0 } = x_15295
     495    f_graph = f_graph0; f_entry = f_entry0; f_exit = f_exit0 } = x_2366
    502496  in
    503497  h_mk_internal_function f_labgen0 f_reggen0 f_result0 f_params0 f_locals0
     
    511505    Graphs.label Types.sig0 -> Graphs.label Types.sig0 -> 'a1) ->
    512506    internal_function -> 'a1 **)
    513 let rec internal_function_rect_Type2 h_mk_internal_function x_15297 =
     507let rec internal_function_rect_Type2 h_mk_internal_function x_2368 =
    514508  let { f_labgen = f_labgen0; f_reggen = f_reggen0; f_result = f_result0;
    515509    f_params = f_params0; f_locals = f_locals0; f_stacksize = f_stacksize0;
    516     f_graph = f_graph0; f_entry = f_entry0; f_exit = f_exit0 } = x_15297
     510    f_graph = f_graph0; f_entry = f_entry0; f_exit = f_exit0 } = x_2368
    517511  in
    518512  h_mk_internal_function f_labgen0 f_reggen0 f_result0 f_params0 f_locals0
     
    526520    Graphs.label Types.sig0 -> Graphs.label Types.sig0 -> 'a1) ->
    527521    internal_function -> 'a1 **)
    528 let rec internal_function_rect_Type1 h_mk_internal_function x_15299 =
     522let rec internal_function_rect_Type1 h_mk_internal_function x_2370 =
    529523  let { f_labgen = f_labgen0; f_reggen = f_reggen0; f_result = f_result0;
    530524    f_params = f_params0; f_locals = f_locals0; f_stacksize = f_stacksize0;
    531     f_graph = f_graph0; f_entry = f_entry0; f_exit = f_exit0 } = x_15299
     525    f_graph = f_graph0; f_entry = f_entry0; f_exit = f_exit0 } = x_2370
    532526  in
    533527  h_mk_internal_function f_labgen0 f_reggen0 f_result0 f_params0 f_locals0
     
    541535    Graphs.label Types.sig0 -> Graphs.label Types.sig0 -> 'a1) ->
    542536    internal_function -> 'a1 **)
    543 let rec internal_function_rect_Type0 h_mk_internal_function x_15301 =
     537let rec internal_function_rect_Type0 h_mk_internal_function x_2372 =
    544538  let { f_labgen = f_labgen0; f_reggen = f_reggen0; f_result = f_result0;
    545539    f_params = f_params0; f_locals = f_locals0; f_stacksize = f_stacksize0;
    546     f_graph = f_graph0; f_entry = f_entry0; f_exit = f_exit0 } = x_15301
     540    f_graph = f_graph0; f_entry = f_entry0; f_exit = f_exit0 } = x_2372
    547541  in
    548542  h_mk_internal_function f_labgen0 f_reggen0 f_result0 f_params0 f_locals0
Note: See TracChangeset for help on using the changeset viewer.