Upgraded to KickAss 5.15. Fixed NES linker file. Closes #459

.idea/libraries/Maven__cml_kickass_kickassembler_5_15.xml

@@ -1,13 +1,13 @@
 <component name="libraryTable">
-  <library name="Maven: cml.kickass:kickassembler:5.14">
+  <library name="Maven: cml.kickass:kickassembler:5.15">
     <CLASSES>
-      <root url="jar://$MAVEN_REPOSITORY$/cml/kickass/kickassembler/5.14/kickassembler-5.14.jar!/" />
+      <root url="jar://$MAVEN_REPOSITORY$/cml/kickass/kickassembler/5.15/kickassembler-5.15.jar!/" />
     </CLASSES>
     <JAVADOC>
-      <root url="jar://$MAVEN_REPOSITORY$/cml/kickass/kickassembler/5.14/kickassembler-5.14-javadoc.jar!/" />
+      <root url="jar://$MAVEN_REPOSITORY$/cml/kickass/kickassembler/5.15/kickassembler-5.15-javadoc.jar!/" />
     </JAVADOC>
     <SOURCES>
-      <root url="jar://$MAVEN_REPOSITORY$/cml/kickass/kickassembler/5.14/kickassembler-5.14-sources.jar!/" />
+      <root url="jar://$MAVEN_REPOSITORY$/cml/kickass/kickassembler/5.15/kickassembler-5.15-sources.jar!/" />
     </SOURCES>
   </library>
 </component>

kickc.iml

@@ -21,7 +21,7 @@
     <orderEntry type="library" name="Maven: org.antlr:antlr4-runtime:4.7.1" level="project" />
     <orderEntry type="library" scope="TEST" name="Maven: junit:junit:4.12" level="project" />
     <orderEntry type="library" scope="TEST" name="Maven: org.hamcrest:hamcrest-core:1.3" level="project" />
-    <orderEntry type="library" name="Maven: cml.kickass:kickassembler:5.14" level="project" />
+    <orderEntry type="library" name="Maven: cml.kickass:kickassembler:5.15" level="project" />
     <orderEntry type="library" name="Maven: info.picocli:picocli:4.2.0" level="project" />
     <orderEntry type="library" name="Maven: javax.json:javax.json-api:1.1.4" level="project" />
     <orderEntry type="library" name="Maven: org.glassfish:javax.json:1.1.4" level="project" />

pom.xml

@@ -44,7 +44,7 @@
         <dependency>
             <groupId>cml.kickass</groupId>
             <artifactId>kickassembler</artifactId>
-            <version>5.14</version>
+            <version>5.15</version>
         </dependency>
         <dependency>
             <groupId>info.picocli</groupId>

repo/cml/kickass/kickassembler/5.15/_remote.repositories

@@ -0,0 +1,4 @@
+#NOTE: This is a Maven Resolver internal implementation file, its format can be changed without prior notice.
+#Mon May 25 07:25:24 CEST 2020
+kickassembler-5.15.jar>=
+kickassembler-5.15.pom>=

repo/cml/kickass/kickassembler/5.15/kickassembler-5.15.jar.md5

@@ -0,0 +1 @@
+014adf48c0dbfb89d36c5edc6e70adf4

repo/cml/kickass/kickassembler/5.15/kickassembler-5.15.jar.sha1

@@ -0,0 +1 @@
+ae3b7492511838861dfdeed267065b0a731fb3b2

repo/cml/kickass/kickassembler/5.15/kickassembler-5.15.pom

@@ -0,0 +1,9 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<project xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 https://maven.apache.org/xsd/maven-4.0.0.xsd" xmlns="http://maven.apache.org/POM/4.0.0"
+    xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance">
+  <modelVersion>4.0.0</modelVersion>
+  <groupId>cml.kickass</groupId>
+  <artifactId>kickassembler</artifactId>
+  <version>5.15</version>
+  <description>POM was created from install:install-file</description>
+</project>

repo/cml/kickass/kickassembler/5.15/kickassembler-5.15.pom.md5

@@ -0,0 +1 @@
+e3fea9a71f987eb9857b53b383d5a066

repo/cml/kickass/kickassembler/5.15/kickassembler-5.15.pom.sha1

@@ -0,0 +1 @@
+335d089ad510bf47c4b3ccbea2acf9279ab510bd

repo/cml/kickass/kickassembler/maven-metadata.xml

@@ -3,10 +3,10 @@
   <groupId>cml.kickass</groupId>
   <artifactId>kickassembler</artifactId>
   <versioning>
-    <release>5.14</release>
+    <release>5.15</release>
     <versions>
-      <version>5.14</version>
+      <version>5.15</version>
     </versions>
-    <lastUpdated>20200413071419</lastUpdated>
+    <lastUpdated>20200525052524</lastUpdated>
   </versioning>
 </metadata>

repo/cml/kickass/kickassembler/maven-metadata.xml.md5

@@ -1 +1 @@
-445929e8493b0af34c41e228496dcf1f
+0db41d6db19d30aad14976638375593f

repo/cml/kickass/kickassembler/maven-metadata.xml.sha1

@@ -1 +1 @@
-7a1f4ed0f91c25dba71cd27f0d23e1e3a71fd05e
+90e41e3845d24989c677d0e83694aecdd3e6015e

src/main/fragment/mos6502-common/vbuxx=vbuxx_bxor_vbuyy.asm

@@ -0,0 +1,4 @@
+sty $ff
+txa
+eor $ff
+tax

src/main/kc/target/nes.ld

@@ -14,10 +14,10 @@
 .segmentdef ProgramRom [ segments="Code, Data, Vectors" ]
 .segmentdef CharacterRom [ segments="Tiles" ]
 .segmentdef NesRom
-//.segment NesRom
+.segment NesRom
-//.segmentout [ segments="Header" ]
+.segmentout [ segments="Header" ]
-//.segmentout [ segments="ProgramRom" ]
+.segmentout [ segments="ProgramRom" ]
-//.segmentout [ segments="CharacterRom" ]
+.segmentout [ segments="CharacterRom" ]
 .segment Header
 .text   @"NES\$1a"
 .byte   $01           // 1x 16KB ROM (PRG)

src/main/repo/mvn-repo-install.sh

@@ -1,2 +1,2 @@
 #!/usr/bin/env bash
-mvn install:install-file -Dmaven.repo.local=./repo/ -Dfile=/Applications/KickAssembler/KickAss.jar -DgroupId=cml.kickass -DartifactId=kickassembler -Dpackaging=jar -DgeneratePom=true -DcreateChecksum=true -Dversion=5.14
+mvn install:install-file -Dmaven.repo.local=./repo/ -Dfile=/Applications/KickAssembler/KickAss.jar -DgroupId=cml.kickass -DartifactId=kickassembler -Dpackaging=jar -DgeneratePom=true -DcreateChecksum=true -Dversion=5.15

