Mercurial > emacs
annotate lib-src/profile.c @ 15888:f3afa8fdaf52
(makefile-font-lock-keywords): Catch variable
references that use substitutions.
author | Richard M. Stallman <rms@gnu.org> |
---|---|
date | Tue, 20 Aug 1996 20:42:52 +0000 |
parents | 5f9426e991a3 |
children | bd0dd246f9cd |
rev | line source |
---|---|
5810 | 1 /* profile.c --- generate periodic events for profiling of Emacs Lisp code. |
2 Copyright (C) 1992, 1994 Free Software Foundation, Inc. | |
3 | |
4 Author: Boaz Ben-Zvi <boaz@lcs.mit.edu> | |
5 | |
14186
ee40177f6c68
Update FSF's address in the preamble.
Erik Naggum <erik@naggum.no>
parents:
12723
diff
changeset
|
6 This file is part of GNU Emacs. |
5810 | 7 |
14186
ee40177f6c68
Update FSF's address in the preamble.
Erik Naggum <erik@naggum.no>
parents:
12723
diff
changeset
|
8 GNU Emacs is free software; you can redistribute it and/or modify |
ee40177f6c68
Update FSF's address in the preamble.
Erik Naggum <erik@naggum.no>
parents:
12723
diff
changeset
|
9 it under the terms of the GNU General Public License as published by |
ee40177f6c68
Update FSF's address in the preamble.
Erik Naggum <erik@naggum.no>
parents:
12723
diff
changeset
|
10 the Free Software Foundation; either version 2, or (at your option) |
ee40177f6c68
Update FSF's address in the preamble.
Erik Naggum <erik@naggum.no>
parents:
12723
diff
changeset
|
11 any later version. |
5810 | 12 |
14186
ee40177f6c68
Update FSF's address in the preamble.
Erik Naggum <erik@naggum.no>
parents:
12723
diff
changeset
|
13 GNU Emacs is distributed in the hope that it will be useful, |
ee40177f6c68
Update FSF's address in the preamble.
Erik Naggum <erik@naggum.no>
parents:
12723
diff
changeset
|
14 but WITHOUT ANY WARRANTY; without even the implied warranty of |
ee40177f6c68
Update FSF's address in the preamble.
Erik Naggum <erik@naggum.no>
parents:
12723
diff
changeset
|
15 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the |
ee40177f6c68
Update FSF's address in the preamble.
Erik Naggum <erik@naggum.no>
parents:
12723
diff
changeset
|
16 GNU General Public License for more details. |
5810 | 17 |
14186
ee40177f6c68
Update FSF's address in the preamble.
Erik Naggum <erik@naggum.no>
parents:
12723
diff
changeset
|
18 You should have received a copy of the GNU General Public License |
ee40177f6c68
Update FSF's address in the preamble.
Erik Naggum <erik@naggum.no>
parents:
12723
diff
changeset
|
19 along with GNU Emacs; see the file COPYING. If not, write to |
ee40177f6c68
Update FSF's address in the preamble.
Erik Naggum <erik@naggum.no>
parents:
12723
diff
changeset
|
20 the Free Software Foundation, Inc., 59 Temple Place - Suite 330, |
ee40177f6c68
Update FSF's address in the preamble.
Erik Naggum <erik@naggum.no>
parents:
12723
diff
changeset
|
21 Boston, MA 02111-1307, USA. */ |
5810 | 22 |
23 | |
24 /** | |
25 ** To be run as an emacs process. Input string that starts with: | |
26 ** 'z' -- resets the watch (to zero). | |
27 ** 'p' -- return time (on stdout) as string with format <sec>.<micro-sec> | |
28 ** 'q' -- exit. | |
29 ** | |
30 ** abstraction : a stopwatch | |
31 ** operations: reset_watch, get_time | |
32 */ | |
33 #include <stdio.h> | |
34 #include <../src/config.h> | |
35 #include <../src/systime.h> | |
36 | |
9887
be7b66e2cb98
(TV1, TV2): Use EMACS_TIME as type.
Richard M. Stallman <rms@gnu.org>
parents:
9491
diff
changeset
|
37 static EMACS_TIME TV1, TV2; |
5810 | 38 static int watch_not_started = 1; /* flag */ |
39 static char time_string[30]; | |
40 | |
41 /* Reset the stopwatch to zero. */ | |
42 | |
9491
dd3b83e4ceb0
Eliminate some -Wall warnings.
David J. MacKenzie <djm@gnu.org>
parents:
8336
diff
changeset
|
43 void |
5810 | 44 reset_watch () |
45 { | |
8336
52590f967c1e
(reset_watch, get_time): Use EMACS_GET_TIME.
Richard M. Stallman <rms@gnu.org>
parents:
6876
diff
changeset
|
46 EMACS_GET_TIME (TV1); |
5810 | 47 watch_not_started = 0; |
48 } | |
49 | |
50 /* This call returns the time since the last reset_watch call. The time | |
51 is returned as a string with the format <seconds>.<micro-seconds> | |
6042
5bffd741340e
(main, get_time): Don't crash on invalid input.
Karl Heuer <kwzh@gnu.org>
parents:
6026
diff
changeset
|
52 If reset_watch was not called yet, exit. */ |
5810 | 53 |
54 char * | |
55 get_time () | |
56 { | |
57 if (watch_not_started) | |
6042
5bffd741340e
(main, get_time): Don't crash on invalid input.
Karl Heuer <kwzh@gnu.org>
parents:
6026
diff
changeset
|
58 exit (1); /* call reset_watch first ! */ |
8336
52590f967c1e
(reset_watch, get_time): Use EMACS_GET_TIME.
Richard M. Stallman <rms@gnu.org>
parents:
6876
diff
changeset
|
59 EMACS_GET_TIME (TV2); |
9887
be7b66e2cb98
(TV1, TV2): Use EMACS_TIME as type.
Richard M. Stallman <rms@gnu.org>
parents:
9491
diff
changeset
|
60 EMACS_SUB_TIME (TV2, TV2, TV1); |
10087
20769d80bc88
(get_time): Fix up whitespace.
Richard M. Stallman <rms@gnu.org>
parents:
9887
diff
changeset
|
61 sprintf (time_string, "%lu.%06lu", EMACS_SECS (TV2), EMACS_USECS (TV2)); |
5810 | 62 return time_string; |
63 } | |
64 | |
12723
48786c683506
(gettimeofday): New function, defined if necessary.
Richard M. Stallman <rms@gnu.org>
parents:
10087
diff
changeset
|
65 #if ! defined (HAVE_GETTIMEOFDAY) && defined (HAVE_TIMEVAL) |
48786c683506
(gettimeofday): New function, defined if necessary.
Richard M. Stallman <rms@gnu.org>
parents:
10087
diff
changeset
|
66 |
48786c683506
(gettimeofday): New function, defined if necessary.
Richard M. Stallman <rms@gnu.org>
parents:
10087
diff
changeset
|
67 /* ARGSUSED */ |
48786c683506
(gettimeofday): New function, defined if necessary.
Richard M. Stallman <rms@gnu.org>
parents:
10087
diff
changeset
|
68 gettimeofday (tp, tzp) |
48786c683506
(gettimeofday): New function, defined if necessary.
Richard M. Stallman <rms@gnu.org>
parents:
10087
diff
changeset
|
69 struct timeval *tp; |
48786c683506
(gettimeofday): New function, defined if necessary.
Richard M. Stallman <rms@gnu.org>
parents:
10087
diff
changeset
|
70 struct timezone *tzp; |
48786c683506
(gettimeofday): New function, defined if necessary.
Richard M. Stallman <rms@gnu.org>
parents:
10087
diff
changeset
|
71 { |
48786c683506
(gettimeofday): New function, defined if necessary.
Richard M. Stallman <rms@gnu.org>
parents:
10087
diff
changeset
|
72 extern long time (); |
48786c683506
(gettimeofday): New function, defined if necessary.
Richard M. Stallman <rms@gnu.org>
parents:
10087
diff
changeset
|
73 |
48786c683506
(gettimeofday): New function, defined if necessary.
Richard M. Stallman <rms@gnu.org>
parents:
10087
diff
changeset
|
74 tp->tv_sec = time ((long *)0); |
48786c683506
(gettimeofday): New function, defined if necessary.
Richard M. Stallman <rms@gnu.org>
parents:
10087
diff
changeset
|
75 tp->tv_usec = 0; |
48786c683506
(gettimeofday): New function, defined if necessary.
Richard M. Stallman <rms@gnu.org>
parents:
10087
diff
changeset
|
76 if (tzp != 0) |
48786c683506
(gettimeofday): New function, defined if necessary.
Richard M. Stallman <rms@gnu.org>
parents:
10087
diff
changeset
|
77 tzp->tz_minuteswest = -1; |
48786c683506
(gettimeofday): New function, defined if necessary.
Richard M. Stallman <rms@gnu.org>
parents:
10087
diff
changeset
|
78 } |
48786c683506
(gettimeofday): New function, defined if necessary.
Richard M. Stallman <rms@gnu.org>
parents:
10087
diff
changeset
|
79 |
48786c683506
(gettimeofday): New function, defined if necessary.
Richard M. Stallman <rms@gnu.org>
parents:
10087
diff
changeset
|
80 #endif |
48786c683506
(gettimeofday): New function, defined if necessary.
Richard M. Stallman <rms@gnu.org>
parents:
10087
diff
changeset
|
81 |
15683 | 82 int |
5810 | 83 main () |
84 { | |
6042
5bffd741340e
(main, get_time): Don't crash on invalid input.
Karl Heuer <kwzh@gnu.org>
parents:
6026
diff
changeset
|
85 int c; |
5bffd741340e
(main, get_time): Don't crash on invalid input.
Karl Heuer <kwzh@gnu.org>
parents:
6026
diff
changeset
|
86 while ((c = getchar ()) != EOF) |
5810 | 87 { |
6042
5bffd741340e
(main, get_time): Don't crash on invalid input.
Karl Heuer <kwzh@gnu.org>
parents:
6026
diff
changeset
|
88 switch (c) |
5810 | 89 { |
90 case 'z': | |
91 reset_watch (); | |
92 break; | |
93 case 'p': | |
94 puts (get_time ()); | |
95 break; | |
96 case 'q': | |
97 exit (0); | |
98 } | |
6042
5bffd741340e
(main, get_time): Don't crash on invalid input.
Karl Heuer <kwzh@gnu.org>
parents:
6026
diff
changeset
|
99 /* Anything remaining on the line is ignored. */ |
5bffd741340e
(main, get_time): Don't crash on invalid input.
Karl Heuer <kwzh@gnu.org>
parents:
6026
diff
changeset
|
100 while (c != '\n' && c != EOF) |
5bffd741340e
(main, get_time): Don't crash on invalid input.
Karl Heuer <kwzh@gnu.org>
parents:
6026
diff
changeset
|
101 c = getchar (); |
5810 | 102 } |
6026
45b117ac2dbc
(get_time): Simplify; avoid calling index.
Karl Heuer <kwzh@gnu.org>
parents:
5810
diff
changeset
|
103 exit (1); |
5810 | 104 } |