From 477499b97b251d37eabb61ba9e4c9c80b1360d44 Mon Sep 17 00:00:00 2001
From: Sven Van de Velde <sven.van.de.velde@telenet.be>
Date: Tue, 11 Apr 2023 13:41:14 +0200
Subject: [PATCH] - Fixed #pragma nobank parameter issue. - Optimized logic for
 #pragma bank. - Updated test cases and references. - Made #pragma NAME
 parameters optional. - Retested all test cases.

---
 .../dk/camelot64/kickc/parser/KickCParser.g4  |  4 +-
 .../Pass0GenerateStatementSequence.java       | 13 ++--
 src/test/kc/call-banked-phi-case-1-near-0.c   | 27 +++++++-
 src/test/kc/call-banked-phi-case-1-near-1.c   | 27 +++++++-
 src/test/kc/call-banked-phi-case-2-close-0.c  | 28 +++++++-
 src/test/kc/call-banked-phi-case-2-close-1.c  | 30 ++++++++-
 src/test/kc/call-banked-phi-case-3-near-0.c   | 28 +++++++-
 src/test/kc/call-banked-phi-case-3-near-1.c   | 30 ++++++++-
 src/test/kc/call-banked-phi-case-4-near-0.c   | 28 +++++++-
 src/test/kc/call-banked-phi-case-4-near-1.c   | 30 ++++++++-
 src/test/kc/call-banked-phi-case-5-far-0.c    | 28 +++++++-
 src/test/kc/call-banked-phi-case-5-far-1.c    | 30 ++++++++-
 src/test/kc/call-banked-phi-case-6-close-0.c  | 28 +++++++-
 src/test/kc/call-banked-phi-case-6-close-1.c  | 30 ++++++++-
 .../kc/call-banked-stack-case-2-close-0.c     | 29 +++++++-
 src/test/kc/call-banked-stack-case-5-far-0.c  | 29 +++++++-
 .../kc/examples/cx16/banking/cx16-banking.c   |  2 +-
 .../ref/call-banked-phi-case-1-near-0.asm     | 27 +++++++-
 .../ref/call-banked-phi-case-1-near-0.log     | 54 ++++++++++++++-
 .../ref/call-banked-phi-case-1-near-1.asm     | 27 +++++++-
 .../ref/call-banked-phi-case-1-near-1.log     | 54 ++++++++++++++-
 .../ref/call-banked-phi-case-2-close-0.asm    | 28 +++++++-
 .../ref/call-banked-phi-case-2-close-0.log    | 56 +++++++++++++++-
 .../ref/call-banked-phi-case-2-close-1.asm    | 28 +++++++-
 .../ref/call-banked-phi-case-2-close-1.log    | 56 +++++++++++++++-
 .../ref/call-banked-phi-case-3-near-0.asm     | 28 +++++++-
 .../ref/call-banked-phi-case-3-near-0.log     | 56 +++++++++++++++-
 .../ref/call-banked-phi-case-3-near-1.asm     | 28 +++++++-
 .../ref/call-banked-phi-case-3-near-1.cfg     |  2 +-
 .../ref/call-banked-phi-case-3-near-1.log     | 66 +++++++++++++++++--
 .../ref/call-banked-phi-case-3-near-1.sym     |  2 +-
 .../ref/call-banked-phi-case-4-near-0.asm     | 28 +++++++-
 .../ref/call-banked-phi-case-4-near-0.log     | 56 +++++++++++++++-
 .../ref/call-banked-phi-case-4-near-1.asm     | 28 +++++++-
 .../ref/call-banked-phi-case-4-near-1.log     | 56 +++++++++++++++-
 src/test/ref/call-banked-phi-case-5-far-0.asm | 28 +++++++-
 src/test/ref/call-banked-phi-case-5-far-0.log | 56 +++++++++++++++-
 src/test/ref/call-banked-phi-case-5-far-1.asm | 28 +++++++-
 src/test/ref/call-banked-phi-case-5-far-1.log | 56 +++++++++++++++-
 .../ref/call-banked-phi-case-6-close-0.asm    | 28 +++++++-
 .../ref/call-banked-phi-case-6-close-0.log    | 56 +++++++++++++++-
 .../ref/call-banked-phi-case-6-close-1.asm    | 28 +++++++-
 .../ref/call-banked-phi-case-6-close-1.log    | 56 +++++++++++++++-
 43 files changed, 1363 insertions(+), 74 deletions(-)

diff --git a/src/main/antlr4/dk/camelot64/kickc/parser/KickCParser.g4 b/src/main/antlr4/dk/camelot64/kickc/parser/KickCParser.g4
index 50b509cdf..0bfba0d7d 100644
--- a/src/main/antlr4/dk/camelot64/kickc/parser/KickCParser.g4
+++ b/src/main/antlr4/dk/camelot64/kickc/parser/KickCParser.g4
@@ -137,7 +137,7 @@ parameterDecl
 
 pragma
     : PRAGMA NAME
-    | PRAGMA NAME PAR_BEGIN pragmaParam (COMMA pragmaParam)* PAR_END
+    | PRAGMA NAME (PAR_BEGIN pragmaParam (COMMA pragmaParam)* PAR_END)?
     ;
 
 pragmaParam
@@ -162,7 +162,7 @@ directive
     | EXTERN #directiveExtern
     | EXPORT #directiveExport
     | INLINE #directiveInline
-    | BANK PAR_BEGIN NAME COMMA NUMBER (COMMA NAME COMMA NAME COMMA NAME)? PAR_END #directiveBank
+    | BANK PAR_BEGIN NAME COMMA NUMBER PAR_END #directiveBank
     | INTRINSIC #directiveIntrinsic
     | INTERRUPT ( PAR_BEGIN NAME PAR_END )? #directiveInterrupt
     | LOCAL_RESERVE PAR_BEGIN pragmaParam ( COMMA pragmaParam )* PAR_END  #directiveReserveZp
diff --git a/src/main/java/dk/camelot64/kickc/passes/Pass0GenerateStatementSequence.java b/src/main/java/dk/camelot64/kickc/passes/Pass0GenerateStatementSequence.java
index d0d81fcd1..d9c69061c 100644
--- a/src/main/java/dk/camelot64/kickc/passes/Pass0GenerateStatementSequence.java
+++ b/src/main/java/dk/camelot64/kickc/passes/Pass0GenerateStatementSequence.java
@@ -296,20 +296,15 @@ public class Pass0GenerateStatementSequence extends KickCParserBaseVisitor<Objec
             break;
          case CParser.PRAGMA_BANK:
             try {
-               final int size = ctx.getChildCount();
-               if(size==7) {
-                  final String pragmaBankArea = pragmaParamName(ctx.pragmaParam(0));
-                  final Number pragmaBank = pragmaParamNumber(ctx.pragmaParam(1));
-                  this.currentBank = new Bank(pragmaBankArea, pragmaBank.longValue());
-               } else {
-                  throw new CompileError("Expected at least 2 pragma parameters. Found '" + ctx.getText() + "'.", new StatementSource(ctx));
-               }
+               final String pragmaBankArea = pragmaParamName(ctx.pragmaParam(0));
+               final Number pragmaBank = pragmaParamNumber(ctx.pragmaParam(1));
+               this.currentBank = new Bank(pragmaBankArea, pragmaBank.longValue());
             } catch(IllegalArgumentException e) {
                throw new CompileError("Illegal parameter " + ctx.getText(), new StatementSource(ctx));
             }
             break;
          case CParser.PRAGMA_NOBANK:
-            this.currentBank = null; // When the current far segment is null, any function that is far will be called as far.
+            this.currentBank = null; // When the current segment is null, the procedure will not be declared as far.
             break;
          case CParser.PRAGMA_RESOURCE:
             String resourceFileName = pragmaParamString(pragmaParamSingle(ctx));
diff --git a/src/test/kc/call-banked-phi-case-1-near-0.c b/src/test/kc/call-banked-phi-case-1-near-0.c
index ea14ae4d1..090483c52 100644
--- a/src/test/kc/call-banked-phi-case-1-near-0.c
+++ b/src/test/kc/call-banked-phi-case-1-near-0.c
@@ -1,4 +1,29 @@
-// Test a procedure with calling convention PHI - case #1
+/**
+ * @file call-banked-phi-case-1-near-0.c
+ * @author Sven Van de Velde (sven.van.de.velde@telenet.be)
+ * @author Jesper Gravgaard
+ * @brief Test a procedure with calling convention PHI - case #1.
+ * @version 0.1
+ * @date 2023-04-11
+ * 
+ * @copyright Copyright (c) 2023
+ * 
+ * The following cases exist in banked calling implementations:
+ * 
+ *   - case #1 - unbanked to unbanked and no banking areas
+ *   - case #2 - unbanked to banked to any bank area
+ *   - case #3 - banked to unbanked from any bank area
+ *   - case #4 - banked to same bank in same bank area
+ *   - case #5 - banked to different bank in same bank area
+ *   - case #6 - banked to any bank between different bank areas
+ * 
+ * This brings us to the call types:
+ * 
+ *   - near = case #1, #3, #4
+ *   - close = case #2, #6
+ *   - far = case #5 
+ * 
+ */
 
 #pragma link("call-banked-phi.ld")
 
diff --git a/src/test/kc/call-banked-phi-case-1-near-1.c b/src/test/kc/call-banked-phi-case-1-near-1.c
index f75607f38..e33afe4ea 100644
--- a/src/test/kc/call-banked-phi-case-1-near-1.c
+++ b/src/test/kc/call-banked-phi-case-1-near-1.c
@@ -1,4 +1,29 @@
-// Test a procedure with calling convention PHI - case #1
+/**
+ * @file call-banked-phi-case-1-near-1.c
+ * @author Sven Van de Velde (sven.van.de.velde@telenet.be), 
+ * @author Jesper Gravgaard
+ * @brief Test a procedure with calling convention PHI - case #1
+ * @version 0.1
+ * @date 2023-04-11
+ * 
+ * @copyright Copyright (c) 2023
+ * 
+ * The following cases exist in banked calling implementations:
+ * 
+ *   - case #1 - unbanked to unbanked and no banking areas
+ *   - case #2 - unbanked to banked to any bank area
+ *   - case #3 - banked to unbanked from any bank area
+ *   - case #4 - banked to same bank in same bank area
+ *   - case #5 - banked to different bank in same bank area
+ *   - case #6 - banked to any bank between different bank areas
+ * 
+ * This brings us to the call types:
+ * 
+ *   - near = case #1, #3, #4
+ *   - close = case #2, #6
+ *   - far = case #5 
+ * 
+ */
 
 #pragma link("call-banked-phi.ld")
 
