PreviousUpNext

15.4.453  src/lib/compiler/back/low/treecode/treecode-simplifier-g.pkg

# WARNING: this is generated by running 'nowhere treecode-simplify.in'.
# Do not edit this file directly.
# Version 1.2.2
#
#     "algebraic simplification and constant folding for [treecode]."
#                 -- http://www.cs.nyu.edu/leunga/MLRISC/Doc/html/mltree-util.html

# Compiled by:
#     src/lib/compiler/back/low/lib/treecode.lib

#DO set_control "compiler::trap_int_overflow" "TRUE";

# We are nowhere invoked.

###line 15.1 "treecode-simplify::in"
generic package treecode_simplifier_g (
###line 16.4 "treecode-simplify::in"
                         package tcf:  Treecode_Form;                   # Treecode_Form is from   src/lib/compiler/back/low/treecode/treecode-form.api

###line 17.4 "treecode-simplify::in"
                        # This arg is never referenced:
                         package tsz:  Treecode_Bitsize         # Treecode_Bitsize      is from   src/lib/compiler/back/low/treecode/treecode-bitsize.api
                                        where tcf == tcf;

###line 20.4 "treecode-simplify::in"
                          sext:  tcf::Rewrite_Fns -> tcf::Sext -> tcf::Sext;

###line 21.4 "treecode-simplify::in"
                          rext:  tcf::Rewrite_Fns -> tcf::Rext -> tcf::Rext;

###line 22.4 "treecode-simplify::in"
                          fext:  tcf::Rewrite_Fns -> tcf::Fext -> tcf::Fext;

###line 23.4 "treecode-simplify::in"
                          ccext:  tcf::Rewrite_Fns -> tcf::Ccext -> tcf::Ccext;
)

: (weak) Treecode_Simplifier                                    # Treecode_Simplifier   is from   src/lib/compiler/back/low/treecode/treecode-simplifier.api

