Skip to content

Instantly share code, notes, and snippets.

@bollu

bollu/lean-runtime-stats-on

Created March 26, 2024 22:22
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save bollu/463dde567d5c0fab036f26ef7ac1a6b6 to your computer and use it in GitHub Desktop.
Save bollu/463dde567d5c0fab036f26ef7ac1a6b6 to your computer and use it in GitHub Desktop.
Download ZIP
cmake -DRUNTIME_STATS=ON
Raw
lean-runtime-stats-on
make -j stage1
/homes/sb2743/temp/lean4/src/runtime/allocprof.cpp: In constructor ‘lean::allocprof::allocprof(std::ostream&, const char*)’:
/homes/sb2743/temp/lean4/src/runtime/allocprof.cpp:12:25: error: ‘g_num_ctor’ was not declared in this scope; did you mean ‘m_num_ctor’?
12 | m_num_ctor = g_num_ctor;
| ^~~~~~~~~~
| m_num_ctor
/homes/sb2743/temp/lean4/src/runtime/allocprof.cpp:13:25: error: ‘g_num_closure’ was not declared in this scope; did you mean ‘m_num_closure’?
13 | m_num_closure = g_num_closure;
| ^~~~~~~~~~~~~
| m_num_closure
/homes/sb2743/temp/lean4/src/runtime/allocprof.cpp:14:25: error: ‘g_num_string’ was not declared in this scope; did you mean ‘m_num_string’?
14 | m_num_string = g_num_string;
| ^~~~~~~~~~~~
| m_num_string
/homes/sb2743/temp/lean4/src/runtime/allocprof.cpp:15:25: error: ‘g_num_array’ was not declared in this scope; did you mean ‘m_num_array’?
15 | m_num_array = g_num_array;
| ^~~~~~~~~~~
| m_num_array
/homes/sb2743/temp/lean4/src/runtime/allocprof.cpp:16:25: error: ‘g_num_thunk’ was not declared in this scope; did you mean ‘m_num_thunk’?
16 | m_num_thunk = g_num_thunk;
| ^~~~~~~~~~~
| m_num_thunk
/homes/sb2743/temp/lean4/src/runtime/allocprof.cpp:17:25: error: ‘g_num_task’ was not declared in this scope; did you mean ‘m_num_task’?
17 | m_num_task = g_num_task;
| ^~~~~~~~~~
| m_num_task
/homes/sb2743/temp/lean4/src/runtime/allocprof.cpp:18:25: error: ‘g_num_ext’ was not declared in this scope; did you mean ‘m_num_ext’?
18 | m_num_ext = g_num_ext;
| ^~~~~~~~~
| m_num_ext
/homes/sb2743/temp/lean4/src/runtime/allocprof.cpp: In destructor ‘lean::allocprof::~allocprof()’:
/homes/sb2743/temp/lean4/src/runtime/allocprof.cpp:24:26: error: ‘g_num_ctor’ was not declared in this scope; did you mean ‘m_num_ctor’?
24 | uint64 num_ctor = g_num_ctor - m_num_ctor;
| ^~~~~~~~~~
| m_num_ctor
/homes/sb2743/temp/lean4/src/runtime/allocprof.cpp:25:26: error: ‘g_num_closure’ was not declared in this scope; did you mean ‘m_num_closure’?
25 | uint64 num_closure = g_num_closure - m_num_closure;
| ^~~~~~~~~~~~~
| m_num_closure
/homes/sb2743/temp/lean4/src/runtime/allocprof.cpp:26:26: error: ‘g_num_string’ was not declared in this scope; did you mean ‘m_num_string’?
26 | uint64 num_string = g_num_string - m_num_string;
| ^~~~~~~~~~~~
| m_num_string
/homes/sb2743/temp/lean4/src/runtime/allocprof.cpp:27:26: error: ‘g_num_array’ was not declared in this scope; did you mean ‘m_num_array’?
27 | uint64 num_array = g_num_array - m_num_array;
| ^~~~~~~~~~~
| m_num_array
/homes/sb2743/temp/lean4/src/runtime/allocprof.cpp:28:26: error: ‘g_num_thunk’ was not declared in this scope; did you mean ‘m_num_thunk’?
28 | uint64 num_thunk = g_num_thunk - m_num_thunk;
| ^~~~~~~~~~~
| m_num_thunk
/homes/sb2743/temp/lean4/src/runtime/allocprof.cpp:29:26: error: ‘g_num_task’ was not declared in this scope; did you mean ‘m_num_task’?
29 | uint64 num_task = g_num_task - m_num_task;
| ^~~~~~~~~~
| m_num_task
/homes/sb2743/temp/lean4/src/runtime/allocprof.cpp:30:26: error: ‘g_num_ext’ was not declared in this scope; did you mean ‘m_num_ext’?
30 | uint64 num_ext = g_num_ext - m_num_ext;
| ^~~~~~~~~
| m_num_ext
make[6]: *** [runtime/CMakeFiles/leanrt_initial-exec.dir/build.make:314: runtime/CMakeFiles/leanrt_initial-exec.dir/allocprof.cpp.o] Error 1
make[6]: *** Waiting for unfinished jobs....
/homes/sb2743/temp/lean4/src/runtime/allocprof.cpp: In constructor ‘lean::allocprof::allocprof(std::ostream&, const char*)’:
/homes/sb2743/temp/lean4/src/runtime/allocprof.cpp:12:25: error: ‘g_num_ctor’ was not declared in this scope; did you mean ‘m_num_ctor’?
12 | m_num_ctor = g_num_ctor;
| ^~~~~~~~~~
| m_num_ctor
/homes/sb2743/temp/lean4/src/runtime/allocprof.cpp:13:25: error: ‘g_num_closure’ was not declared in this scope; did you mean ‘m_num_closure’?
13 | m_num_closure = g_num_closure;
| ^~~~~~~~~~~~~
| m_num_closure
/homes/sb2743/temp/lean4/src/runtime/allocprof.cpp:14:25: error: ‘g_num_string’ was not declared in this scope; did you mean ‘m_num_string’?
14 | m_num_string = g_num_string;
| ^~~~~~~~~~~~
| m_num_string
/homes/sb2743/temp/lean4/src/runtime/allocprof.cpp:15:25: error: ‘g_num_array’ was not declared in this scope; did you mean ‘m_num_array’?
15 | m_num_array = g_num_array;
| ^~~~~~~~~~~
| m_num_array
/homes/sb2743/temp/lean4/src/runtime/allocprof.cpp:16:25: error: ‘g_num_thunk’ was not declared in this scope; did you mean ‘m_num_thunk’?
16 | m_num_thunk = g_num_thunk;
| ^~~~~~~~~~~
| m_num_thunk
/homes/sb2743/temp/lean4/src/runtime/allocprof.cpp:17:25: error: ‘g_num_task’ was not declared in this scope; did you mean ‘m_num_task’?
17 | m_num_task = g_num_task;
| ^~~~~~~~~~
| m_num_task
/homes/sb2743/temp/lean4/src/runtime/allocprof.cpp:18:25: error: ‘g_num_ext’ was not declared in this scope; did you mean ‘m_num_ext’?
18 | m_num_ext = g_num_ext;
| ^~~~~~~~~
| m_num_ext
/homes/sb2743/temp/lean4/src/runtime/allocprof.cpp: In destructor ‘lean::allocprof::~allocprof()’:
/homes/sb2743/temp/lean4/src/runtime/allocprof.cpp:24:26: error: ‘g_num_ctor’ was not declared in this scope; did you mean ‘m_num_ctor’?
24 | uint64 num_ctor = g_num_ctor - m_num_ctor;
| ^~~~~~~~~~
| m_num_ctor
/homes/sb2743/temp/lean4/src/runtime/allocprof.cpp:25:26: error: ‘g_num_closure’ was not declared in this scope; did you mean ‘m_num_closure’?
25 | uint64 num_closure = g_num_closure - m_num_closure;
| ^~~~~~~~~~~~~
| m_num_closure
/homes/sb2743/temp/lean4/src/runtime/allocprof.cpp:26:26: error: ‘g_num_string’ was not declared in this scope; did you mean ‘m_num_string’?
26 | uint64 num_string = g_num_string - m_num_string;
| ^~~~~~~~~~~~
| m_num_string
/homes/sb2743/temp/lean4/src/runtime/allocprof.cpp:27:26: error: ‘g_num_array’ was not declared in this scope; did you mean ‘m_num_array’?
27 | uint64 num_array = g_num_array - m_num_array;
| ^~~~~~~~~~~
| m_num_array
/homes/sb2743/temp/lean4/src/runtime/allocprof.cpp:28:26: error: ‘g_num_thunk’ was not declared in this scope; did you mean ‘m_num_thunk’?
28 | uint64 num_thunk = g_num_thunk - m_num_thunk;
| ^~~~~~~~~~~
| m_num_thunk
/homes/sb2743/temp/lean4/src/runtime/allocprof.cpp:29:26: error: ‘g_num_task’ was not declared in this scope; did you mean ‘m_num_task’?
29 | uint64 num_task = g_num_task - m_num_task;
| ^~~~~~~~~~
| m_num_task
/homes/sb2743/temp/lean4/src/runtime/allocprof.cpp:30:26: error: ‘g_num_ext’ was not declared in this scope; did you mean ‘m_num_ext’?
30 | uint64 num_ext = g_num_ext - m_num_ext;
| ^~~~~~~~~
| m_num_ext
/homes/sb2743/temp/lean4/src/runtime/alloc.cpp:39:15: error: ‘uint64’ was not declared in this scope; did you mean ‘uint64_t’?
39 | static atomic<uint64> g_num_alloc(0);
| ^~~~~~
| uint64_t
/homes/sb2743/temp/lean4/src/runtime/alloc.cpp:39:21: error: template argument 1 is invalid
39 | static atomic<uint64> g_num_alloc(0);
| ^
/homes/sb2743/temp/lean4/src/runtime/alloc.cpp:40:15: error: ‘uint64’ was not declared in this scope; did you mean ‘uint64_t’?
40 | static atomic<uint64> g_num_small_alloc(0);
| ^~~~~~
| uint64_t
/homes/sb2743/temp/lean4/src/runtime/alloc.cpp:40:21: error: template argument 1 is invalid
40 | static atomic<uint64> g_num_small_alloc(0);
| ^
/homes/sb2743/temp/lean4/src/runtime/alloc.cpp:41:15: error: ‘uint64’ was not declared in this scope; did you mean ‘uint64_t’?
41 | static atomic<uint64> g_num_dealloc(0);
| ^~~~~~
| uint64_t
/homes/sb2743/temp/lean4/src/runtime/alloc.cpp:41:21: error: template argument 1 is invalid
41 | static atomic<uint64> g_num_dealloc(0);
| ^
/homes/sb2743/temp/lean4/src/runtime/alloc.cpp:42:15: error: ‘uint64’ was not declared in this scope; did you mean ‘uint64_t’?
42 | static atomic<uint64> g_num_small_dealloc(0);
| ^~~~~~
| uint64_t
/homes/sb2743/temp/lean4/src/runtime/alloc.cpp:42:21: error: template argument 1 is invalid
42 | static atomic<uint64> g_num_small_dealloc(0);
| ^
/homes/sb2743/temp/lean4/src/runtime/alloc.cpp:43:15: error: ‘uint64’ was not declared in this scope; did you mean ‘uint64_t’?
43 | static atomic<uint64> g_num_segments(0);
| ^~~~~~
| uint64_t
/homes/sb2743/temp/lean4/src/runtime/alloc.cpp:43:21: error: template argument 1 is invalid
43 | static atomic<uint64> g_num_segments(0);
| ^
/homes/sb2743/temp/lean4/src/runtime/alloc.cpp:44:15: error: ‘uint64’ was not declared in this scope; did you mean ‘uint64_t’?
44 | static atomic<uint64> g_num_pages(0);
| ^~~~~~
| uint64_t
/homes/sb2743/temp/lean4/src/runtime/alloc.cpp:44:21: error: template argument 1 is invalid
44 | static atomic<uint64> g_num_pages(0);
| ^
/homes/sb2743/temp/lean4/src/runtime/alloc.cpp:45:15: error: ‘uint64’ was not declared in this scope; did you mean ‘uint64_t’?
45 | static atomic<uint64> g_num_exports(0);
| ^~~~~~
| uint64_t
/homes/sb2743/temp/lean4/src/runtime/alloc.cpp:45:21: error: template argument 1 is invalid
45 | static atomic<uint64> g_num_exports(0);
| ^
/homes/sb2743/temp/lean4/src/runtime/alloc.cpp:46:15: error: ‘uint64’ was not declared in this scope; did you mean ‘uint64_t’?
46 | static atomic<uint64> g_num_recycled_pages(0);
| ^~~~~~
| uint64_t
/homes/sb2743/temp/lean4/src/runtime/alloc.cpp:46:21: error: template argument 1 is invalid
46 | static atomic<uint64> g_num_recycled_pages(0);
| ^
make[6]: *** [runtime/CMakeFiles/leanrt.dir/build.make:314: runtime/CMakeFiles/leanrt.dir/allocprof.cpp.o] Error 1
/homes/sb2743/temp/lean4/src/runtime/alloc.cpp:39:15: error: ‘uint64’ was not declared in this scope; did you mean ‘uint64_t’?
39 | static atomic<uint64> g_num_alloc(0);
| ^~~~~~
| uint64_t
/homes/sb2743/temp/lean4/src/runtime/alloc.cpp:39:21: error: template argument 1 is invalid
39 | static atomic<uint64> g_num_alloc(0);
| ^
/homes/sb2743/temp/lean4/src/runtime/alloc.cpp:40:15: error: ‘uint64’ was not declared in this scope; did you mean ‘uint64_t’?
40 | static atomic<uint64> g_num_small_alloc(0);
| ^~~~~~
| uint64_t
/homes/sb2743/temp/lean4/src/runtime/alloc.cpp:40:21: error: template argument 1 is invalid
40 | static atomic<uint64> g_num_small_alloc(0);
| ^
/homes/sb2743/temp/lean4/src/runtime/alloc.cpp:41:15: error: ‘uint64’ was not declared in this scope; did you mean ‘uint64_t’?
41 | static atomic<uint64> g_num_dealloc(0);
| ^~~~~~
| uint64_t
/homes/sb2743/temp/lean4/src/runtime/alloc.cpp:41:21: error: template argument 1 is invalid
41 | static atomic<uint64> g_num_dealloc(0);
| ^
/homes/sb2743/temp/lean4/src/runtime/alloc.cpp:42:15: error: ‘uint64’ was not declared in this scope; did you mean ‘uint64_t’?
42 | static atomic<uint64> g_num_small_dealloc(0);
| ^~~~~~
| uint64_t
/homes/sb2743/temp/lean4/src/runtime/alloc.cpp:42:21: error: template argument 1 is invalid
42 | static atomic<uint64> g_num_small_dealloc(0);
| ^
/homes/sb2743/temp/lean4/src/runtime/alloc.cpp:43:15: error: ‘uint64’ was not declared in this scope; did you mean ‘uint64_t’?
43 | static atomic<uint64> g_num_segments(0);
| ^~~~~~
| uint64_t
/homes/sb2743/temp/lean4/src/runtime/alloc.cpp:43:21: error: template argument 1 is invalid
43 | static atomic<uint64> g_num_segments(0);
| ^
/homes/sb2743/temp/lean4/src/runtime/alloc.cpp:44:15: error: ‘uint64’ was not declared in this scope; did you mean ‘uint64_t’?
44 | static atomic<uint64> g_num_pages(0);
| ^~~~~~
| uint64_t
/homes/sb2743/temp/lean4/src/runtime/alloc.cpp:44:21: error: template argument 1 is invalid
44 | static atomic<uint64> g_num_pages(0);
| ^
/homes/sb2743/temp/lean4/src/runtime/alloc.cpp:45:15: error: ‘uint64’ was not declared in this scope; did you mean ‘uint64_t’?
45 | static atomic<uint64> g_num_exports(0);
| ^~~~~~
| uint64_t
/homes/sb2743/temp/lean4/src/runtime/alloc.cpp:45:21: error: template argument 1 is invalid
45 | static atomic<uint64> g_num_exports(0);
| ^
/homes/sb2743/temp/lean4/src/runtime/alloc.cpp:46:15: error: ‘uint64’ was not declared in this scope; did you mean ‘uint64_t’?
46 | static atomic<uint64> g_num_recycled_pages(0);
| ^~~~~~
| uint64_t
/homes/sb2743/temp/lean4/src/runtime/alloc.cpp:46:21: error: template argument 1 is invalid
46 | static atomic<uint64> g_num_recycled_pages(0);
| ^
make[6]: *** Waiting for unfinished jobs....
make[6]: *** [runtime/CMakeFiles/leanrt_initial-exec.dir/build.make:300: runtime/CMakeFiles/leanrt_initial-exec.dir/alloc.cpp.o] Error 1
make[6]: *** [runtime/CMakeFiles/leanrt.dir/build.make:300: runtime/CMakeFiles/leanrt.dir/alloc.cpp.o] Error 1
make[5]: *** [CMakeFiles/Makefile2:1266: runtime/CMakeFiles/leanrt.dir/all] Error 2
make[5]: *** Waiting for unfinished jobs....
make[5]: *** [CMakeFiles/Makefile2:1240: runtime/CMakeFiles/leanrt_initial-exec.dir/all] Error 2
[ 67%] Built target leancpp
[ 67%] Built target make_stdlib
make[4]: *** [Makefile:146: all] Error 2
make[3]: *** [CMakeFiles/stage1.dir/build.make:86: stage1-prefix/src/stage1-stamp/stage1-build] Error 2
make[2]: *** [CMakeFiles/Makefile2:116: CMakeFiles/stage1.dir/all] Error 2
make[1]: *** [CMakeFiles/Makefile2:123: CMakeFiles/stage1.dir/rule] Error 2
make: *** [Makefile:182: stage1] Error 2
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment