Beispiel #1
0
def get_function_body(args, filename, clang_args, extra_commands, prefixes,
                      triple_in_cmd, func_dict):
    # TODO Clean up duplication of asm/common build_function_body_dictionary
    # Invoke external tool and extract function bodies.
    raw_tool_output = common.invoke_tool(args.clang, clang_args, filename)
    for extra_command in extra_commands:
        extra_args = shlex.split(extra_command)
        with tempfile.NamedTemporaryFile() as f:
            f.write(raw_tool_output.encode())
            f.flush()
            if extra_args[0] == 'opt':
                if args.opt is None:
                    print(filename, 'needs to run opt. '
                          'Please specify --llvm-bin or --opt',
                          file=sys.stderr)
                    sys.exit(1)
                extra_args[0] = args.opt
            raw_tool_output = common.invoke_tool(extra_args[0], extra_args[1:],
                                                 f.name)
    if '-emit-llvm' in clang_args:
        common.build_function_body_dictionary(common.OPT_FUNCTION_RE,
                                              common.scrub_body, [],
                                              raw_tool_output, prefixes,
                                              func_dict, args.verbose,
                                              args.function_signature)
    else:
        print(
            'The clang command line should include -emit-llvm as asm tests '
            'are discouraged in Clang testsuite.',
            file=sys.stderr)
        sys.exit(1)
Beispiel #2
0
def get_function_body(args, filename, clang_args, prefixes, triple_in_cmd, func_dict):
  # TODO Clean up duplication of asm/common build_function_body_dictionary
  # Invoke external tool and extract function bodies.
  raw_tool_output = common.invoke_tool(args.clang, clang_args, filename)
  if '-emit-llvm' in clang_args:
    common.build_function_body_dictionary(
            common.OPT_FUNCTION_RE, common.scrub_body, [],
            raw_tool_output, prefixes, func_dict, args.verbose)
  else:
    print('The clang command line should include -emit-llvm as asm tests '
          'are discouraged in Clang testsuite.', file=sys.stderr)
    sys.exit(1)
Beispiel #3
0
def get_function_body(args, filename, clang_args, prefixes, triple_in_cmd, func_dict):
  # TODO Clean up duplication of asm/common build_function_body_dictionary
  # Invoke external tool and extract function bodies.
  raw_tool_output = common.invoke_tool(args.clang, clang_args, filename)
  if '-emit-llvm' in clang_args:
    common.build_function_body_dictionary(
            common.OPT_FUNCTION_RE, common.scrub_body, [],
            raw_tool_output, prefixes, func_dict, args.verbose)
  else:
    print('The clang command line should include -emit-llvm as asm tests '
          'are discouraged in Clang testsuite.', file=sys.stderr)
    sys.exit(1)
