From 9f7e6ddbd245ecac6321941684d6d4a337d67fa1 Mon Sep 17 00:00:00 2001
From: "alon@honor" <none@none>
Date: Thu, 21 Oct 2010 15:22:42 -0700
Subject: demangler python script

---
 third_party/demangler.py | 42 ++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 42 insertions(+)
 create mode 100644 third_party/demangler.py

(limited to 'third_party')

diff --git a/third_party/demangler.py b/third_party/demangler.py
new file mode 100644
index 00000000..da8dc665
--- /dev/null
+++ b/third_party/demangler.py
@@ -0,0 +1,42 @@
+#!/usr/bin/python
+
+'''
+Simple tool to run the demangler.
+
+Usage: demangler.py FILENAME SPLITTER
+
+Make sure you define ~/.emscripten, and fill it with something like
+
+JS_ENGINE=[os.path.expanduser('~/Dev/v8/d8')]
+JS_ENGINE_PARAMS=['--']
+
+or
+
+JS_ENGINE=[os.path.expanduser('~/Dev/tracemonkey/js/src/js')]
+JS_ENGINE_PARAMS=[]
+
+'''
+
+import os, sys, subprocess
+
+CONFIG_FILE = os.path.expanduser('~/.emscripten')
+exec(open(CONFIG_FILE, 'r').read())
+
+data = open(sys.argv[1], 'r').readlines()
+splitter = sys.argv[2]
+
+SEEN = {}
+for line in data:
+  if line[0] == ' ': continue
+  if line[0] != '_': continue
+  func = line.split(splitter)[0][1:]
+  if func in SEEN: continue
+  SEEN[func] = True
+  args = JS_ENGINE + ['gcc_demangler.js'] + JS_ENGINE_PARAMS + [func]
+  cleaned = subprocess.Popen(args, stdout=subprocess.PIPE, stderr=subprocess.STDOUT).communicate()[0]
+  if cleaned is None: continue
+  cleaned = cleaned[1:-2]
+  if cleaned == '(null)': continue
+  if ' throw ' in cleaned: continue
+  print func, '=', cleaned
+
-- 
cgit v1.2.3-18-g5258