diff --git a/src/test/kc/call-banked-phi-case-2-close-0.c b/src/test/kc/call-banked-phi-case-2-close-0.c
index 09a029235..b82015898 100644
--- a/src/test/kc/call-banked-phi-case-2-close-0.c
+++ b/src/test/kc/call-banked-phi-case-2-close-0.c
@@ -1,4 +1,30 @@
-// Test a procedure with calling convention PHI - case #2
+/**
+ * @file call-banked-phi-case-2-close-0.c
+ * @author Sven Van de Velde (sven.van.de.velde@telenet.be), 
+ * @author Jesper Gravgaard
+ * @brief Test a procedure with calling convention PHI - case #2.
+ * Implementation using the __bank() directive.
+ * @version 0.1
+ * @date 2023-04-11
+ * 
+ * @copyright Copyright (c) 2023
+ * 
+ * The following cases exist in banked calling implementations:
+ * 
+ *   - case #1 - unbanked to unbanked and no banking areas
+ *   - case #2 - unbanked to banked to any bank area
+ *   - case #3 - banked to unbanked from any bank area
+ *   - case #4 - banked to same bank in same bank area
+ *   - case #5 - banked to different bank in same bank area
+ *   - case #6 - banked to any bank between different bank areas
+ * 
+ * This brings us to the call types:
+ * 
+ *   - near = case #1, #3, #4
+ *   - close = case #2, #6
+ *   - far = case #5 
+ * 
+ */
 
 #pragma link("call-banked-phi.ld")
 
diff --git a/src/test/kc/call-banked-phi-case-2-close-1.c b/src/test/kc/call-banked-phi-case-2-close-1.c
index b69970de5..86512ae43 100644
--- a/src/test/kc/call-banked-phi-case-2-close-1.c
+++ b/src/test/kc/call-banked-phi-case-2-close-1.c
@@ -1,4 +1,30 @@
-// Test a procedure with calling convention PHI - case #2
+/**
+ * @file call-banked-phi-case-2-close-1.c
+ * @author Sven Van de Velde (sven.van.de.velde@telenet.be), 
+ * @author Jesper Gravgaard
+ * @brief Test a procedure with calling convention PHI - case #2.
+ * Implementation using the #pragma bank and nobank directives.
+ * @version 0.1
+ * @date 2023-04-11
+ * 
+ * @copyright Copyright (c) 2023
+ * 
+ * The following cases exist in banked calling implementations:
+ * 
+ *   - case #1 - unbanked to unbanked and no banking areas
+ *   - case #2 - unbanked to banked to any bank area
+ *   - case #3 - banked to unbanked from any bank area
+ *   - case #4 - banked to same bank in same bank area
+ *   - case #5 - banked to different bank in same bank area
+ *   - case #6 - banked to any bank between different bank areas
+ * 
+ * This brings us to the call types:
+ * 
+ *   - near = case #1, #3, #4
+ *   - close = case #2, #6
+ *   - far = case #5 
+ * 
+ */
 
 #pragma link("call-banked-phi.ld")
 
@@ -17,6 +43,6 @@ char plus(char a, char b) {
 }
 
 #pragma code_seg(Code)
-#pragma nobank(dummy)
+#pragma nobank
 
 
diff --git a/src/test/kc/call-banked-phi-case-3-near-0.c b/src/test/kc/call-banked-phi-case-3-near-0.c
index 2045b6ae6..30229c425 100644
--- a/src/test/kc/call-banked-phi-case-3-near-0.c
+++ b/src/test/kc/call-banked-phi-case-3-near-0.c
@@ -1,4 +1,30 @@
-// Test a procedure with calling convention PHI - case #3
+/**
+ * @file call-banked-phi-case-3-near-0.c
+ * @author Sven Van de Velde (sven.van.de.velde@telenet.be), 
+ * @author Jesper Gravgaard
+ * @brief Test a procedure with calling convention PHI - case #3.
+ * Implementation using the __bank() directive.
+ * @version 0.1
+ * @date 2023-04-11
+ * 
+ * @copyright Copyright (c) 2023
+ * 
+ * The following cases exist in banked calling implementations:
+ * 
+ *   - case #1 - unbanked to unbanked and no banking areas
+ *   - case #2 - unbanked to banked to any bank area
+ *   - case #3 - banked to unbanked from any bank area
+ *   - case #4 - banked to same bank in same bank area
+ *   - case #5 - banked to different bank in same bank area
+ *   - case #6 - banked to any bank between different bank areas
+ * 
+ * This brings us to the call types:
+ * 
+ *   - near = case #1, #3, #4
+ *   - close = case #2, #6
+ *   - far = case #5 
+ * 
+ */
 
 #pragma link("call-banked-phi.ld")
 
diff --git a/src/test/kc/call-banked-phi-case-3-near-1.c b/src/test/kc/call-banked-phi-case-3-near-1.c
index 9f056e593..2743d4b5c 100644
--- a/src/test/kc/call-banked-phi-case-3-near-1.c
+++ b/src/test/kc/call-banked-phi-case-3-near-1.c
@@ -1,4 +1,30 @@
-// Test a procedure with calling convention PHI - case #3
+/**
+ * @file call-banked-phi-case-3-near-1.c
+ * @author Sven Van de Velde (sven.van.de.velde@telenet.be), 
+ * @author Jesper Gravgaard
+ * @brief Test a procedure with calling convention PHI - case #3.
+ * Implementation using the #pragma bank and nobank directives.
+ * @version 0.1
+ * @date 2023-04-11
+ * 
+ * @copyright Copyright (c) 2023
+ * 
+ * The following cases exist in banked calling implementations:
+ * 
+ *   - case #1 - unbanked to unbanked and no banking areas
+ *   - case #2 - unbanked to banked to any bank area
+ *   - case #3 - banked to unbanked from any bank area
+ *   - case #4 - banked to same bank in same bank area
+ *   - case #5 - banked to different bank in same bank area
+ *   - case #6 - banked to any bank between different bank areas
+ * 
+ * This brings us to the call types:
+ * 
+ *   - near = case #1, #3, #4
+ *   - close = case #2, #6
+ *   - far = case #5 
+ * 
+ */
 
 #pragma link("call-banked-phi.ld")
 
@@ -16,7 +42,7 @@ char plus(char a, char b) {
 }
 
 #pragma code_seg(Code)
-#pragma nobank(dummy)
+#pragma nobank
 char min(char a, char b) {
     return a+b;
 }
diff --git a/src/test/kc/call-banked-phi-case-4-near-0.c b/src/test/kc/call-banked-phi-case-4-near-0.c
index b8231d7e3..2bf1f4c8a 100644
--- a/src/test/kc/call-banked-phi-case-4-near-0.c
+++ b/src/test/kc/call-banked-phi-case-4-near-0.c
@@ -1,4 +1,30 @@
-// Test a procedure with calling convention PHI - case #4
+/**
+ * @file call-banked-phi-case-4-near-0.c
+ * @author Sven Van de Velde (sven.van.de.velde@telenet.be), 
+ * @author Jesper Gravgaard
+ * @brief Test a procedure with calling convention PHI - case #4.
+ * Implementation using the __bank() directive.
+ * @version 0.1
+ * @date 2023-04-11
+ * 
+ * @copyright Copyright (c) 2023
+ * 
+ * The following cases exist in banked calling implementations:
+ * 
+ *   - case #1 - unbanked to unbanked and no banking areas
+ *   - case #2 - unbanked to banked to any bank area
+ *   - case #3 - banked to unbanked from any bank area
+ *   - case #4 - banked to same bank in same bank area
+ *   - case #5 - banked to different bank in same bank area
+ *   - case #6 - banked to any bank between different bank areas
+ * 
+ * This brings us to the call types:
+ * 
+ *   - near = case #1, #3, #4
+ *   - close = case #2, #6
+ *   - far = case #5 
+ * 
+ */
 
 #pragma link("call-banked-phi.ld")
 
diff --git a/src/test/kc/call-banked-phi-case-4-near-1.c b/src/test/kc/call-banked-phi-case-4-near-1.c
index ffdbea3d5..369c1d675 100644
--- a/src/test/kc/call-banked-phi-case-4-near-1.c
+++ b/src/test/kc/call-banked-phi-case-4-near-1.c
@@ -1,4 +1,30 @@
-// Test a procedure with calling convention PHI - case #4
+/**
+ * @file call-banked-phi-case-4-near-1.c
+ * @author Sven Van de Velde (sven.van.de.velde@telenet.be), 
+ * @author Jesper Gravgaard
+ * @brief Test a procedure with calling convention PHI - case #4.
+ * Implementation using the #pragma bank and nobank directives.
+ * @version 0.1
+ * @date 2023-04-11
+ * 
+ * @copyright Copyright (c) 2023
+ * 
+ * The following cases exist in banked calling implementations:
+ * 
+ *   - case #1 - unbanked to unbanked and no banking areas
+ *   - case #2 - unbanked to banked to any bank area
+ *   - case #3 - banked to unbanked from any bank area
+ *   - case #4 - banked to same bank in same bank area
+ *   - case #5 - banked to different bank in same bank area
+ *   - case #6 - banked to any bank between different bank areas
+ * 
+ * This brings us to the call types:
+ * 
+ *   - near = case #1, #3, #4
+ *   - close = case #2, #6
+ *   - far = case #5 
+ * 
+ */
 
 #pragma link("call-banked-phi.ld")
 
@@ -22,4 +48,4 @@ char min(char a, char b) {
 }
 
 #pragma code_seg(Code)
-#pragma nobank(dummy)
+#pragma nobank
diff --git a/src/test/kc/call-banked-phi-case-5-far-0.c b/src/test/kc/call-banked-phi-case-5-far-0.c
index 12aa0458c..7ae33a034 100644
--- a/src/test/kc/call-banked-phi-case-5-far-0.c
+++ b/src/test/kc/call-banked-phi-case-5-far-0.c
@@ -1,4 +1,30 @@
-// Test a procedure with calling convention PHI - case #4
+/**
+ * @file call-banked-phi-case-5-far-0.c
+ * @author Sven Van de Velde (sven.van.de.velde@telenet.be), 
+ * @author Jesper Gravgaard
+ * @brief Test a procedure with calling convention PHI - case #5.
+ * Implementation using the __bank() directive.
+ * @version 0.1
+ * @date 2023-04-11
+ * 
+ * @copyright Copyright (c) 2023
+ * 
+ * The following cases exist in banked calling implementations:
+ * 
+ *   - case #1 - unbanked to unbanked and no banking areas
+ *   - case #2 - unbanked to banked to any bank area
+ *   - case #3 - banked to unbanked from any bank area
+ *   - case #4 - banked to same bank in same bank area
+ *   - case #5 - banked to different bank in same bank area
+ *   - case #6 - banked to any bank between different bank areas
+ * 
+ * This brings us to the call types:
+ * 
+ *   - near = case #1, #3, #4
+ *   - close = case #2, #6
+ *   - far = case #5 
+ * 
+ */
 
 #pragma link("call-banked-phi.ld")
 
diff --git a/src/test/kc/call-banked-phi-case-5-far-1.c b/src/test/kc/call-banked-phi-case-5-far-1.c
index e1b47fbd9..3c1e3fbc9 100644
--- a/src/test/kc/call-banked-phi-case-5-far-1.c
+++ b/src/test/kc/call-banked-phi-case-5-far-1.c
@@ -1,4 +1,30 @@
-// Test a procedure with calling convention PHI - case #4
+/**
+ * @file call-banked-phi-case-5-far-1.c
+ * @author Sven Van de Velde (sven.van.de.velde@telenet.be), 
+ * @author Jesper Gravgaard
+ * @brief Test a procedure with calling convention PHI - case #5.
+ * Implementation using the #pragma bank and nobank directives.
+ * @version 0.1
+ * @date 2023-04-11
+ * 
+ * @copyright Copyright (c) 2023
+ * 
+ * The following cases exist in banked calling implementations:
+ * 
+ *   - case #1 - unbanked to unbanked and no banking areas
+ *   - case #2 - unbanked to banked to any bank area
+ *   - case #3 - banked to unbanked from any bank area
+ *   - case #4 - banked to same bank in same bank area
+ *   - case #5 - banked to different bank in same bank area
+ *   - case #6 - banked to any bank between different bank areas
+ * 
+ * This brings us to the call types:
+ * 
+ *   - near = case #1, #3, #4
+ *   - close = case #2, #6
+ *   - far = case #5 
+ * 
+ */
 
 #pragma link("call-banked-phi.ld")
 
