PreviousUpNext

15.4.256  src/lib/compiler/back/low/intel32/code/peephole-intel32-g.pkg

## peephole-intel32-g.pkg
#
# I can find no other reference in the codebase to   
#
#    src/lib/compiler/back/low/intel32/code/peephole-intel32-g.pkg
#
# -- presumably this file is not actually used.  -- 2011-05-23 CrT

# Compiled by:
#     src/lib/compiler/back/low/lib/intel32-peephole.lib

# WARNING: this is generated by running 'nowhere intel32Peephole.peep'.
# Do not edit this file directly.
# Version 1.2.2

# Compiled by:
#     src/lib/compiler/back/low/lib/intel32-peephole.lib


###line 20.1 "intel32Peephole::peep"
generic package peephole_intel32_g (
###line 21.5 "intel32Peephole::peep"
                    package mcf: Machcode_Intel32;                                      # Machcode_Intel32              is from   src/lib/compiler/back/low/intel32/code/machcode-intel32.codemade.api

###line 22.5 "intel32Peephole::peep"
                    package tce:  Treecode_Eval;                                        # Treecode_Eval                 is from   src/lib/compiler/back/low/treecode/treecode-eval.api

###line 23.7 "intel32Peephole::peep"
                    sharing mcf::tcf == tce::tcf;
)

: (weak) Peephole                                                                       # Peephole                      is from   src/lib/compiler/back/low/code/peephole.api