Beispiel #4
0
def main():
    from argparse import RawTextHelpFormatter
    parser = argparse.ArgumentParser(description=__doc__,
                                     formatter_class=RawTextHelpFormatter)
    parser.add_argument('-v',
                        '--verbose',
                        action='store_true',
                        help='Show verbose output')
    parser.add_argument('--opt-binary',
                        default='opt',
                        help='The opt binary used to generate the test case')
    parser.add_argument('--function',
                        help='The function in the test file to update')
    parser.add_argument('-u',
                        '--update-only',
                        action='store_true',
                        help='Only update test if it was already autogened')
    parser.add_argument('tests', nargs='+')
    args = parser.parse_args()

    script_name = os.path.basename(__file__)
    autogenerated_note = (ADVERT + 'utils/' + script_name)

    opt_basename = os.path.basename(args.opt_binary)
    if (opt_basename != "opt"):
        common.error('Unexpected opt name: ' + opt_basename)
        sys.exit(1)

    test_paths = [
        test for pattern in args.tests for test in glob.glob(pattern)
    ]
    for test in test_paths:
        if args.verbose:
            print('Scanning for RUN lines in test file: %s' % (test, ),
                  file=sys.stderr)
        with open(test) as f:
            input_lines = [l.rstrip() for l in f]

        first_line = input_lines[0] if input_lines else ""
        if 'autogenerated' in first_line and script_name not in first_line:
            common.warn("Skipping test which wasn't autogenerated by " +
                        script_name + ": " + test)
            continue

        if args.update_only:
            if not first_line or 'autogenerated' not in first_line:
                common.warn("Skipping test which isn't autogenerated: " + test)
                continue

        raw_lines = [
            m.group(1)
            for m in [common.RUN_LINE_RE.match(l) for l in input_lines] if m
        ]
        run_lines = [raw_lines[0]] if len(raw_lines) > 0 else []
        for l in raw_lines[1:]:
            if run_lines[-1].endswith("\\"):
                run_lines[-1] = run_lines[-1].rstrip("\\") + " " + l
            else:
                run_lines.append(l)

        if args.verbose:
            print('Found %d RUN lines:' % (len(run_lines), ), file=sys.stderr)
            for l in run_lines:
                print('  RUN: ' + l, file=sys.stderr)

        prefix_list = []
        for l in run_lines:
            if '|' not in l:
                common.warn('Skipping unparseable RUN line: ' + l)
                continue

            (tool_cmd,
             filecheck_cmd) = tuple([cmd.strip() for cmd in l.split('|', 1)])
            common.verify_filecheck_prefixes(filecheck_cmd)

            if not tool_cmd.startswith(opt_basename + ' '):
                common.warn('WSkipping non-%s RUN line: %s' %
                            (opt_basename, l))
                continue

            if not filecheck_cmd.startswith('FileCheck '):
                common.warn('Skipping non-FileChecked RUN line: ' + l)
                continue

            tool_cmd_args = tool_cmd[len(opt_basename):].strip()
            tool_cmd_args = tool_cmd_args.replace('< %s',
                                                  '').replace('%s',
                                                              '').strip()

            check_prefixes = [
                item for m in common.CHECK_PREFIX_RE.finditer(filecheck_cmd)
                for item in m.group(1).split(',')
            ]
            if not check_prefixes:
                check_prefixes = ['CHECK']

            # FIXME: We should use multiple check prefixes to common check lines. For
            # now, we just ignore all but the last.
            prefix_list.append((check_prefixes, tool_cmd_args))

        func_dict = {}
        for prefixes, _ in prefix_list:
            for prefix in prefixes:
                func_dict.update({prefix: dict()})
        for prefixes, opt_args in prefix_list:
            if args.verbose:
                print('Extracted opt cmd: ' + opt_basename + ' ' + opt_args,
                      file=sys.stderr)
                print('Extracted FileCheck prefixes: ' + str(prefixes),
                      file=sys.stderr)

            raw_tool_outputs = common.invoke_tool(args.opt_binary, opt_args,
                                                  test)

            # Split analysis outputs by "Printing analysis " declarations.
            for raw_tool_output in re.split(r'Printing analysis ',
                                            raw_tool_outputs):
                common.build_function_body_dictionary(
                    common.ANALYZE_FUNCTION_RE, common.scrub_body, [],
                    raw_tool_output, prefixes, func_dict, args.verbose, False)

        is_in_function = False
        is_in_function_start = False
        prefix_set = set(
            [prefix for prefixes, _ in prefix_list for prefix in prefixes])
        if args.verbose:
            print('Rewriting FileCheck prefixes: %s' % (prefix_set, ),
                  file=sys.stderr)
        output_lines = []
        output_lines.append(autogenerated_note)

        for input_line in input_lines:
            if is_in_function_start:
                if input_line == '':
                    continue
                if input_line.lstrip().startswith(';'):
                    m = common.CHECK_RE.match(input_line)
                    if not m or m.group(1) not in prefix_set:
                        output_lines.append(input_line)
                        continue

                # Print out the various check lines here.
                common.add_analyze_checks(output_lines, ';', prefix_list,
                                          func_dict, func_name)
                is_in_function_start = False

            if is_in_function:
                if common.should_add_line_to_output(input_line, prefix_set):
                    # This input line of the function body will go as-is into the output.
                    # Except make leading whitespace uniform: 2 spaces.
                    input_line = common.SCRUB_LEADING_WHITESPACE_RE.sub(
                        r'  ', input_line)
                    output_lines.append(input_line)
                else:
                    continue
                if input_line.strip() == '}':
                    is_in_function = False
                continue

            # Discard any previous script advertising.
            if input_line.startswith(ADVERT):
                continue

            # If it's outside a function, it just gets copied to the output.
            output_lines.append(input_line)

            m = IR_FUNCTION_RE.match(input_line)
            if not m:
                continue
            func_name = m.group(1)
            if args.function is not None and func_name != args.function:
                # When filtering on a specific function, skip all others.
                continue
            is_in_function = is_in_function_start = True

        if args.verbose:
            print('Writing %d lines to %s...' % (len(output_lines), test),
                  file=sys.stderr)

        with open(test, 'wb') as f:
            f.writelines(
                ['{}\n'.format(l).encode('utf-8') for l in output_lines])