@@ -22,4 +48,4 @@ char min(char a, char b) {
 }
 
 #pragma code_seg(RAM_Bank2)
-#pragma nobank(dummy)
+#pragma nobank
diff --git a/src/test/kc/call-banked-phi-case-6-close-0.c b/src/test/kc/call-banked-phi-case-6-close-0.c
index 7b4fdca7c..db2dc5973 100644
--- a/src/test/kc/call-banked-phi-case-6-close-0.c
+++ b/src/test/kc/call-banked-phi-case-6-close-0.c
@@ -1,4 +1,30 @@
-// Test a procedure with calling convention PHI - case #6
+/**
+ * @file call-banked-phi-case-6-close-0.c
+ * @author Sven Van de Velde (sven.van.de.velde@telenet.be), 
+ * @author Jesper Gravgaard
+ * @brief Test a procedure with calling convention PHI - case #6.
+ * Implementation using the __bank() directive.
+ * @version 0.1
+ * @date 2023-04-11
+ * 
+ * @copyright Copyright (c) 2023
+ * 
+ * The following cases exist in banked calling implementations:
+ * 
+ *   - case #1 - unbanked to unbanked and no banking areas
+ *   - case #2 - unbanked to banked to any bank area
+ *   - case #3 - banked to unbanked from any bank area
+ *   - case #4 - banked to same bank in same bank area
+ *   - case #5 - banked to different bank in same bank area
+ *   - case #6 - banked to any bank between different bank areas
+ * 
+ * This brings us to the call types:
+ * 
+ *   - near = case #1, #3, #4
+ *   - close = case #2, #6
+ *   - far = case #5 
+ * 
+ */
 
 #pragma link("call-banked-phi.ld")
 
diff --git a/src/test/kc/call-banked-phi-case-6-close-1.c b/src/test/kc/call-banked-phi-case-6-close-1.c
index 95484d68e..484ad2c06 100644
--- a/src/test/kc/call-banked-phi-case-6-close-1.c
+++ b/src/test/kc/call-banked-phi-case-6-close-1.c
@@ -1,4 +1,30 @@
-// Test a procedure with calling convention PHI - case #6
+/**
+ * @file call-banked-phi-case-6-close-1.c
+ * @author Sven Van de Velde (sven.van.de.velde@telenet.be), 
+ * @author Jesper Gravgaard
+ * @brief Test a procedure with calling convention PHI - case #6.
+ * Implementation using the #pragma bank and nobank directives.
+ * @version 0.1
+ * @date 2023-04-11
+ * 
+ * @copyright Copyright (c) 2023
+ * 
+ * The following cases exist in banked calling implementations:
+ * 
+ *   - case #1 - unbanked to unbanked and no banking areas
+ *   - case #2 - unbanked to banked to any bank area
+ *   - case #3 - banked to unbanked from any bank area
+ *   - case #4 - banked to same bank in same bank area
+ *   - case #5 - banked to different bank in same bank area
+ *   - case #6 - banked to any bank between different bank areas
+ * 
+ * This brings us to the call types:
+ * 
+ *   - near = case #1, #3, #4
+ *   - close = case #2, #6
+ *   - far = case #5 
+ * 
+ */
 
 #pragma link("call-banked-phi.ld")
 
@@ -22,4 +48,4 @@ char min(char a, char b) {
 }
 
 #pragma code_seg(Code)
-#pragma nobank(dummy)
+#pragma nobank
diff --git a/src/test/kc/call-banked-stack-case-2-close-0.c b/src/test/kc/call-banked-stack-case-2-close-0.c
index f1131f9f1..91f688bee 100644
--- a/src/test/kc/call-banked-stack-case-2-close-0.c
+++ b/src/test/kc/call-banked-stack-case-2-close-0.c
@@ -1,4 +1,31 @@
-// Test a procedure with calling convention PHI - case #1
+/**
+ * @file call-banked-stack-case-2-close-0.c
+ * @author Sven Van de Velde (sven.van.de.velde@telenet.be), 
+ * @author Jesper Gravgaard
+ * @brief Test a procedure with calling convention PHI - case #2 
+ * The compiler will throw an error because the far call is a __stackcall
+ * and this is not (yet) implemented and supported. 
+ * @version 0.1
+ * @date 2023-04-11
+ * 
+ * @copyright Copyright (c) 2023
+ * 
+ * The following cases exist in banked calling implementations:
+ * 
+ *   - case #1 - unbanked to unbanked and no banking areas
+ *   - case #2 - unbanked to banked to any bank area
+ *   - case #3 - banked to unbanked from any bank area
+ *   - case #4 - banked to same bank in same bank area
+ *   - case #5 - banked to different bank in same bank area
+ *   - case #6 - banked to any bank between different bank areas
+ * 
+ * This brings us to the call types:
+ * 
+ *   - near = case #1, #3, #4
+ *   - close = case #2, #6
+ *   - far = case #5 
+ * 
+ */
 
 #pragma link("call-banked-stack.ld")
 
diff --git a/src/test/kc/call-banked-stack-case-5-far-0.c b/src/test/kc/call-banked-stack-case-5-far-0.c
index d9eb6b83e..a5b7567f3 100644
--- a/src/test/kc/call-banked-stack-case-5-far-0.c
+++ b/src/test/kc/call-banked-stack-case-5-far-0.c
@@ -1,4 +1,31 @@
-// Test a procedure with calling convention PHI - case #4
+/**
+ * @file call-banked-stack-case-5-far-0.c
+ * @author Sven Van de Velde (sven.van.de.velde@telenet.be), 
+ * @author Jesper Gravgaard
+ * @brief Test a procedure with calling convention PHI - case #5.
+ * The compiler will throw an error because the far call is a __stackcall
+ * and this is not (yet) implemented and supported. 
+ * @version 0.1
+ * @date 2023-04-11
+ * 
+ * @copyright Copyright (c) 2023
+ * 
+ * The following cases exist in banked calling implementations:
+ * 
+ *   - case #1 - unbanked to unbanked and no banking areas
+ *   - case #2 - unbanked to banked to any bank area
+ *   - case #3 - banked to unbanked from any bank area
+ *   - case #4 - banked to same bank in same bank area
+ *   - case #5 - banked to different bank in same bank area
+ *   - case #6 - banked to any bank between different bank areas
+ * 
+ * This brings us to the call types:
+ * 
+ *   - near = case #1, #3, #4
+ *   - close = case #2, #6
+ *   - far = case #5 
+ * 
+ */
 
 #pragma link("call-banked-phi.ld")
 
diff --git a/src/test/kc/examples/cx16/banking/cx16-banking.c b/src/test/kc/examples/cx16/banking/cx16-banking.c
index 113f11c40..a9726c229 100644
--- a/src/test/kc/examples/cx16/banking/cx16-banking.c
+++ b/src/test/kc/examples/cx16/banking/cx16-banking.c
@@ -82,7 +82,7 @@ char mul_f(char m) {
 }
 
 
-#pragma nobank(dummy) // The sequent functions will consider no banking calculations anymore.
+#pragma nobank // The sequent functions will consider no banking calculations anymore.
 
 #pragma code_seg(Bank1) // The sequent functions will be addressed specified by segment bank1 in the linker.
 // The __bank directive declares this function to be banked using call method ram in bank number 1 of banked ram.
diff --git a/src/test/ref/call-banked-phi-case-1-near-0.asm b/src/test/ref/call-banked-phi-case-1-near-0.asm
index ed640af22..0b157633e 100644
--- a/src/test/ref/call-banked-phi-case-1-near-0.asm
+++ b/src/test/ref/call-banked-phi-case-1-near-0.asm
@@ -1,4 +1,29 @@
-// Test a procedure with calling convention PHI - case #1
+/**
+ * @file call-banked-phi-case-1-near-0.c
+ * @author Sven Van de Velde (sven.van.de.velde@telenet.be)
+ * @author Jesper Gravgaard
+ * @brief Test a procedure with calling convention PHI - case #1.
+ * @version 0.1
+ * @date 2023-04-11
+ * 
+ * @copyright Copyright (c) 2023
+ * 
+ * The following cases exist in banked calling implementations:
+ * 
+ *   - case #1 - unbanked to unbanked and no banking areas
+ *   - case #2 - unbanked to banked to any bank area
+ *   - case #3 - banked to unbanked from any bank area
+ *   - case #4 - banked to same bank in same bank area
+ *   - case #5 - banked to different bank in same bank area
+ *   - case #6 - banked to any bank between different bank areas
+ * 
+ * This brings us to the call types:
+ * 
+ *   - near = case #1, #3, #4
+ *   - close = case #2, #6
+ *   - far = case #5 
+ * 
+ */
   .file                               [name="call-banked-phi-case-1-near-0.prg", type="prg", segments="Program"]
 .segmentdef Program                 [segments="Basic, Code, Data"]
 .segmentdef Basic                   [start=$0801]
diff --git a/src/test/ref/call-banked-phi-case-1-near-0.log b/src/test/ref/call-banked-phi-case-1-near-0.log
index 9e790fe29..32bf16c0b 100644
--- a/src/test/ref/call-banked-phi-case-1-near-0.log
+++ b/src/test/ref/call-banked-phi-case-1-near-0.log
@@ -157,7 +157,32 @@ Uplifting [] best 60 combination
 
 ASSEMBLER BEFORE OPTIMIZATION
   // File Comments
-// Test a procedure with calling convention PHI - case #1
+/**
+ * @file call-banked-phi-case-1-near-0.c
+ * @author Sven Van de Velde (sven.van.de.velde@telenet.be)
+ * @author Jesper Gravgaard
+ * @brief Test a procedure with calling convention PHI - case #1.
+ * @version 0.1
+ * @date 2023-04-11
+ * 
+ * @copyright Copyright (c) 2023
+ * 
+ * The following cases exist in banked calling implementations:
+ * 
+ *   - case #1 - unbanked to unbanked and no banking areas
+ *   - case #2 - unbanked to banked to any bank area
+ *   - case #3 - banked to unbanked from any bank area
+ *   - case #4 - banked to same bank in same bank area
+ *   - case #5 - banked to different bank in same bank area
+ *   - case #6 - banked to any bank between different bank areas
+ * 
+ * This brings us to the call types:
+ * 
+ *   - near = case #1, #3, #4
+ *   - close = case #2, #6
+ *   - far = case #5 
+ * 
+ */
   // Upstart
   .file                               [name="call-banked-phi-case-1-near-0.prg", type="prg", segments="Program"]
 .segmentdef Program                 [segments="Basic, Code, Data"]
