Ignore:
Timestamp:
Mar 5, 2013, 9:52:39 PM (7 years ago)
Author:
sacerdot
Message:

The compiler now computes also the stack cost model.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/simplifyCasts.ml

    r2773 r2775  
    359359                       (Csyntax.typeof rhs) with
    360360               | Errors.OK _ ->
    361                  (let eta865 = simplify_expr lhs target_sz target_sg in
     361                 (let eta2087 = simplify_expr lhs target_sz target_sg in
    362362                   (fun _ ->
    363363                   (let { Types.fst = desired_type_lhs; Types.snd = lhs1 } =
    364                       eta865
     364                      eta2087
    365365                    in
    366366                   (fun _ ->
    367                    (let eta864 = simplify_expr rhs target_sz target_sg in
     367                   (let eta2086 = simplify_expr rhs target_sz target_sg in
    368368                     (fun _ ->
    369369                     (let { Types.fst = desired_type_rhs; Types.snd =
    370                         rhs1 } = eta864
     370                        rhs1 } = eta2086
    371371                      in
    372372                     (fun _ ->
     
    421421               | Bool.True ->
    422422                 (fun _ ->
    423                    (let eta867 = simplify_expr castee target_sz target_sg in
     423                   (let eta2089 = simplify_expr castee target_sz target_sg in
    424424                     (fun _ ->
    425425                     (let { Types.fst = desired_type; Types.snd = castee1 } =
    426                         eta867
     426                        eta2089
    427427                      in
    428428                     (fun _ ->
     
    433433                      | Bool.False ->
    434434                        (fun _ ->
    435                           (let eta866 = simplify_expr castee cast_sz cast_sg
     435                          (let eta2088 = simplify_expr castee cast_sz cast_sg
    436436                           in
    437437                            (fun _ ->
    438438                            (let { Types.fst = desired_type2; Types.snd =
    439                                castee2 } = eta866
     439                               castee2 } = eta2088
    440440                             in
    441441                            (fun _ ->
     
    451451               | Bool.False ->
    452452                 (fun _ ->
    453                    (let eta868 = simplify_expr castee cast_sz cast_sg in
     453                   (let eta2090 = simplify_expr castee cast_sz cast_sg in
    454454                     (fun _ ->
    455455                     (let { Types.fst = desired_type2; Types.snd =
    456                         castee2 } = eta868
     456                        castee2 } = eta2090
    457457                      in
    458458                     (fun _ ->
     
    508508                    (Csyntax.typeof iffalse) with
    509509            | Errors.OK _ ->
    510               (let eta870 = simplify_expr iftrue target_sz target_sg in
     510              (let eta2092 = simplify_expr iftrue target_sz target_sg in
    511511                (fun _ ->
    512512                (let { Types.fst = desired_true; Types.snd = iftrue1 } =
    513                    eta870
     513                   eta2092
    514514                 in
    515515                (fun _ ->
    516                 (let eta869 = simplify_expr iffalse target_sz target_sg in
     516                (let eta2091 = simplify_expr iffalse target_sz target_sg in
    517517                  (fun _ ->
    518518                  (let { Types.fst = desired_false; Types.snd = iffalse1 } =
    519                      eta869
     519                     eta2091
    520520                   in
    521521                  (fun _ ->
     
    575575       match TypeComparison.type_eq_dec ty (Csyntax.typeof e1) with
    576576       | Types.Inl _ ->
    577          (let eta871 = simplify_expr e1 target_sz target_sg in
     577         (let eta2093 = simplify_expr e1 target_sz target_sg in
    578578           (fun _ ->
    579            (let { Types.fst = desired_type; Types.snd = e2 } = eta871 in
     579           (let { Types.fst = desired_type; Types.snd = e2 } = eta2093 in
    580580           (fun _ -> { Types.fst = desired_type; Types.snd = (Csyntax.Expr
    581581           ((Csyntax.Ecost (l, e2)), (Csyntax.typeof e2))) })) __)) __
     
    618618          | Csyntax.Tint (cast_sz, cast_sg) ->
    619619            (fun _ ->
    620               (let eta872 = simplify_expr castee cast_sz cast_sg in
     620              (let eta2094 = simplify_expr castee cast_sz cast_sg in
    621621                (fun _ ->
    622                 (let { Types.fst = success; Types.snd = castee1 } = eta872 in
     622                (let { Types.fst = success; Types.snd = castee1 } = eta2094
     623                 in
    623624                (fun _ ->
    624625                (match success with
Note: See TracChangeset for help on using the changeset viewer.