Beispiel #5
0
def main():
    from argparse import RawTextHelpFormatter
    parser = argparse.ArgumentParser(description=__doc__,
                                     formatter_class=RawTextHelpFormatter)
    parser.add_argument('--opt-binary',
                        default='opt',
                        help='The opt binary used to generate the test case')
    parser.add_argument('--function',
                        help='The function in the test file to update')
    parser.add_argument('-p',
                        '--preserve-names',
                        action='store_true',
                        help='Do not scrub IR names')
    parser.add_argument(
        '--function-signature',
        action='store_true',
        help='Keep function signature information around for the check line')
    parser.add_argument(
        '--scrub-attributes',
        action='store_true',
        help='Remove attribute annotations (#0) from the end of check line')
    parser.add_argument('--check-attributes',
                        action='store_true',
                        help='Check "Function Attributes" for functions')
    parser.add_argument('tests', nargs='+')
    initial_args = common.parse_commandline_args(parser)

    script_name = os.path.basename(__file__)
    opt_basename = os.path.basename(initial_args.opt_binary)
    if not re.match(r'^opt(-\d+)?$', opt_basename):
        common.error('Unexpected opt name: ' + opt_basename)
        sys.exit(1)
    opt_basename = 'opt'

    for ti in common.itertests(initial_args.tests,
                               parser,
                               script_name='utils/' + script_name):
        # If requested we scrub trailing attribute annotations, e.g., '#0', together with whitespaces
        if ti.args.scrub_attributes:
            common.SCRUB_TRAILING_WHITESPACE_TEST_RE = common.SCRUB_TRAILING_WHITESPACE_AND_ATTRIBUTES_RE
        else:
            common.SCRUB_TRAILING_WHITESPACE_TEST_RE = common.SCRUB_TRAILING_WHITESPACE_RE

        prefix_list = []
        for l in ti.run_lines:
            if '|' not in l:
                common.warn('Skipping unparseable RUN line: ' + l)
                continue

            (tool_cmd,
             filecheck_cmd) = tuple([cmd.strip() for cmd in l.split('|', 1)])
            common.verify_filecheck_prefixes(filecheck_cmd)
            if not tool_cmd.startswith(opt_basename + ' '):
                common.warn('Skipping non-%s RUN line: %s' % (opt_basename, l))
                continue

            if not filecheck_cmd.startswith('FileCheck '):
                common.warn('Skipping non-FileChecked RUN line: ' + l)
                continue

            tool_cmd_args = tool_cmd[len(opt_basename):].strip()
            tool_cmd_args = tool_cmd_args.replace('< %s',
                                                  '').replace('%s',
                                                              '').strip()

            check_prefixes = [
                item for m in common.CHECK_PREFIX_RE.finditer(filecheck_cmd)
                for item in m.group(1).split(',')
            ]
            if not check_prefixes:
                check_prefixes = ['CHECK']

            # FIXME: We should use multiple check prefixes to common check lines. For
            # now, we just ignore all but the last.
            prefix_list.append((check_prefixes, tool_cmd_args))

        global_vars_seen_dict = {}
        func_dict = {}
        for prefixes, _ in prefix_list:
            for prefix in prefixes:
                func_dict.update({prefix: dict()})
        for prefixes, opt_args in prefix_list:
            common.debug('Extracted opt cmd: ' + opt_basename + ' ' + opt_args)
            common.debug('Extracted FileCheck prefixes: ' + str(prefixes))

            raw_tool_output = common.invoke_tool(ti.args.opt_binary, opt_args,
                                                 ti.path)
            common.build_function_body_dictionary(common.OPT_FUNCTION_RE,
                                                  common.scrub_body, [],
                                                  raw_tool_output, prefixes,
                                                  func_dict, ti.args.verbose,
                                                  ti.args.function_signature,
                                                  ti.args.check_attributes)

        is_in_function = False
        is_in_function_start = False
        prefix_set = set(
            [prefix for prefixes, _ in prefix_list for prefix in prefixes])
        common.debug('Rewriting FileCheck prefixes:', str(prefix_set))
        output_lines = []
        for input_line_info in ti.iterlines(output_lines):
            input_line = input_line_info.line
            args = input_line_info.args
            if is_in_function_start:
                if input_line == '':
                    continue
                if input_line.lstrip().startswith(';'):
                    m = common.CHECK_RE.match(input_line)
                    if not m or m.group(1) not in prefix_set:
                        output_lines.append(input_line)
                        continue

                # Print out the various check lines here.
                common.add_ir_checks(output_lines, ';', prefix_list, func_dict,
                                     func_name, args.preserve_names,
                                     args.function_signature,
                                     global_vars_seen_dict)
                is_in_function_start = False

            if is_in_function:
                if common.should_add_line_to_output(input_line, prefix_set):
                    # This input line of the function body will go as-is into the output.
                    # Except make leading whitespace uniform: 2 spaces.
                    input_line = common.SCRUB_LEADING_WHITESPACE_RE.sub(
                        r'  ', input_line)
                    output_lines.append(input_line)
                else:
                    continue
                if input_line.strip() == '}':
                    is_in_function = False
                continue

            # If it's outside a function, it just gets copied to the output.
            output_lines.append(input_line)

            m = common.IR_FUNCTION_RE.match(input_line)
            if not m:
                continue
            func_name = m.group(1)
            if args.function is not None and func_name != args.function:
                # When filtering on a specific function, skip all others.
                continue
            is_in_function = is_in_function_start = True

        common.debug('Writing %d lines to %s...' %
                     (len(output_lines), ti.path))

        with open(ti.path, 'wb') as f:
            f.writelines(
                ['{}\n'.format(l).encode('utf-8') for l in output_lines])