src/test/kc/examples/nes/nes-demo.c

@@ -15,7 +15,7 @@ void main() {
     // Initialize the video & audio
     disableVideoOutput();
     disableAudioOutput();
-    //  Note: When the system is first turned on or reset, the PPU may not be in a usable state right
+    // Note: When the system is first turned on or reset, the PPU may not be in a usable state right
     // away. You should wait at least 30,000 (thirty thousand) CPU cycles for the PPU to initialize, 
     // which may be accomplished by waiting for 2 (two) vertical blank intervals.
     clearVBlankFlag();
@@ -158,12 +158,3 @@ export void()* const VECTORS[] = {
     // IRQ Called when a BRK instruction is executed.
     0 
 };
-
-// Generate the NES ROM contents
-// Can be moved into the linker file when KickAsm 5.15 is released.
-#pragma data_seg(NesRom)
-export char NES_ROM[] = kickasm {{
-.segmentout [ segments="Header" ]
-.segmentout [ segments="ProgramRom" ]
-.segmentout [ segments="CharacterRom" ]
-}};

src/test/ref/examples/nes/nes-demo.asm

@@ -16,10 +16,10 @@
 .segmentdef ProgramRom [ segments="Code, Data, Vectors" ]
 .segmentdef CharacterRom [ segments="Tiles" ]
 .segmentdef NesRom
-//.segment NesRom
+.segment NesRom
-//.segmentout [ segments="Header" ]
+.segmentout [ segments="Header" ]
-//.segmentout [ segments="ProgramRom" ]
+.segmentout [ segments="ProgramRom" ]
-//.segmentout [ segments="CharacterRom" ]
+.segmentout [ segments="CharacterRom" ]
 .segment Header
 .text   @"NES\$1a"
 .byte   $01           // 1x 16KB ROM (PRG)
@@ -264,9 +264,3 @@ TILES:
 
 .segment Vectors
   VECTORS: .word vblank, main, 0
-.segment NesRom
-NES_ROM:
-.segmentout [ segments="Header" ]
-.segmentout [ segments="ProgramRom" ]
-.segmentout [ segments="CharacterRom" ]
-

src/test/ref/examples/nes/nes-demo.log

@@ -229,10 +229,6 @@ SYMBOL TABLE SSA
 (const struct RICOH_2A03*) APU = (struct RICOH_2A03*)(number) $4000
 (const nomodify byte*) FR_COUNTER = (byte*)(number) $4017
 (const nomodify byte*) MEMORY = (byte*)(number) 0
-(const byte*) NES_ROM[]  = kickasm {{ .segmentout [ segments="Header" ]
-.segmentout [ segments="ProgramRom" ]
-.segmentout [ segments="CharacterRom" ]
- }}
 (const nomodify struct ObjectAttribute*) OAM_BUFFER = (struct ObjectAttribute*)(number) $200
 (const byte) OFFSET_STRUCT_OBJECTATTRIBUTE_X = (byte) 3
 (const byte) OFFSET_STRUCT_RICOH_2A03_DMC_FREQ = (byte) $10
@@ -1081,10 +1077,10 @@ Target platform is nes / MOS6502
 .segmentdef ProgramRom [ segments="Code, Data, Vectors" ]
 .segmentdef CharacterRom [ segments="Tiles" ]
 .segmentdef NesRom
-//.segment NesRom
+.segment NesRom
-//.segmentout [ segments="Header" ]
+.segmentout [ segments="Header" ]
-//.segmentout [ segments="ProgramRom" ]
+.segmentout [ segments="ProgramRom" ]
-//.segmentout [ segments="CharacterRom" ]
+.segmentout [ segments="CharacterRom" ]
 .segment Header
 .text   @"NES\$1a"
 .byte   $01           // 1x 16KB ROM (PRG)
@@ -1491,12 +1487,6 @@ TILES:
 
 .segment Vectors
   VECTORS: .word vblank, main, 0
-.segment NesRom
-NES_ROM:
-.segmentout [ segments="Header" ]
-.segmentout [ segments="ProgramRom" ]
-.segmentout [ segments="CharacterRom" ]
-
 
 REGISTER UPLIFT POTENTIAL REGISTERS
 Statement asm { cld ldx#$ff txs  } always clobbers reg byte x 
@@ -1614,10 +1604,10 @@ ASSEMBLER BEFORE OPTIMIZATION
 .segmentdef ProgramRom [ segments="Code, Data, Vectors" ]
 .segmentdef CharacterRom [ segments="Tiles" ]
 .segmentdef NesRom
-//.segment NesRom
+.segment NesRom
-//.segmentout [ segments="Header" ]
+.segmentout [ segments="Header" ]
-//.segmentout [ segments="ProgramRom" ]
+.segmentout [ segments="ProgramRom" ]
-//.segmentout [ segments="CharacterRom" ]
+.segmentout [ segments="CharacterRom" ]
 .segment Header
 .text   @"NES\$1a"
 .byte   $01           // 1x 16KB ROM (PRG)
@@ -1992,12 +1982,6 @@ TILES:
 
 .segment Vectors
   VECTORS: .word vblank, main, 0
-.segment NesRom
-NES_ROM:
-.segmentout [ segments="Header" ]
-.segmentout [ segments="ProgramRom" ]
-.segmentout [ segments="CharacterRom" ]
-
 
 ASSEMBLER OPTIMIZATIONS
 Removing instruction jmp __b1
@@ -2091,10 +2075,6 @@ FINAL SYMBOL TABLE
 (const struct RICOH_2A03*) APU = (struct RICOH_2A03*) 16384
 (const nomodify byte*) FR_COUNTER = (byte*) 16407
 (const nomodify byte*) MEMORY = (byte*) 0
-(const byte*) NES_ROM[]  = kickasm {{ .segmentout [ segments="Header" ]
-.segmentout [ segments="ProgramRom" ]
-.segmentout [ segments="CharacterRom" ]
- }}
 (const nomodify struct ObjectAttribute*) OAM_BUFFER = (struct ObjectAttribute*) 512
 (const byte) OFFSET_STRUCT_OBJECTATTRIBUTE_X = (byte) 3
 (const byte) OFFSET_STRUCT_RICOH_2A03_DMC_FREQ = (byte) $10
@@ -2226,10 +2206,10 @@ Score: 1475
 .segmentdef ProgramRom [ segments="Code, Data, Vectors" ]
 .segmentdef CharacterRom [ segments="Tiles" ]
 .segmentdef NesRom
-//.segment NesRom
+.segment NesRom
-//.segmentout [ segments="Header" ]
+.segmentout [ segments="Header" ]
-//.segmentout [ segments="ProgramRom" ]
+.segmentout [ segments="ProgramRom" ]
-//.segmentout [ segments="CharacterRom" ]
+.segmentout [ segments="CharacterRom" ]
 .segment Header
 .text   @"NES\$1a"
 .byte   $01           // 1x 16KB ROM (PRG)
@@ -2588,10 +2568,4 @@ TILES:
 
 .segment Vectors
   VECTORS: .word vblank, main, 0
-.segment NesRom
-NES_ROM:
-.segmentout [ segments="Header" ]
-.segmentout [ segments="ProgramRom" ]
-.segmentout [ segments="CharacterRom" ]
-
 

src/test/ref/examples/nes/nes-demo.sym

@@ -4,10 +4,6 @@
 (const struct RICOH_2A03*) APU = (struct RICOH_2A03*) 16384
 (const nomodify byte*) FR_COUNTER = (byte*) 16407
 (const nomodify byte*) MEMORY = (byte*) 0
-(const byte*) NES_ROM[]  = kickasm {{ .segmentout [ segments="Header" ]
-.segmentout [ segments="ProgramRom" ]
-.segmentout [ segments="CharacterRom" ]
- }}
 (const nomodify struct ObjectAttribute*) OAM_BUFFER = (struct ObjectAttribute*) 512
 (const byte) OFFSET_STRUCT_OBJECTATTRIBUTE_X = (byte) 3
 (const byte) OFFSET_STRUCT_RICOH_2A03_DMC_FREQ = (byte) $10

src/test/ref/fragments-assignment-binary-vbuxx.log

@@ -1,7 +1,13 @@
 synthesized vbuxx=vbuaa_band_vbuaa < vbuxx=vbuaa_band_vbuxx < vbuxx=vbuxx_band_vbuaa - clobber:X   cycles:4.0
   tax
   axs #0
-CANNOT SYNTHESIZE vbuxx=vbuaa_bxor_vbuaa
+synthesized vbuxx=vbuaa_bxor_vbuaa < vbuxx=vbuaa_bxor_vbuxx < vbuxx=vbuyy_bxor_vbuxx < vbuxx=vbuxx_bxor_vbuyy - clobber:A X Y  cycles:14.0
+  tax
+  tay
+  sty $ff
+  txa
+  eor $ff
+  tax
 synthesized vbuxx=vbuaa_band_vbuxx < vbuxx=vbuxx_band_vbuaa - clobber:X   cycles:2.0
   axs #0
 synthesized vbuxx=vbuaa_minus_vbuxx < vbuaa=vbuaa_minus_vbuxx - clobber:A X   cycles:10.0
@@ -143,7 +149,13 @@ synthesized vbuxx=vbuxx_plus_vbuaa < vbuxx=vbuaa_plus_vbuxx < vbuaa=vbuaa_plus_v
   clc
   adc $ff
   tax
-CANNOT SYNTHESIZE vbuxx=vbuxx_bxor_vbuxx
+synthesized vbuxx=vbuxx_bxor_vbuxx < vbuxx=vbuxx_bxor_vbuaa < vbuxx=vbuxx_bxor_vbuyy - clobber:A X Y  cycles:14.0
+  txa
+  tay
+  sty $ff
+  txa
+  eor $ff
+  tax
 synthesized vbuxx=vbuxx_band_vbuyy < vbuxx=vbuxx_band_vbuaa - clobber:A X   cycles:4.0
   tya
   axs #0

src/test/ref/fragments-assignment-binary-vbuz1.log

@@ -49,7 +49,16 @@ synthesized vbuz1=vbuaa_bor_pbuz1_derefidx_vbuyy < vbuz1=vbuxx_bor_pbuz1_derefid
   ora $ff
   sta {z1}
 CANNOT SYNTHESIZE vbuz1=vbuaa_bor_pbuz1_derefidx_vbuz1
-CANNOT SYNTHESIZE vbuz1=vbuaa_bxor_pbuz1_derefidx_vbuz2
+synthesized vbuz1=vbuaa_bxor_pbuz1_derefidx_vbuz2 < vbuz1=vbuaa_bxor_pbuz1_derefidx_vbum2 < vbuz1=vbuaa_bxor_pbuz1_derefidx_vbuyy < vbuz1=vbuxx_bxor_pbuz1_derefidx_vbuyy < vbuz1=vbuxx_bxor_vbuaa < vbuz1=vbuxx_bxor_vbuyy < vbum1=vbuxx_bxor_vbuyy < vbuxx=vbuxx_bxor_vbuyy - clobber:A X Y  cycles:25.5
+  ldy {z2}
+  tax
+  lda ({z1}),y
+  tay
+  sty $ff
+  txa
+  eor $ff
+  tax
+  stx {z1}
 synthesized vbuz1=vbuaa_minus_pbuz1_derefidx_vbuc1 < vbuz1=vbuaa_minus_pbuz1_derefidx_vbuyy < vbuz1=vbuxx_minus_pbuz1_derefidx_vbuyy < vbuz1=vbuxx_minus_vbuaa < vbum1=vbuxx_minus_vbuaa < vbuaa=vbuxx_minus_vbuaa - clobber:A X Y  cycles:22.5
   ldy #{c1}
   tax
@@ -139,7 +148,13 @@ synthesized vbuz1=vbuaa_bor_pbuc1_derefidx_vbuc2 < vbum1=vbuaa_bor_pbuc1_derefid
 synthesized vbuz1=vbuaa_bxor_vbuc1 < vbum1=vbuaa_bxor_vbuc1 < vbuaa=vbuaa_bxor_vbuc1 - clobber:A   cycles:5.0
   eor #{c1}
   sta {z1}
-CANNOT SYNTHESIZE vbuz1=vbuxx_bxor_vbuaa
+synthesized vbuz1=vbuxx_bxor_vbuaa < vbuz1=vbuxx_bxor_vbuyy < vbum1=vbuxx_bxor_vbuyy < vbuxx=vbuxx_bxor_vbuyy - clobber:A X Y  cycles:15.0
+  tay
+  sty $ff
+  txa
+  eor $ff
+  tax
+  stx {z1}
 synthesized vbuz1=vbuxx_minus_vbuxx < vbum1=vbuxx_minus_vbuxx < vbuaa=vbuxx_minus_vbuxx - clobber:A   cycles:5.0
   lda #0
   sta {z1}
@@ -167,7 +182,15 @@ synthesized vbuz1=vbuxx_bor__deref_pbuc1 < vbuz1=vbuaa_bor__deref_pbuc1 < vbum1=
   txa
   ora {c1}
   sta {z1}
-CANNOT SYNTHESIZE vbuz1=vbuxx_bxor_pbuz1_derefidx_vbuaa
+synthesized vbuz1=vbuxx_bxor_pbuz1_derefidx_vbuaa < vbuz1=vbuxx_bxor_pbuz1_derefidx_vbuyy < vbuz1=vbuxx_bxor_vbuaa < vbuz1=vbuxx_bxor_vbuyy < vbum1=vbuxx_bxor_vbuyy < vbuxx=vbuxx_bxor_vbuyy - clobber:A X Y  cycles:22.5
+  tay
+  lda ({z1}),y
+  tay
+  sty $ff
+  txa
+  eor $ff
+  tax
+  stx {z1}
 synthesized vbuz1=vbuxx_minus_pbuz1_derefidx_vbuxx < vbuz1=vbuxx_minus_pbuz1_derefidx_vbuaa < vbuz1=vbuxx_minus_pbuz1_derefidx_vbuyy < vbuz1=vbuxx_minus_vbuaa < vbum1=vbuxx_minus_vbuaa < vbuaa=vbuxx_minus_vbuaa - clobber:A Y  cycles:22.5
   txa
   tay
@@ -329,7 +352,17 @@ synthesized vbuz1=vbuyy_bor_pbuz1_derefidx_vbuyy < vbuz1=vbuyy_bor_vbuaa < vbum1
   ora $ff
   sta {z1}
 CANNOT SYNTHESIZE vbuz1=vbuyy_bor_pbuz1_derefidx_vbuz1
-CANNOT SYNTHESIZE vbuz1=vbuyy_bxor_pbuz1_derefidx_vbuz2
+synthesized vbuz1=vbuyy_bxor_pbuz1_derefidx_vbuz2 < vbuz1=vbuyy_bxor_pbuz1_derefidx_vbum2 < vbuz1=vbuaa_bxor_pbuz1_derefidx_vbum2 < vbuz1=vbuaa_bxor_pbuz1_derefidx_vbuyy < vbuz1=vbuxx_bxor_pbuz1_derefidx_vbuyy < vbuz1=vbuxx_bxor_vbuaa < vbuz1=vbuxx_bxor_vbuyy < vbum1=vbuxx_bxor_vbuyy < vbuxx=vbuxx_bxor_vbuyy - clobber:A X Y  cycles:27.5
+  tya
+  ldy {z2}
+  tax
+  lda ({z1}),y
+  tay
+  sty $ff
+  txa
+  eor $ff
+  tax
+  stx {z1}
 synthesized vbuz1=vbuyy_minus_pbuz1_derefidx_vbuc1 < vbuz1=vbuaa_minus_pbuz1_derefidx_vbuc1 < vbuz1=vbuaa_minus_pbuz1_derefidx_vbuyy < vbuz1=vbuxx_minus_pbuz1_derefidx_vbuyy < vbuz1=vbuxx_minus_vbuaa < vbum1=vbuxx_minus_vbuaa < vbuaa=vbuxx_minus_vbuaa - clobber:A X Y  cycles:24.5
   tya
   ldy #{c1}
@@ -815,7 +848,18 @@ synthesized vbuz1=_deref_pbuz1_bxor_vbuz2 < vbuz1=_deref_pbuz1_bxor_vbum2 < vbuz
   lda ({z1}),y
   eor {z2}
   sta {z1}
-CANNOT SYNTHESIZE vbuz1=_deref_pbuz1_bxor__deref_pbuz1
+synthesized vbuz1=_deref_pbuz1_bxor__deref_pbuz1 < vbuz1=_deref_pbuz1_bxor_vbuaa < vbuz1=_deref_pbuz1_bxor_vbuxx < vbuz1=vbuxx_bxor__deref_pbuz1 < vbuz1=vbuxx_bxor_vbuaa < vbuz1=vbuxx_bxor_vbuyy < vbum1=vbuxx_bxor_vbuyy < vbuxx=vbuxx_bxor_vbuyy - clobber:A X Y  cycles:32.0
+  ldy #0
+  lda ({z1}),y
+  tax
+  ldy #0
+  lda ({z1}),y
+  tay
+  sty $ff
+  txa
+  eor $ff
+  tax
+  stx {z1}
 synthesized vbuz1=_deref_pbuz1_minus__deref_pbuz2 < vbuz1=vbuaa_minus__deref_pbuz2 < vbum1=vbuaa_minus__deref_pbuz2 < vbuaa=vbuaa_minus__deref_pbuz1 - clobber:A Y  cycles:20.0
   ldy #0
   lda ({z1}),y
@@ -844,8 +888,30 @@ synthesized vbuz1=_deref_pbuz1_band_pbuz1_derefidx_vbuyy < vbuz1=_deref_pbuz1_ba
   lda ({z1}),y
   sax {z1}
 CANNOT SYNTHESIZE vbuz1=_deref_pbuz1_bor_pbuz1_derefidx_vbuz1
-CANNOT SYNTHESIZE vbuz1=_deref_pbuz1_bxor_pbuz1_derefidx_vbuz2
+synthesized vbuz1=_deref_pbuz1_bxor_pbuz1_derefidx_vbuz2 < vbuz1=_deref_pbuz1_bxor_pbuz1_derefidx_vbum2 < vbuz1=pbuz1_derefidx_vbum2_bxor__deref_pbuz1 < vbuz1=pbuz1_derefidx_vbum2_bxor_vbuaa < vbuz1=pbuz1_derefidx_vbuyy_bxor_vbuaa < vbuz1=pbuz1_derefidx_vbuyy_bxor_vbuxx < vbuz1=vbuxx_bxor_pbuz1_derefidx_vbuyy < vbuz1=vbuxx_bxor_vbuaa < vbuz1=vbuxx_bxor_vbuyy < vbum1=vbuxx_bxor_vbuyy < vbuxx=vbuxx_bxor_vbuyy - clobber:A X Y  cycles:33.0
-CANNOT SYNTHESIZE vbuz1=_deref_pbuz1_bxor_pbuz1_derefidx_vbuc1
+  ldy #0
+  lda ({z1}),y
+  ldy {z2}
+  tax
+  lda ({z1}),y
+  tay
+  sty $ff
+  txa
+  eor $ff
+  tax
+  stx {z1}
+synthesized vbuz1=_deref_pbuz1_bxor_pbuz1_derefidx_vbuc1 < vbuz1=pbuz1_derefidx_vbuc1_bxor__deref_pbuz1 < vbuz1=pbuz1_derefidx_vbuc1_bxor_vbuaa < vbuz1=vbuaa_bxor_pbuz1_derefidx_vbuc1 < vbuz1=vbuaa_bxor_pbuz1_derefidx_vbuyy < vbuz1=vbuxx_bxor_pbuz1_derefidx_vbuyy < vbuz1=vbuxx_bxor_vbuaa < vbuz1=vbuxx_bxor_vbuyy < vbum1=vbuxx_bxor_vbuyy < vbuxx=vbuxx_bxor_vbuyy - clobber:A X Y  cycles:32.0
+  ldy #0
+  lda ({z1}),y
+  ldy #{c1}
+  tax
+  lda ({z1}),y
+  tay
+  sty $ff
+  txa
+  eor $ff
+  tax
+  stx {z1}
 synthesized vbuz1=_deref_pbuz1_minus_pbuz2_derefidx_vbuaa < vbuz1=_deref_pbuz1_minus_pbuz2_derefidx_vbuxx < vbuz1=vbuaa_minus_pbuz2_derefidx_vbuxx < vbuz1=vbuaa_minus_pbuz2_derefidx_vbuyy < vbum1=vbuaa_minus_pbuz2_derefidx_vbuyy < vbum1=vbuxx_minus_pbuz2_derefidx_vbuyy < vbuaa=vbuxx_minus_pbuz1_derefidx_vbuyy < vbuaa=vbuxx_minus_vbuaa - clobber:A X Y  cycles:36.0
   tax
   ldy #0
@@ -1445,7 +1511,15 @@ synthesized vbuz1=pbuz1_derefidx_vbuaa_bor_vbuaa < vbuz1=vbuaa_bor_pbuz1_derefid
   sty $ff
   ora $ff
   sta {z1}
-CANNOT SYNTHESIZE vbuz1=pbuz1_derefidx_vbuaa_bxor_vbuxx
+synthesized vbuz1=pbuz1_derefidx_vbuaa_bxor_vbuxx < vbuz1=pbuz1_derefidx_vbuyy_bxor_vbuxx < vbuz1=vbuxx_bxor_pbuz1_derefidx_vbuyy < vbuz1=vbuxx_bxor_vbuaa < vbuz1=vbuxx_bxor_vbuyy < vbum1=vbuxx_bxor_vbuyy < vbuxx=vbuxx_bxor_vbuyy - clobber:A X Y  cycles:22.5
+  tay
+  lda ({z1}),y
+  tay
+  sty $ff
+  txa
+  eor $ff
+  tax
+  stx {z1}
 CANNOT SYNTHESIZE vbuz1=pbuz1_derefidx_vbuaa_minus_vbuyy
 CANNOT SYNTHESIZE vbuz1=pbuz1_derefidx_vbuaa_minus_vbuz1
 synthesized vbuz1=pbuz1_derefidx_vbuaa_plus_vbuz2 < vbuz1=pbuz1_derefidx_vbuyy_plus_vbuz2 < vbuz1=vbuz2_plus_pbuz1_derefidx_vbuyy < vbuz1=vbuz2_plus_vbuaa < vbuz1=vbuaa_plus_vbuz2 < vbum1=vbuaa_plus_vbuz2 < vbuaa=vbuaa_plus_vbuz1 < vbuaa=vbuaa_plus_vbum1 - clobber:A Y  cycles:15.5
@@ -1473,8 +1547,32 @@ synthesized vbuz1=pbuz1_derefidx_vbuaa_bor_pbuz1_derefidx_vbuaa < vbuz1=pbuz1_de
   stx $ff
   ora $ff
   sta {z1}
-CANNOT SYNTHESIZE vbuz1=pbuz1_derefidx_vbuaa_bxor_pbuz1_derefidx_vbuxx
+synthesized vbuz1=pbuz1_derefidx_vbuaa_bxor_pbuz1_derefidx_vbuxx < vbuz1=pbuz1_derefidx_vbuyy_bxor_pbuz1_derefidx_vbuxx < vbuz1=pbuz1_derefidx_vbuxx_bxor_pbuz1_derefidx_vbuyy < vbuz1=pbuz1_derefidx_vbuxx_bxor_vbuaa < vbuz1=pbuz1_derefidx_vbuyy_bxor_vbuaa < vbuz1=pbuz1_derefidx_vbuyy_bxor_vbuxx < vbuz1=vbuxx_bxor_pbuz1_derefidx_vbuyy < vbuz1=vbuxx_bxor_vbuaa < vbuz1=vbuxx_bxor_vbuyy < vbum1=vbuxx_bxor_vbuyy < vbuxx=vbuxx_bxor_vbuyy - clobber:A X Y  cycles:36.0
-CANNOT SYNTHESIZE vbuz1=pbuz1_derefidx_vbuaa_bxor_pbuz1_derefidx_vbuyy
+  tay
+  lda ({z1}),y
+  stx $ff
+  ldy $ff
+  tax
+  lda ({z1}),y
+  tay
+  sty $ff
+  txa
+  eor $ff
+  tax
+  stx {z1}
+synthesized vbuz1=pbuz1_derefidx_vbuaa_bxor_pbuz1_derefidx_vbuyy < vbuz1=pbuz1_derefidx_vbuxx_bxor_pbuz1_derefidx_vbuyy < vbuz1=pbuz1_derefidx_vbuxx_bxor_vbuaa < vbuz1=pbuz1_derefidx_vbuyy_bxor_vbuaa < vbuz1=pbuz1_derefidx_vbuyy_bxor_vbuxx < vbuz1=vbuxx_bxor_pbuz1_derefidx_vbuyy < vbuz1=vbuxx_bxor_vbuaa < vbuz1=vbuxx_bxor_vbuyy < vbum1=vbuxx_bxor_vbuyy < vbuxx=vbuxx_bxor_vbuyy - clobber:A X Y  cycles:36.0
+  tax
+  lda ({z1}),y
+  stx $ff
+  ldy $ff
+  tax
+  lda ({z1}),y
+  tay
+  sty $ff
+  txa
+  eor $ff
+  tax
+  stx {z1}
 CANNOT SYNTHESIZE vbuz1=pbuz1_derefidx_vbuaa_minus_pbuz1_derefidx_vbuz1
 synthesized vbuz1=pbuz1_derefidx_vbuaa_plus_pbuz1_derefidx_vbuz2 < vbuz1=pbuz1_derefidx_vbuyy_plus_pbuz1_derefidx_vbuz2 < vbuz1=pbuz1_derefidx_vbuyy_plus_pbuz1_derefidx_vbum2 < vbuz1=pbuz1_derefidx_vbum2_plus_pbuz1_derefidx_vbuyy < vbuz1=pbuz1_derefidx_vbum2_plus_vbuaa < vbuz1=pbuz1_derefidx_vbuyy_plus_vbuaa < vbuz1=pbuz1_derefidx_vbuyy_plus_vbuxx < vbuz1=vbuxx_plus_pbuz1_derefidx_vbuyy < vbuz1=vbuxx_plus_vbuaa < vbuz1=vbuaa_plus_vbuxx < vbum1=vbuaa_plus_vbuxx < vbuaa=vbuaa_plus_vbuxx - clobber:A X Y  cycles:29.0
   tay
@@ -1580,7 +1678,19 @@ synthesized vbuz1=pbuz1_derefidx_vbuxx_bor_vbuz2 < vbuz1=pbuz1_derefidx_vbuaa_bo
   lda ({z1}),y
   ora {z2}
   sta {z1}
-CANNOT SYNTHESIZE vbuz1=pbuz1_derefidx_vbuxx_bxor__deref_pbuz1
+synthesized vbuz1=pbuz1_derefidx_vbuxx_bxor__deref_pbuz1 < vbuz1=pbuz1_derefidx_vbuaa_bxor__deref_pbuz1 < vbuz1=pbuz1_derefidx_vbuyy_bxor__deref_pbuz1 < vbuz1=_deref_pbuz1_bxor_pbuz1_derefidx_vbuyy < vbuz1=_deref_pbuz1_bxor_vbuaa < vbuz1=_deref_pbuz1_bxor_vbuxx < vbuz1=vbuxx_bxor__deref_pbuz1 < vbuz1=vbuxx_bxor_vbuaa < vbuz1=vbuxx_bxor_vbuyy < vbum1=vbuxx_bxor_vbuyy < vbuxx=vbuxx_bxor_vbuyy - clobber:A X Y  cycles:34.0
+  txa
+  tay
+  lda ({z1}),y
+  tax
+  ldy #0
+  lda ({z1}),y
+  tay
+  sty $ff
+  txa
+  eor $ff
+  tax
+  stx {z1}
 synthesized vbuz1=pbuz1_derefidx_vbuxx_bxor__deref_pbuz2 < vbuz1=pbuz1_derefidx_vbuaa_bxor__deref_pbuz2 < vbuz1=pbuz1_derefidx_vbuyy_bxor__deref_pbuz2 < vbuz1=_deref_pbuz2_bxor_pbuz1_derefidx_vbuyy < vbuz1=_deref_pbuz2_bxor_vbuaa < vbum1=_deref_pbuz2_bxor_vbuaa < vbuaa=_deref_pbuz1_bxor_vbuaa < vbuaa=vbuaa_bxor__deref_pbuz1 - clobber:A Y  cycles:20.0
   txa
   tay
@@ -1621,7 +1731,19 @@ synthesized vbuz1=pbuz1_derefidx_vbuxx_bor_pbuz1_derefidx_vbuz2 < vbuz1=pbuz1_de
   stx $ff
   ora $ff
   sta {z1}
-CANNOT SYNTHESIZE vbuz1=pbuz1_derefidx_vbuxx_bxor_pbuz1_derefidx_vbuc1
+synthesized vbuz1=pbuz1_derefidx_vbuxx_bxor_pbuz1_derefidx_vbuc1 < vbuz1=pbuz1_derefidx_vbuaa_bxor_pbuz1_derefidx_vbuc1 < vbuz1=pbuz1_derefidx_vbuyy_bxor_pbuz1_derefidx_vbuc1 < vbuz1=pbuz1_derefidx_vbuc1_bxor_pbuz1_derefidx_vbuyy < vbuz1=pbuz1_derefidx_vbuc1_bxor_vbuaa < vbuz1=vbuaa_bxor_pbuz1_derefidx_vbuc1 < vbuz1=vbuaa_bxor_pbuz1_derefidx_vbuyy < vbuz1=vbuxx_bxor_pbuz1_derefidx_vbuyy < vbuz1=vbuxx_bxor_vbuaa < vbuz1=vbuxx_bxor_vbuyy < vbum1=vbuxx_bxor_vbuyy < vbuxx=vbuxx_bxor_vbuyy - clobber:A X Y  cycles:34.0
+  txa
+  tay
+  lda ({z1}),y
+  ldy #{c1}
+  tax
+  lda ({z1}),y
+  tay
+  sty $ff
+  txa
+  eor $ff
+  tax
+  stx {z1}
 synthesized vbuz1=pbuz1_derefidx_vbuxx_bxor_pbuz2_derefidx_vbuaa < vbuz1=pbuz1_derefidx_vbuyy_bxor_pbuz2_derefidx_vbuaa < vbuz1=pbuz2_derefidx_vbuaa_bxor_pbuz1_derefidx_vbuyy < vbuz1=pbuz2_derefidx_vbuxx_bxor_pbuz1_derefidx_vbuyy < vbuz1=pbuz2_derefidx_vbuxx_bxor_vbuaa < vbuz1=pbuz2_derefidx_vbuyy_bxor_vbuaa < vbuz1=vbuaa_bxor_pbuz2_derefidx_vbuyy < vbum1=vbuaa_bxor_pbuz2_derefidx_vbuyy < vbuaa=vbuaa_bxor_pbuz1_derefidx_vbuyy - clobber:A X Y  cycles:28.0
   stx $ff
   ldy $ff
@@ -1707,8 +1829,22 @@ synthesized vbuz1=pbuz1_derefidx_vbuyy_bor_vbuaa < vbuz1=pbuz1_derefidx_vbuyy_bo
   stx $ff
   ora $ff
   sta {z1}
-CANNOT SYNTHESIZE vbuz1=pbuz1_derefidx_vbuyy_bxor_vbuxx
+synthesized vbuz1=pbuz1_derefidx_vbuyy_bxor_vbuxx < vbuz1=vbuxx_bxor_pbuz1_derefidx_vbuyy < vbuz1=vbuxx_bxor_vbuaa < vbuz1=vbuxx_bxor_vbuyy < vbum1=vbuxx_bxor_vbuyy < vbuxx=vbuxx_bxor_vbuyy - clobber:A X Y  cycles:20.5
-CANNOT SYNTHESIZE vbuz1=pbuz1_derefidx_vbuyy_bxor_vbuyy
+  lda ({z1}),y
+  tay
+  sty $ff
+  txa
+  eor $ff
+  tax
+  stx {z1}
+synthesized vbuz1=pbuz1_derefidx_vbuyy_bxor_vbuyy < vbuz1=vbuyy_bxor_pbuz1_derefidx_vbuyy < vbuz1=vbuyy_bxor_vbuaa < vbuz1=vbuyy_bxor_vbuxx < vbuz1=vbuxx_bxor_vbuyy < vbum1=vbuxx_bxor_vbuyy < vbuxx=vbuxx_bxor_vbuyy - clobber:A X   cycles:20.5
+  lda ({z1}),y
+  tax
+  sty $ff
+  txa
+  eor $ff
+  tax
+  stx {z1}
 CANNOT SYNTHESIZE vbuz1=pbuz1_derefidx_vbuyy_minus_vbuz1
 synthesized vbuz1=pbuz1_derefidx_vbuyy_plus_vbuz2 < vbuz1=vbuz2_plus_pbuz1_derefidx_vbuyy < vbuz1=vbuz2_plus_vbuaa < vbuz1=vbuaa_plus_vbuz2 < vbum1=vbuaa_plus_vbuz2 < vbuaa=vbuaa_plus_vbuz1 < vbuaa=vbuaa_plus_vbum1 - clobber:A   cycles:13.5
   lda ({z1}),y
@@ -1734,8 +1870,28 @@ synthesized vbuz1=pbuz1_derefidx_vbuyy_bor_pbuz1_derefidx_vbuaa < vbuz1=pbuz1_de
   stx $ff
   ora $ff
   sta {z1}
-CANNOT SYNTHESIZE vbuz1=pbuz1_derefidx_vbuyy_bxor_pbuz1_derefidx_vbuxx
+synthesized vbuz1=pbuz1_derefidx_vbuyy_bxor_pbuz1_derefidx_vbuxx < vbuz1=pbuz1_derefidx_vbuxx_bxor_pbuz1_derefidx_vbuyy < vbuz1=pbuz1_derefidx_vbuxx_bxor_vbuaa < vbuz1=pbuz1_derefidx_vbuyy_bxor_vbuaa < vbuz1=pbuz1_derefidx_vbuyy_bxor_vbuxx < vbuz1=vbuxx_bxor_pbuz1_derefidx_vbuyy < vbuz1=vbuxx_bxor_vbuaa < vbuz1=vbuxx_bxor_vbuyy < vbum1=vbuxx_bxor_vbuyy < vbuxx=vbuxx_bxor_vbuyy - clobber:A X Y  cycles:34.0
-CANNOT SYNTHESIZE vbuz1=pbuz1_derefidx_vbuyy_bxor_pbuz1_derefidx_vbuyy
+  lda ({z1}),y
+  stx $ff
+  ldy $ff
+  tax
+  lda ({z1}),y
+  tay
+  sty $ff
+  txa
+  eor $ff
+  tax
+  stx {z1}
+synthesized vbuz1=pbuz1_derefidx_vbuyy_bxor_pbuz1_derefidx_vbuyy < vbuz1=pbuz1_derefidx_vbuyy_bxor_vbuaa < vbuz1=pbuz1_derefidx_vbuyy_bxor_vbuxx < vbuz1=vbuxx_bxor_pbuz1_derefidx_vbuyy < vbuz1=vbuxx_bxor_vbuaa < vbuz1=vbuxx_bxor_vbuyy < vbum1=vbuxx_bxor_vbuyy < vbuxx=vbuxx_bxor_vbuyy - clobber:A X Y  cycles:28.0
+  lda ({z1}),y
+  tax
+  lda ({z1}),y
+  tay
+  sty $ff
+  txa
+  eor $ff
+  tax
+  stx {z1}
 CANNOT SYNTHESIZE vbuz1=pbuz1_derefidx_vbuyy_minus_pbuz1_derefidx_vbuz1
 synthesized vbuz1=pbuz1_derefidx_vbuyy_plus_pbuz1_derefidx_vbuz2 < vbuz1=pbuz1_derefidx_vbuyy_plus_pbuz1_derefidx_vbum2 < vbuz1=pbuz1_derefidx_vbum2_plus_pbuz1_derefidx_vbuyy < vbuz1=pbuz1_derefidx_vbum2_plus_vbuaa < vbuz1=pbuz1_derefidx_vbuyy_plus_vbuaa < vbuz1=pbuz1_derefidx_vbuyy_plus_vbuxx < vbuz1=vbuxx_plus_pbuz1_derefidx_vbuyy < vbuz1=vbuxx_plus_vbuaa < vbuz1=vbuaa_plus_vbuxx < vbum1=vbuaa_plus_vbuxx < vbuaa=vbuaa_plus_vbuxx - clobber:A X Y  cycles:27.0
   lda ({z1}),y
@@ -1847,8 +2003,26 @@ synthesized vbuz1=pbuz1_derefidx_vbuz2_bor_vbuaa < vbuz1=vbuaa_bor_pbuz1_derefid
   stx $ff
   ora $ff
   sta {z1}
-CANNOT SYNTHESIZE vbuz1=pbuz1_derefidx_vbuz2_bxor_vbuxx
+synthesized vbuz1=pbuz1_derefidx_vbuz2_bxor_vbuxx < vbuz1=pbuz1_derefidx_vbum2_bxor_vbuxx < vbuz1=pbuz1_derefidx_vbuyy_bxor_vbuxx < vbuz1=vbuxx_bxor_pbuz1_derefidx_vbuyy < vbuz1=vbuxx_bxor_vbuaa < vbuz1=vbuxx_bxor_vbuyy < vbum1=vbuxx_bxor_vbuyy < vbuxx=vbuxx_bxor_vbuyy - clobber:A X Y  cycles:23.5
-CANNOT SYNTHESIZE vbuz1=pbuz1_derefidx_vbuz2_bxor_vbuyy
+  ldy {z2}
+  lda ({z1}),y
+  tay
+  sty $ff
+  txa
+  eor $ff
+  tax
+  stx {z1}
+synthesized vbuz1=pbuz1_derefidx_vbuz2_bxor_vbuyy < vbuz1=pbuz1_derefidx_vbuz2_bxor_vbuaa < vbuz1=pbuz1_derefidx_vbum2_bxor_vbuaa < vbuz1=pbuz1_derefidx_vbuyy_bxor_vbuaa < vbuz1=pbuz1_derefidx_vbuyy_bxor_vbuxx < vbuz1=vbuxx_bxor_pbuz1_derefidx_vbuyy < vbuz1=vbuxx_bxor_vbuaa < vbuz1=vbuxx_bxor_vbuyy < vbum1=vbuxx_bxor_vbuyy < vbuxx=vbuxx_bxor_vbuyy - clobber:A X Y  cycles:27.5
+  tya
+  ldy {z2}
+  tax
+  lda ({z1}),y
+  tay
+  sty $ff
+  txa
+  eor $ff
+  tax
+  stx {z1}
 CANNOT SYNTHESIZE vbuz1=pbuz1_derefidx_vbuz2_minus_vbuz1
 synthesized vbuz1=pbuz1_derefidx_vbuz2_plus_vbuz2 < vbuz1=pbuz1_derefidx_vbum2_plus_vbum2 < vbuz1=pbuz1_derefidx_vbuyy_plus_vbum2 < vbuz1=vbum2_plus_pbuz1_derefidx_vbuyy < vbuz1=vbum2_plus_vbuaa < vbuz1=vbuaa_plus_vbum2 < vbum1=vbuaa_plus_vbum2 < vbuaa=vbuaa_plus_vbum1 - clobber:A Y  cycles:16.5
   ldy {z2}
@@ -1884,7 +2058,18 @@ synthesized vbuz1=pbuz1_derefidx_vbuz2_bxor__deref_pbuc1 < vbuz1=pbuz1_derefidx_
   lda ({z1}),y
   eor {c1}
   sta {z1}
-CANNOT SYNTHESIZE vbuz1=pbuz1_derefidx_vbuz2_bxor_pbuz1_derefidx_vbuaa
+synthesized vbuz1=pbuz1_derefidx_vbuz2_bxor_pbuz1_derefidx_vbuaa < vbuz1=pbuz1_derefidx_vbuz2_bxor_pbuz1_derefidx_vbuyy < vbuz1=pbuz1_derefidx_vbum2_bxor_pbuz1_derefidx_vbuyy < vbuz1=pbuz1_derefidx_vbum2_bxor_vbuaa < vbuz1=pbuz1_derefidx_vbuyy_bxor_vbuaa < vbuz1=pbuz1_derefidx_vbuyy_bxor_vbuxx < vbuz1=vbuxx_bxor_pbuz1_derefidx_vbuyy < vbuz1=vbuxx_bxor_vbuaa < vbuz1=vbuxx_bxor_vbuyy < vbum1=vbuxx_bxor_vbuyy < vbuxx=vbuxx_bxor_vbuyy - clobber:A X Y  cycles:33.0
+  tay
+  lda ({z1}),y
+  ldy {z2}
+  tax
+  lda ({z1}),y
+  tay
+  sty $ff
+  txa
+  eor $ff
+  tax
+  stx {z1}
 CANNOT SYNTHESIZE vbuz1=pbuz1_derefidx_vbuz2_minus_pbuz1_derefidx_vbuxx
 synthesized vbuz1=pbuz1_derefidx_vbuz2_plus_pbuz1_derefidx_vbuyy < vbuz1=pbuz1_derefidx_vbuz2_plus_vbuaa < vbuz1=pbuz1_derefidx_vbum2_plus_vbuaa < vbuz1=pbuz1_derefidx_vbuyy_plus_vbuaa < vbuz1=pbuz1_derefidx_vbuyy_plus_vbuxx < vbuz1=vbuxx_plus_pbuz1_derefidx_vbuyy < vbuz1=vbuxx_plus_vbuaa < vbuz1=vbuaa_plus_vbuxx < vbum1=vbuaa_plus_vbuxx < vbuaa=vbuaa_plus_vbuxx - clobber:A X Y  cycles:27.0
   lda ({z1}),y
@@ -2013,7 +2198,17 @@ synthesized vbuz1=pbuz1_derefidx_vbuc1_bor_vbuxx < vbuz1=vbuxx_bor_pbuz1_derefid
   stx $ff
   ora $ff
   sta {z1}
-CANNOT SYNTHESIZE vbuz1=pbuz1_derefidx_vbuc1_bxor_vbuyy
+synthesized vbuz1=pbuz1_derefidx_vbuc1_bxor_vbuyy < vbuz1=vbuyy_bxor_pbuz1_derefidx_vbuc1 < vbuz1=vbuaa_bxor_pbuz1_derefidx_vbuc1 < vbuz1=vbuaa_bxor_pbuz1_derefidx_vbuyy < vbuz1=vbuxx_bxor_pbuz1_derefidx_vbuyy < vbuz1=vbuxx_bxor_vbuaa < vbuz1=vbuxx_bxor_vbuyy < vbum1=vbuxx_bxor_vbuyy < vbuxx=vbuxx_bxor_vbuyy - clobber:A X Y  cycles:26.5
+  tya
+  ldy #{c1}
+  tax
+  lda ({z1}),y
+  tay
+  sty $ff
+  txa
+  eor $ff
+  tax
+  stx {z1}
 CANNOT SYNTHESIZE vbuz1=pbuz1_derefidx_vbuc1_minus_vbuz1
 CANNOT SYNTHESIZE vbuz1=pbuz1_derefidx_vbuc1_minus_vbuz2
 synthesized vbuz1=pbuz1_derefidx_vbuc1_plus__deref_pbuz1 < vbuz1=_deref_pbuz1_plus_pbuz1_derefidx_vbuc1 < vbuz1=vbuaa_plus_pbuz1_derefidx_vbuc1 < vbuz1=vbuaa_plus_pbuz1_derefidx_vbuyy < vbuz1=vbuxx_plus_pbuz1_derefidx_vbuyy < vbuz1=vbuxx_plus_vbuaa < vbuz1=vbuaa_plus_vbuxx < vbum1=vbuaa_plus_vbuxx < vbuaa=vbuaa_plus_vbuxx - clobber:A X Y  cycles:28.0
@@ -2045,7 +2240,19 @@ synthesized vbuz1=pbuz1_derefidx_vbuc1_bor_pbuz1_derefidx_vbuaa < vbuz1=pbuz1_de
   stx $ff
   ora $ff
   sta {z1}
-CANNOT SYNTHESIZE vbuz1=pbuz1_derefidx_vbuc1_bxor_pbuz1_derefidx_vbuxx
+synthesized vbuz1=pbuz1_derefidx_vbuc1_bxor_pbuz1_derefidx_vbuxx < vbuz1=pbuz1_derefidx_vbuc1_bxor_pbuz1_derefidx_vbuaa < vbuz1=pbuz1_derefidx_vbuc1_bxor_pbuz1_derefidx_vbuyy < vbuz1=pbuz1_derefidx_vbuc1_bxor_vbuaa < vbuz1=vbuaa_bxor_pbuz1_derefidx_vbuc1 < vbuz1=vbuaa_bxor_pbuz1_derefidx_vbuyy < vbuz1=vbuxx_bxor_pbuz1_derefidx_vbuyy < vbuz1=vbuxx_bxor_vbuaa < vbuz1=vbuxx_bxor_vbuyy < vbum1=vbuxx_bxor_vbuyy < vbuxx=vbuxx_bxor_vbuyy - clobber:A X Y  cycles:34.0
+  txa
+  tay
+  lda ({z1}),y
+  ldy #{c1}
+  tax
+  lda ({z1}),y
+  tay
+  sty $ff
+  txa
+  eor $ff
+  tax
+  stx {z1}
 CANNOT SYNTHESIZE vbuz1=pbuz1_derefidx_vbuc1_minus_pbuz1_derefidx_vbuyy
 CANNOT SYNTHESIZE vbuz1=pbuz1_derefidx_vbuc1_minus_pbuz1_derefidx_vbuz1
 synthesized vbuz1=pbuz1_derefidx_vbuc1_plus_pbuz1_derefidx_vbuz2 < vbuz1=pbuz1_derefidx_vbuc1_plus_pbuz1_derefidx_vbum2 < vbuz1=pbuz1_derefidx_vbum2_plus_pbuz1_derefidx_vbuc1 < vbuz1=pbuz1_derefidx_vbum2_plus_pbuz1_derefidx_vbuyy < vbuz1=pbuz1_derefidx_vbum2_plus_vbuaa < vbuz1=pbuz1_derefidx_vbuyy_plus_vbuaa < vbuz1=pbuz1_derefidx_vbuyy_plus_vbuxx < vbuz1=vbuxx_plus_pbuz1_derefidx_vbuyy < vbuz1=vbuxx_plus_vbuaa < vbuz1=vbuaa_plus_vbuxx < vbum1=vbuaa_plus_vbuxx < vbuaa=vbuaa_plus_vbuxx - clobber:A X Y  cycles:29.0