[MLton-commit] r4115

[Matthew Fluet]

Meant to rename, not copy
----------------------------------------------------------------------

D   mlton/branches/on-20050822-x86_64-branch/runtime/gc/profile.h

----------------------------------------------------------------------

Deleted: mlton/branches/on-20050822-x86_64-branch/runtime/gc/profile.h
===================================================================
--- mlton/branches/on-20050822-x86_64-branch/runtime/gc/profile.h	2005-10-19 01:28:35 UTC (rev 4114)
+++ mlton/branches/on-20050822-x86_64-branch/runtime/gc/profile.h	2005-10-19 01:29:26 UTC (rev 4115)
@@ -1,71 +0,0 @@
-/* Copyright (C) 1999-2005 Henry Cejtin, Matthew Fluet, Suresh
- *    Jagannathan, and Stephen Weeks.
- * Copyright (C) 1997-2000 NEC Research Institute.
- *
- * MLton is released under a BSD-style license.
- * See the file MLton-LICENSE for details.
- */
-
-typedef enum {
-  PROFILE_ALLOC,
-  PROFILE_COUNT,
-  PROFILE_NONE,
-  PROFILE_TIME,
-} GC_profileKind;
-
-typedef struct GC_source {
-  uint32_t nameIndex;
-  uint32_t successorsIndex;
-} *GC_source;
-
-typedef struct GC_sourceLabel {
-  pointer label;
-  uint32_t sourceSeqsIndex;
-} *GC_sourceLabel;
-
-
-/* If profileStack, then there is one struct GC_profileStack for each
- * function.
- */
-typedef struct GC_profileStack {
-  /* ticks counts ticks while the function was on the stack. */
-  uintmax_t ticks;
-  /* ticksInGC counts ticks in GC while the function was on the stack. */
-  uintmax_t ticksInGC; 
-  /* lastTotal is the value of total when the oldest occurrence of f
-   * on the stack was pushed, i.e., the most recent time that
-   * numTimesOnStack changed from 0 to 1.  lastTotal is used to
-   * compute the amount to attribute to f when the oldest occurrence
-   * is finally popped.
-   */
-  uintmax_t lastTotal;
-  /* lastTotalGC is like lastTotal, but for GC ticks. */
-  uintmax_t lastTotalGC;
-  /* numOccurrences is the number of times this function is on the
-   * stack.
-   */
-  uintmax_t numOccurrences;
-} *GC_profileStack;
-
-/* GC_profile is used for both time and allocation profiling.
- * In the comments below, "ticks" mean clock ticks with time profiling and
- * bytes allocated with allocation profiling.
- *
- * All of the arrays in GC_profile are of length sourcesSize + sourceNamesSize.
- * The first sourceSizes entries are for handling the duplicate copies of 
- * functions, and the next sourceNamesSize entries are for the master versions.
- */
-typedef struct GC_profile {
-  /* countTop is an array that counts for each function the number of
-   * ticks that occurred while the function was on top of the stack.
-   */
-  uintmax_t *countTop;
-  /* stack is an array that gives stack info for each function.  It is
-   * only used if profileStack.
-   */
-  struct GC_profileStack *stack;
-  /* The total number of mutator ticks. */
-  uintmax_t total;
-  /* The total number of GC ticks. */
-  uintmax_t totalGC;
-} *GC_profile;