Beispiel #6
0
def main():
    from argparse import RawTextHelpFormatter
    parser = argparse.ArgumentParser(description=__doc__,
                                     formatter_class=RawTextHelpFormatter)
    parser.add_argument('-v',
                        '--verbose',
                        action='store_true',
                        help='Show verbose output')
    parser.add_argument('--opt-binary',
                        default='opt',
                        help='The opt binary used to generate the test case')
    parser.add_argument('--function',
                        help='The function in the test file to update')
    parser.add_argument('tests', nargs='+')
    args = parser.parse_args()

    autogenerated_note = (ADVERT + 'utils/' + os.path.basename(__file__))

    opt_basename = os.path.basename(args.opt_binary)
    if (opt_basename != "opt"):
        print >> sys.stderr, 'ERROR: Unexpected opt name: ' + opt_basename
        sys.exit(1)

    for test in args.tests:
        if args.verbose:
            print >> sys.stderr, 'Scanning for RUN lines in test file: %s' % (
                test, )
        with open(test) as f:
            input_lines = [l.rstrip() for l in f]

        raw_lines = [
            m.group(1)
            for m in [common.RUN_LINE_RE.match(l) for l in input_lines] if m
        ]
        run_lines = [raw_lines[0]] if len(raw_lines) > 0 else []
        for l in raw_lines[1:]:
            if run_lines[-1].endswith("\\"):
                run_lines[-1] = run_lines[-1].rstrip("\\") + " " + l
            else:
                run_lines.append(l)

        if args.verbose:
            print >> sys.stderr, 'Found %d RUN lines:' % (len(run_lines), )
            for l in run_lines:
                print >> sys.stderr, '  RUN: ' + l

        prefix_list = []
        for l in run_lines:
            if '|' not in l:
                print >> sys.stderr, 'WARNING: Skipping non-FileChecked RUN line: ' + l
                continue
            (tool_cmd,
             filecheck_cmd) = tuple([cmd.strip() for cmd in l.split('|', 1)])

            if tool_cmd.startswith("%cheri_"):
                tool_cmd = tool_cmd.replace(
                    "%cheri_purecap_opt",
                    "opt -mtriple=cheri-unknown-freebsd -target-abi purecap -relocation-model pic -mcpu=cheri128 -mattr=+cheri128"
                )
                tool_cmd = tool_cmd.replace(
                    "%cheri_opt",
                    "opt -mtriple=cheri-unknown-freebsd -mcpu=cheri128 -mattr=+cheri128"
                )
                tool_cmd = tool_cmd.replace(
                    "%cheri128_opt",
                    "opt -mtriple=cheri-unknown-freebsd -mcpu=cheri128 -mattr=+cheri128"
                )
                tool_cmd = tool_cmd.replace(
                    "%cheri256_opt",
                    "opt -mtriple=cheri-unknown-freebsd -mcpu=cheri256 -mattr=+cheri256"
                )

            if not tool_cmd.startswith(opt_basename + ' '):
                print >> sys.stderr, 'WARNING: Skipping non-%s RUN line: %s' % (
                    opt_basename, l)
                continue

            if not filecheck_cmd.startswith('FileCheck '):
                print >> sys.stderr, 'WARNING: Skipping non-FileChecked RUN line: ' + l
                continue

            tool_cmd_args = tool_cmd[len(opt_basename):].strip()
            tool_cmd_args = tool_cmd_args.replace('< %s',
                                                  '').replace('%s',
                                                              '').strip()

            check_prefixes = [
                item for m in common.CHECK_PREFIX_RE.finditer(filecheck_cmd)
                for item in m.group(1).split(',')
            ]
            if not check_prefixes:
                check_prefixes = ['CHECK']

            # FIXME: We should use multiple check prefixes to common check lines. For
            # now, we just ignore all but the last.
            prefix_list.append((check_prefixes, tool_cmd_args))

        func_dict = {}
        for prefixes, _ in prefix_list:
            for prefix in prefixes:
                func_dict.update({prefix: dict()})
        for prefixes, opt_args in prefix_list:
            if args.verbose:
                print >> sys.stderr, 'Extracted opt cmd: ' + opt_basename + ' ' + opt_args
                print >> sys.stderr, 'Extracted FileCheck prefixes: ' + str(
                    prefixes)

            raw_tool_output = common.invoke_tool(args.opt_binary, opt_args,
                                                 test)
            common.build_function_body_dictionary(common.OPT_FUNCTION_RE,
                                                  common.scrub_body, [],
                                                  raw_tool_output, prefixes,
                                                  func_dict, args.verbose)

        is_in_function = False
        is_in_function_start = False
        prefix_set = set(
            [prefix for prefixes, _ in prefix_list for prefix in prefixes])
        if args.verbose:
            print >> sys.stderr, 'Rewriting FileCheck prefixes: %s' % (
                prefix_set, )
        output_lines = []
        output_lines.append(autogenerated_note)

        for input_line in input_lines:
            if is_in_function_start:
                if input_line == '':
                    continue
                if input_line.lstrip().startswith(';'):
                    m = common.CHECK_RE.match(input_line)
                    if not m or m.group(1) not in prefix_set:
                        output_lines.append(input_line)
                        continue

                # Print out the various check lines here.
                common.add_ir_checks(output_lines, ';', prefix_list, func_dict,
                                     func_name)
                is_in_function_start = False

            if is_in_function:
                if common.should_add_line_to_output(input_line, prefix_set):
                    # This input line of the function body will go as-is into the output.
                    # Except make leading whitespace uniform: 2 spaces.
                    input_line = common.SCRUB_LEADING_WHITESPACE_RE.sub(
                        r'  ', input_line)
                    output_lines.append(input_line)
                else:
                    continue
                if input_line.strip() == '}':
                    is_in_function = False
                continue

            # Discard any previous script advertising.
            if input_line.startswith(ADVERT):
                continue

            # If it's outside a function, it just gets copied to the output.
            output_lines.append(input_line)

            m = IR_FUNCTION_RE.match(input_line)
            if not m:
                continue
            func_name = m.group(1)
            if args.function is not None and func_name != args.function:
                # When filtering on a specific function, skip all others.
                continue
            is_in_function = is_in_function_start = True

        if args.verbose:
            print >> sys.stderr, 'Writing %d lines to %s...' % (
                len(output_lines), test)

        with open(test, 'wb') as f:
            f.writelines([l + '\n' for l in output_lines])
