TSEC: Difference between revisions - Nintendo Switch Brew

Line 1,792:

! Operand1

! Operation

! Condition

|-

| 0 || || || ||

| 0 || || || || ||

|-

| 1 || mov || $cX || $cY || <code>$cX = $cY; ACL($cX) = ACL($cY);</code>

| 1 || mov || $cX || $cY || <code>$cX = $cY; ACL($cX) = ACL($cY);</code> ||

|-

| 2 || sin || $cX || N/A || <code>$cX = read_stream(); ACL($cX) = ???;</code>

| 2 || sin || $cX || N/A || <code>$cX = read_stream(); ACL($cX) = ???;</code> ||

|-

| 3 || sout || $cX || N/A || <code>write_stream($cX);</code>

| 3 || sout || $cX || N/A || <code>write_stream($cX);</code> ||

|-

| 4 || rnd || $cX || N/A || <code>$cX = read_trng(); ACL($cX) = ???;</code>

| 4 || rnd || $cX || N/A || <code>$cX = read_trng(); ACL($cX) = ???;</code> ||

|-

| 5 || s0begin || immX || N/A || <code>record_macro_for_N_instructions(0, immX);</code>

| 5 || s0begin || immX || N/A || <code>record_macro_for_N_instructions(0, immX);</code> ||

|-

| 6 || s0exec || immX || N/A || <code>execute_macro_N_times(0, immX);</code>

| 6 || s0exec || immX || N/A || <code>execute_macro_N_times(0, immX);</code> ||

|-

| 7 || s1begin || immX || N/A || <code>record_macro_for_N_instructions(1, immX);</code>

| 7 || s1begin || immX || N/A || <code>record_macro_for_N_instructions(1, immX);</code> ||

|-

| 8 || s1exec || immX || N/A || <code>execute_macro_N_times(1, immX);</code>

| 8 || s1exec || immX || N/A || <code>execute_macro_N_times(1, immX);</code> ||

|-

| 9 || ? || || ||

| 9 || ? || || || ||

|-

| 0xA || chmod || $cX || immY || <code>ACL($cX) &= immY;</code>

| 0xA || chmod || $cX || immY || <code>ACL($cX) &= immY;</code> ||

|-

| 0xB || xor || $cX || $cY || <code>~~if (~~(ACL($cX) & 2) && (ACL($cY) & 2)~~) $cX ^= $cY;~~</code>

| 0xB || xor || $cX || $cY || <code>$cX ^= $cY;</code> || <code>(ACL($cX) & 2) && (ACL($cY) & 2)</code>

|-

| 0xC || add || $cX || immY || <code>if (ACL($cX) & 2) ~~$cX += immY;~~</code>

| 0xC || add || $cX || immY || <code>$cX += immY;</code> || <code>(ACL($cX) & 2)</code>

|-

| 0xD || and || $cX || $cY || <code>~~if (~~(ACL($cX) & 2) && (ACL($cY) & 2)~~) $cX &= $cY;~~</code>

| 0xD || and || $cX || $cY || <code>$cX &= $cY;</code> || <code>(ACL($cX) & 2) && (ACL($cY) & 2)</code>

|-

| 0xE || rev || $cX || $cY || <code>$cX = reverse($cY); ACL($cX) = ACL($cY);</code>

| 0xE || rev || $cX || $cY || <code>$cX = reverse($cY); ACL($cX) = ACL($cY);</code> ||

|-

| 0xF || pre_cmac || || || ?

| 0xF || pre_cmac || || || ? ||

|-

| 0x10 || secret || $cX || immY || <code>$cX = load_secret(immY); ACL($cX) = load_secret_acl(immY);</code>

| 0x10 || secret || $cX || immY || <code>$cX = load_secret(immY); ACL($cX) = load_secret_acl(immY);</code> ||

|-

| 0x11 || keyreg || immX || || <code>active_key_idx = immX;</code>

| 0x11 || keyreg || immX || || <code>active_key_idx = immX;</code> ||

|-

| 0x12 || kexp || $cX || $cY || <code>$cX = aes_kexp($Y);</code> TODO~~: ACL~~

| 0x12 || kexp || $cX || $cY || <code>$cX = aes_kexp($Y);</code> || TODO

|-

| 0x13 || krexp || $cX || $cY || <code>$cX = aes_kexp_reverse($Y);</code> TODO~~: ACL~~

| 0x13 || krexp || $cX || $cY || <code>$cX = aes_kexp_reverse($Y);</code> || TODO

|-

| 0x14 || enc || $cX || $cY || <code>if (ACL($cX) & 3) ~~$cX = aes_enc~~(~~active_key_idx,~~ $cY);</code> ~~TODO: ACL for cY~~

| 0x14 || enc || $cX || $cY || <code>$cX = aes_enc(active_key_idx, $cY);</code> || <code>(ACL($cX) & 3) && (ACL($cY) & 2)</code>

|-

| 0x15 || dec || $cX || $cY || <code>if (ACL($cX) & 3) ~~$cX = aes_dec~~(~~active_key_idx,~~ $cY);</code> ~~TODO: ACL for cY~~

| 0x15 || dec || $cX || $cY || <code>$cX = aes_dec(active_key_idx, $cY);</code> || <code>(ACL($cX) & 3) && (ACL($cY) & 2)</code>

|-

| ...

