Stream: git-wasmtime

Topic: wasmtime / PR #3683 Try demangling names before forwardin...

view this post on Zulip Wasmtime GitHub notifications bot (Jan 12 2022 at 18:22):

bnjbvr opened PR #3683 from demangle-names-in-profiling to main:

Before this PR, each profiler (perf/vtune, at the moment) had to have a
demangler for each of the programming languages that could have been
compiled to wasm and fed into wasmtime. With this, wasmtime now
demangles names before even forwarding them to the underlying profiler,
which makes for a unified representation in profilers, and avoids
incorrect demangling in profilers.

view this post on Zulip Wasmtime GitHub notifications bot (Jan 12 2022 at 18:31):

fitzgen submitted PR review.

view this post on Zulip Wasmtime GitHub notifications bot (Jan 12 2022 at 18:31):

fitzgen merged PR #3683.

Last updated: Nov 22 2024 at 17:03 UTC