def main():
  from argparse import RawTextHelpFormatter
  parser = argparse.ArgumentParser(description=__doc__, formatter_class=RawTextHelpFormatter)
  parser.add_argument('-v', '--verbose', action='store_true',
                      help='Show verbose output')
  parser.add_argument('--opt-binary', default='opt',
                      help='The opt binary used to generate the test case')
  parser.add_argument(
      '--function', help='The function in the test file to update')
  parser.add_argument('tests', nargs='+')
  args = parser.parse_args()

  autogenerated_note = (ADVERT + 'utils/' + os.path.basename(__file__))

  opt_basename = os.path.basename(args.opt_binary)
  if (opt_basename != "opt"):
    print >>sys.stderr, 'ERROR: Unexpected opt name: ' + opt_basename
    sys.exit(1)

  for test in args.tests:
    if args.verbose:
      print >>sys.stderr, 'Scanning for RUN lines in test file: %s' % (test,)
    with open(test) as f:
      input_lines = [l.rstrip() for l in f]

    raw_lines = [m.group(1)
                 for m in [common.RUN_LINE_RE.match(l) for l in input_lines] if m]
    run_lines = [raw_lines[0]] if len(raw_lines) > 0 else []
    for l in raw_lines[1:]:
      if run_lines[-1].endswith("\\"):
        run_lines[-1] = run_lines[-1].rstrip("\\") + " " + l
      else:
        run_lines.append(l)

    if args.verbose:
      print >>sys.stderr, 'Found %d RUN lines:' % (len(run_lines),)
      for l in run_lines:
        print >>sys.stderr, '  RUN: ' + l

    prefix_list = []
    for l in run_lines:
      (tool_cmd, filecheck_cmd) = tuple([cmd.strip() for cmd in l.split('|', 1)])

      if not tool_cmd.startswith(opt_basename + ' '):
        print >>sys.stderr, 'WARNING: Skipping non-%s RUN line: %s' % (opt_basename, l)
        continue

      if not filecheck_cmd.startswith('FileCheck '):
        print >>sys.stderr, 'WARNING: Skipping non-FileChecked RUN line: ' + l
        continue

      tool_cmd_args = tool_cmd[len(opt_basename):].strip()
      tool_cmd_args = tool_cmd_args.replace('< %s', '').replace('%s', '').strip()

      check_prefixes = [item for m in common.CHECK_PREFIX_RE.finditer(filecheck_cmd)
                               for item in m.group(1).split(',')]
      if not check_prefixes:
        check_prefixes = ['CHECK']

      # FIXME: We should use multiple check prefixes to common check lines. For
      # now, we just ignore all but the last.
      prefix_list.append((check_prefixes, tool_cmd_args))

    func_dict = {}
    for prefixes, _ in prefix_list:
      for prefix in prefixes:
        func_dict.update({prefix: dict()})
    for prefixes, opt_args in prefix_list:
      if args.verbose:
        print >>sys.stderr, 'Extracted opt cmd: ' + opt_basename + ' ' + opt_args
        print >>sys.stderr, 'Extracted FileCheck prefixes: ' + str(prefixes)

      raw_tool_outputs = common.invoke_tool(args.opt_binary, opt_args, test)

      # Split analysis outputs by "Printing analysis " declarations.
      for raw_tool_output in re.split(r'Printing analysis ', raw_tool_outputs):
        common.build_function_body_dictionary(
          common.ANALYZE_FUNCTION_RE, common.scrub_body, [],
          raw_tool_output, prefixes, func_dict, args.verbose)

    is_in_function = False
    is_in_function_start = False
    prefix_set = set([prefix for prefixes, _ in prefix_list for prefix in prefixes])
    if args.verbose:
      print >>sys.stderr, 'Rewriting FileCheck prefixes: %s' % (prefix_set,)
    output_lines = []
    output_lines.append(autogenerated_note)

    for input_line in input_lines:
      if is_in_function_start:
        if input_line == '':
          continue
        if input_line.lstrip().startswith(';'):
          m = common.CHECK_RE.match(input_line)
          if not m or m.group(1) not in prefix_set:
            output_lines.append(input_line)
            continue

        # Print out the various check lines here.
        common.add_analyze_checks(output_lines, ';', prefix_list, func_dict, func_name)
        is_in_function_start = False

      if is_in_function:
        if common.should_add_line_to_output(input_line, prefix_set):
          # This input line of the function body will go as-is into the output.
          # Except make leading whitespace uniform: 2 spaces.
          input_line = common.SCRUB_LEADING_WHITESPACE_RE.sub(r'  ', input_line)
          output_lines.append(input_line)
        else:
          continue
        if input_line.strip() == '}':
          is_in_function = False
        continue

      # Discard any previous script advertising.
      if input_line.startswith(ADVERT):
        continue

      # If it's outside a function, it just gets copied to the output.
      output_lines.append(input_line)

      m = IR_FUNCTION_RE.match(input_line)
      if not m:
        continue
      func_name = m.group(1)
      if args.function is not None and func_name != args.function:
        # When filtering on a specific function, skip all others.
        continue
      is_in_function = is_in_function_start = True

    if args.verbose:
      print>>sys.stderr, 'Writing %d lines to %s...' % (len(output_lines), test)

    with open(test, 'wb') as f:
      f.writelines([l + '\n' for l in output_lines])
