X-Git-Url: https://jxself.org/git/?a=blobdiff_plain;f=assembler%2Ftest.asm;h=2c25ddef0d68e873d991b318ecb5c7594ee9c0e2;hb=30bc378e54db8afaffcbebbbfa347cc4655fcb14;hp=b1f3f147b01267d520f7ce287aefc3b36abe7c79;hpb=1c0560b49eb2c403d0d0fa99f789f13f750a40d8;p=b43-tools.git

diff --git a/assembler/test.asm b/assembler/test.asm
index b1f3f14..2c25dde 100644
--- a/assembler/test.asm
+++ b/assembler/test.asm
@@ -1,14 +1,13 @@
 /* This is a bcm43xx microcode assembly example.
- *
- * In this example file, r0 and r1 are always input
- * registers and r2 is output.
- * For input we can always have constant values or (one) memory
- * operand instead of the input registers shown here.
  *
  * Registers:
- *	GPRs:			r0 - r63
+ *	GPRs:			r0 - r63	(General Purpose Register)
  *	Offset Registers:	off0 - off5
- *	SPRs:			spr000
+ *	SPRs:			spr000		(Special Purpose Register)
+ *
+ * SPRs map to the driver-side IHR registers.
+ * An SPR offset is converted to an IHR offset by the following
+ * calculation:  IHR = (SPR + 0x400) * 2
  *
  * To access memory, two methods can be used. Examples follow.
  * Direct linear:
@@ -28,9 +27,17 @@
 
 #define ECOND_MAC_ON	(0x20 | 4)
 
+%assert ((((1))) == ((((2 - 1) & 0xFF))))
+%assert ((1 == 2) || (1 == (0xFF & 1)))
+%assert (1 != (~1))
+%assert ((1 == (2 - 1)) && (2 == 2))
 
 .text
 
+	/* Inline assertion inside of a complex immediate.
+	 * The %assert() expression will always return zero. */
+	mov	(1 + (%assert(1 == ((1 + 2) - 2)))), r0
+
 label:
 	/* ADD instructions */
 	add	r0,r1,r2	/* add */
@@ -38,7 +45,6 @@ label:
 	addc	r0,r1,r2	/* add with carry */
 	addc.	r0,r1,r2	/* add with carry, set carry */
 
-or 0x1000, r0, r0
 testlabel:
 	/* SUB instructions */
 	sub	r0,r1,r2	/* sub */
@@ -88,8 +94,8 @@ testlabel:
 	jnzx	7,8,r0,r1,label	/* Jump if nonzero after shift and mask */
 
 	/* jump on external conditions */
-	jext	ECOND_MAC_ON,r0,r0,label  /* jump if external condition is TRUE */
-	jnext	ECOND_MAC_ON,r0,r0,label  /* jump if external condition is FALSE */
+	jext	ECOND_MAC_ON,label  /* jump if external condition is TRUE */
+	jnext	ECOND_MAC_ON,label  /* jump if external condition is FALSE */
 
 	/* Subroutines */
 	call	lr0,label	/* store PC in lr0, call func at label */
@@ -123,6 +129,7 @@ function_a:
 	nap
 	jmp loop-
  out:
+	mov r0, r0
 	ret lr0, lr1
 
 function_b:
@@ -131,6 +138,7 @@ function_b:
 	nap
 	jmp loop-
  out:
+	mov r0, r0
 	ret lr0, lr1
 
 
@@ -168,6 +176,7 @@ function_b:
 	mov	testlabel, r0		/* Can use label as immediate value */
 	mov r0,r1;mov r2, r3		/* ; does split instructions */
 	mov	[(1+1)],[(2+2),off0]	/* Can use complex immediates as memory offsets */
+	orx	(0 + 1), (1 * 2), 0, 0, r0 /* Allow complex immediates as M or S */
 
 
 /* The .initvals section generates an "Initial Values" file