Progress on r12 model

Author: mj-z-ali

model.txt

@@ -87,6 +87,3 @@ xR12[32,64] = { [xR8==224] [(xR12[15,23]==0) + (xR12[15,23]==9)] [0 ≤ xR12[32,
 
 
 
-
-
-

processor.asm

@@ -384,6 +384,13 @@ _main:
 	;7;				{ [(xR8==196) + (xR8==197)] [xR13[0,32]] } +
 	;8;				{ ~(xR8==160) ~(xR8==167) ~(xR8==192) ~(xR8==194) ~(xR8==196) ~(xR8==197) ~(xR8==224) ~(xR8==225) (xR12[32,64]) }
 
+	; INSTRUCTION_FORMAT_CORRECT =
+	;	[ 
+	;		[0 ≤ xR11[0,8] ≤ 2] [(xR11[23,27]==1) + (xR11[23,27]==2) + (xR11[23,27]==4) + (xR11[23,27]==8)] [xR11[59,64]==0] +
+	;		[9 ≤ xR11[0,8] ≤ 10] [xR11[50,64]==0] + [17 ≤ xR11[0,8] ≤ 33] [xR11[18,64]==0] + [xR11[0,8]==44] [xR11[45,64]==0] +
+	;		[51 ≤ xR11[0,8] ≤ 53] [xR11[13,64]==0] + [xR11[0,8]==59] [xR11[16,64]==0] + [60 ≤ xR11[0,8] ≤ 67] [xR11[40,64]==0] +
+	;		[76 ≤ xR11[0,8] ≤ 78] [xR11[8,64]==0]
+	;	]
 
 ;--------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------; 
 ;	(1)							   { [xR8==224] [(xR12[15,23]==0) + (xR12[15,23]==9)] [0 ≤ xR12[32,64] ≤ 0x2000000] [(0 ≤ xR12[32,64] ≤ 0x2000000) (xR12[32,64])]mem }							     								 ;
@@ -399,13 +406,21 @@ _main:
 	shr rdx, 32				; rdx = xR12[32,64]
 	and rcx, 0
 	or rcx, rdx				; rcx = xR12[32,64]
-	and rcx, 0xFE000000		; rcx = (xR12[32,64]) (0xFE000000)
+	and rdi, 0
+	or rdi, 0x01FFFFFF
+	not rdi					
+	and edi, edi		    ; rdi = 0xFE000000	
+	and rcx, rdi  			; rcx = (xR12[32,64]) (0xFE000000)
 	compare rcx, 0		    ; rax = ((xR12[32,64]) (0xFE000000) == 0)
 	and rcx, 0
 	or rcx, rax				; rcx = ((xR12[32,64]) (0xFE000000) == 0)
 	and rsi, 0
 	or rsi, rdx				; rsi = xR12[32,64]
-	and rsi, 0xFDFFFFFF		; rsi = (xR12[32,64]) (0xFDFFFFFF)
+	and rdi, 0
+	or rdi, 0x02000000
+	not rdi
+	and edi, edi			; rdi = 0xFDFFFFFF	
+	and rsi, rdi			; rsi = (xR12[32,64]) (0xFDFFFFFF)
 	compare rsi, 0			; rax = ((xR12[32,64]) (0xFDFFFFFF) == 0)
 	or rcx, rax				; rcx = [((xR12[32,64]) (0xFE000000) == 0) + ((xR12[32,64]) (0xFDFFFFFF) == 0)]
 	and_64 rcx, rdx			; rax = (xR12[32,64] ≤ 0x2000000) xR12[32,64] (either 0 or xR12[32,64] if within boundary)
@@ -466,7 +481,29 @@ _main:
 ;--------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------; 
 ;	(3)							   	{ (xR8==160) (INSTRUCTION_FORMAT_CORRECT) (xR11[8,40]) }					     																				     ;
 ;--------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------;
-	
+							; INSTRUCTION_FORMAT_CORRECT =
+							;		[ 
+							; (a)		[0 ≤ xR11[0,8] ≤ 2] [(xR11[23,27]==1) + (xR11[23,27]==2) + (xR11[23,27]==4) + (xR11[23,27]==8)] [xR11[59,64]==0] +
+							; (b)		[9 ≤ xR11[0,8] ≤ 10] [xR11[50,64]==0] + [17 ≤ xR11[0,8] ≤ 33] [xR11[18,64]==0] + [xR11[0,8]==44] [xR11[45,64]==0] +
+							; (c)		[51 ≤ xR11[0,8] ≤ 53] [xR11[13,64]==0] + [xR11[0,8]==59] [xR11[16,64]==0] + [60 ≤ xR11[0,8] ≤ 67] [xR11[40,64]==0] +
+							; (d)		[76 ≤ xR11[0,8] ≤ 78] [xR11[8,64]==0]
+							;		]
+	and rcx, 0
+	or rcx, r11
+	and rcx, 0xFF			; rcx = xR11[0,8]
+	compare rcx, 0			; rax = (xR11[0,8]==0)
+	and rsi, 0
+	or rsi, rax				; rsi = (xR11[0,8]==0)
+	compare rcx, 1
+	or rsi, rax				; rsi = (xR11[0,8]==0) + (xR11[0,8]==1) 
+	compare rcx, 2
+	or rsi, rax				; rsi = (xR11[0,8]==0) + (xR11[0,8]==1) + (xR11[0,8]==2)
+	and rcx, 0
+	or rcx, r11
+	shr rcx, 23
+	and rcx, 0xF			; rcx = xR11[23,27]
+
+
 ;--------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------; 
 ;	(3)		END					   { (xR8==160) (INSTRUCTION_FORMAT_CORRECT) (xR11[8,40]) }						    								 													 ;
 ;--------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------;