@@ -236,7 +261,32 @@ FINAL ASSEMBLER
 Score: 24
 
   // File Comments
-// Test a procedure with calling convention PHI - case #1
+/**
+ * @file call-banked-phi-case-1-near-0.c
+ * @author Sven Van de Velde (sven.van.de.velde@telenet.be)
+ * @author Jesper Gravgaard
+ * @brief Test a procedure with calling convention PHI - case #1.
+ * @version 0.1
+ * @date 2023-04-11
+ * 
+ * @copyright Copyright (c) 2023
+ * 
+ * The following cases exist in banked calling implementations:
+ * 
+ *   - case #1 - unbanked to unbanked and no banking areas
+ *   - case #2 - unbanked to banked to any bank area
+ *   - case #3 - banked to unbanked from any bank area
+ *   - case #4 - banked to same bank in same bank area
+ *   - case #5 - banked to different bank in same bank area
+ *   - case #6 - banked to any bank between different bank areas
+ * 
+ * This brings us to the call types:
+ * 
+ *   - near = case #1, #3, #4
+ *   - close = case #2, #6
+ *   - far = case #5 
+ * 
+ */
   // Upstart
   .file                               [name="call-banked-phi-case-1-near-0.prg", type="prg", segments="Program"]
 .segmentdef Program                 [segments="Basic, Code, Data"]
diff --git a/src/test/ref/call-banked-phi-case-1-near-1.asm b/src/test/ref/call-banked-phi-case-1-near-1.asm
index 9f70b48bb..3f285d651 100644
--- a/src/test/ref/call-banked-phi-case-1-near-1.asm
+++ b/src/test/ref/call-banked-phi-case-1-near-1.asm
@@ -1,4 +1,29 @@
-// Test a procedure with calling convention PHI - case #1
+/**
+ * @file call-banked-phi-case-1-near-1.c
+ * @author Sven Van de Velde (sven.van.de.velde@telenet.be), 
+ * @author Jesper Gravgaard
+ * @brief Test a procedure with calling convention PHI - case #1
+ * @version 0.1
+ * @date 2023-04-11
+ * 
+ * @copyright Copyright (c) 2023
+ * 
+ * The following cases exist in banked calling implementations:
+ * 
+ *   - case #1 - unbanked to unbanked and no banking areas
+ *   - case #2 - unbanked to banked to any bank area
+ *   - case #3 - banked to unbanked from any bank area
+ *   - case #4 - banked to same bank in same bank area
+ *   - case #5 - banked to different bank in same bank area
+ *   - case #6 - banked to any bank between different bank areas
+ * 
+ * This brings us to the call types:
+ * 
+ *   - near = case #1, #3, #4
+ *   - close = case #2, #6
+ *   - far = case #5 
+ * 
+ */
   .file                               [name="call-banked-phi-case-1-near-1.prg", type="prg", segments="Program"]
 .segmentdef Program                 [segments="Basic, Code, Data"]
 .segmentdef Basic                   [start=$0801]
diff --git a/src/test/ref/call-banked-phi-case-1-near-1.log b/src/test/ref/call-banked-phi-case-1-near-1.log
index 21e4fb39b..ff7923bbf 100644
--- a/src/test/ref/call-banked-phi-case-1-near-1.log
+++ b/src/test/ref/call-banked-phi-case-1-near-1.log
@@ -226,7 +226,32 @@ Uplifting [] best 75 combination
 
 ASSEMBLER BEFORE OPTIMIZATION
   // File Comments
-// Test a procedure with calling convention PHI - case #1
+/**
+ * @file call-banked-phi-case-1-near-1.c
+ * @author Sven Van de Velde (sven.van.de.velde@telenet.be), 
+ * @author Jesper Gravgaard
+ * @brief Test a procedure with calling convention PHI - case #1
+ * @version 0.1
+ * @date 2023-04-11
+ * 
+ * @copyright Copyright (c) 2023
+ * 
+ * The following cases exist in banked calling implementations:
+ * 
+ *   - case #1 - unbanked to unbanked and no banking areas
+ *   - case #2 - unbanked to banked to any bank area
+ *   - case #3 - banked to unbanked from any bank area
+ *   - case #4 - banked to same bank in same bank area
+ *   - case #5 - banked to different bank in same bank area
+ *   - case #6 - banked to any bank between different bank areas
+ * 
+ * This brings us to the call types:
+ * 
+ *   - near = case #1, #3, #4
+ *   - close = case #2, #6
+ *   - far = case #5 
+ * 
+ */
   // Upstart
   .file                               [name="call-banked-phi-case-1-near-1.prg", type="prg", segments="Program"]
 .segmentdef Program                 [segments="Basic, Code, Data"]
@@ -325,7 +350,32 @@ FINAL ASSEMBLER
 Score: 36
 
   // File Comments
-// Test a procedure with calling convention PHI - case #1
+/**
+ * @file call-banked-phi-case-1-near-1.c
+ * @author Sven Van de Velde (sven.van.de.velde@telenet.be), 
+ * @author Jesper Gravgaard
+ * @brief Test a procedure with calling convention PHI - case #1
+ * @version 0.1
+ * @date 2023-04-11
+ * 
+ * @copyright Copyright (c) 2023
+ * 
+ * The following cases exist in banked calling implementations:
+ * 
+ *   - case #1 - unbanked to unbanked and no banking areas
+ *   - case #2 - unbanked to banked to any bank area
+ *   - case #3 - banked to unbanked from any bank area
+ *   - case #4 - banked to same bank in same bank area
+ *   - case #5 - banked to different bank in same bank area
+ *   - case #6 - banked to any bank between different bank areas
+ * 
+ * This brings us to the call types:
+ * 
+ *   - near = case #1, #3, #4
+ *   - close = case #2, #6
+ *   - far = case #5 
+ * 
+ */
   // Upstart
   .file                               [name="call-banked-phi-case-1-near-1.prg", type="prg", segments="Program"]
 .segmentdef Program                 [segments="Basic, Code, Data"]
diff --git a/src/test/ref/call-banked-phi-case-2-close-0.asm b/src/test/ref/call-banked-phi-case-2-close-0.asm
index 5fd130284..345d208bb 100644
--- a/src/test/ref/call-banked-phi-case-2-close-0.asm
+++ b/src/test/ref/call-banked-phi-case-2-close-0.asm
@@ -1,4 +1,30 @@
-// Test a procedure with calling convention PHI - case #2
+/**
+ * @file call-banked-phi-case-2-close-0.c
+ * @author Sven Van de Velde (sven.van.de.velde@telenet.be), 
+ * @author Jesper Gravgaard
+ * @brief Test a procedure with calling convention PHI - case #2.
+ * Implementation using the __bank() directive.
+ * @version 0.1
+ * @date 2023-04-11
+ * 
+ * @copyright Copyright (c) 2023
+ * 
+ * The following cases exist in banked calling implementations:
+ * 
+ *   - case #1 - unbanked to unbanked and no banking areas
+ *   - case #2 - unbanked to banked to any bank area
+ *   - case #3 - banked to unbanked from any bank area
+ *   - case #4 - banked to same bank in same bank area
+ *   - case #5 - banked to different bank in same bank area
+ *   - case #6 - banked to any bank between different bank areas
+ * 
+ * This brings us to the call types:
+ * 
+ *   - near = case #1, #3, #4
+ *   - close = case #2, #6
+ *   - far = case #5 
+ * 
+ */
   .file                               [name="call-banked-phi-case-2-close-0.prg", type="prg", segments="Program"]
 .segmentdef Program                 [segments="Basic, Code, Data"]
 .segmentdef Basic                   [start=$0801]
diff --git a/src/test/ref/call-banked-phi-case-2-close-0.log b/src/test/ref/call-banked-phi-case-2-close-0.log
index 578d2ed25..e58f419ff 100644
--- a/src/test/ref/call-banked-phi-case-2-close-0.log
+++ b/src/test/ref/call-banked-phi-case-2-close-0.log
@@ -158,7 +158,33 @@ Uplifting [] best 75 combination
 
 ASSEMBLER BEFORE OPTIMIZATION
   // File Comments
-// Test a procedure with calling convention PHI - case #2
+/**
+ * @file call-banked-phi-case-2-close-0.c
+ * @author Sven Van de Velde (sven.van.de.velde@telenet.be), 
+ * @author Jesper Gravgaard
+ * @brief Test a procedure with calling convention PHI - case #2.
+ * Implementation using the __bank() directive.
+ * @version 0.1
+ * @date 2023-04-11
+ * 
+ * @copyright Copyright (c) 2023
+ * 
+ * The following cases exist in banked calling implementations:
+ * 
+ *   - case #1 - unbanked to unbanked and no banking areas
+ *   - case #2 - unbanked to banked to any bank area
+ *   - case #3 - banked to unbanked from any bank area
+ *   - case #4 - banked to same bank in same bank area
+ *   - case #5 - banked to different bank in same bank area
+ *   - case #6 - banked to any bank between different bank areas
+ * 
+ * This brings us to the call types:
+ * 
+ *   - near = case #1, #3, #4
+ *   - close = case #2, #6
+ *   - far = case #5 
+ * 
+ */
   // Upstart
   .file                               [name="call-banked-phi-case-2-close-0.prg", type="prg", segments="Program"]
 .segmentdef Program                 [segments="Basic, Code, Data"]
@@ -243,7 +269,33 @@ FINAL ASSEMBLER
 Score: 39
 
   // File Comments
-// Test a procedure with calling convention PHI - case #2
+/**
+ * @file call-banked-phi-case-2-close-0.c
+ * @author Sven Van de Velde (sven.van.de.velde@telenet.be), 
+ * @author Jesper Gravgaard
+ * @brief Test a procedure with calling convention PHI - case #2.
+ * Implementation using the __bank() directive.
+ * @version 0.1
+ * @date 2023-04-11
+ * 
+ * @copyright Copyright (c) 2023
+ * 
+ * The following cases exist in banked calling implementations:
+ * 
+ *   - case #1 - unbanked to unbanked and no banking areas
+ *   - case #2 - unbanked to banked to any bank area
+ *   - case #3 - banked to unbanked from any bank area
+ *   - case #4 - banked to same bank in same bank area
+ *   - case #5 - banked to different bank in same bank area
+ *   - case #6 - banked to any bank between different bank areas
+ * 
+ * This brings us to the call types:
+ * 
+ *   - near = case #1, #3, #4
+ *   - close = case #2, #6
+ *   - far = case #5 
+ * 
+ */
   // Upstart
   .file                               [name="call-banked-phi-case-2-close-0.prg", type="prg", segments="Program"]
 .segmentdef Program                 [segments="Basic, Code, Data"]
