Ejemplo n.º 1
0
 def __scan_util_br(self, br_index, vmap):
     gen_log.debug(vmap)
     br = InstructionFactory.parse(self.commands[br_index])
     br.refresh_variable(vmap)
     if not br.isdirect():
         gen_log.debug(br.cmp)
         result = self.is_cmp_valid(br.cmp)
         first_result = None
         second_result = None
         if result[0]:
             cmp_result = self.is_cmp_true(result[1], result[2], result[3])
             if cmp_result:
                 first_label = br.first_label
                 temp_map = copy.deepcopy(vmap)
                 first_result = self.__scan_instructs_left(first_label, temp_map)
             else:
                 second_label = br.second_label
                 temp_map = copy.deepcopy(vmap)
                 second_result = self.__scan_instructs_left(second_label, temp_map)
         else:
             # Deal with different branches
             first_label = br.first_label
             second_label = br.second_label
             temp_map = copy.deepcopy(vmap)
             first_result = self.__scan_instructs_left(first_label, temp_map)
             temp_map = copy.deepcopy(vmap)
             second_result = self.__scan_instructs_left(second_label, temp_map)
         if first_result:
             print(first_result + "," + br.cmp)
         if second_result:
             # print(second_result + "," + self.reverse_cmp_condition(br.cmp))
             # TODO Adjust to support more than two branches
             print(second_result)
     else:
         return self.__scan_instructs_left(br.target, vmap)
Ejemplo n.º 2
0
 def is_cmp_valid(cmp_str):
     for cmp in CMP_LIST:
         if cmp in cmp_str:
             parts = cmp_str.split(cmp)
             left = parts[0]
             right = parts[1]
             if left.isdecimal() and right.isdecimal():
                 # Result like this is disgusting, but it just works
                 return [True, cmp, left, right]
             return [False, cmp, left, right]
     gen_log.debug("There is no match cmp in " + cmp_str)
     return [False, None, None, None]
Ejemplo n.º 3
0
 def is_cmp_valid(cmp_str):
     for cmp in CMP_LIST:
         if cmp in cmp_str:
             parts = cmp_str.split(cmp)
             left = parts[0]
             right = parts[1]
             if left.isdecimal() and right.isdecimal():
                 # Result like this is disgusting, but it just works
                 return [True, cmp, left, right]
             return [False, cmp, left, right]
     gen_log.debug("There is no match cmp in " + cmp_str)
     return [False, None, None, None]
Ejemplo n.º 4
0
 def __scan_util_br(self, br_index, vmap):
     gen_log.debug(vmap)
     br = InstructionFactory.parse(self.commands[br_index])
     br.refresh_variable(vmap)
     if not br.isdirect():
         gen_log.debug(br.cmp)
         result = self.is_cmp_valid(br.cmp)
         first_result = None
         second_result = None
         if result[0]:
             cmp_result = self.is_cmp_true(result[1], result[2], result[3])
             if cmp_result:
                 first_label = br.first_label
                 temp_map = copy.deepcopy(vmap)
                 first_result = self.__scan_instructs_left(
                     first_label, temp_map)
             else:
                 second_label = br.second_label
                 temp_map = copy.deepcopy(vmap)
                 second_result = self.__scan_instructs_left(
                     second_label, temp_map)
         else:
             # Deal with different branches
             first_label = br.first_label
             second_label = br.second_label
             temp_map = copy.deepcopy(vmap)
             first_result = self.__scan_instructs_left(
                 first_label, temp_map)
             temp_map = copy.deepcopy(vmap)
             second_result = self.__scan_instructs_left(
                 second_label, temp_map)
         if first_result:
             print(first_result + "," + br.cmp)
         if second_result:
             # print(second_result + "," + self.reverse_cmp_condition(br.cmp))
             # TODO Adjust to support more than two branches
             print(second_result)
     else:
         return self.__scan_instructs_left(br.target, vmap)