tree b26f9ffb4020dff6f6f6e1ab33bd91a4489eb34e
parent a41132fcd860179352f80bd4750b1096654ad435
author dan sinclair <dsinclair@chromium.org> 1607711343 +0000
committer Commit Bot service account <commit-bot@chromium.org> 1607711343 +0000

Add a demangler

This CL adds a simple demangler to convert the `tint_symbol_YYY` back to
the original symbol name.

Change-Id: I532ed13dc4c52e0f0e3568b8b7d8d0a5c67d8472
Reviewed-on: https://dawn-review.googlesource.com/c/tint/+/35440
Commit-Queue: dan sinclair <dsinclair@chromium.org>
Auto-Submit: dan sinclair <dsinclair@chromium.org>
Reviewed-by: Ben Clayton <bclayton@google.com>