diff --git a/src/test/ref/call-banked-phi-case-2-close-1.asm b/src/test/ref/call-banked-phi-case-2-close-1.asm
index 275c704c3..e59df026e 100644
--- a/src/test/ref/call-banked-phi-case-2-close-1.asm
+++ b/src/test/ref/call-banked-phi-case-2-close-1.asm
@@ -1,4 +1,30 @@
-// Test a procedure with calling convention PHI - case #2
+/**
+ * @file call-banked-phi-case-2-close-1.c
+ * @author Sven Van de Velde (sven.van.de.velde@telenet.be), 
+ * @author Jesper Gravgaard
+ * @brief Test a procedure with calling convention PHI - case #2.
+ * Implementation using the #pragma bank and nobank directives.
+ * @version 0.1
+ * @date 2023-04-11
+ * 
+ * @copyright Copyright (c) 2023
+ * 
+ * The following cases exist in banked calling implementations:
+ * 
+ *   - case #1 - unbanked to unbanked and no banking areas
+ *   - case #2 - unbanked to banked to any bank area
+ *   - case #3 - banked to unbanked from any bank area
+ *   - case #4 - banked to same bank in same bank area
+ *   - case #5 - banked to different bank in same bank area
+ *   - case #6 - banked to any bank between different bank areas
+ * 
+ * This brings us to the call types:
+ * 
+ *   - near = case #1, #3, #4
+ *   - close = case #2, #6
+ *   - far = case #5 
+ * 
+ */
   .file                               [name="call-banked-phi-case-2-close-1.prg", type="prg", segments="Program"]
 .segmentdef Program                 [segments="Basic, Code, Data"]
 .segmentdef Basic                   [start=$0801]
diff --git a/src/test/ref/call-banked-phi-case-2-close-1.log b/src/test/ref/call-banked-phi-case-2-close-1.log
index 2fa89f425..0e29a8ff2 100644
--- a/src/test/ref/call-banked-phi-case-2-close-1.log
+++ b/src/test/ref/call-banked-phi-case-2-close-1.log
@@ -158,7 +158,33 @@ Uplifting [] best 75 combination
 
 ASSEMBLER BEFORE OPTIMIZATION
   // File Comments
-// Test a procedure with calling convention PHI - case #2
+/**
+ * @file call-banked-phi-case-2-close-1.c
+ * @author Sven Van de Velde (sven.van.de.velde@telenet.be), 
+ * @author Jesper Gravgaard
+ * @brief Test a procedure with calling convention PHI - case #2.
+ * Implementation using the #pragma bank and nobank directives.
+ * @version 0.1
+ * @date 2023-04-11
+ * 
+ * @copyright Copyright (c) 2023
+ * 
+ * The following cases exist in banked calling implementations:
+ * 
+ *   - case #1 - unbanked to unbanked and no banking areas
+ *   - case #2 - unbanked to banked to any bank area
+ *   - case #3 - banked to unbanked from any bank area
+ *   - case #4 - banked to same bank in same bank area
+ *   - case #5 - banked to different bank in same bank area
+ *   - case #6 - banked to any bank between different bank areas
+ * 
+ * This brings us to the call types:
+ * 
+ *   - near = case #1, #3, #4
+ *   - close = case #2, #6
+ *   - far = case #5 
+ * 
+ */
   // Upstart
   .file                               [name="call-banked-phi-case-2-close-1.prg", type="prg", segments="Program"]
 .segmentdef Program                 [segments="Basic, Code, Data"]
@@ -243,7 +269,33 @@ FINAL ASSEMBLER
 Score: 39
 
   // File Comments
-// Test a procedure with calling convention PHI - case #2
+/**
+ * @file call-banked-phi-case-2-close-1.c
+ * @author Sven Van de Velde (sven.van.de.velde@telenet.be), 
+ * @author Jesper Gravgaard
+ * @brief Test a procedure with calling convention PHI - case #2.
+ * Implementation using the #pragma bank and nobank directives.
+ * @version 0.1
+ * @date 2023-04-11
+ * 
+ * @copyright Copyright (c) 2023
+ * 
+ * The following cases exist in banked calling implementations:
+ * 
+ *   - case #1 - unbanked to unbanked and no banking areas
+ *   - case #2 - unbanked to banked to any bank area
+ *   - case #3 - banked to unbanked from any bank area
+ *   - case #4 - banked to same bank in same bank area
+ *   - case #5 - banked to different bank in same bank area
+ *   - case #6 - banked to any bank between different bank areas
+ * 
+ * This brings us to the call types:
+ * 
+ *   - near = case #1, #3, #4
+ *   - close = case #2, #6
+ *   - far = case #5 
+ * 
+ */
   // Upstart
   .file                               [name="call-banked-phi-case-2-close-1.prg", type="prg", segments="Program"]
 .segmentdef Program                 [segments="Basic, Code, Data"]
diff --git a/src/test/ref/call-banked-phi-case-3-near-0.asm b/src/test/ref/call-banked-phi-case-3-near-0.asm
index 95e842b1a..e7e644763 100644
--- a/src/test/ref/call-banked-phi-case-3-near-0.asm
+++ b/src/test/ref/call-banked-phi-case-3-near-0.asm
@@ -1,4 +1,30 @@
-// Test a procedure with calling convention PHI - case #3
+/**
+ * @file call-banked-phi-case-3-near-0.c
+ * @author Sven Van de Velde (sven.van.de.velde@telenet.be), 
+ * @author Jesper Gravgaard
+ * @brief Test a procedure with calling convention PHI - case #3.
+ * Implementation using the __bank() directive.
+ * @version 0.1
+ * @date 2023-04-11
+ * 
+ * @copyright Copyright (c) 2023
+ * 
+ * The following cases exist in banked calling implementations:
+ * 
+ *   - case #1 - unbanked to unbanked and no banking areas
+ *   - case #2 - unbanked to banked to any bank area
+ *   - case #3 - banked to unbanked from any bank area
+ *   - case #4 - banked to same bank in same bank area
+ *   - case #5 - banked to different bank in same bank area
+ *   - case #6 - banked to any bank between different bank areas
+ * 
+ * This brings us to the call types:
+ * 
+ *   - near = case #1, #3, #4
+ *   - close = case #2, #6
+ *   - far = case #5 
+ * 
+ */
   .file                               [name="call-banked-phi-case-3-near-0.prg", type="prg", segments="Program"]
 .segmentdef Program                 [segments="Basic, Code, Data"]
 .segmentdef Basic                   [start=$0801]
diff --git a/src/test/ref/call-banked-phi-case-3-near-0.log b/src/test/ref/call-banked-phi-case-3-near-0.log
index c0e438f84..7720bf87c 100644
--- a/src/test/ref/call-banked-phi-case-3-near-0.log
+++ b/src/test/ref/call-banked-phi-case-3-near-0.log
@@ -227,7 +227,33 @@ Uplifting [] best 90 combination
 
 ASSEMBLER BEFORE OPTIMIZATION
   // File Comments
-// Test a procedure with calling convention PHI - case #3
+/**
+ * @file call-banked-phi-case-3-near-0.c
+ * @author Sven Van de Velde (sven.van.de.velde@telenet.be), 
+ * @author Jesper Gravgaard
+ * @brief Test a procedure with calling convention PHI - case #3.
+ * Implementation using the __bank() directive.
+ * @version 0.1
+ * @date 2023-04-11
+ * 
+ * @copyright Copyright (c) 2023
+ * 
+ * The following cases exist in banked calling implementations:
+ * 
+ *   - case #1 - unbanked to unbanked and no banking areas
+ *   - case #2 - unbanked to banked to any bank area
+ *   - case #3 - banked to unbanked from any bank area
+ *   - case #4 - banked to same bank in same bank area
+ *   - case #5 - banked to different bank in same bank area
+ *   - case #6 - banked to any bank between different bank areas
+ * 
+ * This brings us to the call types:
+ * 
+ *   - near = case #1, #3, #4
+ *   - close = case #2, #6
+ *   - far = case #5 
+ * 
+ */
   // Upstart
   .file                               [name="call-banked-phi-case-3-near-0.prg", type="prg", segments="Program"]
 .segmentdef Program                 [segments="Basic, Code, Data"]
@@ -333,7 +359,33 @@ FINAL ASSEMBLER
 Score: 51
 
   // File Comments
-// Test a procedure with calling convention PHI - case #3
+/**
+ * @file call-banked-phi-case-3-near-0.c
+ * @author Sven Van de Velde (sven.van.de.velde@telenet.be), 
+ * @author Jesper Gravgaard
+ * @brief Test a procedure with calling convention PHI - case #3.
+ * Implementation using the __bank() directive.
+ * @version 0.1
+ * @date 2023-04-11
+ * 
+ * @copyright Copyright (c) 2023
+ * 
+ * The following cases exist in banked calling implementations:
+ * 
+ *   - case #1 - unbanked to unbanked and no banking areas
+ *   - case #2 - unbanked to banked to any bank area
+ *   - case #3 - banked to unbanked from any bank area
+ *   - case #4 - banked to same bank in same bank area
+ *   - case #5 - banked to different bank in same bank area
+ *   - case #6 - banked to any bank between different bank areas
+ * 
+ * This brings us to the call types:
+ * 
+ *   - near = case #1, #3, #4
+ *   - close = case #2, #6
+ *   - far = case #5 
+ * 
+ */
   // Upstart
   .file                               [name="call-banked-phi-case-3-near-0.prg", type="prg", segments="Program"]
 .segmentdef Program                 [segments="Basic, Code, Data"]
diff --git a/src/test/ref/call-banked-phi-case-3-near-1.asm b/src/test/ref/call-banked-phi-case-3-near-1.asm
index 0a949d112..f4440cd98 100644
--- a/src/test/ref/call-banked-phi-case-3-near-1.asm
+++ b/src/test/ref/call-banked-phi-case-3-near-1.asm
@@ -1,4 +1,30 @@
-// Test a procedure with calling convention PHI - case #3
+/**
+ * @file call-banked-phi-case-3-near-1.c
+ * @author Sven Van de Velde (sven.van.de.velde@telenet.be), 
+ * @author Jesper Gravgaard
+ * @brief Test a procedure with calling convention PHI - case #3.
+ * Implementation using the #pragma bank and nobank directives.
+ * @version 0.1
+ * @date 2023-04-11
+ * 
+ * @copyright Copyright (c) 2023
+ * 
+ * The following cases exist in banked calling implementations:
+ * 
+ *   - case #1 - unbanked to unbanked and no banking areas
+ *   - case #2 - unbanked to banked to any bank area
+ *   - case #3 - banked to unbanked from any bank area
+ *   - case #4 - banked to same bank in same bank area
+ *   - case #5 - banked to different bank in same bank area
+ *   - case #6 - banked to any bank between different bank areas
+ * 
+ * This brings us to the call types:
+ * 
+ *   - near = case #1, #3, #4
+ *   - close = case #2, #6
+ *   - far = case #5 
+ * 
+ */
   .file                               [name="call-banked-phi-case-3-near-1.prg", type="prg", segments="Program"]
 .segmentdef Program                 [segments="Basic, Code, Data"]
 .segmentdef Basic                   [start=$0801]
diff --git a/src/test/ref/call-banked-phi-case-3-near-1.cfg b/src/test/ref/call-banked-phi-case-3-near-1.cfg
index 4a0b60f9d..3a2aea220 100644
--- a/src/test/ref/call-banked-phi-case-3-near-1.cfg
+++ b/src/test/ref/call-banked-phi-case-3-near-1.cfg
@@ -20,7 +20,7 @@ plus::@return: scope:[plus]  from plus
   [6] return 
   to:@return
 
-char min(char a , char b)
+__bank(cx16_ram, 1) char min(char a , char b)
 min: scope:[min]  from plus
   [7] phi()
   to:min::@return