=
package {

###line 27.4 "treecode-simplify::in"
    # Export to client packages:
    #
    package tcf = tcf;

###line 28.4 "treecode-simplify::in"
   package i = tcf::mi;                         # "mi" == "machine_int".

###line 29.4 "treecode-simplify::in"
   package r = treecode_rewrite_g
      (
###line 30.7 "treecode-simplify::in"
       package tcf = tcf;                       # "tcf" == "treecode_form".

###line 31.7 "treecode-simplify::in"
       sext = sext;
       rext = rext;
       fext = fext;
       ccext = ccext;
      );


###line 34.4 "treecode-simplify::in"
    Simplifier = tcf::Rewrite_Fns;

###line 36.4 "treecode-simplify::in"
   lit_11 = (multiword_int::from_int 0);
   lit_16 = (multiword_int::from_int 1);

###line 37.4 "treecode-simplify::in"
   zero = (multiword_int::from_int 0);

###line 38.4 "treecode-simplify::in"
   zero_t = tcf::LITERAL zero;

###line 40.4 "treecode-simplify::in"
   fun simplify { address_width, signed_address } = 
       { 
###line 43.4 "treecode-simplify::in"
           fun dm (tcf::d::ROUND_TO_ZERO  ) => i::DIV_TO_ZERO;
               dm (tcf::d::ROUND_TO_NEGINF) => i::DIV_TO_NEGINF;
           end;

###line 46.4 "treecode-simplify::in"
           fun sim ===> expression = 
                  { v_3 = expression;
                      fun state_165 e = e;
                      fun state_149 () = zero_t;
                      fun state_158 () = zero_t;
                      fun state_180 v_3 = 
                          { expression = v_3;
                           expression;
                          };
                      fun state_118 (v_1, v_4) = 
                          { b = v_4;
                            type = v_1;
                           b;
                          };
                      fun state_15 (v_1, v_0) = 
                          { a = v_0;
                            type = v_1;
                           a;
                          };
                      fun state_148 v_1 = 
                          { type = v_1;
                           zero_t;
                          };
                      fun state_140 v_1 = 
                          { type = v_1;
                           zero_t;
                          };
                      fun state_157 v_1 = 
                          { type = v_1;
                           zero_t;
                          };
                      fun state_109 v_4 = 
                          { b = v_4;
                           b;
                          };
                      fun state_45 (v_1, v_4) = 
                          { type = v_1;
                            x = v_4;
                           x;
                          };
                      fun state_43 v_1 = 
                          { type = v_1;
                           zero_t;
                          };
                      fun state_47 (v_1, v_0) = 
                          { type = v_1;
                              x = v_0;
                           x;
                          };
                      fun state_85 (v_1, v_4) = 
                          { type = v_1;
                              x = v_4;
                           x;
                          };
                      fun state_83 v_1 = 
                          { type = v_1;
                           zero_t;
                          };
                      fun state_87 (v_1, v_0) = 
                          { type = v_1;
                              x = v_0;
                           x;
                          };
                      fun state_23 (v_1, v_4) = 
                          { type = v_1;
                              x = v_4;
                           x;
                          };
                      fun state_21 v_1 = 
                          { type = v_1;
                           zero_t;
                          };
                      fun state_25 (v_1, v_0) = 
                          { type = v_1;
                              x = v_0;
                           x;
                          };
                      fun state_127 (v_1, v_4) = 
                          { b = v_4;
                              type = v_1;
                           zero_t;
                          };
                      fun state_100 v_0 = 
                          { a = v_0;
                           a;
                          };
                      fun state_69 (v_1, v_0) = 
                          { type = v_1;
                              x = v_0;
                           x;
                          };
                      fun state_5 (v_1, v_0) = 
                          { type = v_1;
                              x = v_0;
                           x;
                          };
                      fun state_1717 (v_3, v_1, v_10, v_4)
                          =
                             if ((multiword_int::compare (v_10, lit_11)) == EQUAL)
                                  (state_118 (v_1, v_4));
                             else (state_180 v_3);fi;

                      fun state_1450 (v_3, v_1, v_0, v_2)
                          =
                          if ((multiword_int::compare (v_2, lit_11)) == EQUAL)
                               (state_15 (v_1, v_0));
                          else (state_180 v_3);fi;

                      fun state_1279 (v_3, v_1, v_10) = (if (((multiword_int::compare (v_10, lit_11)) == EQUAL))
                                  (state_148 v_1);
                             else (state_180 v_3);fi);

                      fun state_1192 (v_3, v_1, v_10) = (if (((multiword_int::compare (v_10, lit_11)) == EQUAL))
                                  (state_140 v_1);
                             else (state_180 v_3);fi);
                      fun state_1021 (v_3, v_1, v_10) = (if (((multiword_int::compare (v_10, lit_11)) == EQUAL))
                                  (state_157 v_1);
                             else (state_180 v_3);fi);
                      fun state_916 (v_3, v_10, v_4) = (if (((multiword_int::compare (v_10, lit_11)) == EQUAL))
                                  (state_109 v_4);
                             else (state_180 v_3);fi);
                      fun state_820 (v_3, v_1, v_0, v_2) = (if (((multiword_int::compare (v_2, lit_11)) == EQUAL))
                                  (state_43 v_1);
                             else (if (((multiword_int::compare (v_2, lit_16)) == EQUAL))
                                     (state_47 (v_1, v_0));
                                else (state_180 v_3);fi);fi);
                      fun state_731 (v_3, v_1, v_0, v_2) = (if (((multiword_int::compare (v_2, lit_11)) == EQUAL))
                                  (state_83 v_1);
                             else (if (((multiword_int::compare (v_2, lit_16)) == EQUAL))
                                     (state_87 (v_1, v_0));
                                else (state_180 v_3);fi);fi);
                      fun state_642 (v_3, v_1, v_0, v_2) = (if (((multiword_int::compare (v_2, lit_11)) == EQUAL))
                                  (state_21 v_1);
                             else (if (((multiword_int::compare (v_2, lit_16)) == EQUAL))
                                     (state_25 (v_1, v_0));
                                else (state_180 v_3);fi);fi);
                      fun state_555 (v_3, v_1, v_10, v_4) = (if (((multiword_int::compare (v_10, lit_11)) == EQUAL))
                                  (state_127 (v_1, v_4));
                             else (state_180 v_3);fi);
                      fun state_441 (v_3, v_0, v_10) = (if (((multiword_int::compare (v_10, lit_11)) == EQUAL))
                                  (state_100 v_0);
                             else (state_180 v_3);fi);
                      fun state_354 (v_3, v_1, v_0, v_2) = (if (((multiword_int::compare (v_2, lit_11)) == EQUAL))
                                  (state_69 (v_1, v_0));
                             else (state_180 v_3);fi);
                      fun state_181 (v_3, v_1, v_0, v_2) = (if (((multiword_int::compare (v_2, lit_11)) == EQUAL))
                                  (state_5 (v_1, v_0));
                             else (state_180 v_3);fi);
                      fun state_1451 (v_3, v_1, v_0, v_4) = 
                          (case v_4   
                            tcf::LITERAL v_2 => state_1450 (v_3, v_1, v_0, v_2);
                           _ => state_180 v_3; esac
                          );
                      fun state_182 (v_3, v_1, v_0, v_4) = 
                          (case v_4   
                            tcf::LITERAL v_2 => state_181 (v_3, v_1, v_0, v_2);
                           _ => state_180 v_3; esac
                          );
                   
                     (case v_3   
                       tcf::ADD v_5 => 
                       { my (v_1, v_0, v_4) = v_5;
                        
                          (case v_0   
                            tcf::ADD v_10 => 
                            { my (v_7, v_9, v_13) = v_10;
                             
                               (case v_13   
                                 tcf::LITERAL v_12 => 
                                 (case v_4   
                                   tcf::LITERAL v_2 => 
                                   { a = v_9;
                                       type = v_1;
                                       type' = v_7;
                                       x = v_12;
                                       y = v_2;
                                    (if ((type == type'))
                                              (tcf::ADD (type, a, tcf::LITERAL (i::add (type, x, y))));
                                         else (state_181 (v_3, v_1, v_0, v_2));fi);
                                   };
                                  _ => state_180 v_3; esac
                                 );
                                _ => state_182 (v_3, v_1, v_0, v_4); esac
                               );
                            };
                           tcf::LABEL_EXPRESSION v_10 => 
                            (case v_4   
                              tcf::LABEL_EXPRESSION v_2 => 
                              { type = v_1;
                                  x = v_10;
                                  y = v_2;
                               tcf::LABEL_EXPRESSION (tcf::ADD (type, x, y));
                              };
                             tcf::LITERAL v_2 => state_181 (v_3, v_1, v_0, v_2);
                             _ => state_180 v_3; esac
                            );
                           tcf::LITERAL v_10 => (if (((multiword_int::compare (v_10, lit_11)) == EQUAL))
                                    
                               { type = v_1;
                                   x = v_4;
                                x;
                               };
                               else 
                               (case v_4   
                                 tcf::LITERAL v_2 => (if (((multiword_int::compare (v_2, lit_11)) == EQUAL))
                                         (state_5 (v_1, v_0));
                                    else 
                                    { type = v_1;
                                        x = v_10;
                                        y = v_2;
                                     tcf::LITERAL (i::add (type, x, y));
                                    };fi);
                                _ => state_180 v_3; esac
                               );fi);
                           _ => state_182 (v_3, v_1, v_0, v_4); esac
                          );
                       };
                      tcf::ADD_OR_TRAP v_5 => 
                       { my (v_1, v_0, v_4) = v_5;
                        
                          (case v_0   
                            tcf::LABEL_EXPRESSION v_10 => 
                            (case v_4   
                              tcf::LABEL_EXPRESSION v_2 => 
                              { type = v_1;
                                  x = v_10;
                                  y = v_2;
                               tcf::LABEL_EXPRESSION (tcf::ADD_OR_TRAP (type, x, y));
                              };
                             tcf::LITERAL v_2 => state_354 (v_3, v_1, v_0, v_2);
                             _ => state_180 v_3; esac
                            );
                           tcf::LITERAL v_10 => (if (((multiword_int::compare (v_10, lit_11)) == EQUAL))
                                    
                               { type = v_1;
                                   x = v_4;
                                x;
                               };
                               else 
                               (case v_4   
                                 tcf::LITERAL v_2 => (if (((multiword_int::compare (v_2, lit_11)) == EQUAL))
                                         (state_69 (v_1, v_0));
                                    else 
                                    { type = v_1;
                                        x = v_10;
                                        y = v_2;
                                     ((tcf::LITERAL (i::addt (type, x, y))) except OVERFLOW = expression
);
                                    };fi);
                                _ => state_180 v_3; esac
                               );fi);
                           _ => 
                            (case v_4   
                              tcf::LITERAL v_2 => state_354 (v_3, v_1, v_0, v_2);
                             _ => state_180 v_3; esac
                            ); esac
                          );
                       };
                      tcf::BITWISE_AND v_5 => 
                       { my (v_1, v_0, v_4) = v_5;
                        
                          (case v_4   
                            tcf::LABEL_EXPRESSION v_2 => 
                            (case v_0   
                              tcf::LABEL_EXPRESSION v_10 => 
                              { type = v_1;
                                  x = v_10;
                                  y = v_2;
                               tcf::LABEL_EXPRESSION (tcf::BITWISE_AND (type, x, y));
                              };
                             tcf::LITERAL v_10 => state_441 (v_3, v_0, v_10);
                             _ => state_180 v_3; esac
                            );
                           tcf::LITERAL v_2 => (if (((multiword_int::compare (v_2, lit_11)) == EQUAL))
                                    
                               { b = v_4;
                                b;
                               };
                               else 
                               (case v_0   
                                 tcf::LITERAL v_10 => (if (((multiword_int::compare (v_10, lit_11)) == EQUAL))
                                         (state_100 v_0);
                                    else 
                                    { type = v_1;
                                        x = v_10;
                                        y = v_2;
                                     tcf::LITERAL (i::bitwise_and (type, x, y));
                                    };fi);
                                _ => state_180 v_3; esac
                               );fi);
                           tcf::BITWISE_NOT v_2 => 
                            (case v_0   
                              tcf::LITERAL v_10 => state_441 (v_3, v_0, v_10);
                             tcf::BITWISE_NOT v_10 => 
                              { my (v_7, v_9) = v_10;
                               
                                 { my (v_6, v_8) = v_2;
                                  
                                    { a = v_9;
                                        b = v_8;
                                        type = v_1;
                                        type' = v_7;
                                        type'' = v_6;
                                     (if (((type == type') and (type' == type'')))
                                               (tcf::BITWISE_NOT (type, tcf::BITWISE_OR (type, a, b)));
                                          else (state_180 v_3);fi);
                                    };
                                 };
                              };
                             _ => state_180 v_3; esac
                            );
                           _ => 
                            (case v_0   
                              tcf::LITERAL v_10 => state_441 (v_3, v_0, v_10);
                             _ => state_180 v_3; esac
                            ); esac
                          );
                       };
                      tcf::CONDITIONAL_LOAD v_5 => 
                       { my (v_1, v_0, v_4, v_18) = v_5;
                        
                          (case v_0   
                            tcf::FALSE => 
                            { a = v_4;
                                b = v_18;
                                type = v_1;
                             b;
                            };
                           tcf::TRUE => 
                            { a = v_4;
                                b = v_18;
                                type = v_1;
                             a;
                            };
                           _ => state_180 v_3; esac
                          );
                       };
                      tcf::DIVS v_5 => 
                       { my (v_1, v_0, v_4, v_18) = v_5;
                        
                          (case v_18   
                            tcf::LABEL_EXPRESSION v_17 => 
                            (case v_4   
                              tcf::LABEL_EXPRESSION v_2 => 
                              { m = v_1;
                                  type = v_0;
                                  x = v_2;
                                  y = v_17;
                               tcf::LABEL_EXPRESSION (tcf::DIVS (m, type, x, y));
                              };
                             _ => state_180 v_3; esac
                            );
                           tcf::LITERAL v_17 => (if (((multiword_int::compare (v_17, lit_16)) == EQUAL))
                                    
                               { a = v_4;
                                   m = v_1;
                                   type = v_0;
                                a;
                               };
                               else 
                               (case v_4   
                                 tcf::LITERAL v_2 => 
                                 { m = v_1;
                                     type = v_0;
                                     x = v_2;
                                     y = v_17;
                                  (if ((y != zero))
                                            (tcf::LITERAL (i::divs (dm m, type, x, y)));
                                       else (state_180 v_3);fi);
                                 };
                                _ => state_180 v_3; esac
                               );fi);
                           _ => state_180 v_3; esac
                          );
                       };
                      tcf::DIVS_OR_TRAP v_5 => 
                       { my (v_1, v_0, v_4, v_18) = v_5;
                        
                          (case v_18   
                            tcf::LABEL_EXPRESSION v_17 => 
                            (case v_4   
                              tcf::LABEL_EXPRESSION v_2 => 
                              { m = v_1;
                                  type = v_0;
                                  x = v_2;
                                  y = v_17;
                               tcf::LABEL_EXPRESSION (tcf::DIVS_OR_TRAP (m, type, x, y));
                              };
                             _ => state_180 v_3; esac
                            );
                           tcf::LITERAL v_17 => (if (((multiword_int::compare (v_17, lit_16)) == EQUAL))
                                    
                               { a = v_4;
                                   m = v_1;
                                   type = v_0;
                                a;
                               };
                               else 
                               (case v_4   
                                 tcf::LITERAL v_2 => 
                                 { m = v_1;
                                     type = v_0;
                                     x = v_2;
                                     y = v_17;
                                  (if ((y != zero))
                                            (tcf::LITERAL (i::divt (dm m, type, x, y)));
                                       else (state_180 v_3);fi);
                                 };
                                _ => state_180 v_3; esac
                               );fi);
                           _ => state_180 v_3; esac
                          );
                       };
                      tcf::DIVU v_5 => 
                       { my (v_1, v_0, v_4) = v_5;
                        
                          (case v_4   
                            tcf::LABEL_EXPRESSION v_2 => 
                            (case v_0   
                              tcf::LABEL_EXPRESSION v_10 => 
                              { type = v_1;
                                  x = v_10;
                                  y = v_2;
                               tcf::LABEL_EXPRESSION (tcf::DIVU (type, x, y));
                              };
                             _ => state_180 v_3; esac
                            );
                           tcf::LITERAL v_2 => (if (((multiword_int::compare (v_2, lit_16)) == EQUAL))
                                    
                               { a = v_0;
                                   type = v_1;
                                a;
                               };
                               else 
                               (case v_0   
                                 tcf::LITERAL v_10 => 
                                 { type = v_1;
                                     x = v_10;
                                     y = v_2;
                                  (if ((y != zero))
                                            (tcf::LITERAL (i::divu (type, x, y)));
                                       else (state_180 v_3);fi);
                                 };
                                _ => state_180 v_3; esac
                               );fi);
                           _ => state_180 v_3; esac
                          );
                       };
                      tcf::BITWISE_EQV v_5 => 
                       { my (v_1, v_0, v_4) = v_5;
                        
                          (case v_4   
                            tcf::LABEL_EXPRESSION v_2 => 
                            (case v_0   
                              tcf::LABEL_EXPRESSION v_10 => 
                              { type = v_1;
                                  x = v_10;
                                  y = v_2;
                               tcf::LABEL_EXPRESSION (tcf::BITWISE_EQV (type, x, y));
                              };
                             tcf::LITERAL v_10 => state_555 (v_3, v_1, v_10, v_4);
                             _ => state_180 v_3; esac
                            );
                           tcf::LITERAL v_2 => (if (((multiword_int::compare (v_2, lit_11)) == EQUAL))
                                    
                               { a = v_0;
                                   type = v_1;
                                zero_t;
                               };
                               else 
                               (case v_0   
                                 tcf::LITERAL v_10 => (if (((multiword_int::compare (v_10, lit_11)) == EQUAL))
                                         (state_127 (v_1, v_4));
                                    else 
                                    { type = v_1;
                                        x = v_10;
                                        y = v_2;
                                     tcf::LITERAL (i::eqvb (type, x, y));
                                    };fi);
                                _ => state_180 v_3; esac
                               );fi);
                           _ => 
                            (case v_0   
                              tcf::LITERAL v_10 => state_555 (v_3, v_1, v_10, v_4);
                             _ => state_180 v_3; esac
                            ); esac
                          );
                       };
                      tcf::MULS v_5 => 
                       { my (v_1, v_0, v_4) = v_5;
                        
                          (case v_0   
                            tcf::LABEL_EXPRESSION v_10 => 
                            (case v_4   
                              tcf::LABEL_EXPRESSION v_2 => 
                              { type = v_1;
                                  x = v_10;
                                  y = v_2;
                               tcf::LABEL_EXPRESSION (tcf::MULS (type, x, y));
                              };
                             tcf::LITERAL v_2 => state_642 (v_3, v_1, v_0, v_2);
                             _ => state_180 v_3; esac
                            );
                           tcf::LITERAL v_10 => (if (((multiword_int::compare (v_10, lit_11)) == EQUAL))
                                    
                               { type = v_1;
                                zero_t;
                               };
                               else (if (((multiword_int::compare (v_10, lit_16)) == EQUAL))
                                       
                                  (case v_4   
                                    tcf::LITERAL v_2 => (if (((multiword_int::compare (v_2, lit_11)) == EQUAL))
                                            (state_21 v_1);
                                       else (if (((multiword_int::compare (v_2, lit_16)) == EQUAL))
                                               (state_23 (v_1, v_4));
                                          else (state_23 (v_1, v_4));fi);fi);
                                   _ => state_23 (v_1, v_4); esac
                                  );
                                  else 
                                  (case v_4   
                                    tcf::LITERAL v_2 => (if (((multiword_int::compare (v_2, lit_11)) == EQUAL))
                                            (state_21 v_1);
                                       else (if (((multiword_int::compare (v_2, lit_16)) == EQUAL))
                                               (state_25 (v_1, v_0));
                                          else 
                                          { type = v_1;
                                              x = v_10;
                                              y = v_2;
                                           tcf::LITERAL (i::muls (type, x, y));
                                          };fi);fi);
                                   _ => state_180 v_3; esac
                                  );fi);fi);
                           _ => 
                            (case v_4   
                              tcf::LITERAL v_2 => state_642 (v_3, v_1, v_0, v_2);
                             _ => state_180 v_3; esac
                            ); esac
                          );
                       };
                      tcf::MULS_OR_TRAP v_5 => 
                       { my (v_1, v_0, v_4) = v_5;
                        
                          (case v_0   
                            tcf::LABEL_EXPRESSION v_10 => 
                            (case v_4   
                              tcf::LABEL_EXPRESSION v_2 => 
                              { type = v_1;
                                  x = v_10;
                                  y = v_2;
                               tcf::LABEL_EXPRESSION (tcf::MULS_OR_TRAP (type, x, y));
                              };
                             tcf::LITERAL v_2 => state_731 (v_3, v_1, v_0, v_2);
                             _ => state_180 v_3; esac
                            );
                           tcf::LITERAL v_10 => (if (((multiword_int::compare (v_10, lit_11)) == EQUAL))
                                    
                               { type = v_1;
                                zero_t;
                               };
                               else (if (((multiword_int::compare (v_10, lit_16)) == EQUAL))
                                       
                                  (case v_4   
                                    tcf::LITERAL v_2 => (if (((multiword_int::compare (v_2, lit_11)) == EQUAL))
                                            (state_83 v_1);
                                       else (if (((multiword_int::compare (v_2, lit_16)) == EQUAL))
                                               (state_85 (v_1, v_4));
                                          else (state_85 (v_1, v_4));fi);fi);
                                   _ => state_85 (v_1, v_4); esac
                                  );
                                  else 
                                  (case v_4   
                                    tcf::LITERAL v_2 => (if (((multiword_int::compare (v_2, lit_11)) == EQUAL))
                                            (state_83 v_1);
                                       else (if (((multiword_int::compare (v_2, lit_16)) == EQUAL))
                                               (state_87 (v_1, v_0));
                                          else 
                                          { type = v_1;
                                              x = v_10;
                                              y = v_2;
                                           ((tcf::LITERAL (i::mult (type, x, y))) except OVERFLOW => expression; end 
);
                                          };fi);fi);
                                   _ => state_180 v_3; esac
                                  );fi);fi);
                           _ => 
                            (case v_4   
                              tcf::LITERAL v_2 => state_731 (v_3, v_1, v_0, v_2);
                             _ => state_180 v_3; esac
                            ); esac
                          );
                       };
                      tcf::MULU v_5 => 
                       { my (v_1, v_0, v_4) = v_5;
                        
                          (case v_0   
                            tcf::LABEL_EXPRESSION v_10 => 
                            (case v_4   
                              tcf::LABEL_EXPRESSION v_2 => 
                              { type = v_1;
                                  x = v_10;
                                  y = v_2;
                               tcf::LABEL_EXPRESSION (tcf::MULU (type, x, y));
                              };
                             tcf::LITERAL v_2 => state_820 (v_3, v_1, v_0, v_2);
                             _ => state_180 v_3; esac
                            );
                           tcf::LITERAL v_10 => (if (((multiword_int::compare (v_10, lit_11)) == EQUAL))
                                    
                               { type = v_1;
                                zero_t;
                               };
                               else (if (((multiword_int::compare (v_10, lit_16)) == EQUAL))
                                       
                                  (case v_4   
                                    tcf::LITERAL v_2 => (if (((multiword_int::compare (v_2, lit_11)) == EQUAL))
                                            (state_43 v_1);
                                       else (if (((multiword_int::compare (v_2, lit_16)) == EQUAL))
                                               (state_45 (v_1, v_4));
                                          else (state_45 (v_1, v_4));fi);fi);
                                   _ => state_45 (v_1, v_4); esac
                                  );
                                  else 
                                  (case v_4   
                                    tcf::LITERAL v_2 => (if (((multiword_int::compare (v_2, lit_11)) == EQUAL))
                                            (state_43 v_1);
                                       else (if (((multiword_int::compare (v_2, lit_16)) == EQUAL))
                                               (state_47 (v_1, v_0));
                                          else 
                                          { type = v_1;
                                              x = v_10;
                                              y = v_2;
                                           tcf::LITERAL (i::mulu (type, x, y));
                                          };fi);fi);
                                   _ => state_180 v_3; esac
                                  );fi);fi);
                           _ => 
                            (case v_4   
                              tcf::LITERAL v_2 => state_820 (v_3, v_1, v_0, v_2);
                             _ => state_180 v_3; esac
                            ); esac
                          );
                       };
                      tcf::NEG_OR_TRAP v_5 => 
                       { my (v_1, v_0) = v_5;
                        
                          (case v_0   
                            tcf::LABEL_EXPRESSION v_10 => 
                            { type = v_1;
                                x = v_10;
                             tcf::LABEL_EXPRESSION (tcf::NEG_OR_TRAP (type, x));
                            };
                           tcf::LITERAL v_10 => 
                            { type = v_1;
                                x = v_10;
                             ((tcf::LITERAL (i::negt (type, x))) except OVERFLOW => expression; end 
);
                            };
                           _ => state_180 v_3; esac
                          );
                       };
                      tcf::BITWISE_NOT v_5 => 
                       { my (v_1, v_0) = v_5;
                        
                          (case v_0   
                            tcf::LABEL_EXPRESSION v_10 => 
                            { type = v_1;
                                x = v_10;
                             tcf::LABEL_EXPRESSION (tcf::BITWISE_NOT (type, x));
                            };
                           tcf::LITERAL v_10 => 
                            { n = v_10;
                                type = v_1;
                             tcf::LITERAL (i::bitwise_not (type, n));
                            };
                           tcf::BITWISE_NOT v_10 => 
                            { my (v_7, v_9) = v_10;
                             
                               { a = v_9;
                                   type = v_1;
                                   type' = v_7;
                                (if ((type == type'))
                                          a;
                                     else (state_180 v_3);fi);
                               };
                            };
                           _ => state_180 v_3; esac
                          );
                       };
                      tcf::BITWISE_OR v_5 => 
                       { my (v_1, v_0, v_4) = v_5;
                        
                          (case v_4   
                            tcf::LABEL_EXPRESSION v_2 => 
                            (case v_0   
                              tcf::LABEL_EXPRESSION v_10 => 
                              { type = v_1;
                                  x = v_10;
                                  y = v_2;
                               tcf::LABEL_EXPRESSION (tcf::BITWISE_OR (type, x, y));
                              };
                             tcf::LITERAL v_10 => state_916 (v_3, v_10, v_4);
                             _ => state_180 v_3; esac
                            );
                           tcf::LITERAL v_2 => (if (((multiword_int::compare (v_2, lit_11)) == EQUAL))
                                    
                               { a = v_0;
                                a;
                               };
                               else 
                               (case v_0   
                                 tcf::LITERAL v_10 => (if (((multiword_int::compare (v_10, lit_11)) == EQUAL))
                                         (state_109 v_4);
                                    else 
                                    { type = v_1;
                                        x = v_10;
                                        y = v_2;
                                     tcf::LITERAL (i::bitwise_or (type, x, y));
                                    };fi);
                                _ => state_180 v_3; esac
                               );fi);
                           tcf::BITWISE_NOT v_2 => 
                            (case v_0   
                              tcf::LITERAL v_10 => state_916 (v_3, v_10, v_4);
                             tcf::BITWISE_NOT v_10 => 
                              { my (v_7, v_9) = v_10;
                               
                                 { my (v_6, v_8) = v_2;
                                  
                                    { a = v_9;
                                        b = v_8;
                                        type = v_1;
                                        type' = v_7;
                                        type'' = v_6;
                                     (if (((type == type') and (type' == type'')))
                                               (tcf::BITWISE_NOT (type, tcf::BITWISE_AND (type, a, b)));
                                          else (state_180 v_3);fi);
                                    };
                                 };
                              };
                             _ => state_180 v_3; esac
                            );
                           _ => 
                            (case v_0   
                              tcf::LITERAL v_10 => state_916 (v_3, v_10, v_4);
                             _ => state_180 v_3; esac
                            ); esac
                          );
                       };
                      tcf::REMS v_5 => 
                       { my (v_1, v_0, v_4, v_18) = v_5;
                        
                          (case v_18   
                            tcf::LABEL_EXPRESSION v_17 => 
                            (case v_4   
                              tcf::LABEL_EXPRESSION v_2 => 
                              { m = v_1;
                                  type = v_0;
                                  x = v_2;
                                  y = v_17;
                               tcf::LABEL_EXPRESSION (tcf::REMS (m, type, x, y));
                              };
                             _ => state_180 v_3; esac
                            );
                           tcf::LITERAL v_17 => (if (((multiword_int::compare (v_17, lit_16)) == EQUAL))
                                    
                               { a = v_4;
                                   m = v_1;
                                   type = v_0;
                                zero_t;
                               };
                               else 
                               (case v_4   
                                 tcf::LITERAL v_2 => 
                                 { m = v_1;
                                     type = v_0;
                                     x = v_2;
                                     y = v_17;
                                  (if ((y != zero))
                                            (tcf::LITERAL (i::rems (dm m, type, x, y)));
                                       else (state_180 v_3);fi);
                                 };
                                _ => state_180 v_3; esac
                               );fi);
                           _ => state_180 v_3; esac
                          );
                       };
                      tcf::REMU v_5 => 
                       { my (v_1, v_0, v_4) = v_5;
                        
                          (case v_4   
                            tcf::LABEL_EXPRESSION v_2 => 
                            (case v_0   
                              tcf::LABEL_EXPRESSION v_10 => 
                              { type = v_1;
                                  x = v_10;
                                  y = v_2;
                               tcf::LABEL_EXPRESSION (tcf::REMU (type, x, y));
                              };
                             _ => state_180 v_3; esac
                            );
                           tcf::LITERAL v_2 => (if (((multiword_int::compare (v_2, lit_16)) == EQUAL))
                                    
                               { a = v_0;
                                   type = v_1;
                                zero_t;
                               };
                               else 
                               (case v_0   
                                 tcf::LITERAL v_10 => 
                                 { type = v_1;
                                     x = v_10;
                                     y = v_2;
                                  (if ((y != zero))
                                            (tcf::LITERAL (i::remu (type, x, y)));
                                       else (state_180 v_3);fi);
                                 };
                                _ => state_180 v_3; esac
                               );fi);
                           _ => state_180 v_3; esac
                          );
                       };
                      tcf::LEFT_SHIFT v_5 => 
                       { my (v_1, v_0, v_4) = v_5;
                        
                          (case v_4   
                            tcf::LABEL_EXPRESSION v_2 => 
                            (case v_0   
                              tcf::LABEL_EXPRESSION v_10 => 
                              { type = v_1;
                                  x = v_10;
                                  y = v_2;
                               tcf::LABEL_EXPRESSION (tcf::LEFT_SHIFT (type, x, y));
                              };
                             tcf::LITERAL v_10 => state_1021 (v_3, v_1, v_10);
                             _ => state_180 v_3; esac
                            );
                           tcf::LITERAL v_2 => (if (((multiword_int::compare (v_2, lit_11)) == EQUAL))
                                    
                               { a = v_0;
                                   type = v_1;
                                a;
                               };
                               else 
                               (case v_0   
                                 tcf::LITERAL v_10 => (if (((multiword_int::compare (v_10, lit_11)) == EQUAL))
                                         (state_157 v_1);
                                    else 
                                    { n = v_2;
                                        type = v_1;
                                     (if ((multiword_int::(<=) (multiword_int::from_int type, n)))
                                               (state_158 ());
                                          else 
                                          { type = v_1;
                                              x = v_10;
                                              y = v_2;
                                           tcf::LITERAL (i::sll_x (type, x, y));
                                          };fi);
                                    };fi);
                                _ => 
                                 { n = v_2;
                                     type = v_1;
                                  (if ((multiword_int::(<=) (multiword_int::from_int type, n)))
                                            (state_158 ());
                                       else (state_180 v_3);fi);
                                 }; esac
                               );fi);
                           _ => 
                            (case v_0   
                              tcf::LITERAL v_10 => state_1021 (v_3, v_1, v_10);
                             _ => state_180 v_3; esac
                            ); esac
                          );
                       };
                      tcf::RIGHT_SHIFT v_5 => 
                       { my (v_1, v_0, v_4) = v_5;
                        
                          (case v_4   
                            tcf::LABEL_EXPRESSION v_2 => 
                            (case v_0   
                              tcf::LABEL_EXPRESSION v_10 => 
                              { type = v_1;
                                  x = v_10;
                                  y = v_2;
                               tcf::LABEL_EXPRESSION (tcf::RIGHT_SHIFT (type, x, y));
                              };
                             tcf::LITERAL v_10 => state_1192 (v_3, v_1, v_10);
                             _ => state_180 v_3; esac
                            );
                           tcf::LITERAL v_2 => (if (((multiword_int::compare (v_2, lit_11)) == EQUAL))
                                    
                               { a = v_0;
                                   type = v_1;
                                a;
                               };
                               else 
                               (case v_0   
                                 tcf::LITERAL v_10 => (if (((multiword_int::compare (v_10, lit_11)) == EQUAL))
                                         (state_140 v_1);
                                    else 
                                    { type = v_1;
                                        x = v_10;
                                        y = v_2;
                                     tcf::LITERAL (i::sra_x (type, x, y));
                                    };fi);
                                _ => state_180 v_3; esac
                               );fi);
                           _ => 
                            (case v_0   
                              tcf::LITERAL v_10 => state_1192 (v_3, v_1, v_10);
                             _ => state_180 v_3; esac
                            ); esac
                          );
                       };
                      tcf::RIGHT_SHIFT_U v_5 => 
                       { my (v_1, v_0, v_4) = v_5;
                        
                          (case v_4   
                            tcf::LABEL_EXPRESSION v_2 => 
                            (case v_0   
                              tcf::LABEL_EXPRESSION v_10 => 
                              { type = v_1;
                                  x = v_10;
                                  y = v_2;
                               tcf::LABEL_EXPRESSION (tcf::RIGHT_SHIFT_U (type, x, y));
                              };
                             tcf::LITERAL v_10 => state_1279 (v_3, v_1, v_10);
                             _ => state_180 v_3; esac
                            );
                           tcf::LITERAL v_2 => (if (((multiword_int::compare (v_2, lit_11)) == EQUAL))
                                    
                               { a = v_0;
                                   type = v_1;
                                a;
                               };
                               else 
                               (case v_0   
                                 tcf::LITERAL v_10 => (if (((multiword_int::compare (v_10, lit_11)) == EQUAL))
                                         (state_148 v_1);
                                    else 
                                    { n = v_2;
                                        type = v_1;
                                     (if ((multiword_int::(<=) (multiword_int::from_int type, n)))
                                               (state_149 ());
                                          else 
                                          { type = v_1;
                                              x = v_10;
                                              y = v_2;
                                           tcf::LITERAL (i::srl_x (type, x, y));
                                          };fi);
                                    };fi);
                                _ => 
                                 { n = v_2;
                                     type = v_1;
                                  (if ((multiword_int::(<=) (multiword_int::from_int type, n)))
                                            (state_149 ());
                                       else (state_180 v_3);fi);
                                 }; esac
                               );fi);
                           _ => 
                            (case v_0   
                              tcf::LITERAL v_10 => state_1279 (v_3, v_1, v_10);
                             _ => state_180 v_3; esac
                            ); esac
                          );
                       };
                      tcf::SUB v_5 => 
                       { my (v_1, v_0, v_4) = v_5;
                        
                          (case v_0   
                            tcf::LABEL_EXPRESSION v_10 => 
                            (case v_4   
                              tcf::LABEL_EXPRESSION v_2 => 
                              { type = v_1;
                                  x = v_10;
                                  y = v_2;
                               tcf::LABEL_EXPRESSION (tcf::SUB (type, x, y));
                              };
                             tcf::LITERAL v_2 => state_1450 (v_3, v_1, v_0, v_2);
                             _ => state_180 v_3; esac
                            );
                           tcf::LITERAL v_10 => 
                            (case v_4   
                              tcf::LITERAL v_2 => (if (((multiword_int::compare (v_2, lit_11)) == EQUAL))
                                      (state_15 (v_1, v_0));
                                 else 
                                 { type = v_1;
                                     x = v_10;
                                     y = v_2;
                                  tcf::LITERAL (i::sub (type, x, y));
                                 };fi);
                             tcf::SUB v_2 => 
                              { my (v_6, v_8, v_14) = v_2;
                               (if (((multiword_int::compare (v_10, lit_11)) == EQUAL))
                                         
                                    (case v_8   
                                      tcf::LITERAL v_15 => (if (((multiword_int::compare (v_15, lit_11)) == EQUAL))
                                              
                                         { a = v_14;
                                             type = v_1;
                                             type' = v_6;
                                          (if ((type == type'))
                                                    a;
                                               else (state_180 v_3);fi);
                                         };
                                         else (state_180 v_3);fi);
                                     _ => state_180 v_3; esac
                                    );
                                    else (state_180 v_3);fi);
                              };
                             _ => state_180 v_3; esac
                            );
                           tcf::SUB v_10 => 
                            { my (v_7, v_9, v_13) = v_10;
                             
                               (case v_13   
                                 tcf::LITERAL v_12 => 
                                 (case v_4   
                                   tcf::LITERAL v_2 => 
                                   { a = v_9;
                                       type = v_1;
                                       type' = v_7;
                                       x = v_12;
                                       y = v_2;
                                    (if ((type == type'))
                                              (tcf::SUB (type, a, tcf::LITERAL (i::add (type, x, y))));
                                         else (state_1450 (v_3, v_1, v_0, v_2));fi);
                                   };
                                  _ => state_180 v_3; esac
                                 );
                                _ => state_1451 (v_3, v_1, v_0, v_4); esac
                               );
                            };
                           _ => state_1451 (v_3, v_1, v_0, v_4); esac
                          );
                       };
                      tcf::SUB_OR_TRAP v_5 => 
                       { my (v_1, v_0, v_4) = v_5;
                        
                          (case v_4   
                            tcf::LABEL_EXPRESSION v_2 => 
                            (case v_0   
                              tcf::LABEL_EXPRESSION v_10 => 
                              { type = v_1;
                                  x = v_10;
                                  y = v_2;
                               tcf::LABEL_EXPRESSION (tcf::SUB_OR_TRAP (type, x, y));
                              };
                             _ => state_180 v_3; esac
                            );
                           tcf::LITERAL v_2 => (if (((multiword_int::compare (v_2, lit_11)) == EQUAL))
                                    
                               { a = v_0;
                                   type = v_1;
                                a;
                               };
                               else 
                               (case v_0   
                                 tcf::LITERAL v_10 => 
                                 { type = v_1;
                                     x = v_10;
                                     y = v_2;
                                  ((tcf::LITERAL (i::subt (type, x, y))) except OVERFLOW => expression; end 
);
                                 };
                                _ => state_180 v_3; esac
                               );fi);
                           _ => state_180 v_3; esac
                          );
                       };
                      tcf::SIGN_EXTEND v_5 => 
                       { my (v_1, v_0, v_4) = v_5;
                        
                          (case v_4   
                            tcf::LABEL_EXPRESSION v_2 => 
                            { e = v_4;
                                type = v_1;
                                type' = v_0;
                             (if ((type == type'))
                                       (state_165 e);
                                  else 
                                  { type = v_1;
                                      type' = v_0;
                                      x = v_2;
                                   tcf::LABEL_EXPRESSION (tcf::SIGN_EXTEND (type, type', x));
                                  };fi);
                            };
                           tcf::LITERAL v_2 => 
                            { e = v_4;
                                type = v_1;
                                type' = v_0;
                             (if ((type == type'))
                                       (state_165 e);
                                  else 
                                  { n = v_2;
                                      type = v_1;
                                      type' = v_0;
                                   tcf::LITERAL (i::sx (type, type', n));
                                  };fi);
                            };
                           tcf::LOAD v_2 => 
                            { type = v_1;
                                type' = v_0;
                             expression;
                            };
                           _ => 
                            { e = v_4;
                                type = v_1;
                                type' = v_0;
                             (if ((type == type'))
                                       (state_165 e);
                                  else (state_180 v_3);fi);
                            }; esac
                          );
                       };
                      tcf::BITWISE_XOR v_5 => 
                       { my (v_1, v_0, v_4) = v_5;
                        
                          (case v_4   
                            tcf::LABEL_EXPRESSION v_2 => 
                            (case v_0   
                              tcf::LABEL_EXPRESSION v_10 => 
                              { type = v_1;
                                  x = v_10;
                                  y = v_2;
                               tcf::LABEL_EXPRESSION (tcf::BITWISE_XOR (type, x, y));
                              };
                             tcf::LITERAL v_10 => state_1717 (v_3, v_1, v_10, v_4);
                             _ => state_180 v_3; esac
                            );
                           tcf::LITERAL v_2 => (if (((multiword_int::compare (v_2, lit_11)) == EQUAL))
                                    
                               { a = v_0;
                                   type = v_1;
                                a;
                               };
                               else 
                               (case v_0   
                                 tcf::LITERAL v_10 => (if (((multiword_int::compare (v_10, lit_11)) == EQUAL))
                                         (state_118 (v_1, v_4));
                                    else 
                                    { type = v_1;
                                        x = v_10;
                                        y = v_2;
                                     tcf::LITERAL (i::bitwise_xor (type, x, y));
                                    };fi);
                                _ => state_180 v_3; esac
                               );fi);
                           tcf::BITWISE_NOT v_2 => 
                            (case v_0   
                              tcf::LITERAL v_10 => state_1717 (v_3, v_1, v_10, v_4);
                             tcf::BITWISE_NOT v_10 => 
                              { my (v_7, v_9) = v_10;
                               
                                 { my (v_6, v_8) = v_2;
                                  
                                    { a = v_9;
                                        b = v_8;
                                        type = v_1;
                                        type' = v_7;
                                        type'' = v_6;
                                     (if (((type == type') and (type' == type'')))
                                               (tcf::BITWISE_NOT (type, tcf::BITWISE_XOR (type, a, b)));
                                          else (state_180 v_3);fi);
                                    };
                                 };
                              };
                             _ => state_180 v_3; esac
                            );
                           _ => 
                            (case v_0   
                              tcf::LITERAL v_10 => state_1717 (v_3, v_1, v_10, v_4);
                             _ => state_180 v_3; esac
                            ); esac
                          );
                       };
                      tcf::ZERO_EXTEND v_5 => 
                       { my (v_1, v_0, v_4) = v_5;
                        
                          { e = v_4;
                              type = v_1;
                              type' = v_0;
                           (if ((type == type'))
                                     e;
                                else 
                                (case v_4   
                                  tcf::LABEL_EXPRESSION v_2 => 
                                  { type = v_1;
                                      type' = v_0;
                                      x = v_2;
                                   tcf::LABEL_EXPRESSION (tcf::ZERO_EXTEND (type, type', x));
                                  };
                                 tcf::LITERAL v_2 => 
                                  { n = v_2;
                                      type = v_1;
                                      type' = v_0;
                                   tcf::LITERAL (i::zx (type, type', n));
                                  };
                                 _ => state_180 v_3; esac
                                );fi);
                          };
                       };
                      _ => state_180 v_3; esac
                     );
                  }
           also
           fun sim_void_expression ===> (tcf::IF (tcf::TRUE, yes, no)) => yes;
              sim_void_expression ===> (tcf::IF (tcf::FALSE, yes, no)) => no;
              sim_void_expression ===> (tcf::SEQ [x]) => x;
              sim_void_expression ===> s => s; end 
           also
           fun sim_f p_0 p_1 = 
               { v_29 = (p_0, p_1);
                   fun state_8 (v_19, v_20) = 
                       { my ===> = v_19;
                           expression = v_20;
                        expression;
                       };
                
                  { my (v_19, v_20) = v_29;
                   
                     (case v_20   
                       tcf::FLOAT_TO_FLOAT v_26 => 
                       { my (v_22, v_25, v_27) = v_26;
                        
                          { my ===> = v_19;
                              e = v_27;
                              type = v_22;
                              type' = v_25;
                           (if ((type == type'))
                                     e;
                                else (state_8 (v_19, v_20));fi);
                          };
                       };
                      tcf::FCONDITIONAL_LOAD v_26 => 
                       {   my (v_22, v_25, v_27, v_28) = v_26;
                        
                          (case v_25   
                            tcf::FALSE => 
                            { my ===> = v_19;
                                no = v_28;
                                type = v_22;
                                yes = v_27;
                             no;
                            };
                           tcf::TRUE => 
                            { my ===> = v_19;
                                no = v_28;
                                type = v_22;
                                yes = v_27;
                             yes;
                            };
                           _ => state_8 (v_19, v_20); esac
                          );
                       };
                      tcf::FNEG v_26 => 
                       { my (v_22, v_25) = v_26;
                        
                          (case v_25   
                            tcf::FNEG v_24 => 
                            { my (v_21, v_23) = v_24;
                             
                               { my ===> = v_19;
                                   e = v_23;
                                   type = v_22;
                                   type' = v_21;
                                (if ((type == type'))
                                          e;
                                     else (state_8 (v_19, v_20));fi);
                               };
                            };
                           _ => state_8 (v_19, v_20); esac
                          );
                       };
                      _ => state_8 (v_19, v_20); esac
                     );
                  };
               }
           also
           fun cc FALSE => tcf::FALSE;
              cc TRUE => tcf::TRUE; end 
           also
           fun sim_cc ===> (tcf::CMP (type, tcf::EQ, tcf::LITERAL x, tcf::LITERAL y)) => cc (i::eq (type, x, y));
                sim_cc ===> (tcf::CMP (type, tcf::NE, tcf::LITERAL x, tcf::LITERAL y)) => cc (i::ne (type, x, y));
                sim_cc ===> (tcf::CMP (type, tcf::GT, tcf::LITERAL x, tcf::LITERAL y)) => cc (i::gt (type, x, y));
                sim_cc ===> (tcf::CMP (type, tcf::GE, tcf::LITERAL x, tcf::LITERAL y)) => cc (i::ge (type, x, y));
                sim_cc ===> (tcf::CMP (type, tcf::LT, tcf::LITERAL x, tcf::LITERAL y)) => cc (i::lt (type, x, y));
                sim_cc ===> (tcf::CMP (type, tcf::LE, tcf::LITERAL x, tcf::LITERAL y)) => cc (i::le (type, x, y));
                sim_cc ===> (tcf::CMP (type, tcf::GTU, tcf::LITERAL x, tcf::LITERAL y)) => cc (i::gtu (type, x, y));
                sim_cc ===> (tcf::CMP (type, tcf::LTU, tcf::LITERAL x, tcf::LITERAL y)) => cc (i::ltu (type, x, y));
                sim_cc ===> (tcf::CMP (type, tcf::GEU, tcf::LITERAL x, tcf::LITERAL y)) => cc (i::geu (type, x, y));
                sim_cc ===> (tcf::CMP (type, tcf::LEU, tcf::LITERAL x, tcf::LITERAL y)) => cc (i::leu (type, x, y));
                sim_cc ===> (tcf::AND (tcf::TRUE, x)) => x;
                sim_cc ===> (tcf::AND (x, tcf::TRUE)) => x;
                sim_cc ===> (tcf::AND (tcf::FALSE, x)) => tcf::FALSE;
                sim_cc ===> (tcf::AND (x, tcf::FALSE)) => tcf::FALSE;
                sim_cc ===> (tcf::OR (tcf::FALSE, x)) => x;
                sim_cc ===> (tcf::OR (x, tcf::FALSE)) => x;
                sim_cc ===> (tcf::OR (tcf::TRUE, x)) => tcf::TRUE;
                sim_cc ===> (tcf::OR (x, tcf::TRUE)) => tcf::TRUE;
                sim_cc ===> (tcf::XOR (tcf::TRUE, tcf::TRUE)) => tcf::FALSE;
                sim_cc ===> (tcf::XOR (tcf::FALSE, x)) => x;
                sim_cc ===> (tcf::XOR (x, tcf::FALSE)) => x;
                sim_cc ===> (tcf::XOR (tcf::TRUE, x)) => tcf::NOT x;
                sim_cc ===> (tcf::XOR (x, tcf::TRUE)) => tcf::NOT x;
                sim_cc ===> (tcf::EQV (tcf::FALSE, tcf::FALSE)) => tcf::TRUE;
                sim_cc ===> (tcf::EQV (tcf::TRUE, x)) => x;
                sim_cc ===> (tcf::EQV (x, tcf::TRUE)) => x;
                sim_cc ===> (tcf::EQV (tcf::FALSE, x)) => tcf::NOT x;
                sim_cc ===> (tcf::EQV (x, tcf::FALSE)) => tcf::NOT x;
                sim_cc ===> expression => expression;
           end;

        r::rewrite { int_expression=>sim, float_expression=>sim_f, flag_expression=>sim_cc, void_expression=>sim_void_expression };
    };
};








Comments and suggestions to: bugs@mythryl.org

PreviousUpNext