{
  
###line 26.4 "intel32Peephole::peep"
   package mcf= mcf;
   package registerkinds  = mcf::rgk;                                                   # "rgk" == "registerkinds".


###line 27.4 "intel32Peephole::peep"
   package rgk = registerkinds;

###line 28.4 "intel32Peephole::peep"
   package rkj =  registerkinds_junk;                                                   # registerkinds_junk    is from   src/lib/compiler/back/low/code/registerkinds-junk.pkg

###line 31.4 "intel32Peephole::peep"
   fun peephole instrs = 
       { 
###line 32.8 "intel32Peephole::peep"
           fun is_stack_ptr (mcf::DIRECT r) => rkj::codetemps_are_same_color (r, rgk::esp);
               is_stack_ptr _ => FALSE;
           end;

###line 35.8 "intel32Peephole::peep"
           fun is_zero_le le = (((tce::value_of le) == 0) except _ = FALSE);

###line 37.8 "intel32Peephole::peep"
           fun is_zero (mcf::IMMED n)   =>   n == 0;
               is_zero (mcf::IMMED_LABEL le) => is_zero_le le;
               is_zero _ => FALSE;
           end;

###line 41.8 "intel32Peephole::peep"
           fun is_zero_opt NULL => TRUE;
               is_zero_opt (THE opn) => is_zero opn;
           end;

###line 44.8 "intel32Peephole::peep"
           fun loop (code, instrs) = 
               { v_34 = code;
                   fun state_9 (v_0, v_3) = 
                       { i = v_0;
                         rest = v_3;
                        loop (rest, i ! instrs);
                       };
                   fun state_22 (v_0, v_17, v_3) = 
                       { le = v_17;
                         rest = v_3;
                        (if ((is_zero_le le))
                                  (loop (rest, instrs));
                             else (state_9 (v_0, v_3));fi);
                       };
                   fun state_51 (v_0, v_1, v_2, v_3) = 
                       (case v_1   
                         mcf::DIRECT v_26 => 
                         { dst = v_1;
                           rest = v_3;
                           src = v_2;
                          (if ((is_zero src))
                                    (loop (rest, (mcf::binary { bin_op=>mcf::XORL, src=>dst, dst } ) ! instrs));
                               else (state_9 (v_0, v_3));fi);
                         };
                        _ => state_9 (v_0, v_3); esac
                       );
                
                  (case v_34   
                    (!) v_33 => 
                    { my (v_0, v_3) = v_33;
                     
                       (case v_0   
                         mcf::BASE_OP v_32 => 
                         (case v_32   
                           mcf::BINARY v_19 => 
                           { my { bin_op=>v_31, dst=>v_1, src=>v_2, ... } = v_19;
                            
                              (case v_31   
                                mcf::ADDL => 
                                (case v_2   
                                  mcf::IMMED v_17 => 
                                  (case v_1   
                                    mcf::DIRECT v_26 => 
                                    (case v_3   
                                      (!) v_14 => 
                                      { my (v_13, v_4) = v_14;
                                       
                                         (case v_13   
                                           mcf::BASE_OP v_12 => 
                                           (case v_12   
                                             mcf::BINARY v_11 => 
                                             { my { bin_op=>v_10, dst=>v_9, src=>v_8, ... } = v_11;
                                              
                                                (case v_10   
                                                  mcf::SUBL => 
                                                  (case v_9   
                                                    mcf::DIRECT v_5 => 
                                                    (case v_8   
                                                      mcf::IMMED v_7 => 
                                                      { d_i = v_26;
                                                          d_j = v_5;
                                                          m = v_7;
                                                          n = v_17;
                                                          rest = v_4;
                                                       (if (((rkj::codetemps_are_same_color (d_i, rgk::esp)) and (rkj::codetemps_are_same_color (d_j, rgk::esp))))
                                                                 (if ((m == n))
                                                                    (loop (rest, instrs));
                                                               else (if ((m < n))
                                                                       (loop (rest, (mcf::binary { bin_op=>mcf::ADDL, src=>mcf::IMMED (n - m), dst=>mcf::DIRECT rgk::esp } ) ! instrs));
                                                                  else (loop (rest, (mcf::binary { bin_op=>mcf::SUBL, src=>mcf::IMMED (m - n), dst=>mcf::DIRECT rgk::esp } ) ! instrs));fi);fi);
                                                            else (state_9 (v_0, v_3));fi);
                                                      };
                                                     _ => state_9 (v_0, v_3); esac
                                                    );
                                                   _ => state_9 (v_0, v_3); esac
                                                  );
                                                 _ => state_9 (v_0, v_3); esac
                                                );
                                             };
                                            _ => state_9 (v_0, v_3); esac
                                           );
                                          _ => state_9 (v_0, v_3); esac
                                         );
                                      };
                                     NIL => state_9 (v_0, v_3); esac
                                    );
                                   _ => state_9 (v_0, v_3); esac
                                  );
                                 mcf::IMMED_LABEL v_17 => state_22 (v_0, v_17, v_3);
                                 _ => state_9 (v_0, v_3); esac
                                );
                               mcf::SUBL => 
                                (case v_2   
                                  mcf::IMMED v_17 => 
                                  (case v_1   
                                    mcf::DIRECT v_26 => 
                                    (case v_17   
                                      4 => 
                                      (case v_3   
                                        (!) v_14 => 
                                        { my (v_13, v_4) = v_14;
                                         
                                           (case v_13   
                                             mcf::BASE_OP v_12 => 
                                             (case v_12   
                                               mcf::MOVE v_11 => 
                                               { my { dst=>v_9, mv_op=>v_28, src=>v_8, ... } = v_11;
                                                
                                                  (case v_9   
                                                    mcf::DISPLACE v_5 => 
                                                    { my { base=>v_27, disp=>v_30, ... } = v_5;
                                                     
                                                       (case v_30   
                                                         mcf::IMMED v_29 => 
                                                         (case v_29   
                                                           0 => 
                                                           (case v_28   
                                                             mcf::MOVL => 
                                                             { base = v_27;
                                                                 dst_i = v_26;
                                                                 rest = v_4;
                                                                 src = v_8;
                                                              (if ((((rkj::codetemps_are_same_color (base, rgk::esp)) and (rkj::codetemps_are_same_color (dst_i, rgk::esp))) and (not (is_stack_ptr src))))
                                                                        (loop (rest, (mcf::pushl src) ! instrs));
                                                                   else (state_9 (v_0, v_3));fi);
                                                             };
                                                            _ => state_9 (v_0, v_3); esac
                                                           );
                                                          _ => state_9 (v_0, v_3); esac
                                                         );
                                                        _ => state_9 (v_0, v_3); esac
                                                       );
                                                    };
                                                   _ => state_9 (v_0, v_3); esac
                                                  );
                                               };
                                              _ => state_9 (v_0, v_3); esac
                                             );
                                            _ => state_9 (v_0, v_3); esac
                                           );
                                        };
                                       NIL => state_9 (v_0, v_3); esac
                                      );
                                     _ => state_9 (v_0, v_3); esac
                                    );
                                   _ => state_9 (v_0, v_3); esac
                                  );
                                 mcf::IMMED_LABEL v_17 => state_22 (v_0, v_17, v_3);
                                 _ => state_9 (v_0, v_3); esac
                                );
                               _ => state_9 (v_0, v_3); esac
                              );
                           };
                          mcf::LEA v_19 => 
                           { my { address=>v_25, r32=>v_20, ... } = v_19;
                            
                              (case v_25   
                                mcf::DISPLACE v_24 => 
                                { my { base=>v_22, disp=>v_23, ... } = v_24;
                                 
                                   (case v_23   
                                     mcf::IMMED_LABEL v_21 => 
                                     { base = v_22;
                                         le = v_21;
                                         r32 = v_20;
                                         rest = v_3;
                                      (if (((is_zero_le le) and (rkj::codetemps_are_same_color (r32, base))))
                                                (loop (rest, instrs));
                                           else (state_9 (v_0, v_3));fi);
                                     };
                                    _ => state_9 (v_0, v_3); esac
                                   );
                                };
                               _ => state_9 (v_0, v_3); esac
                              );
                           };
                          mcf::MOVE v_19 => 
                           { my { dst=>v_1, mv_op=>v_18, src=>v_2, ... } = v_19;
                            
                              (case v_18   
                                mcf::MOVL => 
                                (case v_2   
                                  mcf::DISPLACE v_17 => 
                                  { my { base=>v_6, disp=>v_16, ... } = v_17;
                                   
                                     (case v_16   
                                       mcf::IMMED v_15 => 
                                       (case v_15   
                                         0 => 
                                         (case v_3   
                                           (!) v_14 => 
                                           { my (v_13, v_4) = v_14;
                                            
                                              (case v_13   
                                                mcf::BASE_OP v_12 => 
                                                (case v_12   
                                                  mcf::BINARY v_11 => 
                                                  { my { bin_op=>v_10, dst=>v_9, src=>v_8, ... } = v_11;
                                                   
                                                     (case v_10   
                                                       mcf::ADDL => 
                                                       (case v_9   
                                                         mcf::DIRECT v_5 => 
                                                         (case v_8   
                                                           mcf::IMMED v_7 => 
                                                           (case v_7   
                                                             4 => 
                                                             { base = v_6;
                                                                 dst = v_1;
                                                                 dst_i = v_5;
                                                                 rest = v_4;
                                                              (if ((((rkj::codetemps_are_same_color (base, rgk::esp)) and (rkj::codetemps_are_same_color (dst_i, rgk::esp))) and (not (is_stack_ptr dst))))
                                                                        (loop (rest, (mcf::pop dst) ! instrs));
                                                                   else (state_51 (v_0, v_1, v_2, v_3));fi);
                                                             };
                                                            _ => state_51 (v_0, v_1, v_2, v_3); esac
                                                           );
                                                          _ => state_51 (v_0, v_1, v_2, v_3); esac
                                                         );
                                                        _ => state_51 (v_0, v_1, v_2, v_3); esac
                                                       );
                                                      _ => state_51 (v_0, v_1, v_2, v_3); esac
                                                     );
                                                  };
                                                 _ => state_51 (v_0, v_1, v_2, v_3); esac
                                                );
                                               _ => state_51 (v_0, v_1, v_2, v_3); esac
                                              );
                                           };
                                          NIL => state_51 (v_0, v_1, v_2, v_3); esac
                                         );
                                        _ => state_51 (v_0, v_1, v_2, v_3); esac
                                       );
                                      _ => state_51 (v_0, v_1, v_2, v_3); esac
                                     );
                                  };
                                 _ => state_51 (v_0, v_1, v_2, v_3); esac
                                );
                               _ => state_9 (v_0, v_3); esac
                              );
                           };
                          _ => state_9 (v_0, v_3); esac
                         );
                        _ => state_9 (v_0, v_3); esac
                       );
                    };
                   NIL => instrs; esac
                  );
               };
        loop (instrs, []);
       };
};


Comments and suggestions to: bugs@mythryl.org

PreviousUpNext