diff --git a/src/test/ref/call-banked-phi-case-3-near-1.log b/src/test/ref/call-banked-phi-case-3-near-1.log
index e7e2f38ca..fde569cc1 100644
--- a/src/test/ref/call-banked-phi-case-3-near-1.log
+++ b/src/test/ref/call-banked-phi-case-3-near-1.log
@@ -38,7 +38,7 @@ plus::@return: scope:[plus]  from plus::@1
   return 
   to:@return
 
-char min(char a , char b)
+__bank(cx16_ram, 1) char min(char a , char b)
 min: scope:[min]  from plus
   min::b#1 = phi( plus/min::b#0 )
   min::a#1 = phi( plus/min::a#0 )
@@ -66,7 +66,7 @@ __constant char * const SCREEN = (char *)$400
 void __start()
 void main()
 char main::$0
-char min(char a , char b)
+__bank(cx16_ram, 1) char min(char a , char b)
 char min::$0
 char min::a
 char min::a#0
@@ -188,7 +188,7 @@ plus::@return: scope:[plus]  from plus
   [6] return 
   to:@return
 
-char min(char a , char b)
+__bank(cx16_ram, 1) char min(char a , char b)
 min: scope:[min]  from plus
   [7] phi()
   to:min::@return
@@ -199,7 +199,7 @@ min::@return: scope:[min]  from min
 
 VARIABLE REGISTER WEIGHTS
 void main()
-char min(char a , char b)
+__bank(cx16_ram, 1) char min(char a , char b)
 char min::a
 char min::b
 char min::return
@@ -227,7 +227,33 @@ Uplifting [] best 90 combination
 
 ASSEMBLER BEFORE OPTIMIZATION
   // File Comments
-// Test a procedure with calling convention PHI - case #3
+/**
+ * @file call-banked-phi-case-3-near-1.c
+ * @author Sven Van de Velde (sven.van.de.velde@telenet.be), 
+ * @author Jesper Gravgaard
+ * @brief Test a procedure with calling convention PHI - case #3.
+ * Implementation using the #pragma bank and nobank directives.
+ * @version 0.1
+ * @date 2023-04-11
+ * 
+ * @copyright Copyright (c) 2023
+ * 
+ * The following cases exist in banked calling implementations:
+ * 
+ *   - case #1 - unbanked to unbanked and no banking areas
+ *   - case #2 - unbanked to banked to any bank area
+ *   - case #3 - banked to unbanked from any bank area
+ *   - case #4 - banked to same bank in same bank area
+ *   - case #5 - banked to different bank in same bank area
+ *   - case #6 - banked to any bank between different bank areas
+ * 
+ * This brings us to the call types:
+ * 
+ *   - near = case #1, #3, #4
+ *   - close = case #2, #6
+ *   - far = case #5 
+ * 
+ */
   // Upstart
   .file                               [name="call-banked-phi-case-3-near-1.prg", type="prg", segments="Program"]
 .segmentdef Program                 [segments="Basic, Code, Data"]
@@ -315,7 +341,7 @@ Succesful ASM optimization Pass5UnusedLabelElimination
 FINAL SYMBOL TABLE
 __constant char * const SCREEN = (char *) 1024
 void main()
-char min(char a , char b)
+__bank(cx16_ram, 1) char min(char a , char b)
 char min::a
 char min::b
 char min::return
@@ -333,7 +359,33 @@ FINAL ASSEMBLER
 Score: 51
 
   // File Comments
-// Test a procedure with calling convention PHI - case #3
+/**
+ * @file call-banked-phi-case-3-near-1.c
+ * @author Sven Van de Velde (sven.van.de.velde@telenet.be), 
+ * @author Jesper Gravgaard
+ * @brief Test a procedure with calling convention PHI - case #3.
+ * Implementation using the #pragma bank and nobank directives.
+ * @version 0.1
+ * @date 2023-04-11
+ * 
+ * @copyright Copyright (c) 2023
+ * 
+ * The following cases exist in banked calling implementations:
+ * 
+ *   - case #1 - unbanked to unbanked and no banking areas
+ *   - case #2 - unbanked to banked to any bank area
+ *   - case #3 - banked to unbanked from any bank area
+ *   - case #4 - banked to same bank in same bank area
+ *   - case #5 - banked to different bank in same bank area
+ *   - case #6 - banked to any bank between different bank areas
+ * 
+ * This brings us to the call types:
+ * 
+ *   - near = case #1, #3, #4
+ *   - close = case #2, #6
+ *   - far = case #5 
+ * 
+ */
   // Upstart
   .file                               [name="call-banked-phi-case-3-near-1.prg", type="prg", segments="Program"]
 .segmentdef Program                 [segments="Basic, Code, Data"]
diff --git a/src/test/ref/call-banked-phi-case-3-near-1.sym b/src/test/ref/call-banked-phi-case-3-near-1.sym
index 9e4219f22..09b563343 100644
--- a/src/test/ref/call-banked-phi-case-3-near-1.sym
+++ b/src/test/ref/call-banked-phi-case-3-near-1.sym
@@ -1,6 +1,6 @@
 __constant char * const SCREEN = (char *) 1024
 void main()
-char min(char a , char b)
+__bank(cx16_ram, 1) char min(char a , char b)
 char min::a
 char min::b
 char min::return
diff --git a/src/test/ref/call-banked-phi-case-4-near-0.asm b/src/test/ref/call-banked-phi-case-4-near-0.asm
index c26348046..3972e6016 100644
--- a/src/test/ref/call-banked-phi-case-4-near-0.asm
+++ b/src/test/ref/call-banked-phi-case-4-near-0.asm
@@ -1,4 +1,30 @@
-// Test a procedure with calling convention PHI - case #4
+/**
+ * @file call-banked-phi-case-4-near-0.c
+ * @author Sven Van de Velde (sven.van.de.velde@telenet.be), 
+ * @author Jesper Gravgaard
+ * @brief Test a procedure with calling convention PHI - case #4.
+ * Implementation using the __bank() directive.
+ * @version 0.1
+ * @date 2023-04-11
+ * 
+ * @copyright Copyright (c) 2023
+ * 
+ * The following cases exist in banked calling implementations:
+ * 
+ *   - case #1 - unbanked to unbanked and no banking areas
+ *   - case #2 - unbanked to banked to any bank area
+ *   - case #3 - banked to unbanked from any bank area
+ *   - case #4 - banked to same bank in same bank area
+ *   - case #5 - banked to different bank in same bank area
+ *   - case #6 - banked to any bank between different bank areas
+ * 
+ * This brings us to the call types:
+ * 
+ *   - near = case #1, #3, #4
+ *   - close = case #2, #6
+ *   - far = case #5 
+ * 
+ */
   .file                               [name="call-banked-phi-case-4-near-0.prg", type="prg", segments="Program"]
 .segmentdef Program                 [segments="Basic, Code, Data"]
 .segmentdef Basic                   [start=$0801]
diff --git a/src/test/ref/call-banked-phi-case-4-near-0.log b/src/test/ref/call-banked-phi-case-4-near-0.log
index 5c2bba535..62c366a98 100644
--- a/src/test/ref/call-banked-phi-case-4-near-0.log
+++ b/src/test/ref/call-banked-phi-case-4-near-0.log
@@ -227,7 +227,33 @@ Uplifting [] best 90 combination
 
 ASSEMBLER BEFORE OPTIMIZATION
   // File Comments
-// Test a procedure with calling convention PHI - case #4
+/**
+ * @file call-banked-phi-case-4-near-0.c
+ * @author Sven Van de Velde (sven.van.de.velde@telenet.be), 
+ * @author Jesper Gravgaard
+ * @brief Test a procedure with calling convention PHI - case #4.
+ * Implementation using the __bank() directive.
+ * @version 0.1
+ * @date 2023-04-11
+ * 
+ * @copyright Copyright (c) 2023
+ * 
+ * The following cases exist in banked calling implementations:
+ * 
+ *   - case #1 - unbanked to unbanked and no banking areas
+ *   - case #2 - unbanked to banked to any bank area
+ *   - case #3 - banked to unbanked from any bank area
+ *   - case #4 - banked to same bank in same bank area
+ *   - case #5 - banked to different bank in same bank area
+ *   - case #6 - banked to any bank between different bank areas
+ * 
+ * This brings us to the call types:
+ * 
+ *   - near = case #1, #3, #4
+ *   - close = case #2, #6
+ *   - far = case #5 
+ * 
+ */
   // Upstart
   .file                               [name="call-banked-phi-case-4-near-0.prg", type="prg", segments="Program"]
 .segmentdef Program                 [segments="Basic, Code, Data"]
@@ -332,7 +358,33 @@ FINAL ASSEMBLER
 Score: 51
 
   // File Comments
-// Test a procedure with calling convention PHI - case #4
+/**
+ * @file call-banked-phi-case-4-near-0.c
+ * @author Sven Van de Velde (sven.van.de.velde@telenet.be), 
+ * @author Jesper Gravgaard
+ * @brief Test a procedure with calling convention PHI - case #4.
+ * Implementation using the __bank() directive.
+ * @version 0.1
+ * @date 2023-04-11
+ * 
+ * @copyright Copyright (c) 2023
+ * 
+ * The following cases exist in banked calling implementations:
+ * 
+ *   - case #1 - unbanked to unbanked and no banking areas
+ *   - case #2 - unbanked to banked to any bank area
+ *   - case #3 - banked to unbanked from any bank area
+ *   - case #4 - banked to same bank in same bank area
+ *   - case #5 - banked to different bank in same bank area
+ *   - case #6 - banked to any bank between different bank areas
+ * 
+ * This brings us to the call types:
+ * 
+ *   - near = case #1, #3, #4
+ *   - close = case #2, #6
+ *   - far = case #5 
+ * 
+ */
   // Upstart
   .file                               [name="call-banked-phi-case-4-near-0.prg", type="prg", segments="Program"]
 .segmentdef Program                 [segments="Basic, Code, Data"]
diff --git a/src/test/ref/call-banked-phi-case-4-near-1.asm b/src/test/ref/call-banked-phi-case-4-near-1.asm
index 36a00ae4a..2f6e45907 100644
--- a/src/test/ref/call-banked-phi-case-4-near-1.asm
+++ b/src/test/ref/call-banked-phi-case-4-near-1.asm
@@ -1,4 +1,30 @@
-// Test a procedure with calling convention PHI - case #4
+/**
+ * @file call-banked-phi-case-4-near-1.c
+ * @author Sven Van de Velde (sven.van.de.velde@telenet.be), 
+ * @author Jesper Gravgaard
+ * @brief Test a procedure with calling convention PHI - case #4.
+ * Implementation using the #pragma bank and nobank directives.
+ * @version 0.1
+ * @date 2023-04-11
+ * 
+ * @copyright Copyright (c) 2023
+ * 
+ * The following cases exist in banked calling implementations:
+ * 
+ *   - case #1 - unbanked to unbanked and no banking areas
+ *   - case #2 - unbanked to banked to any bank area
+ *   - case #3 - banked to unbanked from any bank area
+ *   - case #4 - banked to same bank in same bank area
+ *   - case #5 - banked to different bank in same bank area
+ *   - case #6 - banked to any bank between different bank areas
+ * 
+ * This brings us to the call types:
+ * 
+ *   - near = case #1, #3, #4
+ *   - close = case #2, #6
+ *   - far = case #5 
+ * 
+ */
   .file                               [name="call-banked-phi-case-4-near-1.prg", type="prg", segments="Program"]
 .segmentdef Program                 [segments="Basic, Code, Data"]
 .segmentdef Basic                   [start=$0801]
