1 files changed, 126 insertions, 0 deletions

diff --git a/scripts/decode_stacktrace.sh b/scripts/decode_stacktrace.sh
new file mode 100755
index 000000000000..515c4c00e957
--- /dev/null
+++ b/scripts/decode_stacktrace.sh
@@ -0,0 +1,126 @@
+#!/bin/bash
+# (c) 2014, Sasha Levin <sasha.levin@oracle.com>
+#set -x
+
+if [[ $# != 2 ]]; then
+        echo "Usage:"
+        echo "  $0 [vmlinux] [base path]"
+        exit 1
+fi
+
+vmlinux=$1
+basepath=$2
+declare -A cache
+
+parse_symbol() {
+        # The structure of symbol at this point is:
+        #   [name]+[offset]/[total length]
+        #
+        # For example:
+        #   do_basic_setup+0x9c/0xbf
+
+
+        # Strip the symbol name so that we could look it up
+        local name=${symbol%+*}
+
+        # Use 'nm vmlinux' to figure out the base address of said symbol.
+        # It's actually faster to call it every time than to load it
+        # all into bash.
+        if [[ "${cache[$name]+isset}" == "isset" ]]; then
+                local base_addr=${cache[$name]}
+        else
+                local base_addr=$(nm "$vmlinux" | grep -i ' t ' | awk "/ $name\$/ {print \$1}" | head -n1)
+                cache["$name"]="$base_addr"
+        fi
+        # Let's start doing the math to get the exact address into the
+        # symbol. First, strip out the symbol total length.
+        local expr=${symbol%/*}
+
+        # Now, replace the symbol name with the base address we found
+        # before.
+        expr=${expr/$name/0x$base_addr}
+
+        # Evaluate it to find the actual address
+        expr=$((expr))
+        local address=$(printf "%x\n" "$expr")
+
+        # Pass it to addr2line to get filename and line number
+        # Could get more than one result
+        if [[ "${cache[$address]+isset}" == "isset" ]]; then
+                local code=${cache[$address]}
+        else
+                local code=$(addr2line -i -e "$vmlinux" "$address")
+                cache[$address]=$code
+        fi
+
+        # addr2line doesn't return a proper error code if it fails, so
+        # we detect it using the value it prints so that we could preserve
+        # the offset/size into the function and bail out
+        if [[ $code == "??:0" ]]; then
+                return
+        fi
+
+        # Strip out the base of the path
+        code=${code//$basepath/""}
+
+        # In the case of inlines, move everything to same line
+        code=${code//$'\n'/' '}
+
+        # Replace old address with pretty line numbers
+        symbol="$name ($code)"
+}
+
+decode_code() {
+        local scripts=`dirname "${BASH_SOURCE[0]}"`
+
+        echo "$1" | $scripts/decodecode
+}
+
+handle_line() {
+        local words
+
+        # Tokenize
+        read -a words <<<"$1"
+
+        # Remove hex numbers. Do it ourselves until it happens in the
+        # kernel
+
+        # We need to know the index of the last element before we
+        # remove elements because arrays are sparse
+        local last=$(( ${#words[@]} - 1 ))
+
+        for i in "${!words[@]}"; do
+                # Remove the address
+                if [[ ${words[$i]} =~ \[\<([^]]+)\>\] ]]; then
+                        unset words[$i]
+                fi
+
+                # Format timestamps with tabs
+                if [[ ${words[$i]} == \[ && ${words[$i+1]} == *\] ]]; then
+                        unset words[$i]
+                        words[$i+1]=$(printf "[%13s\n" "${words[$i+1]}")
+                fi
+        done
+
+        # The symbol is the last element, process it
+        symbol=${words[$last]}
+        unset words[$last]
+        parse_symbol # modifies $symbol
+
+        # Add up the line number to the symbol
+        echo "${words[@]}" "$symbol"
+}
+
+while read line; do
+        # Let's see if we have an address in the line
+        if [[ $line =~ \[\<([^]]+)\>\]  ]]; then
+                # Translate address to line numbers
+                handle_line "$line"
+        # Is it a code line?
+        elif [[ $line == *Code:* ]]; then
+                decode_code "$line"
+        else
+                # Nothing special in this line, show it as is
+                echo "$line"
+        fi
+done