		Search-engine friendly clone of the ACL2 documentation.

Transformation-tools

Copy-fn

A C-to-C transformation to copy a function.

This transformation introduces a new function which is the duplicate of another.

For instance, consider the following C code:

int fibonacci(int x) {
  if (x <= 1) {
    return x;
  }
  return fibonacci(x - 1) + fibonacci(x - 2);
}

Copying fibonacci and creating a new function fib yields the following:

int fibonacci(int x) {
  if (x <= 1) {
    return x;
  }
  return fibonacci(x - 1) + fibonacci(x - 2);
}
int fib(int x) {
  if (x <= 1) {
    return x;
  }
  return fib(x - 1) + fib(x - 2);
}

This transformation is not likely to be useful in isolation. Most often it is an initial step before applying different transformations to the two duplicates.

Subtopics

Copy-fn-extdecl: Transform an external declaration.
Copy-fn-fundef: Transform a function definition.
Copy-fn-filepath-transunit-map: Transform a filepath.
Copy-fn-extdecl-list: Transform a list of external declarations.
Copy-fn-transunit-ensemble: Transform a translation unit ensemble.
Copy-fn-code-ensemble: Transform a code ensemble.
Copy-fn-transunit: Transform a translation unit.