diff --git a/src/test/ref/call-banked-phi-case-4-near-1.log b/src/test/ref/call-banked-phi-case-4-near-1.log
index 36912a129..38ccd800f 100644
--- a/src/test/ref/call-banked-phi-case-4-near-1.log
+++ b/src/test/ref/call-banked-phi-case-4-near-1.log
@@ -227,7 +227,33 @@ Uplifting [] best 90 combination
 
 ASSEMBLER BEFORE OPTIMIZATION
   // File Comments
-// Test a procedure with calling convention PHI - case #4
+/**
+ * @file call-banked-phi-case-4-near-1.c
+ * @author Sven Van de Velde (sven.van.de.velde@telenet.be), 
+ * @author Jesper Gravgaard
+ * @brief Test a procedure with calling convention PHI - case #4.
+ * Implementation using the #pragma bank and nobank directives.
+ * @version 0.1
+ * @date 2023-04-11
+ * 
+ * @copyright Copyright (c) 2023
+ * 
+ * The following cases exist in banked calling implementations:
+ * 
+ *   - case #1 - unbanked to unbanked and no banking areas
+ *   - case #2 - unbanked to banked to any bank area
+ *   - case #3 - banked to unbanked from any bank area
+ *   - case #4 - banked to same bank in same bank area
+ *   - case #5 - banked to different bank in same bank area
+ *   - case #6 - banked to any bank between different bank areas
+ * 
+ * This brings us to the call types:
+ * 
+ *   - near = case #1, #3, #4
+ *   - close = case #2, #6
+ *   - far = case #5 
+ * 
+ */
   // Upstart
   .file                               [name="call-banked-phi-case-4-near-1.prg", type="prg", segments="Program"]
 .segmentdef Program                 [segments="Basic, Code, Data"]
@@ -332,7 +358,33 @@ FINAL ASSEMBLER
 Score: 51
 
   // File Comments
-// Test a procedure with calling convention PHI - case #4
+/**
+ * @file call-banked-phi-case-4-near-1.c
+ * @author Sven Van de Velde (sven.van.de.velde@telenet.be), 
+ * @author Jesper Gravgaard
+ * @brief Test a procedure with calling convention PHI - case #4.
+ * Implementation using the #pragma bank and nobank directives.
+ * @version 0.1
+ * @date 2023-04-11
+ * 
+ * @copyright Copyright (c) 2023
+ * 
+ * The following cases exist in banked calling implementations:
+ * 
+ *   - case #1 - unbanked to unbanked and no banking areas
+ *   - case #2 - unbanked to banked to any bank area
+ *   - case #3 - banked to unbanked from any bank area
+ *   - case #4 - banked to same bank in same bank area
+ *   - case #5 - banked to different bank in same bank area
+ *   - case #6 - banked to any bank between different bank areas
+ * 
+ * This brings us to the call types:
+ * 
+ *   - near = case #1, #3, #4
+ *   - close = case #2, #6
+ *   - far = case #5 
+ * 
+ */
   // Upstart
   .file                               [name="call-banked-phi-case-4-near-1.prg", type="prg", segments="Program"]
 .segmentdef Program                 [segments="Basic, Code, Data"]
diff --git a/src/test/ref/call-banked-phi-case-5-far-0.asm b/src/test/ref/call-banked-phi-case-5-far-0.asm
index ef978d27d..a1d1eaba5 100644
--- a/src/test/ref/call-banked-phi-case-5-far-0.asm
+++ b/src/test/ref/call-banked-phi-case-5-far-0.asm
@@ -1,4 +1,30 @@
-// Test a procedure with calling convention PHI - case #4
+/**
+ * @file call-banked-phi-case-5-far-0.c
+ * @author Sven Van de Velde (sven.van.de.velde@telenet.be), 
+ * @author Jesper Gravgaard
+ * @brief Test a procedure with calling convention PHI - case #5.
+ * Implementation using the __bank() directive.
+ * @version 0.1
+ * @date 2023-04-11
+ * 
+ * @copyright Copyright (c) 2023
+ * 
+ * The following cases exist in banked calling implementations:
+ * 
+ *   - case #1 - unbanked to unbanked and no banking areas
+ *   - case #2 - unbanked to banked to any bank area
+ *   - case #3 - banked to unbanked from any bank area
+ *   - case #4 - banked to same bank in same bank area
+ *   - case #5 - banked to different bank in same bank area
+ *   - case #6 - banked to any bank between different bank areas
+ * 
+ * This brings us to the call types:
+ * 
+ *   - near = case #1, #3, #4
+ *   - close = case #2, #6
+ *   - far = case #5 
+ * 
+ */
   .file                               [name="call-banked-phi-case-5-far-0.prg", type="prg", segments="Program"]
 .segmentdef Program                 [segments="Basic, Code, Data"]
 .segmentdef Basic                   [start=$0801]
diff --git a/src/test/ref/call-banked-phi-case-5-far-0.log b/src/test/ref/call-banked-phi-case-5-far-0.log
index e0d2540ab..5e7710384 100644
--- a/src/test/ref/call-banked-phi-case-5-far-0.log
+++ b/src/test/ref/call-banked-phi-case-5-far-0.log
@@ -227,7 +227,33 @@ Uplifting [] best 90 combination
 
 ASSEMBLER BEFORE OPTIMIZATION
   // File Comments
-// Test a procedure with calling convention PHI - case #4
+/**
+ * @file call-banked-phi-case-5-far-0.c
+ * @author Sven Van de Velde (sven.van.de.velde@telenet.be), 
+ * @author Jesper Gravgaard
+ * @brief Test a procedure with calling convention PHI - case #5.
+ * Implementation using the __bank() directive.
+ * @version 0.1
+ * @date 2023-04-11
+ * 
+ * @copyright Copyright (c) 2023
+ * 
+ * The following cases exist in banked calling implementations:
+ * 
+ *   - case #1 - unbanked to unbanked and no banking areas
+ *   - case #2 - unbanked to banked to any bank area
+ *   - case #3 - banked to unbanked from any bank area
+ *   - case #4 - banked to same bank in same bank area
+ *   - case #5 - banked to different bank in same bank area
+ *   - case #6 - banked to any bank between different bank areas
+ * 
+ * This brings us to the call types:
+ * 
+ *   - near = case #1, #3, #4
+ *   - close = case #2, #6
+ *   - far = case #5 
+ * 
+ */
   // Upstart
   .file                               [name="call-banked-phi-case-5-far-0.prg", type="prg", segments="Program"]
 .segmentdef Program                 [segments="Basic, Code, Data"]
@@ -336,7 +362,33 @@ FINAL ASSEMBLER
 Score: 51
 
   // File Comments
-// Test a procedure with calling convention PHI - case #4
+/**
+ * @file call-banked-phi-case-5-far-0.c
+ * @author Sven Van de Velde (sven.van.de.velde@telenet.be), 
+ * @author Jesper Gravgaard
+ * @brief Test a procedure with calling convention PHI - case #5.
+ * Implementation using the __bank() directive.
+ * @version 0.1
+ * @date 2023-04-11
+ * 
+ * @copyright Copyright (c) 2023
+ * 
+ * The following cases exist in banked calling implementations:
+ * 
+ *   - case #1 - unbanked to unbanked and no banking areas
+ *   - case #2 - unbanked to banked to any bank area
+ *   - case #3 - banked to unbanked from any bank area
+ *   - case #4 - banked to same bank in same bank area
+ *   - case #5 - banked to different bank in same bank area
+ *   - case #6 - banked to any bank between different bank areas
+ * 
+ * This brings us to the call types:
+ * 
+ *   - near = case #1, #3, #4
+ *   - close = case #2, #6
+ *   - far = case #5 
+ * 
+ */
   // Upstart
   .file                               [name="call-banked-phi-case-5-far-0.prg", type="prg", segments="Program"]
 .segmentdef Program                 [segments="Basic, Code, Data"]
diff --git a/src/test/ref/call-banked-phi-case-5-far-1.asm b/src/test/ref/call-banked-phi-case-5-far-1.asm
index 02c828cfb..8b9f8b367 100644
--- a/src/test/ref/call-banked-phi-case-5-far-1.asm
+++ b/src/test/ref/call-banked-phi-case-5-far-1.asm
@@ -1,4 +1,30 @@
-// Test a procedure with calling convention PHI - case #4
+/**
+ * @file call-banked-phi-case-5-far-1.c
+ * @author Sven Van de Velde (sven.van.de.velde@telenet.be), 
+ * @author Jesper Gravgaard
+ * @brief Test a procedure with calling convention PHI - case #5.
+ * Implementation using the #pragma bank and nobank directives.
+ * @version 0.1
+ * @date 2023-04-11
+ * 
+ * @copyright Copyright (c) 2023
+ * 
+ * The following cases exist in banked calling implementations:
+ * 
+ *   - case #1 - unbanked to unbanked and no banking areas
+ *   - case #2 - unbanked to banked to any bank area
+ *   - case #3 - banked to unbanked from any bank area
+ *   - case #4 - banked to same bank in same bank area
+ *   - case #5 - banked to different bank in same bank area
+ *   - case #6 - banked to any bank between different bank areas
+ * 
+ * This brings us to the call types:
+ * 
+ *   - near = case #1, #3, #4
+ *   - close = case #2, #6
+ *   - far = case #5 
+ * 
+ */
   .file                               [name="call-banked-phi-case-5-far-1.prg", type="prg", segments="Program"]
 .segmentdef Program                 [segments="Basic, Code, Data"]
 .segmentdef Basic                   [start=$0801]
diff --git a/src/test/ref/call-banked-phi-case-5-far-1.log b/src/test/ref/call-banked-phi-case-5-far-1.log
index af55b2c68..63e6a0ff3 100644
--- a/src/test/ref/call-banked-phi-case-5-far-1.log
+++ b/src/test/ref/call-banked-phi-case-5-far-1.log
@@ -227,7 +227,33 @@ Uplifting [] best 90 combination
 
 ASSEMBLER BEFORE OPTIMIZATION
   // File Comments
-// Test a procedure with calling convention PHI - case #4
+/**
+ * @file call-banked-phi-case-5-far-1.c
+ * @author Sven Van de Velde (sven.van.de.velde@telenet.be), 
+ * @author Jesper Gravgaard
+ * @brief Test a procedure with calling convention PHI - case #5.
+ * Implementation using the #pragma bank and nobank directives.
+ * @version 0.1
+ * @date 2023-04-11
+ * 
+ * @copyright Copyright (c) 2023
+ * 
+ * The following cases exist in banked calling implementations:
+ * 
+ *   - case #1 - unbanked to unbanked and no banking areas
+ *   - case #2 - unbanked to banked to any bank area
+ *   - case #3 - banked to unbanked from any bank area
+ *   - case #4 - banked to same bank in same bank area
+ *   - case #5 - banked to different bank in same bank area
+ *   - case #6 - banked to any bank between different bank areas
+ * 
+ * This brings us to the call types:
+ * 
+ *   - near = case #1, #3, #4
+ *   - close = case #2, #6
+ *   - far = case #5 
+ * 
+ */
   // Upstart
   .file                               [name="call-banked-phi-case-5-far-1.prg", type="prg", segments="Program"]
 .segmentdef Program                 [segments="Basic, Code, Data"]
