branch: externals/beardbolt
commit 83e29706f5efa5a8e986a837203dfa66e6e35190
Author: Jay Kamat <jaygka...@gmail.com>
Commit: Jay Kamat <jaygka...@gmail.com>
Work on porting used label finder
---
rmsbolt.el | 120 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++-
1 file changed, 119 insertions(+), 1 deletion(-)
diff --git a/rmsbolt.el b/rmsbolt.el
index 2a9aef760d..3221f38044 100644
--- a/rmsbolt.el
+++ b/rmsbolt.el
@@ -26,6 +26,8 @@
;;; Constants:
(require 'cl-lib)
+(require 'subr-x)
+(require 'map)
(defconst +rmsbolt-compile-name+ "rmsbolt-compile")
@@ -46,6 +48,37 @@
(defvar rmsbolt-hide-compile t)
(defvar rmsbolt-intel-x86 t)
(defvar rmsbolt-filter-asm-directives t)
+(defvar rmsbolt-filter-unused-labels t)
+
+;;;; Regexes
+
+(defvar rmsbolt-label-def (rx bol (group (any ".a-zA-Z_$@")
+ (0+ (any "a-zA-Z0-9$_@.")))
+ ":"))
+(defvar rmsbolt-defines-global (rx bol (0+ space) ".glob"
+ (opt "a") "l" (0+ space)
+ (group (any ".a-zA-Z_")
+ (0+ (any "a-zA-Z0-9$_.")))))
+(defvar rmsbolt-label-find (rx (any ".a-zA-Z_")
+ (0+
+ (any "a-zA-Z0-9$_."))))
+(defvar rmsbolt-assignment-def (rx bol (0+ space)
+ (group
+ (any ".a-zA-Z_$")
+ (1+ (any "a-zA-Z0-9$_.")))
+ (0+ space) "="))
+(defvar rmsbolt-has-opcode (rx bol (0+ space)
+ (any "a-zA-Z")))
+
+(defvar rmsbolt-defines-function (rx bol (0+ space) ".type"
+ (0+ any) "," (0+ space) (any "@%")
+ "function" eol))
+
+(defvar rmsbolt-data-defn (rx bol (0+ space) "."
+ (group (or "string" "asciz" "ascii"
+ (and
+ (optional (any "1248")) "byte")
+ "short" "word" "long" "quad" "value"
"zero"))))
;;;; Classes
@@ -70,9 +103,13 @@
(defvar rmsbolt-languages
`((c-mode .
- ,(make-rmsbolt-lang :mode 'c-mode
+ ,(make-rmsbolt-lang :mode 'c
:options (make-rmsbolt-options
:compile-cmd "gcc -g -O0")) )
+ (c++-mode .
+ ,(make-rmsbolt-lang :mode 'c++-mode
+ :options (make-rmsbolt-options
+ :compile-cmd "g++ -g -O0")) )
))
@@ -88,9 +125,90 @@
;;;; Functions
+(defun rmsbolt-re-seq (regexp string)
+ "Get list of all REGEXP match in STRING."
+ (save-match-data
+ (let ((pos 0)
+ matches)
+ (while (string-match regexp string pos)
+ (push (match-string 0 string) matches)
+ (setq pos (match-end 0)))
+ matches)))
+
+(defun rmsbolt--has-opcode-p (line)
+ "Check if LINE has opcodes."
+ (save-match-data
+ (let* ((match (string-match rmsbolt-label-def line))
+ (line (if match
+ (substring line (match-end 0))
+ line))
+ (line (cl-first (split-string line (rx (1+ (any ";#")))))))
+ (if (string-match-p rmsbolt-assignment-def line)
+ nil
+ (string-match-p rmsbolt-has-opcode line)))))
+
+(defun rmsbolt--find-used-labels (asm-lines)
+ "Find used labels in asm-lines."
+ (let ((match nil)
+ (current-label nil)
+ (labels-used nil)
+ (trimmed-line nil)
+ (weak-usages (make-hash-table :test #'equal)))
+ (dolist (line asm-lines)
+ (setq trimmed-line (string-trim line))
+
+ (setq match (and
+ (string-match rmsbolt-label-def line)
+ (match-string 1 line)))
+ (when match
+ (setq current-label match))
+ (when (string-match-p rmsbolt-defines-global line)
+ (cl-pushnew match labels-used :test #'equal))
+ ;; When we have no line or a period started line, skip
+ (unless (or (= 0 (length line))
+ (string-prefix-p "." line)
+ (not (string-match-p rmsbolt-label-find line)))
+ (if (or (not rmsbolt-filter-asm-directives)
+ (rmsbolt--has-opcode-p line)
+ (string-match-p rmsbolt-defines-function line))
+ ;; Add labels indescriminantly
+ (dolist (l (rmsbolt-re-seq rmsbolt-label-find line))
+ (cl-pushnew l labels-used :test #'equal))
+
+ (when (and current-label
+ (or (string-match-p rmsbolt-data-defn line)
+ (rmsbolt--has-opcode-p line)))
+ (dolist (l (rmsbolt-re-seq rmsbolt-label-find line))
+ (cl-pushnew l (gethash current-label weak-usages) :test
#'equal))))))
+
+
+ (let* ((max-label-iter 10)
+ (label-iter 0)
+ (completed nil))
+
+ (while (and (<= (incf label-iter)
+ max-label-iter)
+ (not completed))
+ (let ((to-add nil))
+ (mapc
+ (lambda (label)
+ (mapc
+ (lambda(now-used)
+ (when (not (cl-find now-used labels-used :test #'equal))
+ (cl-pushnew now-used to-add :test #'equal)))
+ (gethash label weak-usages)))
+ labels-used)
+ (if to-add
+ (mapc (lambda (l) (cl-pushnew l labels-used :test #'equal))
to-add)
+ (setq completed t))))
+ labels-used)))
(defun rmsbolt--process-asm-lines (asm-lines)
"Process and filter a set of asm lines."
+ (when rmsbot-filter-unused-labels
+ (let* ((used-labels (rmsbolt--find-used-labels asm-lines)))
+
+ ))
(when rmsbolt-filter-asm-directives
(setq asm-lines
(cl-remove-if