Beispiel #8
0
def main():
  from argparse import RawTextHelpFormatter
  parser = argparse.ArgumentParser(description=__doc__, formatter_class=RawTextHelpFormatter)
  parser.add_argument('--opt-binary', default='opt',
                      help='The opt binary used to generate the test case')
  parser.add_argument(
      '--function', help='The function in the test file to update')
  parser.add_argument('-p', '--preserve-names', action='store_true',
                      help='Do not scrub IR names')
  parser.add_argument('--function-signature', action='store_true',
                      help='Keep function signature information around for the check line')
  parser.add_argument('--scrub-attributes', action='store_true',
                      help='Remove attribute annotations (#0) from the end of check line')
  parser.add_argument('--enable', action='store_true', dest='enabled', default=True,
                      help='Activate CHECK line generation from this point forward')
  parser.add_argument('--disable', action='store_false', dest='enabled',
                      help='Deactivate CHECK line generation from this point forward')
  parser.add_argument('tests', nargs='+')
  args = common.parse_commandline_args(parser)

  script_name = os.path.basename(__file__)
  autogenerated_note = (ADVERT + 'utils/' + script_name)

  opt_basename = os.path.basename(args.opt_binary)
  if not re.match(r'^opt(-\d+)?$', opt_basename):
    common.error('Unexpected opt name: ' + opt_basename)
    sys.exit(1)
  opt_basename = 'opt'

  for test in args.tests:
    if not glob.glob(test):
      common.warn("Test file pattern '%s' was not found. Ignoring it." % (test,))
      continue

  # On Windows we must expand the patterns ourselves.
  test_paths = [test for pattern in args.tests for test in glob.glob(pattern)]
  for test in test_paths:
    argv = sys.argv[:]
    args = parser.parse_args()
    with open(test) as f:
      input_lines = [l.rstrip() for l in f]

    first_line = input_lines[0] if input_lines else ""
    if 'autogenerated' in first_line and script_name not in first_line:
      common.warn("Skipping test which wasn't autogenerated by " + script_name, test)
      continue
    if first_line and 'autogenerated' in first_line:
      args, argv = common.check_for_command(first_line, parser, args, argv)
    test_autogenerated_note = autogenerated_note + common.get_autogennote_suffix(parser, args)

    if args.update_only:
      if not first_line or 'autogenerated' not in first_line:
        common.warn("Skipping test which isn't autogenerated: " + test)
        continue

    run_lines = common.find_run_lines(test, input_lines)

    # If requested we scrub trailing attribute annotations, e.g., '#0', together with whitespaces
    if args.scrub_attributes:
      common.SCRUB_TRAILING_WHITESPACE_TEST_RE = common.SCRUB_TRAILING_WHITESPACE_AND_ATTRIBUTES_RE
    else:
      common.SCRUB_TRAILING_WHITESPACE_TEST_RE = common.SCRUB_TRAILING_WHITESPACE_RE

    prefix_list = []
    for l in run_lines:
      if '|' not in l:
        common.warn('Skipping unparseable RUN line: ' + l)
        continue

      (tool_cmd, filecheck_cmd) = tuple([cmd.strip() for cmd in l.split('|', 1)])
      common.verify_filecheck_prefixes(filecheck_cmd)
      if not tool_cmd.startswith(opt_basename + ' '):
        common.warn('Skipping non-%s RUN line: %s' % (opt_basename, l))
        continue

      if not filecheck_cmd.startswith('FileCheck '):
        common.warn('Skipping non-FileChecked RUN line: ' + l)
        continue

      tool_cmd_args = tool_cmd[len(opt_basename):].strip()
      tool_cmd_args = tool_cmd_args.replace('< %s', '').replace('%s', '').strip()

      check_prefixes = [item for m in common.CHECK_PREFIX_RE.finditer(filecheck_cmd)
                               for item in m.group(1).split(',')]
      if not check_prefixes:
        check_prefixes = ['CHECK']

      # FIXME: We should use multiple check prefixes to common check lines. For
      # now, we just ignore all but the last.
      prefix_list.append((check_prefixes, tool_cmd_args))

    func_dict = {}
    for prefixes, _ in prefix_list:
      for prefix in prefixes:
        func_dict.update({prefix: dict()})
    for prefixes, opt_args in prefix_list:
      common.debug('Extracted opt cmd: ' + opt_basename + ' ' + opt_args)
      common.debug('Extracted FileCheck prefixes: ' + str(prefixes))

      raw_tool_output = common.invoke_tool(args.opt_binary, opt_args, test)
      common.build_function_body_dictionary(
              common.OPT_FUNCTION_RE, common.scrub_body, [],
              raw_tool_output, prefixes, func_dict, args.verbose,
              args.function_signature)

    is_in_function = False
    is_in_function_start = False
    prefix_set = set([prefix for prefixes, _ in prefix_list for prefix in prefixes])
    common.debug('Rewriting FileCheck prefixes:', str(prefix_set))
    output_lines = []
    output_lines.append(test_autogenerated_note)

    for input_line in input_lines:
      # Discard any previous script advertising.
      if input_line.startswith(ADVERT):
        continue

      args, argv = common.check_for_command(input_line, parser, args, argv)
      if not args.enabled:
          output_lines.append(input_line)
          continue
      if is_in_function_start:
        if input_line == '':
          continue
        if input_line.lstrip().startswith(';'):
          m = common.CHECK_RE.match(input_line)
          if not m or m.group(1) not in prefix_set:
            output_lines.append(input_line)
            continue

        # Print out the various check lines here.
        common.add_ir_checks(output_lines, ';', prefix_list, func_dict,
                             func_name, args.preserve_names, args.function_signature)
        is_in_function_start = False

      if is_in_function:
        if common.should_add_line_to_output(input_line, prefix_set):
          # This input line of the function body will go as-is into the output.
          # Except make leading whitespace uniform: 2 spaces.
          input_line = common.SCRUB_LEADING_WHITESPACE_RE.sub(r'  ', input_line)
          output_lines.append(input_line)
        else:
          continue
        if input_line.strip() == '}':
          is_in_function = False
        continue

      # If it's outside a function, it just gets copied to the output.
      output_lines.append(input_line)

      m = IR_FUNCTION_RE.match(input_line)
      if not m:
        continue
      func_name = m.group(1)
      if args.function is not None and func_name != args.function:
        # When filtering on a specific function, skip all others.
        continue
      is_in_function = is_in_function_start = True

    common.debug('Writing %d lines to %s...' % (len(output_lines), test))

    with open(test, 'wb') as f:
      f.writelines(['{}\n'.format(l).encode('utf-8') for l in output_lines])