@@ -336,7 +362,33 @@ FINAL ASSEMBLER
 Score: 51
 
   // File Comments
-// Test a procedure with calling convention PHI - case #4
+/**
+ * @file call-banked-phi-case-5-far-1.c
+ * @author Sven Van de Velde (sven.van.de.velde@telenet.be), 
+ * @author Jesper Gravgaard
+ * @brief Test a procedure with calling convention PHI - case #5.
+ * Implementation using the #pragma bank and nobank directives.
+ * @version 0.1
+ * @date 2023-04-11
+ * 
+ * @copyright Copyright (c) 2023
+ * 
+ * The following cases exist in banked calling implementations:
+ * 
+ *   - case #1 - unbanked to unbanked and no banking areas
+ *   - case #2 - unbanked to banked to any bank area
+ *   - case #3 - banked to unbanked from any bank area
+ *   - case #4 - banked to same bank in same bank area
+ *   - case #5 - banked to different bank in same bank area
+ *   - case #6 - banked to any bank between different bank areas
+ * 
+ * This brings us to the call types:
+ * 
+ *   - near = case #1, #3, #4
+ *   - close = case #2, #6
+ *   - far = case #5 
+ * 
+ */
   // Upstart
   .file                               [name="call-banked-phi-case-5-far-1.prg", type="prg", segments="Program"]
 .segmentdef Program                 [segments="Basic, Code, Data"]
diff --git a/src/test/ref/call-banked-phi-case-6-close-0.asm b/src/test/ref/call-banked-phi-case-6-close-0.asm
index ab71f5d78..503c5ad0f 100644
--- a/src/test/ref/call-banked-phi-case-6-close-0.asm
+++ b/src/test/ref/call-banked-phi-case-6-close-0.asm
@@ -1,4 +1,30 @@
-// Test a procedure with calling convention PHI - case #6
+/**
+ * @file call-banked-phi-case-6-close-0.c
+ * @author Sven Van de Velde (sven.van.de.velde@telenet.be), 
+ * @author Jesper Gravgaard
+ * @brief Test a procedure with calling convention PHI - case #6.
+ * Implementation using the __bank() directive.
+ * @version 0.1
+ * @date 2023-04-11
+ * 
+ * @copyright Copyright (c) 2023
+ * 
+ * The following cases exist in banked calling implementations:
+ * 
+ *   - case #1 - unbanked to unbanked and no banking areas
+ *   - case #2 - unbanked to banked to any bank area
+ *   - case #3 - banked to unbanked from any bank area
+ *   - case #4 - banked to same bank in same bank area
+ *   - case #5 - banked to different bank in same bank area
+ *   - case #6 - banked to any bank between different bank areas
+ * 
+ * This brings us to the call types:
+ * 
+ *   - near = case #1, #3, #4
+ *   - close = case #2, #6
+ *   - far = case #5 
+ * 
+ */
   .file                               [name="call-banked-phi-case-6-close-0.prg", type="prg", segments="Program"]
 .segmentdef Program                 [segments="Basic, Code, Data"]
 .segmentdef Basic                   [start=$0801]
diff --git a/src/test/ref/call-banked-phi-case-6-close-0.log b/src/test/ref/call-banked-phi-case-6-close-0.log
index 989ffb846..e6a9fd619 100644
--- a/src/test/ref/call-banked-phi-case-6-close-0.log
+++ b/src/test/ref/call-banked-phi-case-6-close-0.log
@@ -228,7 +228,33 @@ Uplifting [] best 105 combination
 
 ASSEMBLER BEFORE OPTIMIZATION
   // File Comments
-// Test a procedure with calling convention PHI - case #6
+/**
+ * @file call-banked-phi-case-6-close-0.c
+ * @author Sven Van de Velde (sven.van.de.velde@telenet.be), 
+ * @author Jesper Gravgaard
+ * @brief Test a procedure with calling convention PHI - case #6.
+ * Implementation using the __bank() directive.
+ * @version 0.1
+ * @date 2023-04-11
+ * 
+ * @copyright Copyright (c) 2023
+ * 
+ * The following cases exist in banked calling implementations:
+ * 
+ *   - case #1 - unbanked to unbanked and no banking areas
+ *   - case #2 - unbanked to banked to any bank area
+ *   - case #3 - banked to unbanked from any bank area
+ *   - case #4 - banked to same bank in same bank area
+ *   - case #5 - banked to different bank in same bank area
+ *   - case #6 - banked to any bank between different bank areas
+ * 
+ * This brings us to the call types:
+ * 
+ *   - near = case #1, #3, #4
+ *   - close = case #2, #6
+ *   - far = case #5 
+ * 
+ */
   // Upstart
   .file                               [name="call-banked-phi-case-6-close-0.prg", type="prg", segments="Program"]
 .segmentdef Program                 [segments="Basic, Code, Data"]
@@ -339,7 +365,33 @@ FINAL ASSEMBLER
 Score: 66
 
   // File Comments
-// Test a procedure with calling convention PHI - case #6
+/**
+ * @file call-banked-phi-case-6-close-0.c
+ * @author Sven Van de Velde (sven.van.de.velde@telenet.be), 
+ * @author Jesper Gravgaard
+ * @brief Test a procedure with calling convention PHI - case #6.
+ * Implementation using the __bank() directive.
+ * @version 0.1
+ * @date 2023-04-11
+ * 
+ * @copyright Copyright (c) 2023
+ * 
+ * The following cases exist in banked calling implementations:
+ * 
+ *   - case #1 - unbanked to unbanked and no banking areas
+ *   - case #2 - unbanked to banked to any bank area
+ *   - case #3 - banked to unbanked from any bank area
+ *   - case #4 - banked to same bank in same bank area
+ *   - case #5 - banked to different bank in same bank area
+ *   - case #6 - banked to any bank between different bank areas
+ * 
+ * This brings us to the call types:
+ * 
+ *   - near = case #1, #3, #4
+ *   - close = case #2, #6
+ *   - far = case #5 
+ * 
+ */
   // Upstart
   .file                               [name="call-banked-phi-case-6-close-0.prg", type="prg", segments="Program"]
 .segmentdef Program                 [segments="Basic, Code, Data"]
diff --git a/src/test/ref/call-banked-phi-case-6-close-1.asm b/src/test/ref/call-banked-phi-case-6-close-1.asm
index 3ab278c50..99c634672 100644
--- a/src/test/ref/call-banked-phi-case-6-close-1.asm
+++ b/src/test/ref/call-banked-phi-case-6-close-1.asm
@@ -1,4 +1,30 @@
-// Test a procedure with calling convention PHI - case #6
+/**
+ * @file call-banked-phi-case-6-close-1.c
+ * @author Sven Van de Velde (sven.van.de.velde@telenet.be), 
+ * @author Jesper Gravgaard
+ * @brief Test a procedure with calling convention PHI - case #6.
+ * Implementation using the #pragma bank and nobank directives.
+ * @version 0.1
+ * @date 2023-04-11
+ * 
+ * @copyright Copyright (c) 2023
+ * 
+ * The following cases exist in banked calling implementations:
+ * 
+ *   - case #1 - unbanked to unbanked and no banking areas
+ *   - case #2 - unbanked to banked to any bank area
+ *   - case #3 - banked to unbanked from any bank area
+ *   - case #4 - banked to same bank in same bank area
+ *   - case #5 - banked to different bank in same bank area
+ *   - case #6 - banked to any bank between different bank areas
+ * 
+ * This brings us to the call types:
+ * 
+ *   - near = case #1, #3, #4
+ *   - close = case #2, #6
+ *   - far = case #5 
+ * 
+ */
   .file                               [name="call-banked-phi-case-6-close-1.prg", type="prg", segments="Program"]
 .segmentdef Program                 [segments="Basic, Code, Data"]
 .segmentdef Basic                   [start=$0801]
diff --git a/src/test/ref/call-banked-phi-case-6-close-1.log b/src/test/ref/call-banked-phi-case-6-close-1.log
index e84a846b0..4de0578ce 100644
--- a/src/test/ref/call-banked-phi-case-6-close-1.log
+++ b/src/test/ref/call-banked-phi-case-6-close-1.log
@@ -228,7 +228,33 @@ Uplifting [] best 105 combination
 
 ASSEMBLER BEFORE OPTIMIZATION
   // File Comments
-// Test a procedure with calling convention PHI - case #6
+/**
+ * @file call-banked-phi-case-6-close-1.c
+ * @author Sven Van de Velde (sven.van.de.velde@telenet.be), 
+ * @author Jesper Gravgaard
+ * @brief Test a procedure with calling convention PHI - case #6.
+ * Implementation using the #pragma bank and nobank directives.
+ * @version 0.1
+ * @date 2023-04-11
+ * 
+ * @copyright Copyright (c) 2023
+ * 
+ * The following cases exist in banked calling implementations:
+ * 
+ *   - case #1 - unbanked to unbanked and no banking areas
+ *   - case #2 - unbanked to banked to any bank area
+ *   - case #3 - banked to unbanked from any bank area
+ *   - case #4 - banked to same bank in same bank area
+ *   - case #5 - banked to different bank in same bank area
+ *   - case #6 - banked to any bank between different bank areas
+ * 
+ * This brings us to the call types:
+ * 
+ *   - near = case #1, #3, #4
+ *   - close = case #2, #6
+ *   - far = case #5 
+ * 
+ */
   // Upstart
   .file                               [name="call-banked-phi-case-6-close-1.prg", type="prg", segments="Program"]
 .segmentdef Program                 [segments="Basic, Code, Data"]
@@ -339,7 +365,33 @@ FINAL ASSEMBLER
 Score: 66
 
   // File Comments
-// Test a procedure with calling convention PHI - case #6
+/**
+ * @file call-banked-phi-case-6-close-1.c
+ * @author Sven Van de Velde (sven.van.de.velde@telenet.be), 
+ * @author Jesper Gravgaard
+ * @brief Test a procedure with calling convention PHI - case #6.
+ * Implementation using the #pragma bank and nobank directives.
+ * @version 0.1
+ * @date 2023-04-11
+ * 
+ * @copyright Copyright (c) 2023
+ * 
+ * The following cases exist in banked calling implementations:
+ * 
+ *   - case #1 - unbanked to unbanked and no banking areas
+ *   - case #2 - unbanked to banked to any bank area
+ *   - case #3 - banked to unbanked from any bank area
+ *   - case #4 - banked to same bank in same bank area
+ *   - case #5 - banked to different bank in same bank area
+ *   - case #6 - banked to any bank between different bank areas
+ * 
+ * This brings us to the call types:
+ * 
+ *   - near = case #1, #3, #4
+ *   - close = case #2, #6
+ *   - far = case #5 
+ * 
+ */
   // Upstart
   .file                               [name="call-banked-phi-case-6-close-1.prg", type="prg", segments="Program"]
 .segmentdef Program                 [segments="Basic, Code, Data"]