@@ Line 1,792: / Line 1,792: @@
 !  Operand1
 !  Operation
+!  Condition
 |-
-| 0 || || || ||
+| 0 || || || || ||
 |-
-| 1 || mov || $cX || $cY || <code>$cX = $cY; ACL($cX) = ACL($cY);</code>
+| 1 || mov || $cX || $cY || <code>$cX = $cY; ACL($cX) = ACL($cY);</code> ||
 |-
-| 2 || sin || $cX || N/A || <code>$cX = read_stream(); ACL($cX) = ???;</code>
+| 2 || sin || $cX || N/A || <code>$cX = read_stream(); ACL($cX) = ???;</code> ||
 |-
-| 3 || sout || $cX || N/A || <code>write_stream($cX);</code>
+| 3 || sout || $cX || N/A || <code>write_stream($cX);</code> ||
 |-
-| 4 || rnd || $cX || N/A || <code>$cX = read_trng(); ACL($cX) = ???;</code>
+| 4 || rnd || $cX || N/A || <code>$cX = read_trng(); ACL($cX) = ???;</code> ||
 |-
-| 5 || s0begin || immX || N/A || <code>record_macro_for_N_instructions(0, immX);</code>
+| 5 || s0begin || immX || N/A || <code>record_macro_for_N_instructions(0, immX);</code> ||
 |-
-| 6 || s0exec || immX || N/A || <code>execute_macro_N_times(0, immX);</code>
+| 6 || s0exec || immX || N/A || <code>execute_macro_N_times(0, immX);</code> ||
 |-
-| 7 || s1begin || immX || N/A || <code>record_macro_for_N_instructions(1, immX);</code>
+| 7 || s1begin || immX || N/A || <code>record_macro_for_N_instructions(1, immX);</code> ||
 |-
-| 8 || s1exec || immX || N/A || <code>execute_macro_N_times(1, immX);</code>
+| 8 || s1exec || immX || N/A || <code>execute_macro_N_times(1, immX);</code> ||
 |-
-| 9 || ? || || ||
+| 9 || ? || || || ||
 |-
-| 0xA || chmod || $cX || immY || <code>ACL($cX) &= immY;</code>
+| 0xA || chmod || $cX || immY || <code>ACL($cX) &= immY;</code> ||
 |-
-| 0xB || xor || $cX || $cY || <code>if ((ACL($cX) & 2) && (ACL($cY) & 2)) $cX ^= $cY;</code>
+| 0xB || xor || $cX || $cY || <code>$cX ^= $cY;</code> || <code>(ACL($cX) & 2) && (ACL($cY) & 2)</code>
 |-
-| 0xC || add || $cX || immY || <code>if (ACL($cX) & 2) $cX += immY;</code>
+| 0xC || add || $cX || immY || <code>$cX += immY;</code> || <code>(ACL($cX) & 2)</code>
 |-
-| 0xD || and || $cX || $cY || <code>if ((ACL($cX) & 2) && (ACL($cY) & 2)) $cX &= $cY;</code>
+| 0xD || and || $cX || $cY || <code>$cX &= $cY;</code> || <code>(ACL($cX) & 2) && (ACL($cY) & 2)</code>
 |-
-| 0xE || rev || $cX || $cY || <code>$cX = reverse($cY); ACL($cX) = ACL($cY);</code>
+| 0xE || rev || $cX || $cY || <code>$cX = reverse($cY); ACL($cX) = ACL($cY);</code> ||
 |-
-| 0xF || pre_cmac || || || ?
+| 0xF || pre_cmac || || || ? ||
 |-
-| 0x10 || secret || $cX || immY || <code>$cX = load_secret(immY); ACL($cX) = load_secret_acl(immY);</code>
+| 0x10 || secret || $cX || immY || <code>$cX = load_secret(immY); ACL($cX) = load_secret_acl(immY);</code> ||
 |-
-| 0x11 || keyreg || immX || || <code>active_key_idx = immX;</code>
+| 0x11 || keyreg || immX || || <code>active_key_idx = immX;</code> ||
 |-
-| 0x12 || kexp || $cX || $cY || <code>$cX = aes_kexp($Y);</code> TODO: ACL
+| 0x12 || kexp || $cX || $cY || <code>$cX = aes_kexp($Y);</code> || TODO
 |-
-| 0x13 || krexp || $cX || $cY || <code>$cX = aes_kexp_reverse($Y);</code> TODO: ACL
+| 0x13 || krexp || $cX || $cY || <code>$cX = aes_kexp_reverse($Y);</code> || TODO
 |-
-| 0x14 || enc || $cX || $cY || <code>if (ACL($cX) & 3) $cX = aes_enc(active_key_idx, $cY);</code> TODO: ACL for cY
+| 0x14 || enc || $cX || $cY || <code>$cX = aes_enc(active_key_idx, $cY);</code> || <code>(ACL($cX) & 3) && (ACL($cY) & 2)</code>
 |-
-| 0x15 || dec || $cX || $cY || <code>if (ACL($cX) & 3) $cX = aes_dec(active_key_idx, $cY);</code> TODO: ACL for cY
+| 0x15 || dec || $cX || $cY || <code>$cX = aes_dec(active_key_idx, $cY);</code> || <code>(ACL($cX) & 3) && (ACL($cY) & 2)</code>
 |-
 | ...