Ignore:
Timestamp:
Mar 26, 2013, 4:51:40 PM (7 years ago)
Author:
sacerdot
Message:

New extraction, it diverges in RTL execution now.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/eRTLptrToLTL.ml

    r2951 r2960  
    181181    arg_decision -> 'a1 **)
    182182let rec arg_decision_rect_Type4 h_arg_decision_colour h_arg_decision_spill h_arg_decision_imm = function
    183 | Arg_decision_colour x_19209 -> h_arg_decision_colour x_19209
    184 | Arg_decision_spill x_19210 -> h_arg_decision_spill x_19210
    185 | Arg_decision_imm x_19211 -> h_arg_decision_imm x_19211
     183| Arg_decision_colour x_380 -> h_arg_decision_colour x_380
     184| Arg_decision_spill x_381 -> h_arg_decision_spill x_381
     185| Arg_decision_imm x_382 -> h_arg_decision_imm x_382
    186186
    187187(** val arg_decision_rect_Type5 :
     
    189189    arg_decision -> 'a1 **)
    190190let rec arg_decision_rect_Type5 h_arg_decision_colour h_arg_decision_spill h_arg_decision_imm = function
    191 | Arg_decision_colour x_19216 -> h_arg_decision_colour x_19216
    192 | Arg_decision_spill x_19217 -> h_arg_decision_spill x_19217
    193 | Arg_decision_imm x_19218 -> h_arg_decision_imm x_19218
     191| Arg_decision_colour x_387 -> h_arg_decision_colour x_387
     192| Arg_decision_spill x_388 -> h_arg_decision_spill x_388
     193| Arg_decision_imm x_389 -> h_arg_decision_imm x_389
    194194
    195195(** val arg_decision_rect_Type3 :
     
    197197    arg_decision -> 'a1 **)
    198198let rec arg_decision_rect_Type3 h_arg_decision_colour h_arg_decision_spill h_arg_decision_imm = function
    199 | Arg_decision_colour x_19223 -> h_arg_decision_colour x_19223
    200 | Arg_decision_spill x_19224 -> h_arg_decision_spill x_19224
    201 | Arg_decision_imm x_19225 -> h_arg_decision_imm x_19225
     199| Arg_decision_colour x_394 -> h_arg_decision_colour x_394
     200| Arg_decision_spill x_395 -> h_arg_decision_spill x_395
     201| Arg_decision_imm x_396 -> h_arg_decision_imm x_396
    202202
    203203(** val arg_decision_rect_Type2 :
     
    205205    arg_decision -> 'a1 **)
    206206let rec arg_decision_rect_Type2 h_arg_decision_colour h_arg_decision_spill h_arg_decision_imm = function
    207 | Arg_decision_colour x_19230 -> h_arg_decision_colour x_19230
    208 | Arg_decision_spill x_19231 -> h_arg_decision_spill x_19231
    209 | Arg_decision_imm x_19232 -> h_arg_decision_imm x_19232
     207| Arg_decision_colour x_401 -> h_arg_decision_colour x_401
     208| Arg_decision_spill x_402 -> h_arg_decision_spill x_402
     209| Arg_decision_imm x_403 -> h_arg_decision_imm x_403
    210210
    211211(** val arg_decision_rect_Type1 :
     
    213213    arg_decision -> 'a1 **)
    214214let rec arg_decision_rect_Type1 h_arg_decision_colour h_arg_decision_spill h_arg_decision_imm = function
    215 | Arg_decision_colour x_19237 -> h_arg_decision_colour x_19237
    216 | Arg_decision_spill x_19238 -> h_arg_decision_spill x_19238
    217 | Arg_decision_imm x_19239 -> h_arg_decision_imm x_19239
     215| Arg_decision_colour x_408 -> h_arg_decision_colour x_408
     216| Arg_decision_spill x_409 -> h_arg_decision_spill x_409
     217| Arg_decision_imm x_410 -> h_arg_decision_imm x_410
    218218
    219219(** val arg_decision_rect_Type0 :
     
    221221    arg_decision -> 'a1 **)
    222222let rec arg_decision_rect_Type0 h_arg_decision_colour h_arg_decision_spill h_arg_decision_imm = function
    223 | Arg_decision_colour x_19244 -> h_arg_decision_colour x_19244
    224 | Arg_decision_spill x_19245 -> h_arg_decision_spill x_19245
    225 | Arg_decision_imm x_19246 -> h_arg_decision_imm x_19246
     223| Arg_decision_colour x_415 -> h_arg_decision_colour x_415
     224| Arg_decision_spill x_416 -> h_arg_decision_spill x_416
     225| Arg_decision_imm x_417 -> h_arg_decision_imm x_417
    226226
    227227(** val arg_decision_inv_rect_Type4 :
Note: See TracChangeset for help on using the changeset viewer.