From 9b9ecfdedd10fd96322e231a21b9337f050b9128 Mon Sep 17 00:00:00 2001 From: Miquel Sabaté Solà Date: Mon, 2 Feb 2026 19:59:23 +0100 Subject: Warn on pointless (un)conditional branching MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Sometimes performing some 'jmp'/'jsr' can be quite pointless, and the programmer might not be fully aware of this because of the layout of the code. Imagine: .proc foo ;; code jmp bar .endproc ;; Documentation, comments, extra space, etc. .proc bar ;; whatever .endproc The 'jmp' in the code above tries to perform a call stack optimization, but it's actually not needed because the next instruction after 'jmp' is the one inside of 'bar', but that's obfuscated because of the layout. In these sort of cases (and also for 'jsr' and branches) warn the programmer about it so it can remove that instruction. Signed-off-by: Miquel Sabaté Solà --- tests/expected/bad_jal.txt | 2 ++ 1 file changed, 2 insertions(+) create mode 100644 tests/expected/bad_jal.txt (limited to 'tests/expected') diff --git a/tests/expected/bad_jal.txt b/tests/expected/bad_jal.txt new file mode 100644 index 0000000..1b3f315 --- /dev/null +++ b/tests/expected/bad_jal.txt @@ -0,0 +1,2 @@ +warning: unconditional jump that points to the next instruction (jal.s: line 2) + >> expanded from bad_jal.s: line 13. -- cgit v1.2.3