diff --git a/src/main/java/dk/camelot64/kickc/test/ref/bresenham.asm b/src/main/java/dk/camelot64/kickc/test/ref/bresenham.asm
index c95a38cdf..552979881 100644
--- a/src/main/java/dk/camelot64/kickc/test/ref/bresenham.asm
+++ b/src/main/java/dk/camelot64/kickc/test/ref/bresenham.asm
@@ -45,6 +45,6 @@ B2:
   lda 5
   sec
   sbc #39
-B3_from_B2:
   sta 5
+B3_from_B2:
   jmp B3
diff --git a/src/main/java/dk/camelot64/kickc/test/ref/bresenham.log b/src/main/java/dk/camelot64/kickc/test/ref/bresenham.log
index 2b24b46fc..c07ba72d5 100644
--- a/src/main/java/dk/camelot64/kickc/test/ref/bresenham.log
+++ b/src/main/java/dk/camelot64/kickc/test/ref/bresenham.log
@@ -1046,11 +1046,6 @@ Initial phi equivalence classes
 [ x#2 x#1 ]
 [ e#3 e#5 e#1 e#2 ]
 [ y#2 y#4 y#1 ]
-Copy Coalesced equivalence classes
-[ cursor#3 cursor#5 cursor#1 cursor#2 ]
-[ x#2 x#1 ]
-[ e#3 e#5 e#1 e#2 ]
-[ y#2 y#4 y#1 ]
 Complete equivalence classes
 [ cursor#3 cursor#5 cursor#1 cursor#2 ]
 [ x#2 x#1 ]
@@ -1093,11 +1088,11 @@ zp byte:4 [ x#2 x#1 ]
 zp byte:5 [ e#3 e#5 e#1 e#2 ]
 zp byte:6 [ y#2 y#4 y#1 ]
 
-Re-allocated ZP register from zp ptr byte:2 to zp ptr byte:2
-Re-allocated ZP register from zp byte:4 to zp byte:4
-Re-allocated ZP register from zp byte:5 to zp byte:5
-Re-allocated ZP register from zp byte:6 to zp byte:6
-Uplifting of variable (byte) e#2 to A
+Uplifting max weight 55.0 live range equivalence class zp byte:5 [ e#3 e#5 e#1 e#2 ]
+Uplift to reg byte a resulted in clobber.
+Register Cycles: reg byte x 78
+Uplift to reg byte x succesfull.
+Uplift to reg byte y resulted in clobber.
 REGISTER UPLIFTING
 (byte[1000]) SCREEN
 (byte) STAR
@@ -1108,7 +1103,7 @@ REGISTER UPLIFTING
 (byte*) cursor#5 zp ptr byte:2 16.5
 (byte) e
 (byte) e#1 zp byte:5 11.0
-(byte) e#2 reg byte a 22.0
+(byte) e#2 zp byte:5 22.0
 (byte) e#3 zp byte:5 5.5
 (byte) e#5 zp byte:5 16.5
 (byte) x
@@ -1198,14 +1193,14 @@ B2:
   bcc !+
   inc 2+1
 !:
-  // [10] (byte) e#2 ← (byte) e#1 - (byte) 39 [ x#1 cursor#2 e#2 y#1 ]  //  aby=zpby1_minus_coby1
+  // [10] (byte) e#2 ← (byte) e#1 - (byte) 39 [ x#1 cursor#2 e#2 y#1 ]  //  zpby1=zpby1_minus_coby1
   lda 5
   sec
   sbc #39
+  sta 5
 B3_from_B2:
   // (byte) y#4 = (byte) y#1  // register copy zp byte:6
-  // (byte) e#5 = (byte) e#2  // zpby1=aby
-  sta 5
+  // (byte) e#5 = (byte) e#2  // register copy zp byte:5
   // (byte*) cursor#5 = (byte*) cursor#2  // register copy zp ptr byte:2
   jmp B3
 
@@ -1278,14 +1273,14 @@ B2:
   bcc !+
   inc 2+1
 !:
-  // [10] (byte) e#2 ← (byte) e#1 - (byte) 39 [ x#1 cursor#2 e#2 y#1 ]  //  aby=zpby1_minus_coby1
+  // [10] (byte) e#2 ← (byte) e#1 - (byte) 39 [ x#1 cursor#2 e#2 y#1 ]  //  zpby1=zpby1_minus_coby1
   lda 5
   sec
   sbc #39
+  sta 5
 B3_from_B2:
   // (byte) y#4 = (byte) y#1  // register copy zp byte:6
-  // (byte) e#5 = (byte) e#2  // zpby1=aby
-  sta 5
+  // (byte) e#5 = (byte) e#2  // register copy zp byte:5
   // (byte*) cursor#5 = (byte*) cursor#2  // register copy zp ptr byte:2
   jmp B3
 
@@ -1355,14 +1350,14 @@ B2:
   bcc !+
   inc 2+1
 !:
-  // [10] (byte) e#2 ← (byte) e#1 - (byte) 39 [ x#1 cursor#2 e#2 y#1 ]  //  aby=zpby1_minus_coby1
+  // [10] (byte) e#2 ← (byte) e#1 - (byte) 39 [ x#1 cursor#2 e#2 y#1 ]  //  zpby1=zpby1_minus_coby1
   lda 5
   sec
   sbc #39
+  sta 5
 B3_from_B2:
   // (byte) y#4 = (byte) y#1  // register copy zp byte:6
-  // (byte) e#5 = (byte) e#2  // zpby1=aby
-  sta 5
+  // (byte) e#5 = (byte) e#2  // register copy zp byte:5
   // (byte*) cursor#5 = (byte*) cursor#2  // register copy zp ptr byte:2
   jmp B3
 
@@ -1381,7 +1376,7 @@ FINAL SYMBOL TABLE
 (byte*) cursor#5 zp ptr byte:2 16.5
 (byte) e
 (byte) e#1 zp byte:5 11.0
-(byte) e#2 reg byte a 22.0
+(byte) e#2 zp byte:5 22.0
 (byte) e#3 zp byte:5 5.5
 (byte) e#5 zp byte:5 16.5
 (byte) x
@@ -1467,14 +1462,14 @@ B2:
   bcc !+
   inc 2+1
 !:
-  // [10] (byte) e#2 ← (byte) e#1 - (byte) 39 [ x#1 cursor#2 e#2 y#1 ]  //  aby=zpby1_minus_coby1
+  // [10] (byte) e#2 ← (byte) e#1 - (byte) 39 [ x#1 cursor#2 e#2 y#1 ]  //  zpby1=zpby1_minus_coby1
   lda 5
   sec
   sbc #39
+  sta 5
 B3_from_B2:
   // (byte) y#4 = (byte) y#1  // register copy zp byte:6
-  // (byte) e#5 = (byte) e#2  // zpby1=aby
-  sta 5
+  // (byte) e#5 = (byte) e#2  // register copy zp byte:5
   // (byte*) cursor#5 = (byte*) cursor#2  // register copy zp ptr byte:2
   jmp B3
 
diff --git a/src/main/java/dk/camelot64/kickc/test/ref/bresenham.sym b/src/main/java/dk/camelot64/kickc/test/ref/bresenham.sym
index 53827ef69..b97506144 100644
--- a/src/main/java/dk/camelot64/kickc/test/ref/bresenham.sym
+++ b/src/main/java/dk/camelot64/kickc/test/ref/bresenham.sym
@@ -12,7 +12,7 @@
 (byte*) cursor#5 zp ptr byte:2 16.5
 (byte) e
 (byte) e#1 zp byte:5 11.0
-(byte) e#2 reg byte a 22.0
+(byte) e#2 zp byte:5 22.0
 (byte) e#3 zp byte:5 5.5
 (byte) e#5 zp byte:5 16.5
 (byte) x
diff --git a/src/main/java/dk/camelot64/kickc/test/ref/fibmem.asm b/src/main/java/dk/camelot64/kickc/test/ref/fibmem.asm
index 69e3fe08b..23294e759 100644
--- a/src/main/java/dk/camelot64/kickc/test/ref/fibmem.asm
+++ b/src/main/java/dk/camelot64/kickc/test/ref/fibmem.asm
@@ -13,10 +13,12 @@ B1:
   sta 3
   ldx 2
   lda 4353,x
-  clc
-  adc 3
-  sta 3
+  sta 4
   lda 3
+  clc
+  adc 4
+  sta 5
+  lda 5
   ldx 2
   sta 4354,x
   inc 2
diff --git a/src/main/java/dk/camelot64/kickc/test/ref/fibmem.log b/src/main/java/dk/camelot64/kickc/test/ref/fibmem.log
index 0c78f6b82..d1e0d0c70 100644
--- a/src/main/java/dk/camelot64/kickc/test/ref/fibmem.log
+++ b/src/main/java/dk/camelot64/kickc/test/ref/fibmem.log
@@ -417,18 +417,18 @@ Loop head: @1 tails: @1 blocks: @1  depth: 1
 
 Initial phi equivalence classes
 [ i#2 i#1 ]
-Copy Coalesced equivalence classes
-[ i#2 i#1 ]
 Added variable $1 to zero page equivalence class [ $1 ]
 Added variable $3 to zero page equivalence class [ $3 ]
-Added variable $4 to zero page equivalence class [ $1 $4 ]
+Added variable $4 to zero page equivalence class [ $4 ]
 Complete equivalence classes
 [ i#2 i#1 ]
-[ $1 $4 ]
+[ $1 ]
 [ $3 ]
+[ $4 ]
 Allocated zp byte:2 to zp byte:2 [ i#2 i#1 ]
-Allocated zp byte:3 to zp byte:3 [ $1 $4 ]
+Allocated zp byte:3 to zp byte:3 [ $1 ]
 Allocated zp byte:4 to zp byte:4 [ $3 ]
+Allocated zp byte:5 to zp byte:5 [ $4 ]
 
 VARIABLE REGISTER WEIGHTS
 (byte~) $1 11.0
@@ -440,26 +440,31 @@ VARIABLE REGISTER WEIGHTS
 (byte) i#2 11.0
 
 zp byte:2 [ i#2 i#1 ]
-zp byte:3 [ $1 $4 ]
+zp byte:3 [ $1 ]
 zp byte:4 [ $3 ]
+zp byte:5 [ $4 ]
 
-Re-allocated ZP register from zp byte:2 to zp byte:2
-Re-allocated ZP register from zp byte:3 to zp byte:3
-Re-allocated ZP register from zp byte:4 to zp byte:4
-Uplifting of variable (byte~) $3 to A
+Uplifting max weight 27.5 live range equivalence class zp byte:2 [ i#2 i#1 ]
+Uplift to reg byte a resulted in clobber.
+Register Cycles: reg byte x 39
+Uplift to reg byte x succesfull.
+Register Cycles: reg byte y 39
+Uplift to reg byte y succesfull.
 REGISTER UPLIFTING
 (byte~) $1 zp byte:3 11.0
-(byte~) $3 reg byte a 22.0
-(byte~) $4 zp byte:3 22.0
+(byte~) $3 zp byte:4 22.0
+(byte~) $4 zp byte:5 22.0
 (byte[15]) fibs
 (byte) i
 (byte) i#1 zp byte:2 16.5
 (byte) i#2 zp byte:2 11.0
 
 zp byte:2 [ i#2 i#1 ]
-zp byte:3 [ $1 $4 ]
+zp byte:3 [ $1 ]
 zp byte:4 [ $3 ]
+zp byte:5 [ $4 ]
 
+Coalescing zero page register [ zp byte:3 [ $1 ] ] with [ zp byte:5 [ $4 ] ]
 INITIAL ASM
 BBEGIN:
   // [0] *((word) 4352) ← (byte) 0 [ ]  //  _star_cowo1=coby2
@@ -481,15 +486,17 @@ B1:
   ldx 2
   lda 4352,x
   sta 3
-  // [4] (byte~) $3 ← (word) 4353 *idx (byte) i#2 [ i#2 $1 $3 ]  //  aby=cowo1_staridx_zpby1
+  // [4] (byte~) $3 ← (word) 4353 *idx (byte) i#2 [ i#2 $1 $3 ]  //  zpby1=cowo1_staridx_zpby2
   ldx 2
   lda 4353,x
-  // [5] (byte~) $4 ← (byte~) $1 + (byte~) $3 [ i#2 $4 ]  //  zpby1=zpby1_plus_aby
-  clc
-  adc 3
-  sta 3
-  // [6] *((word) 4354 + (byte) i#2) ← (byte~) $4 [ i#2 ]  //  cowo1_staridx_zpby1=zpby2
+  sta 4
+  // [5] (byte~) $4 ← (byte~) $1 + (byte~) $3 [ i#2 $4 ]  //  zpby1=zpby2_plus_zpby3
   lda 3
+  clc
+  adc 4
+  sta 5
+  // [6] *((word) 4354 + (byte) i#2) ← (byte~) $4 [ i#2 ]  //  cowo1_staridx_zpby1=zpby2
+  lda 5
   ldx 2
   sta 4354,x
   // [7] (byte) i#1 ← (byte) i#2 + (byte) 1 [ i#1 ]  //  zpby1=zpby1_plus_1
@@ -524,15 +531,17 @@ B1:
   ldx 2
   lda 4352,x
   sta 3
-  // [4] (byte~) $3 ← (word) 4353 *idx (byte) i#2 [ i#2 $1 $3 ]  //  aby=cowo1_staridx_zpby1
+  // [4] (byte~) $3 ← (word) 4353 *idx (byte) i#2 [ i#2 $1 $3 ]  //  zpby1=cowo1_staridx_zpby2
   ldx 2
   lda 4353,x
-  // [5] (byte~) $4 ← (byte~) $1 + (byte~) $3 [ i#2 $4 ]  //  zpby1=zpby1_plus_aby
-  clc
-  adc 3
-  sta 3
-  // [6] *((word) 4354 + (byte) i#2) ← (byte~) $4 [ i#2 ]  //  cowo1_staridx_zpby1=zpby2
+  sta 4
+  // [5] (byte~) $4 ← (byte~) $1 + (byte~) $3 [ i#2 $4 ]  //  zpby1=zpby2_plus_zpby3
   lda 3
+  clc
+  adc 4
+  sta 5
+  // [6] *((word) 4354 + (byte) i#2) ← (byte~) $4 [ i#2 ]  //  cowo1_staridx_zpby1=zpby2
+  lda 5
   ldx 2
   sta 4354,x
   // [7] (byte) i#1 ← (byte) i#2 + (byte) 1 [ i#1 ]  //  zpby1=zpby1_plus_1
@@ -564,15 +573,17 @@ B1:
   ldx 2
   lda 4352,x
   sta 3
-  // [4] (byte~) $3 ← (word) 4353 *idx (byte) i#2 [ i#2 $1 $3 ]  //  aby=cowo1_staridx_zpby1
+  // [4] (byte~) $3 ← (word) 4353 *idx (byte) i#2 [ i#2 $1 $3 ]  //  zpby1=cowo1_staridx_zpby2
   ldx 2
   lda 4353,x
-  // [5] (byte~) $4 ← (byte~) $1 + (byte~) $3 [ i#2 $4 ]  //  zpby1=zpby1_plus_aby
-  clc
-  adc 3
-  sta 3
-  // [6] *((word) 4354 + (byte) i#2) ← (byte~) $4 [ i#2 ]  //  cowo1_staridx_zpby1=zpby2
+  sta 4
+  // [5] (byte~) $4 ← (byte~) $1 + (byte~) $3 [ i#2 $4 ]  //  zpby1=zpby2_plus_zpby3
   lda 3
+  clc
+  adc 4
+  sta 5
+  // [6] *((word) 4354 + (byte) i#2) ← (byte~) $4 [ i#2 ]  //  cowo1_staridx_zpby1=zpby2
+  lda 5
   ldx 2
   sta 4354,x
   // [7] (byte) i#1 ← (byte) i#2 + (byte) 1 [ i#1 ]  //  zpby1=zpby1_plus_1
@@ -585,8 +596,8 @@ BEND:
 
 FINAL SYMBOL TABLE
 (byte~) $1 zp byte:3 11.0
-(byte~) $3 reg byte a 22.0
-(byte~) $4 zp byte:3 22.0
+(byte~) $3 zp byte:4 22.0
+(byte~) $4 zp byte:5 22.0
 (label) @1
 (label) @BEGIN
 (label) @END
@@ -618,15 +629,17 @@ B1:
   ldx 2
   lda 4352,x
   sta 3
-  // [4] (byte~) $3 ← (word) 4353 *idx (byte) i#2 [ i#2 $1 $3 ]  //  aby=cowo1_staridx_zpby1
+  // [4] (byte~) $3 ← (word) 4353 *idx (byte) i#2 [ i#2 $1 $3 ]  //  zpby1=cowo1_staridx_zpby2
   ldx 2
   lda 4353,x
-  // [5] (byte~) $4 ← (byte~) $1 + (byte~) $3 [ i#2 $4 ]  //  zpby1=zpby1_plus_aby
-  clc
-  adc 3
-  sta 3
-  // [6] *((word) 4354 + (byte) i#2) ← (byte~) $4 [ i#2 ]  //  cowo1_staridx_zpby1=zpby2
+  sta 4
+  // [5] (byte~) $4 ← (byte~) $1 + (byte~) $3 [ i#2 $4 ]  //  zpby1=zpby2_plus_zpby3
   lda 3
+  clc
+  adc 4
+  sta 5
+  // [6] *((word) 4354 + (byte) i#2) ← (byte~) $4 [ i#2 ]  //  cowo1_staridx_zpby1=zpby2
+  lda 5
   ldx 2
   sta 4354,x
   // [7] (byte) i#1 ← (byte) i#2 + (byte) 1 [ i#1 ]  //  zpby1=zpby1_plus_1
diff --git a/src/main/java/dk/camelot64/kickc/test/ref/fibmem.sym b/src/main/java/dk/camelot64/kickc/test/ref/fibmem.sym
index 3d6dcb41e..4c90b1078 100644
--- a/src/main/java/dk/camelot64/kickc/test/ref/fibmem.sym
+++ b/src/main/java/dk/camelot64/kickc/test/ref/fibmem.sym
@@ -1,6 +1,6 @@
 (byte~) $1 zp byte:3 11.0
-(byte~) $3 reg byte a 22.0
-(byte~) $4 zp byte:3 22.0
+(byte~) $3 zp byte:4 22.0
+(byte~) $4 zp byte:5 22.0
 (label) @1
 (label) @BEGIN
 (label) @END
diff --git a/src/main/java/dk/camelot64/kickc/test/ref/flipper-rex2.asm b/src/main/java/dk/camelot64/kickc/test/ref/flipper-rex2.asm
index 9cd65edbd..ddb79a3a1 100644
--- a/src/main/java/dk/camelot64/kickc/test/ref/flipper-rex2.asm
+++ b/src/main/java/dk/camelot64/kickc/test/ref/flipper-rex2.asm
@@ -14,6 +14,8 @@ main__B3_from_B3:
 main__B3_from_B6:
 main__B3:
   lda 53266
+  sta 14
+  lda 14
   cmp #254
   bne main__B3_from_B3
 main__B4:
diff --git a/src/main/java/dk/camelot64/kickc/test/ref/flipper-rex2.log b/src/main/java/dk/camelot64/kickc/test/ref/flipper-rex2.log
index 5786e6134..5487a237d 100644
--- a/src/main/java/dk/camelot64/kickc/test/ref/flipper-rex2.log
+++ b/src/main/java/dk/camelot64/kickc/test/ref/flipper-rex2.log
@@ -4028,18 +4028,6 @@ Initial phi equivalence classes
 [ flip::c#2 flip::c#1 ]
 [ flip::i#2 flip::i#1 ]
 [ prepare::i#2 prepare::i#1 ]
-Copy Coalesced equivalence classes
-[ main::c#2 main::c#1 ]
-[ plot::line#2 plot::line#1 ]
-[ plot::y#2 plot::y#1 ]
-[ plot::i#2 plot::i#3 plot::i#1 ]
-[ plot::x#2 plot::x#1 ]
-[ flip::r#2 flip::r#1 ]
-[ flip::srcIdx#2 flip::srcIdx#3 flip::srcIdx#1 ]
-[ flip::dstIdx#3 flip::dstIdx#5 flip::dstIdx#2 flip::dstIdx#1 ]
-[ flip::c#2 flip::c#1 ]
-[ flip::i#2 flip::i#1 ]
-[ prepare::i#2 prepare::i#1 ]
 Added variable main::$1 to zero page equivalence class [ main::$1 ]
 Added variable main::$3 to zero page equivalence class [ main::$3 ]
 Added variable plot::$3 to zero page equivalence class [ plot::$3 ]
@@ -4148,23 +4136,11 @@ zp byte:16 [ plot::$3 ]
 zp byte:17 [ flip::$0 ]
 zp byte:18 [ flip::$4 ]
 
-Re-allocated ZP register from zp byte:2 to zp byte:2
-Re-allocated ZP register from zp ptr byte:3 to zp ptr byte:3
-Re-allocated ZP register from zp byte:5 to zp byte:5
-Re-allocated ZP register from zp byte:6 to zp byte:6
-Re-allocated ZP register from zp byte:7 to zp byte:7
-Re-allocated ZP register from zp byte:8 to zp byte:8
-Re-allocated ZP register from zp byte:9 to zp byte:9
-Re-allocated ZP register from zp byte:10 to zp byte:10
-Re-allocated ZP register from zp byte:11 to zp byte:11
-Re-allocated ZP register from zp byte:12 to zp byte:12
-Re-allocated ZP register from zp byte:13 to zp byte:13
-Re-allocated ZP register from zp byte:14 to zp byte:14
-Re-allocated ZP register from zp byte:15 to zp byte:15
-Re-allocated ZP register from zp byte:16 to zp byte:16
-Re-allocated ZP register from zp byte:17 to zp byte:17
-Re-allocated ZP register from zp byte:18 to zp byte:18
-Uplifting of variable (byte~) main::$1 to A
+Uplifting max weight 2252.25 live range equivalence class zp byte:7 [ plot::x#2 plot::x#1 ]
+Uplift to reg byte a resulted in clobber.
+Uplift to reg byte x resulted in clobber.
+Register Cycles: reg byte y 30
+Uplift to reg byte y succesfull.
 REGISTER UPLIFTING
 (byte*) RASTER
 (byte[1000]) SCREEN
@@ -4192,7 +4168,7 @@ REGISTER UPLIFTING
 (byte) flip::srcIdx#2 zp byte:9 1034.6666666666667
 (byte) flip::srcIdx#3 zp byte:9 202.0
 (void()) main()
-(byte~) main::$1 reg byte a 2002.0
+(byte~) main::$1 zp byte:14 2002.0
 (byte~) main::$3 zp byte:15 2002.0
 (byte) main::c
 (byte) main::c#1 zp byte:2 151.5
@@ -4267,9 +4243,11 @@ main__B3_from_B6:
   // (byte) main::c#2 = (byte) main::c#1  // register copy zp byte:2
   jmp main__B3
 main__B3:
-  // [3] (byte~) main::$1 ← * (word) 53266 [ main::$1 main::c#2 ]  //  aby=_star_cowo1
+  // [3] (byte~) main::$1 ← * (word) 53266 [ main::$1 main::c#2 ]  //  zpby1=_star_cowo1
   lda 53266
-  // [4] if((byte~) main::$1!=(byte) 254) goto main::@3 [ main::c#2 ]  //  aby_neq_coby1_then_la1
+  sta 14
+  // [4] if((byte~) main::$1!=(byte) 254) goto main::@3 [ main::c#2 ]  //  zpby1_neq_coby1_then_la1
+  lda 14
   cmp #254
   bne main__B3_from_B3
   jmp main__B4
@@ -4515,9 +4493,11 @@ main__B3_from_B3:
 main__B3_from_B6:
   // (byte) main::c#2 = (byte) main::c#1  // register copy zp byte:2
 main__B3:
-  // [3] (byte~) main::$1 ← * (word) 53266 [ main::$1 main::c#2 ]  //  aby=_star_cowo1
+  // [3] (byte~) main::$1 ← * (word) 53266 [ main::$1 main::c#2 ]  //  zpby1=_star_cowo1
   lda 53266
-  // [4] if((byte~) main::$1!=(byte) 254) goto main::@3 [ main::c#2 ]  //  aby_neq_coby1_then_la1
+  sta 14
+  // [4] if((byte~) main::$1!=(byte) 254) goto main::@3 [ main::c#2 ]  //  zpby1_neq_coby1_then_la1
+  lda 14
   cmp #254
   bne main__B3_from_B3
 main__B4:
@@ -4733,9 +4713,11 @@ main__B3_from_B3:
 main__B3_from_B6:
   // (byte) main::c#2 = (byte) main::c#1  // register copy zp byte:2
 main__B3:
-  // [3] (byte~) main::$1 ← * (word) 53266 [ main::$1 main::c#2 ]  //  aby=_star_cowo1
+  // [3] (byte~) main::$1 ← * (word) 53266 [ main::$1 main::c#2 ]  //  zpby1=_star_cowo1
   lda 53266
-  // [4] if((byte~) main::$1!=(byte) 254) goto main::@3 [ main::c#2 ]  //  aby_neq_coby1_then_la1
+  sta 14
+  // [4] if((byte~) main::$1!=(byte) 254) goto main::@3 [ main::c#2 ]  //  zpby1_neq_coby1_then_la1
+  lda 14
   cmp #254
   bne main__B3_from_B3
 main__B4:
@@ -4938,9 +4920,11 @@ main__B3_from_B3:
 main__B3_from_B6:
   // (byte) main::c#2 = (byte) main::c#1  // register copy zp byte:2
 main__B3:
-  // [3] (byte~) main::$1 ← * (word) 53266 [ main::$1 main::c#2 ]  //  aby=_star_cowo1
+  // [3] (byte~) main::$1 ← * (word) 53266 [ main::$1 main::c#2 ]  //  zpby1=_star_cowo1
   lda 53266
-  // [4] if((byte~) main::$1!=(byte) 254) goto main::@3 [ main::c#2 ]  //  aby_neq_coby1_then_la1
+  sta 14
+  // [4] if((byte~) main::$1!=(byte) 254) goto main::@3 [ main::c#2 ]  //  zpby1_neq_coby1_then_la1
+  lda 14
   cmp #254
   bne main__B3_from_B3
 main__B4:
@@ -5156,7 +5140,7 @@ FINAL SYMBOL TABLE
 (byte) flip::srcIdx#2 zp byte:9 1034.6666666666667
 (byte) flip::srcIdx#3 zp byte:9 202.0
 (void()) main()
-(byte~) main::$1 reg byte a 2002.0
+(byte~) main::$1 zp byte:14 2002.0
 (byte~) main::$3 zp byte:15 2002.0
 (label) main::@10
 (label) main::@11
@@ -5220,9 +5204,11 @@ main__B3_from_B3:
 main__B3_from_B6:
   // (byte) main::c#2 = (byte) main::c#1  // register copy zp byte:2
 main__B3:
-  // [3] (byte~) main::$1 ← * (word) 53266 [ main::$1 main::c#2 ]  //  aby=_star_cowo1
+  // [3] (byte~) main::$1 ← * (word) 53266 [ main::$1 main::c#2 ]  //  zpby1=_star_cowo1
   lda 53266
-  // [4] if((byte~) main::$1!=(byte) 254) goto main::@3 [ main::c#2 ]  //  aby_neq_coby1_then_la1
+  sta 14
+  // [4] if((byte~) main::$1!=(byte) 254) goto main::@3 [ main::c#2 ]  //  zpby1_neq_coby1_then_la1
+  lda 14
   cmp #254
   bne main__B3_from_B3
 main__B4:
diff --git a/src/main/java/dk/camelot64/kickc/test/ref/flipper-rex2.sym b/src/main/java/dk/camelot64/kickc/test/ref/flipper-rex2.sym
index 5a7d1cded..b8f2df9f1 100644
--- a/src/main/java/dk/camelot64/kickc/test/ref/flipper-rex2.sym
+++ b/src/main/java/dk/camelot64/kickc/test/ref/flipper-rex2.sym
@@ -31,7 +31,7 @@
 (byte) flip::srcIdx#2 zp byte:9 1034.6666666666667
 (byte) flip::srcIdx#3 zp byte:9 202.0
 (void()) main()
-(byte~) main::$1 reg byte a 2002.0
+(byte~) main::$1 zp byte:14 2002.0
 (byte~) main::$3 zp byte:15 2002.0
 (label) main::@10
 (label) main::@11
diff --git a/src/main/java/dk/camelot64/kickc/test/ref/loopmin.asm b/src/main/java/dk/camelot64/kickc/test/ref/loopmin.asm
index 032a9f155..c02177b2f 100644
--- a/src/main/java/dk/camelot64/kickc/test/ref/loopmin.asm
+++ b/src/main/java/dk/camelot64/kickc/test/ref/loopmin.asm
@@ -21,6 +21,6 @@ B2:
   lda 3
   clc
   adc 2
-B3_from_B2:
   sta 3
+B3_from_B2:
   jmp B3
diff --git a/src/main/java/dk/camelot64/kickc/test/ref/loopmin.log b/src/main/java/dk/camelot64/kickc/test/ref/loopmin.log
index 7b35bd6b7..39f11698f 100644
--- a/src/main/java/dk/camelot64/kickc/test/ref/loopmin.log
+++ b/src/main/java/dk/camelot64/kickc/test/ref/loopmin.log
@@ -363,9 +363,6 @@ Loop head: @1 tails: @3 blocks: @3 @1 @2  depth: 1
 Initial phi equivalence classes
 [ i#2 i#1 ]
 [ s#2 s#4 s#1 ]
-Copy Coalesced equivalence classes
-[ i#2 i#1 ]
-[ s#2 s#4 s#1 ]
 Complete equivalence classes
 [ i#2 i#1 ]
 [ s#2 s#4 s#1 ]
@@ -384,15 +381,18 @@ VARIABLE REGISTER WEIGHTS
 zp byte:2 [ i#2 i#1 ]
 zp byte:3 [ s#2 s#4 s#1 ]
 
-Re-allocated ZP register from zp byte:2 to zp byte:2
-Re-allocated ZP register from zp byte:3 to zp byte:3
-Uplifting of variable (byte) s#1 to A
+Uplifting max weight 49.5 live range equivalence class zp byte:3 [ s#2 s#4 s#1 ]
+Uplift to reg byte a resulted in clobber.
+Register Cycles: reg byte x 28
+Uplift to reg byte x succesfull.
+Register Cycles: reg byte y 28
+Uplift to reg byte y succesfull.
 REGISTER UPLIFTING
 (byte) i
 (byte) i#1 zp byte:2 16.5
 (byte) i#2 zp byte:2 11.0
 (byte) s
-(byte) s#1 reg byte a 22.0
+(byte) s#1 zp byte:3 22.0
 (byte) s#2 zp byte:3 16.5
 (byte) s#4 zp byte:3 11.0
 
@@ -432,13 +432,13 @@ B3:
   jmp BEND
 BEND:
 B2:
-  // [5] (byte) s#1 ← (byte) s#2 + (byte) i#2 [ i#2 s#1 ]  //  aby=zpby1_plus_zpby2
+  // [5] (byte) s#1 ← (byte) s#2 + (byte) i#2 [ i#2 s#1 ]  //  zpby1=zpby1_plus_zpby2
   lda 3
   clc
   adc 2
-B3_from_B2:
-  // (byte) s#4 = (byte) s#1  // zpby1=aby
   sta 3
+B3_from_B2:
+  // (byte) s#4 = (byte) s#1  // register copy zp byte:3
   jmp B3
 
 Removing instruction jmp B1
@@ -475,13 +475,13 @@ B3:
   bne B1_from_B3
 BEND:
 B2:
-  // [5] (byte) s#1 ← (byte) s#2 + (byte) i#2 [ i#2 s#1 ]  //  aby=zpby1_plus_zpby2
+  // [5] (byte) s#1 ← (byte) s#2 + (byte) i#2 [ i#2 s#1 ]  //  zpby1=zpby1_plus_zpby2
   lda 3
   clc
   adc 2
-B3_from_B2:
-  // (byte) s#4 = (byte) s#1  // zpby1=aby
   sta 3
+B3_from_B2:
+  // (byte) s#4 = (byte) s#1  // register copy zp byte:3
   jmp B3
 
 Removing instruction jmp B1
@@ -515,13 +515,13 @@ B3:
   bne B1_from_B3
 BEND:
 B2:
-  // [5] (byte) s#1 ← (byte) s#2 + (byte) i#2 [ i#2 s#1 ]  //  aby=zpby1_plus_zpby2
+  // [5] (byte) s#1 ← (byte) s#2 + (byte) i#2 [ i#2 s#1 ]  //  zpby1=zpby1_plus_zpby2
   lda 3
   clc
   adc 2
-B3_from_B2:
-  // (byte) s#4 = (byte) s#1  // zpby1=aby
   sta 3
+B3_from_B2:
+  // (byte) s#4 = (byte) s#1  // register copy zp byte:3
   jmp B3
 
 FINAL SYMBOL TABLE
@@ -534,7 +534,7 @@ FINAL SYMBOL TABLE
 (byte) i#1 zp byte:2 16.5
 (byte) i#2 zp byte:2 11.0
 (byte) s
-(byte) s#1 reg byte a 22.0
+(byte) s#1 zp byte:3 22.0
 (byte) s#2 zp byte:3 16.5
 (byte) s#4 zp byte:3 11.0
 
@@ -570,12 +570,12 @@ B3:
   bne B1_from_B3
 BEND:
 B2:
-  // [5] (byte) s#1 ← (byte) s#2 + (byte) i#2 [ i#2 s#1 ]  //  aby=zpby1_plus_zpby2
+  // [5] (byte) s#1 ← (byte) s#2 + (byte) i#2 [ i#2 s#1 ]  //  zpby1=zpby1_plus_zpby2
   lda 3
   clc
   adc 2
-B3_from_B2:
-  // (byte) s#4 = (byte) s#1  // zpby1=aby
   sta 3
+B3_from_B2:
+  // (byte) s#4 = (byte) s#1  // register copy zp byte:3
   jmp B3
 
diff --git a/src/main/java/dk/camelot64/kickc/test/ref/loopmin.sym b/src/main/java/dk/camelot64/kickc/test/ref/loopmin.sym
index 5e5550c88..278cd587b 100644
--- a/src/main/java/dk/camelot64/kickc/test/ref/loopmin.sym
+++ b/src/main/java/dk/camelot64/kickc/test/ref/loopmin.sym
@@ -7,7 +7,7 @@
 (byte) i#1 zp byte:2 16.5
 (byte) i#2 zp byte:2 11.0
 (byte) s
-(byte) s#1 reg byte a 22.0
+(byte) s#1 zp byte:3 22.0
 (byte) s#2 zp byte:3 16.5
 (byte) s#4 zp byte:3 11.0
 
diff --git a/src/main/java/dk/camelot64/kickc/test/ref/loopnest.asm b/src/main/java/dk/camelot64/kickc/test/ref/loopnest.asm
index 93ce282b7..2d7dc2a63 100644
--- a/src/main/java/dk/camelot64/kickc/test/ref/loopnest.asm
+++ b/src/main/java/dk/camelot64/kickc/test/ref/loopnest.asm
@@ -18,16 +18,12 @@ nest:
 nest__B1_from_nest:
   lda #100
   sta 3
-  jmp nest__B1
 nest__B1_from_B1:
-  sta 3
 nest__B1:
   lda 3
   sta 1024
+  dec 3
   lda 3
-  sec
-  sbc #1
-  cmp #0
   bne nest__B1_from_B1
 nest__Breturn:
   rts
diff --git a/src/main/java/dk/camelot64/kickc/test/ref/loopnest.log b/src/main/java/dk/camelot64/kickc/test/ref/loopnest.log
index 0a15a0511..bf0abe07d 100644
--- a/src/main/java/dk/camelot64/kickc/test/ref/loopnest.log
+++ b/src/main/java/dk/camelot64/kickc/test/ref/loopnest.log
@@ -711,9 +711,6 @@ Loop head: nest::@1 tails: nest::@1 blocks: nest::@1  depth: 2
 Initial phi equivalence classes
 [ main::i#2 main::i#1 ]
 [ nest::j#2 nest::j#1 ]
-Copy Coalesced equivalence classes
-[ main::i#2 main::i#1 ]
-[ nest::j#2 nest::j#1 ]
 Complete equivalence classes
 [ main::i#2 main::i#1 ]
 [ nest::j#2 nest::j#1 ]
@@ -734,9 +731,13 @@ VARIABLE REGISTER WEIGHTS
 zp byte:2 [ main::i#2 main::i#1 ]
 zp byte:3 [ nest::j#2 nest::j#1 ]
 
-Re-allocated ZP register from zp byte:2 to zp byte:2
-Re-allocated ZP register from zp byte:3 to zp byte:3
-Uplifting of variable (byte) nest::j#1 to A
+Uplifting max weight 303.0 live range equivalence class zp byte:3 [ nest::j#2 nest::j#1 ]
+Register Cycles: reg byte a 12
+Uplift to reg byte a succesfull.
+Register Cycles: reg byte x 10
+Uplift to reg byte x succesfull.
+Register Cycles: reg byte y 10
+Uplift to reg byte y succesfull.
 REGISTER UPLIFTING
 (byte*) SCREEN
 (void()) main()
@@ -745,7 +746,7 @@ REGISTER UPLIFTING
 (byte) main::i#2 zp byte:2 3.142857142857143
 (void()) nest()
 (byte) nest::j
-(byte) nest::j#1 reg byte a 151.5
+(byte) nest::j#1 zp byte:3 151.5
 (byte) nest::j#2 zp byte:3 151.5
 
 zp byte:2 [ main::i#2 main::i#1 ]
@@ -784,19 +785,16 @@ nest__B1_from_nest:
   sta 3
   jmp nest__B1
 nest__B1_from_B1:
-  // (byte) nest::j#2 = (byte) nest::j#1  // zpby1=aby
-  sta 3
+  // (byte) nest::j#2 = (byte) nest::j#1  // register copy zp byte:3
   jmp nest__B1
 nest__B1:
   // [7] *((word) 1024) ← (byte) nest::j#2 [ main::i#2 nest::j#2 ]  //  _star_cowo1=zpby1
   lda 3
   sta 1024
-  // [8] (byte) nest::j#1 ← -- (byte) nest::j#2 [ main::i#2 nest::j#1 ]  //  aby=_dec_zpby1
+  // [8] (byte) nest::j#1 ← -- (byte) nest::j#2 [ main::i#2 nest::j#1 ]  //  zpby1=_dec_zpby1
+  dec 3
+  // [9] if((byte) nest::j#1>(byte) 0) goto nest::@1 [ main::i#2 nest::j#1 ]  //  zpby1_gt_0_then_la1
   lda 3
-  sec
-  sbc #1
-  // [9] if((byte) nest::j#1>(byte) 0) goto nest::@1 [ main::i#2 nest::j#1 ]  //  aby_gt_0_then_la1
-  cmp #0
   bne nest__B1_from_B1
   jmp nest__Breturn
 nest__Breturn:
@@ -838,23 +836,21 @@ nest__B1_from_nest:
   sta 3
   jmp nest__B1
 nest__B1_from_B1:
-  // (byte) nest::j#2 = (byte) nest::j#1  // zpby1=aby
-  sta 3
+  // (byte) nest::j#2 = (byte) nest::j#1  // register copy zp byte:3
 nest__B1:
   // [7] *((word) 1024) ← (byte) nest::j#2 [ main::i#2 nest::j#2 ]  //  _star_cowo1=zpby1
   lda 3
   sta 1024
-  // [8] (byte) nest::j#1 ← -- (byte) nest::j#2 [ main::i#2 nest::j#1 ]  //  aby=_dec_zpby1
+  // [8] (byte) nest::j#1 ← -- (byte) nest::j#2 [ main::i#2 nest::j#1 ]  //  zpby1=_dec_zpby1
+  dec 3
+  // [9] if((byte) nest::j#1>(byte) 0) goto nest::@1 [ main::i#2 nest::j#1 ]  //  zpby1_gt_0_then_la1
   lda 3
-  sec
-  sbc #1
-  // [9] if((byte) nest::j#1>(byte) 0) goto nest::@1 [ main::i#2 nest::j#1 ]  //  aby_gt_0_then_la1
-  cmp #0
   bne nest__B1_from_B1
 nest__Breturn:
   rts
 
 Removing instruction jmp main__B1
+Removing instruction jmp nest__B1
 Succesful ASM optimization Pass5NextJumpElimination
 ASSEMBLER
 BBEGIN:
@@ -882,20 +878,16 @@ nest__B1_from_nest:
   // (byte) nest::j#2 = (byte) 100  // zpby1=coby1
   lda #100
   sta 3
-  jmp nest__B1
 nest__B1_from_B1:
-  // (byte) nest::j#2 = (byte) nest::j#1  // zpby1=aby
-  sta 3
+  // (byte) nest::j#2 = (byte) nest::j#1  // register copy zp byte:3
 nest__B1:
   // [7] *((word) 1024) ← (byte) nest::j#2 [ main::i#2 nest::j#2 ]  //  _star_cowo1=zpby1
   lda 3
   sta 1024
-  // [8] (byte) nest::j#1 ← -- (byte) nest::j#2 [ main::i#2 nest::j#1 ]  //  aby=_dec_zpby1
+  // [8] (byte) nest::j#1 ← -- (byte) nest::j#2 [ main::i#2 nest::j#1 ]  //  zpby1=_dec_zpby1
+  dec 3
+  // [9] if((byte) nest::j#1>(byte) 0) goto nest::@1 [ main::i#2 nest::j#1 ]  //  zpby1_gt_0_then_la1
   lda 3
-  sec
-  sbc #1
-  // [9] if((byte) nest::j#1>(byte) 0) goto nest::@1 [ main::i#2 nest::j#1 ]  //  aby_gt_0_then_la1
-  cmp #0
   bne nest__B1_from_B1
 nest__Breturn:
   rts
@@ -915,7 +907,7 @@ FINAL SYMBOL TABLE
 (label) nest::@1
 (label) nest::@return
 (byte) nest::j
-(byte) nest::j#1 reg byte a 151.5
+(byte) nest::j#1 zp byte:3 151.5
 (byte) nest::j#2 zp byte:3 151.5
 
 zp byte:2 [ main::i#2 main::i#1 ]
@@ -947,20 +939,16 @@ nest__B1_from_nest:
   // (byte) nest::j#2 = (byte) 100  // zpby1=coby1
   lda #100
   sta 3
-  jmp nest__B1
 nest__B1_from_B1:
-  // (byte) nest::j#2 = (byte) nest::j#1  // zpby1=aby
-  sta 3
+  // (byte) nest::j#2 = (byte) nest::j#1  // register copy zp byte:3
 nest__B1:
   // [7] *((word) 1024) ← (byte) nest::j#2 [ main::i#2 nest::j#2 ]  //  _star_cowo1=zpby1
   lda 3
   sta 1024
-  // [8] (byte) nest::j#1 ← -- (byte) nest::j#2 [ main::i#2 nest::j#1 ]  //  aby=_dec_zpby1
+  // [8] (byte) nest::j#1 ← -- (byte) nest::j#2 [ main::i#2 nest::j#1 ]  //  zpby1=_dec_zpby1
+  dec 3
+  // [9] if((byte) nest::j#1>(byte) 0) goto nest::@1 [ main::i#2 nest::j#1 ]  //  zpby1_gt_0_then_la1
   lda 3
-  sec
-  sbc #1
-  // [9] if((byte) nest::j#1>(byte) 0) goto nest::@1 [ main::i#2 nest::j#1 ]  //  aby_gt_0_then_la1
-  cmp #0
   bne nest__B1_from_B1
 nest__Breturn:
   rts
diff --git a/src/main/java/dk/camelot64/kickc/test/ref/loopnest.sym b/src/main/java/dk/camelot64/kickc/test/ref/loopnest.sym
index 800c8ec88..717de8585 100644
--- a/src/main/java/dk/camelot64/kickc/test/ref/loopnest.sym
+++ b/src/main/java/dk/camelot64/kickc/test/ref/loopnest.sym
@@ -12,7 +12,7 @@
 (label) nest::@1
 (label) nest::@return
 (byte) nest::j
-(byte) nest::j#1 reg byte a 151.5
+(byte) nest::j#1 zp byte:3 151.5
 (byte) nest::j#2 zp byte:3 151.5
 
 zp byte:2 [ main::i#2 main::i#1 ]
diff --git a/src/main/java/dk/camelot64/kickc/test/ref/loopnest2.asm b/src/main/java/dk/camelot64/kickc/test/ref/loopnest2.asm
index f995f6804..3dd0d9ec0 100644
--- a/src/main/java/dk/camelot64/kickc/test/ref/loopnest2.asm
+++ b/src/main/java/dk/camelot64/kickc/test/ref/loopnest2.asm
@@ -54,16 +54,12 @@ nest2__B1:
 nest2__B2_from_B1:
   lda #100
   sta 7
-  jmp nest2__B2
 nest2__B2_from_B2:
-  sta 7
 nest2__B2:
   lda 7
   sta 1024
+  dec 7
   lda 7
-  sec
-  sbc #1
-  cmp #0
   bne nest2__B2_from_B2
 nest2__B3:
   dec 6
diff --git a/src/main/java/dk/camelot64/kickc/test/ref/loopnest2.log b/src/main/java/dk/camelot64/kickc/test/ref/loopnest2.log
index 73f78a1c8..7f3df11d5 100644
--- a/src/main/java/dk/camelot64/kickc/test/ref/loopnest2.log
+++ b/src/main/java/dk/camelot64/kickc/test/ref/loopnest2.log
@@ -1797,13 +1797,6 @@ Initial phi equivalence classes
 [ nest1::j#2 nest1::j#1 ]
 [ nest2::i#2 nest2::i#1 ]
 [ nest2::j#2 nest2::j#1 ]
-Copy Coalesced equivalence classes
-[ main::i#2 main::i#1 ]
-[ main::j#2 main::j#1 ]
-[ nest1::i#2 nest1::i#1 ]
-[ nest1::j#2 nest1::j#1 ]
-[ nest2::i#2 nest2::i#1 ]
-[ nest2::j#2 nest2::j#1 ]
 Complete equivalence classes
 [ main::i#2 main::i#1 ]
 [ main::j#2 main::j#1 ]
@@ -1849,13 +1842,13 @@ zp byte:5 [ nest1::j#2 nest1::j#1 ]
 zp byte:6 [ nest2::i#2 nest2::i#1 ]
 zp byte:7 [ nest2::j#2 nest2::j#1 ]
 
-Re-allocated ZP register from zp byte:2 to zp byte:2
-Re-allocated ZP register from zp byte:3 to zp byte:3
-Re-allocated ZP register from zp byte:4 to zp byte:4
-Re-allocated ZP register from zp byte:5 to zp byte:5
-Re-allocated ZP register from zp byte:6 to zp byte:6
-Re-allocated ZP register from zp byte:7 to zp byte:7
-Uplifting of variable (byte) nest2::j#1 to A
+Uplifting max weight 3000003.0 live range equivalence class zp byte:7 [ nest2::j#2 nest2::j#1 ]
+Register Cycles: reg byte a 12
+Uplift to reg byte a succesfull.
+Register Cycles: reg byte x 10
+Uplift to reg byte x succesfull.
+Register Cycles: reg byte y 10
+Uplift to reg byte y succesfull.
 REGISTER UPLIFTING
 (byte*) SCREEN
 (void()) main()
@@ -1877,7 +1870,7 @@ REGISTER UPLIFTING
 (byte) nest2::i#1 zp byte:6 150001.5
 (byte) nest2::i#2 zp byte:6 40000.4
 (byte) nest2::j
-(byte) nest2::j#1 reg byte a 1500001.5
+(byte) nest2::j#1 zp byte:7 1500001.5
 (byte) nest2::j#2 zp byte:7 1500001.5
 
 zp byte:2 [ main::i#2 main::i#1 ]
@@ -1982,19 +1975,16 @@ nest2__B2_from_B1:
   sta 7
   jmp nest2__B2
 nest2__B2_from_B2:
-  // (byte) nest2::j#2 = (byte) nest2::j#1  // zpby1=aby
-  sta 7
+  // (byte) nest2::j#2 = (byte) nest2::j#1  // register copy zp byte:7
   jmp nest2__B2
 nest2__B2:
   // [19] *((word) 1024) ← (byte) nest2::j#2 [ main::j#2 main::i#2 nest1::j#2 nest1::i#2 nest2::j#2 nest2::i#2 ]  //  _star_cowo1=zpby1
   lda 7
   sta 1024
-  // [20] (byte) nest2::j#1 ← -- (byte) nest2::j#2 [ main::j#2 main::i#2 nest1::j#2 nest1::i#2 nest2::j#1 nest2::i#2 ]  //  aby=_dec_zpby1
+  // [20] (byte) nest2::j#1 ← -- (byte) nest2::j#2 [ main::j#2 main::i#2 nest1::j#2 nest1::i#2 nest2::j#1 nest2::i#2 ]  //  zpby1=_dec_zpby1
+  dec 7
+  // [21] if((byte) nest2::j#1>(byte) 0) goto nest2::@2 [ main::j#2 main::i#2 nest1::j#2 nest1::i#2 nest2::j#1 nest2::i#2 ]  //  zpby1_gt_0_then_la1
   lda 7
-  sec
-  sbc #1
-  // [21] if((byte) nest2::j#1>(byte) 0) goto nest2::@2 [ main::j#2 main::i#2 nest1::j#2 nest1::i#2 nest2::j#1 nest2::i#2 ]  //  aby_gt_0_then_la1
-  cmp #0
   bne nest2__B2_from_B2
   jmp nest2__B3
 nest2__B3:
@@ -2106,18 +2096,15 @@ nest2__B2_from_B1:
   sta 7
   jmp nest2__B2
 nest2__B2_from_B2:
-  // (byte) nest2::j#2 = (byte) nest2::j#1  // zpby1=aby
-  sta 7
+  // (byte) nest2::j#2 = (byte) nest2::j#1  // register copy zp byte:7
 nest2__B2:
   // [19] *((word) 1024) ← (byte) nest2::j#2 [ main::j#2 main::i#2 nest1::j#2 nest1::i#2 nest2::j#2 nest2::i#2 ]  //  _star_cowo1=zpby1
   lda 7
   sta 1024
-  // [20] (byte) nest2::j#1 ← -- (byte) nest2::j#2 [ main::j#2 main::i#2 nest1::j#2 nest1::i#2 nest2::j#1 nest2::i#2 ]  //  aby=_dec_zpby1
+  // [20] (byte) nest2::j#1 ← -- (byte) nest2::j#2 [ main::j#2 main::i#2 nest1::j#2 nest1::i#2 nest2::j#1 nest2::i#2 ]  //  zpby1=_dec_zpby1
+  dec 7
+  // [21] if((byte) nest2::j#1>(byte) 0) goto nest2::@2 [ main::j#2 main::i#2 nest1::j#2 nest1::i#2 nest2::j#1 nest2::i#2 ]  //  zpby1_gt_0_then_la1
   lda 7
-  sec
-  sbc #1
-  // [21] if((byte) nest2::j#1>(byte) 0) goto nest2::@2 [ main::j#2 main::i#2 nest1::j#2 nest1::i#2 nest2::j#1 nest2::i#2 ]  //  aby_gt_0_then_la1
-  cmp #0
   bne nest2__B2_from_B2
 nest2__B3:
   // [22] (byte) nest2::i#1 ← -- (byte) nest2::i#2 [ main::j#2 main::i#2 nest1::j#2 nest1::i#2 nest2::i#1 ]  //  zpby1=_dec_zpby1
@@ -2133,6 +2120,7 @@ Removing instruction jmp main__B2
 Removing instruction jmp nest1__B1
 Removing instruction jmp nest1__B2
 Removing instruction jmp nest2__B1
+Removing instruction jmp nest2__B2
 Succesful ASM optimization Pass5NextJumpElimination
 ASSEMBLER
 BBEGIN:
@@ -2210,20 +2198,16 @@ nest2__B2_from_B1:
   // (byte) nest2::j#2 = (byte) 100  // zpby1=coby1
   lda #100
   sta 7
-  jmp nest2__B2
 nest2__B2_from_B2:
-  // (byte) nest2::j#2 = (byte) nest2::j#1  // zpby1=aby
-  sta 7
+  // (byte) nest2::j#2 = (byte) nest2::j#1  // register copy zp byte:7
 nest2__B2:
   // [19] *((word) 1024) ← (byte) nest2::j#2 [ main::j#2 main::i#2 nest1::j#2 nest1::i#2 nest2::j#2 nest2::i#2 ]  //  _star_cowo1=zpby1
   lda 7
   sta 1024
-  // [20] (byte) nest2::j#1 ← -- (byte) nest2::j#2 [ main::j#2 main::i#2 nest1::j#2 nest1::i#2 nest2::j#1 nest2::i#2 ]  //  aby=_dec_zpby1
+  // [20] (byte) nest2::j#1 ← -- (byte) nest2::j#2 [ main::j#2 main::i#2 nest1::j#2 nest1::i#2 nest2::j#1 nest2::i#2 ]  //  zpby1=_dec_zpby1
+  dec 7
+  // [21] if((byte) nest2::j#1>(byte) 0) goto nest2::@2 [ main::j#2 main::i#2 nest1::j#2 nest1::i#2 nest2::j#1 nest2::i#2 ]  //  zpby1_gt_0_then_la1
   lda 7
-  sec
-  sbc #1
-  // [21] if((byte) nest2::j#1>(byte) 0) goto nest2::@2 [ main::j#2 main::i#2 nest1::j#2 nest1::i#2 nest2::j#1 nest2::i#2 ]  //  aby_gt_0_then_la1
-  cmp #0
   bne nest2__B2_from_B2
 nest2__B3:
   // [22] (byte) nest2::i#1 ← -- (byte) nest2::i#2 [ main::j#2 main::i#2 nest1::j#2 nest1::i#2 nest2::i#1 ]  //  zpby1=_dec_zpby1
@@ -2271,7 +2255,7 @@ FINAL SYMBOL TABLE
 (byte) nest2::i#1 zp byte:6 150001.5
 (byte) nest2::i#2 zp byte:6 40000.4
 (byte) nest2::j
-(byte) nest2::j#1 reg byte a 1500001.5
+(byte) nest2::j#1 zp byte:7 1500001.5
 (byte) nest2::j#2 zp byte:7 1500001.5
 
 zp byte:2 [ main::i#2 main::i#1 ]
@@ -2357,20 +2341,16 @@ nest2__B2_from_B1:
   // (byte) nest2::j#2 = (byte) 100  // zpby1=coby1
   lda #100
   sta 7
-  jmp nest2__B2
 nest2__B2_from_B2:
-  // (byte) nest2::j#2 = (byte) nest2::j#1  // zpby1=aby
-  sta 7
+  // (byte) nest2::j#2 = (byte) nest2::j#1  // register copy zp byte:7
 nest2__B2:
   // [19] *((word) 1024) ← (byte) nest2::j#2 [ main::j#2 main::i#2 nest1::j#2 nest1::i#2 nest2::j#2 nest2::i#2 ]  //  _star_cowo1=zpby1
   lda 7
   sta 1024
-  // [20] (byte) nest2::j#1 ← -- (byte) nest2::j#2 [ main::j#2 main::i#2 nest1::j#2 nest1::i#2 nest2::j#1 nest2::i#2 ]  //  aby=_dec_zpby1
+  // [20] (byte) nest2::j#1 ← -- (byte) nest2::j#2 [ main::j#2 main::i#2 nest1::j#2 nest1::i#2 nest2::j#1 nest2::i#2 ]  //  zpby1=_dec_zpby1
+  dec 7
+  // [21] if((byte) nest2::j#1>(byte) 0) goto nest2::@2 [ main::j#2 main::i#2 nest1::j#2 nest1::i#2 nest2::j#1 nest2::i#2 ]  //  zpby1_gt_0_then_la1
   lda 7
-  sec
-  sbc #1
-  // [21] if((byte) nest2::j#1>(byte) 0) goto nest2::@2 [ main::j#2 main::i#2 nest1::j#2 nest1::i#2 nest2::j#1 nest2::i#2 ]  //  aby_gt_0_then_la1
-  cmp #0
   bne nest2__B2_from_B2
 nest2__B3:
   // [22] (byte) nest2::i#1 ← -- (byte) nest2::i#2 [ main::j#2 main::i#2 nest1::j#2 nest1::i#2 nest2::i#1 ]  //  zpby1=_dec_zpby1
diff --git a/src/main/java/dk/camelot64/kickc/test/ref/loopnest2.sym b/src/main/java/dk/camelot64/kickc/test/ref/loopnest2.sym
index e12e5ec54..56df4f4ab 100644
--- a/src/main/java/dk/camelot64/kickc/test/ref/loopnest2.sym
+++ b/src/main/java/dk/camelot64/kickc/test/ref/loopnest2.sym
@@ -34,7 +34,7 @@
 (byte) nest2::i#1 zp byte:6 150001.5
 (byte) nest2::i#2 zp byte:6 40000.4
 (byte) nest2::j
-(byte) nest2::j#1 reg byte a 1500001.5
+(byte) nest2::j#1 zp byte:7 1500001.5
 (byte) nest2::j#2 zp byte:7 1500001.5
 
 zp byte:2 [ main::i#2 main::i#1 ]
diff --git a/src/main/java/dk/camelot64/kickc/test/ref/loopsplit.asm b/src/main/java/dk/camelot64/kickc/test/ref/loopsplit.asm
index e5dd31e8e..a7a6bc7ad 100644
--- a/src/main/java/dk/camelot64/kickc/test/ref/loopsplit.asm
+++ b/src/main/java/dk/camelot64/kickc/test/ref/loopsplit.asm
@@ -6,8 +6,8 @@ main__B1_from_main:
   lda #0
   sta 3
   lda #100
-main__B1:
   sta 2
+main__B1:
   dec 2
   lda 2
   bne main__B2
@@ -22,10 +22,8 @@ main__B2:
 main__B5:
   dec 3
 main__B1_from_B5:
-  lda 2
   jmp main__B1
 main__B4:
   inc 3
 main__B1_from_B4:
-  lda 2
   jmp main__B1
diff --git a/src/main/java/dk/camelot64/kickc/test/ref/loopsplit.log b/src/main/java/dk/camelot64/kickc/test/ref/loopsplit.log
index 418485745..f18caf8e3 100644
--- a/src/main/java/dk/camelot64/kickc/test/ref/loopsplit.log
+++ b/src/main/java/dk/camelot64/kickc/test/ref/loopsplit.log
@@ -516,9 +516,6 @@ Loop head: main::@1 tails: main::@5 main::@4 blocks: main::@5 main::@2 main::@1
 Initial phi equivalence classes
 [ main::i#2 main::i#1 ]
 [ main::s#3 main::s#1 main::s#2 ]
-Copy Coalesced equivalence classes
-[ main::i#2 main::i#1 ]
-[ main::s#3 main::s#1 main::s#2 ]
 Complete equivalence classes
 [ main::i#2 main::i#1 ]
 [ main::s#3 main::s#1 main::s#2 ]
@@ -538,14 +535,17 @@ VARIABLE REGISTER WEIGHTS
 zp byte:2 [ main::i#2 main::i#1 ]
 zp byte:3 [ main::s#3 main::s#1 main::s#2 ]
 
-Re-allocated ZP register from zp byte:2 to zp byte:2
-Re-allocated ZP register from zp byte:3 to zp byte:3
-Uplifting of variable (byte) main::i#2 to A
+Uplifting max weight 55.0 live range equivalence class zp byte:3 [ main::s#3 main::s#1 main::s#2 ]
+Uplift to reg byte a resulted in clobber.
+Register Cycles: reg byte x 23
+Uplift to reg byte x succesfull.
+Register Cycles: reg byte y 23
+Uplift to reg byte y succesfull.
 REGISTER UPLIFTING
 (void()) main()
 (byte) main::i
 (byte) main::i#1 zp byte:2 11.0
-(byte) main::i#2 reg byte a 33.0
+(byte) main::i#2 zp byte:2 33.0
 (byte) main::s
 (byte) main::s#1 zp byte:3 22.0
 (byte) main::s#2 zp byte:3 22.0
@@ -564,12 +564,12 @@ main__B1_from_main:
   // (byte) main::s#3 = (byte) 0  // zpby1=coby1
   lda #0
   sta 3
-  // (byte) main::i#2 = (byte) 100  // aby=coby1
+  // (byte) main::i#2 = (byte) 100  // zpby1=coby1
   lda #100
+  sta 2
   jmp main__B1
 main__B1:
-  // [2] (byte) main::i#1 ← -- (byte) main::i#2 [ main::i#1 main::s#3 ]  //  zpby1=_dec_aby
-  sta 2
+  // [2] (byte) main::i#1 ← -- (byte) main::i#2 [ main::i#1 main::s#3 ]  //  zpby1=_dec_zpby1
   dec 2
   // [3] if((byte) main::i#1>(byte) 0) goto main::@2 [ main::i#1 main::s#3 ]  //  zpby1_gt_0_then_la1
   lda 2
@@ -590,16 +590,14 @@ main__B5:
   dec 3
 main__B1_from_B5:
   // (byte) main::s#3 = (byte) main::s#2  // register copy zp byte:3
-  // (byte) main::i#2 = (byte) main::i#1  // aby=zpby1
-  lda 2
+  // (byte) main::i#2 = (byte) main::i#1  // register copy zp byte:2
   jmp main__B1
 main__B4:
   // [7] (byte) main::s#1 ← ++ (byte) main::s#3 [ main::i#1 main::s#1 ]  //  zpby1=_inc_zpby1
   inc 3
 main__B1_from_B4:
   // (byte) main::s#3 = (byte) main::s#1  // register copy zp byte:3
-  // (byte) main::i#2 = (byte) main::i#1  // aby=zpby1
-  lda 2
+  // (byte) main::i#2 = (byte) main::i#1  // register copy zp byte:2
   jmp main__B1
 
 Removing instruction jmp BEND
@@ -616,11 +614,11 @@ main__B1_from_main:
   // (byte) main::s#3 = (byte) 0  // zpby1=coby1
   lda #0
   sta 3
-  // (byte) main::i#2 = (byte) 100  // aby=coby1
+  // (byte) main::i#2 = (byte) 100  // zpby1=coby1
   lda #100
-main__B1:
-  // [2] (byte) main::i#1 ← -- (byte) main::i#2 [ main::i#1 main::s#3 ]  //  zpby1=_dec_aby
   sta 2
+main__B1:
+  // [2] (byte) main::i#1 ← -- (byte) main::i#2 [ main::i#1 main::s#3 ]  //  zpby1=_dec_zpby1
   dec 2
   // [3] if((byte) main::i#1>(byte) 0) goto main::@2 [ main::i#1 main::s#3 ]  //  zpby1_gt_0_then_la1
   lda 2
@@ -639,16 +637,14 @@ main__B5:
   dec 3
 main__B1_from_B5:
   // (byte) main::s#3 = (byte) main::s#2  // register copy zp byte:3
-  // (byte) main::i#2 = (byte) main::i#1  // aby=zpby1
-  lda 2
+  // (byte) main::i#2 = (byte) main::i#1  // register copy zp byte:2
   jmp main__B1
 main__B4:
   // [7] (byte) main::s#1 ← ++ (byte) main::s#3 [ main::i#1 main::s#1 ]  //  zpby1=_inc_zpby1
   inc 3
 main__B1_from_B4:
   // (byte) main::s#3 = (byte) main::s#1  // register copy zp byte:3
-  // (byte) main::i#2 = (byte) main::i#1  // aby=zpby1
-  lda 2
+  // (byte) main::i#2 = (byte) main::i#1  // register copy zp byte:2
   jmp main__B1
 
 FINAL SYMBOL TABLE
@@ -662,7 +658,7 @@ FINAL SYMBOL TABLE
 (label) main::@return
 (byte) main::i
 (byte) main::i#1 zp byte:2 11.0
-(byte) main::i#2 reg byte a 33.0
+(byte) main::i#2 zp byte:2 33.0
 (byte) main::s
 (byte) main::s#1 zp byte:3 22.0
 (byte) main::s#2 zp byte:3 22.0
@@ -680,11 +676,11 @@ main__B1_from_main:
   // (byte) main::s#3 = (byte) 0  // zpby1=coby1
   lda #0
   sta 3
-  // (byte) main::i#2 = (byte) 100  // aby=coby1
+  // (byte) main::i#2 = (byte) 100  // zpby1=coby1
   lda #100
-main__B1:
-  // [2] (byte) main::i#1 ← -- (byte) main::i#2 [ main::i#1 main::s#3 ]  //  zpby1=_dec_aby
   sta 2
+main__B1:
+  // [2] (byte) main::i#1 ← -- (byte) main::i#2 [ main::i#1 main::s#3 ]  //  zpby1=_dec_zpby1
   dec 2
   // [3] if((byte) main::i#1>(byte) 0) goto main::@2 [ main::i#1 main::s#3 ]  //  zpby1_gt_0_then_la1
   lda 2
@@ -703,15 +699,13 @@ main__B5:
   dec 3
 main__B1_from_B5:
   // (byte) main::s#3 = (byte) main::s#2  // register copy zp byte:3
-  // (byte) main::i#2 = (byte) main::i#1  // aby=zpby1
-  lda 2
+  // (byte) main::i#2 = (byte) main::i#1  // register copy zp byte:2
   jmp main__B1
 main__B4:
   // [7] (byte) main::s#1 ← ++ (byte) main::s#3 [ main::i#1 main::s#1 ]  //  zpby1=_inc_zpby1
   inc 3
 main__B1_from_B4:
   // (byte) main::s#3 = (byte) main::s#1  // register copy zp byte:3
-  // (byte) main::i#2 = (byte) main::i#1  // aby=zpby1
-  lda 2
+  // (byte) main::i#2 = (byte) main::i#1  // register copy zp byte:2
   jmp main__B1
 
diff --git a/src/main/java/dk/camelot64/kickc/test/ref/loopsplit.sym b/src/main/java/dk/camelot64/kickc/test/ref/loopsplit.sym
index 57f2fd34b..854b511f5 100644
--- a/src/main/java/dk/camelot64/kickc/test/ref/loopsplit.sym
+++ b/src/main/java/dk/camelot64/kickc/test/ref/loopsplit.sym
@@ -8,7 +8,7 @@
 (label) main::@return
 (byte) main::i
 (byte) main::i#1 zp byte:2 11.0
-(byte) main::i#2 reg byte a 33.0
+(byte) main::i#2 zp byte:2 33.0
 (byte) main::s
 (byte) main::s#1 zp byte:3 22.0
 (byte) main::s#2 zp byte:3 22.0
diff --git a/src/main/java/dk/camelot64/kickc/test/ref/minus.asm b/src/main/java/dk/camelot64/kickc/test/ref/minus.asm
index 60bb7e35b..2602ddcc2 100644
--- a/src/main/java/dk/camelot64/kickc/test/ref/minus.asm
+++ b/src/main/java/dk/camelot64/kickc/test/ref/minus.asm
@@ -7,6 +7,8 @@ B1:
   lda 2
   clc
   adc #4
+  sta 3
+  lda 3
   ldx 2
   sta 4352,x
   inc 2
diff --git a/src/main/java/dk/camelot64/kickc/test/ref/minus.log b/src/main/java/dk/camelot64/kickc/test/ref/minus.log
index 597fbc723..f55cdc4a1 100644
--- a/src/main/java/dk/camelot64/kickc/test/ref/minus.log
+++ b/src/main/java/dk/camelot64/kickc/test/ref/minus.log
@@ -292,8 +292,6 @@ Loop head: @1 tails: @1 blocks: @1  depth: 1
 
 Initial phi equivalence classes
 [ i#2 i#1 ]
-Copy Coalesced equivalence classes
-[ i#2 i#1 ]
 Added variable $1 to zero page equivalence class [ $1 ]
 Complete equivalence classes
 [ i#2 i#1 ]
@@ -311,11 +309,14 @@ VARIABLE REGISTER WEIGHTS
 zp byte:2 [ i#2 i#1 ]
 zp byte:3 [ $1 ]
 
-Re-allocated ZP register from zp byte:2 to zp byte:2
-Re-allocated ZP register from zp byte:3 to zp byte:3
-Uplifting of variable (byte~) $1 to A
+Uplifting max weight 31.166666666666664 live range equivalence class zp byte:2 [ i#2 i#1 ]
+Uplift to reg byte a resulted in clobber.
+Register Cycles: reg byte x 23
+Uplift to reg byte x succesfull.
+Register Cycles: reg byte y 23
+Uplift to reg byte y succesfull.
 REGISTER UPLIFTING
-(byte~) $1 reg byte a 22.0
+(byte~) $1 zp byte:3 22.0
 (byte) i
 (byte) i#1 zp byte:2 16.5
 (byte) i#2 zp byte:2 14.666666666666666
@@ -335,11 +336,13 @@ B1_from_B1:
   // (byte) i#2 = (byte) i#1  // register copy zp byte:2
   jmp B1
 B1:
-  // [1] (byte~) $1 ← (byte) i#2 + (byte) 4 [ i#2 $1 ]  //  aby=zpby1_plus_coby1
+  // [1] (byte~) $1 ← (byte) i#2 + (byte) 4 [ i#2 $1 ]  //  zpby1=zpby2_plus_coby1
   lda 2
   clc
   adc #4
-  // [2] *((word) 4352 + (byte) i#2) ← (byte~) $1 [ i#2 ]  //  cowo1_staridx_zpby1=aby
+  sta 3
+  // [2] *((word) 4352 + (byte) i#2) ← (byte~) $1 [ i#2 ]  //  cowo1_staridx_zpby1=zpby2
+  lda 3
   ldx 2
   sta 4352,x
   // [3] (byte) i#1 ← (byte) i#2 + (byte) 1 [ i#1 ]  //  zpby1=zpby1_plus_1
@@ -364,11 +367,13 @@ B1_from_BBEGIN:
 B1_from_B1:
   // (byte) i#2 = (byte) i#1  // register copy zp byte:2
 B1:
-  // [1] (byte~) $1 ← (byte) i#2 + (byte) 4 [ i#2 $1 ]  //  aby=zpby1_plus_coby1
+  // [1] (byte~) $1 ← (byte) i#2 + (byte) 4 [ i#2 $1 ]  //  zpby1=zpby2_plus_coby1
   lda 2
   clc
   adc #4
-  // [2] *((word) 4352 + (byte) i#2) ← (byte~) $1 [ i#2 ]  //  cowo1_staridx_zpby1=aby
+  sta 3
+  // [2] *((word) 4352 + (byte) i#2) ← (byte~) $1 [ i#2 ]  //  cowo1_staridx_zpby1=zpby2
+  lda 3
   ldx 2
   sta 4352,x
   // [3] (byte) i#1 ← (byte) i#2 + (byte) 1 [ i#1 ]  //  zpby1=zpby1_plus_1
@@ -390,11 +395,13 @@ B1_from_BBEGIN:
 B1_from_B1:
   // (byte) i#2 = (byte) i#1  // register copy zp byte:2
 B1:
-  // [1] (byte~) $1 ← (byte) i#2 + (byte) 4 [ i#2 $1 ]  //  aby=zpby1_plus_coby1
+  // [1] (byte~) $1 ← (byte) i#2 + (byte) 4 [ i#2 $1 ]  //  zpby1=zpby2_plus_coby1
   lda 2
   clc
   adc #4
-  // [2] *((word) 4352 + (byte) i#2) ← (byte~) $1 [ i#2 ]  //  cowo1_staridx_zpby1=aby
+  sta 3
+  // [2] *((word) 4352 + (byte) i#2) ← (byte~) $1 [ i#2 ]  //  cowo1_staridx_zpby1=zpby2
+  lda 3
   ldx 2
   sta 4352,x
   // [3] (byte) i#1 ← (byte) i#2 + (byte) 1 [ i#1 ]  //  zpby1=zpby1_plus_1
@@ -406,7 +413,7 @@ B1:
 BEND:
 
 FINAL SYMBOL TABLE
-(byte~) $1 reg byte a 22.0
+(byte~) $1 zp byte:3 22.0
 (label) @1
 (label) @BEGIN
 (label) @END
@@ -427,11 +434,13 @@ B1_from_BBEGIN:
 B1_from_B1:
   // (byte) i#2 = (byte) i#1  // register copy zp byte:2
 B1:
-  // [1] (byte~) $1 ← (byte) i#2 + (byte) 4 [ i#2 $1 ]  //  aby=zpby1_plus_coby1
+  // [1] (byte~) $1 ← (byte) i#2 + (byte) 4 [ i#2 $1 ]  //  zpby1=zpby2_plus_coby1
   lda 2
   clc
   adc #4
-  // [2] *((word) 4352 + (byte) i#2) ← (byte~) $1 [ i#2 ]  //  cowo1_staridx_zpby1=aby
+  sta 3
+  // [2] *((word) 4352 + (byte) i#2) ← (byte~) $1 [ i#2 ]  //  cowo1_staridx_zpby1=zpby2
+  lda 3
   ldx 2
   sta 4352,x
   // [3] (byte) i#1 ← (byte) i#2 + (byte) 1 [ i#1 ]  //  zpby1=zpby1_plus_1
diff --git a/src/main/java/dk/camelot64/kickc/test/ref/minus.sym b/src/main/java/dk/camelot64/kickc/test/ref/minus.sym
index b9fec56c0..06669901d 100644
--- a/src/main/java/dk/camelot64/kickc/test/ref/minus.sym
+++ b/src/main/java/dk/camelot64/kickc/test/ref/minus.sym
@@ -1,4 +1,4 @@
-(byte~) $1 reg byte a 22.0
+(byte~) $1 zp byte:3 22.0
 (label) @1
 (label) @BEGIN
 (label) @END
diff --git a/src/main/java/dk/camelot64/kickc/test/ref/ptrtest.asm b/src/main/java/dk/camelot64/kickc/test/ref/ptrtest.asm
index 2d2025703..7c3a69bb2 100644
--- a/src/main/java/dk/camelot64/kickc/test/ref/ptrtest.asm
+++ b/src/main/java/dk/camelot64/kickc/test/ref/ptrtest.asm
@@ -63,6 +63,7 @@ rvaluevar__B1_from_B2:
   jmp rvaluevar__B1
 rvalue:
   lda 1024
+  sta 11
   lda 1025
   sta 12
 rvalue__B1_from_rvalue:
@@ -77,7 +78,7 @@ rvalue__Breturn:
 rvalue__B2:
   ldx 8
   lda 1024,x
-  sta 8
+  sta 13
   inc 8
 rvalue__B1_from_B2:
   jmp rvalue__B1
diff --git a/src/main/java/dk/camelot64/kickc/test/ref/ptrtest.log b/src/main/java/dk/camelot64/kickc/test/ref/ptrtest.log
index 2188d759e..2893d71d8 100644
--- a/src/main/java/dk/camelot64/kickc/test/ref/ptrtest.log
+++ b/src/main/java/dk/camelot64/kickc/test/ref/ptrtest.log
@@ -1815,36 +1815,31 @@ Initial phi equivalence classes
 [ rvaluevar::screen#2 rvaluevar::screen#1 ]
 [ rvalue::i#2 rvalue::i#1 ]
 [ lvalue::i#2 lvalue::i#1 ]
-Copy Coalesced equivalence classes
+Added variable rvaluevar::b#0 to zero page equivalence class [ rvaluevar::b#0 ]
+Added variable rvalue::b#0 to zero page equivalence class [ rvalue::b#0 ]
+Added variable rvalue::b#1 to zero page equivalence class [ rvalue::b#1 ]
+Added variable rvalue::b#2 to zero page equivalence class [ rvalue::b#2 ]
+Complete equivalence classes
 [ lvaluevar::i#2 lvaluevar::i#1 ]
 [ lvaluevar::screen#2 lvaluevar::screen#1 ]
 [ rvaluevar::i#2 rvaluevar::i#1 ]
 [ rvaluevar::screen#2 rvaluevar::screen#1 ]
 [ rvalue::i#2 rvalue::i#1 ]
 [ lvalue::i#2 lvalue::i#1 ]
-Added variable rvaluevar::b#0 to zero page equivalence class [ rvaluevar::b#0 ]
-Added variable rvalue::b#0 to zero page equivalence class [ rvalue::b#0 ]
-Added variable rvalue::b#1 to zero page equivalence class [ rvalue::b#1 ]
-Added variable rvalue::b#2 to zero page equivalence class [ rvalue::i#2 rvalue::i#1 rvalue::b#2 ]
-Complete equivalence classes
-[ lvaluevar::i#2 lvaluevar::i#1 ]
-[ lvaluevar::screen#2 lvaluevar::screen#1 ]
-[ rvaluevar::i#2 rvaluevar::i#1 ]
-[ rvaluevar::screen#2 rvaluevar::screen#1 ]
-[ rvalue::i#2 rvalue::i#1 rvalue::b#2 ]
-[ lvalue::i#2 lvalue::i#1 ]
 [ rvaluevar::b#0 ]
 [ rvalue::b#0 ]
 [ rvalue::b#1 ]
+[ rvalue::b#2 ]
 Allocated zp byte:2 to zp byte:2 [ lvaluevar::i#2 lvaluevar::i#1 ]
 Allocated zp ptr byte:3 to zp ptr byte:3 [ lvaluevar::screen#2 lvaluevar::screen#1 ]
 Allocated zp byte:5 to zp byte:5 [ rvaluevar::i#2 rvaluevar::i#1 ]
 Allocated zp ptr byte:6 to zp ptr byte:6 [ rvaluevar::screen#2 rvaluevar::screen#1 ]
-Allocated zp byte:8 to zp byte:8 [ rvalue::i#2 rvalue::i#1 rvalue::b#2 ]
+Allocated zp byte:8 to zp byte:8 [ rvalue::i#2 rvalue::i#1 ]
 Allocated zp byte:9 to zp byte:9 [ lvalue::i#2 lvalue::i#1 ]
 Allocated zp byte:10 to zp byte:10 [ rvaluevar::b#0 ]
 Allocated zp byte:11 to zp byte:11 [ rvalue::b#0 ]
 Allocated zp byte:12 to zp byte:12 [ rvalue::b#1 ]
+Allocated zp byte:13 to zp byte:13 [ rvalue::b#2 ]
 
 VARIABLE REGISTER WEIGHTS
 (void()) lvalue()
@@ -1884,22 +1879,20 @@ zp byte:2 [ lvaluevar::i#2 lvaluevar::i#1 ]
 zp ptr byte:3 [ lvaluevar::screen#2 lvaluevar::screen#1 ]
 zp byte:5 [ rvaluevar::i#2 rvaluevar::i#1 ]
 zp ptr byte:6 [ rvaluevar::screen#2 rvaluevar::screen#1 ]
-zp byte:8 [ rvalue::i#2 rvalue::i#1 rvalue::b#2 ]
+zp byte:8 [ rvalue::i#2 rvalue::i#1 ]
 zp byte:9 [ lvalue::i#2 lvalue::i#1 ]
 zp byte:10 [ rvaluevar::b#0 ]
 zp byte:11 [ rvalue::b#0 ]
 zp byte:12 [ rvalue::b#1 ]
+zp byte:13 [ rvalue::b#2 ]
 
-Re-allocated ZP register from zp byte:2 to zp byte:2
-Re-allocated ZP register from zp ptr byte:3 to zp ptr byte:3
-Re-allocated ZP register from zp byte:5 to zp byte:5
-Re-allocated ZP register from zp ptr byte:6 to zp ptr byte:6
-Re-allocated ZP register from zp byte:8 to zp byte:8
-Re-allocated ZP register from zp byte:9 to zp byte:9
-Re-allocated ZP register from zp byte:10 to zp byte:10
-Re-allocated ZP register from zp byte:11 to zp byte:11
-Re-allocated ZP register from zp byte:12 to zp byte:12
-Uplifting of variable (byte) rvalue::b#0 to A
+Uplifting max weight Infinity live range equivalence class zp byte:10 [ rvaluevar::b#0 ]
+Register Cycles: reg byte a 0
+Uplift to reg byte a succesfull.
+Register Cycles: reg byte x 0
+Uplift to reg byte x succesfull.
+Register Cycles: reg byte y 0
+Uplift to reg byte y succesfull.
 REGISTER UPLIFTING
 (void()) lvalue()
 (byte[1024]) lvalue::SCREEN
@@ -1918,9 +1911,9 @@ REGISTER UPLIFTING
 (void()) rvalue()
 (byte[1024]) rvalue::SCREEN
 (byte) rvalue::b
-(byte) rvalue::b#0 reg byte a Infinity
+(byte) rvalue::b#0 zp byte:11 Infinity
 (byte) rvalue::b#1 zp byte:12 Infinity
-(byte) rvalue::b#2 zp byte:8 Infinity
+(byte) rvalue::b#2 zp byte:13 Infinity
 (byte) rvalue::i
 (byte) rvalue::i#1 zp byte:8 22.0
 (byte) rvalue::i#2 zp byte:8 14.666666666666666
@@ -1938,18 +1931,20 @@ zp byte:2 [ lvaluevar::i#2 lvaluevar::i#1 ]
 zp ptr byte:3 [ lvaluevar::screen#2 lvaluevar::screen#1 ]
 zp byte:5 [ rvaluevar::i#2 rvaluevar::i#1 ]
 zp ptr byte:6 [ rvaluevar::screen#2 rvaluevar::screen#1 ]
-zp byte:8 [ rvalue::i#2 rvalue::i#1 rvalue::b#2 ]
+zp byte:8 [ rvalue::i#2 rvalue::i#1 ]
 zp byte:9 [ lvalue::i#2 lvalue::i#1 ]
 zp byte:10 [ rvaluevar::b#0 ]
 zp byte:11 [ rvalue::b#0 ]
 zp byte:12 [ rvalue::b#1 ]
+zp byte:13 [ rvalue::b#2 ]
 
 Coalescing zero page register [ zp byte:2 [ lvaluevar::i#2 lvaluevar::i#1 ] ] with [ zp byte:5 [ rvaluevar::i#2 rvaluevar::i#1 ] ]
-Coalescing zero page register [ zp byte:2 [ lvaluevar::i#2 lvaluevar::i#1 rvaluevar::i#2 rvaluevar::i#1 ] ] with [ zp byte:8 [ rvalue::i#2 rvalue::i#1 rvalue::b#2 ] ]
-Coalescing zero page register [ zp byte:2 [ lvaluevar::i#2 lvaluevar::i#1 rvaluevar::i#2 rvaluevar::i#1 rvalue::i#2 rvalue::i#1 rvalue::b#2 ] ] with [ zp byte:9 [ lvalue::i#2 lvalue::i#1 ] ]
-Coalescing zero page register [ zp byte:2 [ lvaluevar::i#2 lvaluevar::i#1 rvaluevar::i#2 rvaluevar::i#1 rvalue::i#2 rvalue::i#1 rvalue::b#2 lvalue::i#2 lvalue::i#1 ] ] with [ zp byte:10 [ rvaluevar::b#0 ] ]
-Coalescing zero page register [ zp byte:2 [ lvaluevar::i#2 lvaluevar::i#1 rvaluevar::i#2 rvaluevar::i#1 rvalue::i#2 rvalue::i#1 rvalue::b#2 lvalue::i#2 lvalue::i#1 rvaluevar::b#0 ] ] with [ zp byte:11 [ rvalue::b#0 ] ]
-Coalescing zero page register [ zp byte:2 [ lvaluevar::i#2 lvaluevar::i#1 rvaluevar::i#2 rvaluevar::i#1 rvalue::i#2 rvalue::i#1 rvalue::b#2 lvalue::i#2 lvalue::i#1 rvaluevar::b#0 rvalue::b#0 ] ] with [ zp byte:12 [ rvalue::b#1 ] ]
+Coalescing zero page register [ zp byte:2 [ lvaluevar::i#2 lvaluevar::i#1 rvaluevar::i#2 rvaluevar::i#1 ] ] with [ zp byte:8 [ rvalue::i#2 rvalue::i#1 ] ]
+Coalescing zero page register [ zp byte:2 [ lvaluevar::i#2 lvaluevar::i#1 rvaluevar::i#2 rvaluevar::i#1 rvalue::i#2 rvalue::i#1 ] ] with [ zp byte:9 [ lvalue::i#2 lvalue::i#1 ] ]
+Coalescing zero page register [ zp byte:2 [ lvaluevar::i#2 lvaluevar::i#1 rvaluevar::i#2 rvaluevar::i#1 rvalue::i#2 rvalue::i#1 lvalue::i#2 lvalue::i#1 ] ] with [ zp byte:10 [ rvaluevar::b#0 ] ]
+Coalescing zero page register [ zp byte:2 [ lvaluevar::i#2 lvaluevar::i#1 rvaluevar::i#2 rvaluevar::i#1 rvalue::i#2 rvalue::i#1 lvalue::i#2 lvalue::i#1 rvaluevar::b#0 ] ] with [ zp byte:11 [ rvalue::b#0 ] ]
+Coalescing zero page register [ zp byte:2 [ lvaluevar::i#2 lvaluevar::i#1 rvaluevar::i#2 rvaluevar::i#1 rvalue::i#2 rvalue::i#1 lvalue::i#2 lvalue::i#1 rvaluevar::b#0 rvalue::b#0 ] ] with [ zp byte:12 [ rvalue::b#1 ] ]
+Coalescing zero page register [ zp byte:2 [ lvaluevar::i#2 lvaluevar::i#1 rvaluevar::i#2 rvaluevar::i#1 rvalue::i#2 rvalue::i#1 lvalue::i#2 lvalue::i#1 rvaluevar::b#0 rvalue::b#0 rvalue::b#1 ] ] with [ zp byte:13 [ rvalue::b#2 ] ]
 Coalescing zero page register [ zp ptr byte:3 [ lvaluevar::screen#2 lvaluevar::screen#1 ] ] with [ zp ptr byte:6 [ rvaluevar::screen#2 rvaluevar::screen#1 ] ]
 INITIAL ASM
 BBEGIN:
@@ -2041,8 +2036,9 @@ rvaluevar__B1_from_B2:
   // (byte) rvaluevar::i#2 = (byte) rvaluevar::i#1  // register copy zp byte:5
   jmp rvaluevar__B1
 rvalue:
-  // [18] (byte) rvalue::b#0 ← * (word) 1024 [ ]  //  aby=_star_cowo1
+  // [18] (byte) rvalue::b#0 ← * (word) 1024 [ ]  //  zpby1=_star_cowo1
   lda 1024
+  sta 11
   // [19] (byte) rvalue::b#1 ← * (word) 1025 [ ]  //  zpby1=_star_cowo1
   lda 1025
   sta 12
@@ -2060,10 +2056,10 @@ rvalue__B1:
 rvalue__Breturn:
   rts
 rvalue__B2:
-  // [23] (byte) rvalue::b#2 ← (word) 1024 *idx (byte) rvalue::i#2 [ rvalue::i#2 ]  //  zpby1=cowo1_staridx_zpby1
+  // [23] (byte) rvalue::b#2 ← (word) 1024 *idx (byte) rvalue::i#2 [ rvalue::i#2 ]  //  zpby1=cowo1_staridx_zpby2
   ldx 8
   lda 1024,x
-  sta 8
+  sta 13
   // [24] (byte) rvalue::i#1 ← ++ (byte) rvalue::i#2 [ rvalue::i#1 ]  //  zpby1=_inc_zpby1
   inc 8
 rvalue__B1_from_B2:
@@ -2195,8 +2191,9 @@ rvaluevar__B1_from_B2:
   // (byte) rvaluevar::i#2 = (byte) rvaluevar::i#1  // register copy zp byte:5
   jmp rvaluevar__B1
 rvalue:
-  // [18] (byte) rvalue::b#0 ← * (word) 1024 [ ]  //  aby=_star_cowo1
+  // [18] (byte) rvalue::b#0 ← * (word) 1024 [ ]  //  zpby1=_star_cowo1
   lda 1024
+  sta 11
   // [19] (byte) rvalue::b#1 ← * (word) 1025 [ ]  //  zpby1=_star_cowo1
   lda 1025
   sta 12
@@ -2212,10 +2209,10 @@ rvalue__B1:
 rvalue__Breturn:
   rts
 rvalue__B2:
-  // [23] (byte) rvalue::b#2 ← (word) 1024 *idx (byte) rvalue::i#2 [ rvalue::i#2 ]  //  zpby1=cowo1_staridx_zpby1
+  // [23] (byte) rvalue::b#2 ← (word) 1024 *idx (byte) rvalue::i#2 [ rvalue::i#2 ]  //  zpby1=cowo1_staridx_zpby2
   ldx 8
   lda 1024,x
-  sta 8
+  sta 13
   // [24] (byte) rvalue::i#1 ← ++ (byte) rvalue::i#2 [ rvalue::i#1 ]  //  zpby1=_inc_zpby1
   inc 8
 rvalue__B1_from_B2:
@@ -2283,9 +2280,9 @@ FINAL SYMBOL TABLE
 (label) rvalue::@return
 (byte[1024]) rvalue::SCREEN
 (byte) rvalue::b
-(byte) rvalue::b#0 reg byte a Infinity
+(byte) rvalue::b#0 zp byte:11 Infinity
 (byte) rvalue::b#1 zp byte:12 Infinity
-(byte) rvalue::b#2 zp byte:8 Infinity
+(byte) rvalue::b#2 zp byte:13 Infinity
 (byte) rvalue::i
 (byte) rvalue::i#1 zp byte:8 22.0
 (byte) rvalue::i#2 zp byte:8 14.666666666666666
@@ -2302,7 +2299,7 @@ FINAL SYMBOL TABLE
 (byte*) rvaluevar::screen#1 zp ptr byte:6 11.0
 (byte*) rvaluevar::screen#2 zp ptr byte:6 11.0
 
-zp byte:2 [ lvaluevar::i#2 lvaluevar::i#1 rvaluevar::i#2 rvaluevar::i#1 rvalue::i#2 rvalue::i#1 rvalue::b#2 lvalue::i#2 lvalue::i#1 rvaluevar::b#0 rvalue::b#0 rvalue::b#1 ]
+zp byte:2 [ lvaluevar::i#2 lvaluevar::i#1 rvaluevar::i#2 rvaluevar::i#1 rvalue::i#2 rvalue::i#1 lvalue::i#2 lvalue::i#1 rvaluevar::b#0 rvalue::b#0 rvalue::b#1 rvalue::b#2 ]
 zp ptr byte:3 [ lvaluevar::screen#2 lvaluevar::screen#1 rvaluevar::screen#2 rvaluevar::screen#1 ]
 
 FINAL CODE
@@ -2386,8 +2383,9 @@ rvaluevar__B1_from_B2:
   // (byte) rvaluevar::i#2 = (byte) rvaluevar::i#1  // register copy zp byte:5
   jmp rvaluevar__B1
 rvalue:
-  // [18] (byte) rvalue::b#0 ← * (word) 1024 [ ]  //  aby=_star_cowo1
+  // [18] (byte) rvalue::b#0 ← * (word) 1024 [ ]  //  zpby1=_star_cowo1
   lda 1024
+  sta 11
   // [19] (byte) rvalue::b#1 ← * (word) 1025 [ ]  //  zpby1=_star_cowo1
   lda 1025
   sta 12
@@ -2403,10 +2401,10 @@ rvalue__B1:
 rvalue__Breturn:
   rts
 rvalue__B2:
-  // [23] (byte) rvalue::b#2 ← (word) 1024 *idx (byte) rvalue::i#2 [ rvalue::i#2 ]  //  zpby1=cowo1_staridx_zpby1
+  // [23] (byte) rvalue::b#2 ← (word) 1024 *idx (byte) rvalue::i#2 [ rvalue::i#2 ]  //  zpby1=cowo1_staridx_zpby2
   ldx 8
   lda 1024,x
-  sta 8
+  sta 13
   // [24] (byte) rvalue::i#1 ← ++ (byte) rvalue::i#2 [ rvalue::i#1 ]  //  zpby1=_inc_zpby1
   inc 8
 rvalue__B1_from_B2:
diff --git a/src/main/java/dk/camelot64/kickc/test/ref/ptrtest.sym b/src/main/java/dk/camelot64/kickc/test/ref/ptrtest.sym
index c75e5afd9..e4cf3e51e 100644
--- a/src/main/java/dk/camelot64/kickc/test/ref/ptrtest.sym
+++ b/src/main/java/dk/camelot64/kickc/test/ref/ptrtest.sym
@@ -30,9 +30,9 @@
 (label) rvalue::@return
 (byte[1024]) rvalue::SCREEN
 (byte) rvalue::b
-(byte) rvalue::b#0 reg byte a Infinity
+(byte) rvalue::b#0 zp byte:11 Infinity
 (byte) rvalue::b#1 zp byte:12 Infinity
-(byte) rvalue::b#2 zp byte:8 Infinity
+(byte) rvalue::b#2 zp byte:13 Infinity
 (byte) rvalue::i
 (byte) rvalue::i#1 zp byte:8 22.0
 (byte) rvalue::i#2 zp byte:8 14.666666666666666
@@ -49,5 +49,5 @@
 (byte*) rvaluevar::screen#1 zp ptr byte:6 11.0
 (byte*) rvaluevar::screen#2 zp ptr byte:6 11.0
 
-zp byte:2 [ lvaluevar::i#2 lvaluevar::i#1 rvaluevar::i#2 rvaluevar::i#1 rvalue::i#2 rvalue::i#1 rvalue::b#2 lvalue::i#2 lvalue::i#1 rvaluevar::b#0 rvalue::b#0 rvalue::b#1 ]
+zp byte:2 [ lvaluevar::i#2 lvaluevar::i#1 rvaluevar::i#2 rvaluevar::i#1 rvalue::i#2 rvalue::i#1 lvalue::i#2 lvalue::i#1 rvaluevar::b#0 rvalue::b#0 rvalue::b#1 rvalue::b#2 ]
 zp ptr byte:3 [ lvaluevar::screen#2 lvaluevar::screen#1 rvaluevar::screen#2 rvaluevar::screen#1 ]
diff --git a/src/main/java/dk/camelot64/kickc/test/ref/summin.asm b/src/main/java/dk/camelot64/kickc/test/ref/summin.asm
index bbabf1193..e63237c4a 100644
--- a/src/main/java/dk/camelot64/kickc/test/ref/summin.asm
+++ b/src/main/java/dk/camelot64/kickc/test/ref/summin.asm
@@ -6,7 +6,7 @@ sum_from_BBEGIN:
   sta 2
   jsr sum
 B2:
-  lda 2
+  lda 7
   sta 4
 sum_from_B2:
   lda #13
@@ -15,16 +15,17 @@ sum_from_B2:
   sta 2
   jsr sum
 B3:
-  lda 2
+  lda 7
   sta 5
   lda 4
   clc
   adc 5
+  sta 6
 BEND:
 sum:
   lda 2
   clc
   adc 3
-  sta 2
+  sta 7
 sum__Breturn:
   rts
diff --git a/src/main/java/dk/camelot64/kickc/test/ref/summin.log b/src/main/java/dk/camelot64/kickc/test/ref/summin.log
index 9a1465049..0d96871ce 100644
--- a/src/main/java/dk/camelot64/kickc/test/ref/summin.log
+++ b/src/main/java/dk/camelot64/kickc/test/ref/summin.log
@@ -353,22 +353,23 @@ NATURAL LOOPS WITH DEPTH
 Initial phi equivalence classes
 [ sum::a#2 ]
 [ sum::b#2 ]
-Copy Coalesced equivalence classes
-[ sum::a#2 ]
-[ sum::b#2 ]
 Added variable s1#0 to zero page equivalence class [ s1#0 ]
 Added variable s2#0 to zero page equivalence class [ s2#0 ]
-Added variable s3#0 to zero page equivalence class [ s1#0 s3#0 ]
-Added variable sum::return#0 to zero page equivalence class [ sum::a#2 sum::return#0 ]
+Added variable s3#0 to zero page equivalence class [ s3#0 ]
+Added variable sum::return#0 to zero page equivalence class [ sum::return#0 ]
 Complete equivalence classes
-[ sum::a#2 sum::return#0 ]
+[ sum::a#2 ]
 [ sum::b#2 ]
-[ s1#0 s3#0 ]
+[ s1#0 ]
 [ s2#0 ]
-Allocated zp byte:2 to zp byte:2 [ sum::a#2 sum::return#0 ]
+[ s3#0 ]
+[ sum::return#0 ]
+Allocated zp byte:2 to zp byte:2 [ sum::a#2 ]
 Allocated zp byte:3 to zp byte:3 [ sum::b#2 ]
-Allocated zp byte:4 to zp byte:4 [ s1#0 s3#0 ]
+Allocated zp byte:4 to zp byte:4 [ s1#0 ]
 Allocated zp byte:5 to zp byte:5 [ s2#0 ]
+Allocated zp byte:6 to zp byte:6 [ s3#0 ]
+Allocated zp byte:7 to zp byte:7 [ sum::return#0 ]
 
 VARIABLE REGISTER WEIGHTS
 (byte) s1
@@ -385,37 +386,45 @@ VARIABLE REGISTER WEIGHTS
 (byte) sum::return
 (byte) sum::return#0 1.2000000000000002
 
-zp byte:2 [ sum::a#2 sum::return#0 ]
+zp byte:2 [ sum::a#2 ]
 zp byte:3 [ sum::b#2 ]
-zp byte:4 [ s1#0 s3#0 ]
+zp byte:4 [ s1#0 ]
 zp byte:5 [ s2#0 ]
+zp byte:6 [ s3#0 ]
+zp byte:7 [ sum::return#0 ]
 
-Re-allocated ZP register from zp byte:2 to zp byte:2
-Re-allocated ZP register from zp byte:3 to zp byte:3
-Re-allocated ZP register from zp byte:4 to zp byte:4
-Re-allocated ZP register from zp byte:5 to zp byte:5
-Uplifting of variable (byte) s3#0 to A
+Uplifting max weight Infinity live range equivalence class zp byte:6 [ s3#0 ]
+Register Cycles: reg byte a 0
+Uplift to reg byte a succesfull.
+Register Cycles: reg byte x 0
+Uplift to reg byte x succesfull.
+Register Cycles: reg byte y 0
+Uplift to reg byte y succesfull.
 REGISTER UPLIFTING
 (byte) s1
 (byte) s1#0 zp byte:4 0.5714285714285714
 (byte) s2
 (byte) s2#0 zp byte:5 4.0
 (byte) s3
-(byte) s3#0 reg byte a Infinity
+(byte) s3#0 zp byte:6 Infinity
 (byte()) sum((byte) sum::a , (byte) sum::b)
 (byte) sum::a
 (byte) sum::a#2 zp byte:2 2.0
 (byte) sum::b
 (byte) sum::b#2 zp byte:3 2.0
 (byte) sum::return
-(byte) sum::return#0 zp byte:2 1.2000000000000002
+(byte) sum::return#0 zp byte:7 1.2000000000000002
 
-zp byte:2 [ sum::a#2 sum::return#0 ]
+zp byte:2 [ sum::a#2 ]
 zp byte:3 [ sum::b#2 ]
-zp byte:4 [ s1#0 s3#0 ]
+zp byte:4 [ s1#0 ]
 zp byte:5 [ s2#0 ]
+zp byte:6 [ s3#0 ]
+zp byte:7 [ sum::return#0 ]
 
-Coalescing zero page register [ zp byte:2 [ sum::a#2 sum::return#0 ] ] with [ zp byte:5 [ s2#0 ] ]
+Coalescing zero page register [ zp byte:2 [ sum::a#2 ] ] with [ zp byte:5 [ s2#0 ] ]
+Coalescing zero page register [ zp byte:2 [ sum::a#2 s2#0 ] ] with [ zp byte:6 [ s3#0 ] ]
+Coalescing zero page register [ zp byte:2 [ sum::a#2 s2#0 s3#0 ] ] with [ zp byte:7 [ sum::return#0 ] ]
 INITIAL ASM
 BBEGIN:
 sum_from_BBEGIN:
@@ -429,7 +438,7 @@ sum_from_BBEGIN:
   jmp B2
 B2:
   // [1] (byte) s1#0 ← (byte) sum::return#0 [ sum::return#0 s1#0 ]  //  zpby1=zpby2
-  lda 2
+  lda 7
   sta 4
 sum_from_B2:
   // (byte) sum::b#2 = (byte) 13  // zpby1=coby1
@@ -442,20 +451,21 @@ sum_from_B2:
   jmp B3
 B3:
   // [3] (byte) s2#0 ← (byte) sum::return#0 [ s1#0 s2#0 ]  //  zpby1=zpby2
-  lda 2
+  lda 7
   sta 5
-  // [4] (byte) s3#0 ← (byte) s1#0 + (byte) s2#0 [ ]  //  aby=zpby1_plus_zpby2
+  // [4] (byte) s3#0 ← (byte) s1#0 + (byte) s2#0 [ ]  //  zpby1=zpby2_plus_zpby3
   lda 4
   clc
   adc 5
+  sta 6
   jmp BEND
 BEND:
 sum:
-  // [6] (byte) sum::return#0 ← (byte) sum::a#2 + (byte) sum::b#2 [ sum::return#0 s1#0 ]  //  zpby1=zpby1_plus_zpby2
+  // [6] (byte) sum::return#0 ← (byte) sum::a#2 + (byte) sum::b#2 [ sum::return#0 s1#0 ]  //  zpby1=zpby2_plus_zpby3
   lda 2
   clc
   adc 3
-  sta 2
+  sta 7
   jmp sum__Breturn
 sum__Breturn:
   rts
@@ -477,7 +487,7 @@ sum_from_BBEGIN:
   jsr sum
 B2:
   // [1] (byte) s1#0 ← (byte) sum::return#0 [ sum::return#0 s1#0 ]  //  zpby1=zpby2
-  lda 2
+  lda 7
   sta 4
 sum_from_B2:
   // (byte) sum::b#2 = (byte) 13  // zpby1=coby1
@@ -489,19 +499,20 @@ sum_from_B2:
   jsr sum
 B3:
   // [3] (byte) s2#0 ← (byte) sum::return#0 [ s1#0 s2#0 ]  //  zpby1=zpby2
-  lda 2
+  lda 7
   sta 5
-  // [4] (byte) s3#0 ← (byte) s1#0 + (byte) s2#0 [ ]  //  aby=zpby1_plus_zpby2
+  // [4] (byte) s3#0 ← (byte) s1#0 + (byte) s2#0 [ ]  //  zpby1=zpby2_plus_zpby3
   lda 4
   clc
   adc 5
+  sta 6
 BEND:
 sum:
-  // [6] (byte) sum::return#0 ← (byte) sum::a#2 + (byte) sum::b#2 [ sum::return#0 s1#0 ]  //  zpby1=zpby1_plus_zpby2
+  // [6] (byte) sum::return#0 ← (byte) sum::a#2 + (byte) sum::b#2 [ sum::return#0 s1#0 ]  //  zpby1=zpby2_plus_zpby3
   lda 2
   clc
   adc 3
-  sta 2
+  sta 7
 sum__Breturn:
   rts
 
@@ -515,7 +526,7 @@ FINAL SYMBOL TABLE
 (byte) s2
 (byte) s2#0 zp byte:5 4.0
 (byte) s3
-(byte) s3#0 reg byte a Infinity
+(byte) s3#0 zp byte:6 Infinity
 (byte()) sum((byte) sum::a , (byte) sum::b)
 (label) sum::@return
 (byte) sum::a
@@ -523,11 +534,11 @@ FINAL SYMBOL TABLE
 (byte) sum::b
 (byte) sum::b#2 zp byte:3 2.0
 (byte) sum::return
-(byte) sum::return#0 zp byte:2 1.2000000000000002
+(byte) sum::return#0 zp byte:7 1.2000000000000002
 
-zp byte:2 [ sum::a#2 sum::return#0 s2#0 ]
+zp byte:2 [ sum::a#2 s2#0 s3#0 sum::return#0 ]
 zp byte:3 [ sum::b#2 ]
-zp byte:4 [ s1#0 s3#0 ]
+zp byte:4 [ s1#0 ]
 
 FINAL CODE
 BBEGIN:
@@ -541,7 +552,7 @@ sum_from_BBEGIN:
   jsr sum
 B2:
   // [1] (byte) s1#0 ← (byte) sum::return#0 [ sum::return#0 s1#0 ]  //  zpby1=zpby2
-  lda 2
+  lda 7
   sta 4
 sum_from_B2:
   // (byte) sum::b#2 = (byte) 13  // zpby1=coby1
@@ -553,19 +564,20 @@ sum_from_B2:
   jsr sum
 B3:
   // [3] (byte) s2#0 ← (byte) sum::return#0 [ s1#0 s2#0 ]  //  zpby1=zpby2
-  lda 2
+  lda 7
   sta 5
-  // [4] (byte) s3#0 ← (byte) s1#0 + (byte) s2#0 [ ]  //  aby=zpby1_plus_zpby2
+  // [4] (byte) s3#0 ← (byte) s1#0 + (byte) s2#0 [ ]  //  zpby1=zpby2_plus_zpby3
   lda 4
   clc
   adc 5
+  sta 6
 BEND:
 sum:
-  // [6] (byte) sum::return#0 ← (byte) sum::a#2 + (byte) sum::b#2 [ sum::return#0 s1#0 ]  //  zpby1=zpby1_plus_zpby2
+  // [6] (byte) sum::return#0 ← (byte) sum::a#2 + (byte) sum::b#2 [ sum::return#0 s1#0 ]  //  zpby1=zpby2_plus_zpby3
   lda 2
   clc
   adc 3
-  sta 2
+  sta 7
 sum__Breturn:
   rts
 
diff --git a/src/main/java/dk/camelot64/kickc/test/ref/summin.sym b/src/main/java/dk/camelot64/kickc/test/ref/summin.sym
index 47de49fc0..f887a95b5 100644
--- a/src/main/java/dk/camelot64/kickc/test/ref/summin.sym
+++ b/src/main/java/dk/camelot64/kickc/test/ref/summin.sym
@@ -7,7 +7,7 @@
 (byte) s2
 (byte) s2#0 zp byte:5 4.0
 (byte) s3
-(byte) s3#0 reg byte a Infinity
+(byte) s3#0 zp byte:6 Infinity
 (byte()) sum((byte) sum::a , (byte) sum::b)
 (label) sum::@return
 (byte) sum::a
@@ -15,8 +15,8 @@
 (byte) sum::b
 (byte) sum::b#2 zp byte:3 2.0
 (byte) sum::return
-(byte) sum::return#0 zp byte:2 1.2000000000000002
+(byte) sum::return#0 zp byte:7 1.2000000000000002
 
-zp byte:2 [ sum::a#2 sum::return#0 s2#0 ]
+zp byte:2 [ sum::a#2 s2#0 s3#0 sum::return#0 ]
 zp byte:3 [ sum::b#2 ]
-zp byte:4 [ s1#0 s3#0 ]
+zp byte:4 [ s1#0 ]
diff --git a/src/main/java/dk/camelot64/kickc/test/ref/useglobal.asm b/src/main/java/dk/camelot64/kickc/test/ref/useglobal.asm
new file mode 100644
index 000000000..47f737e4a
--- /dev/null
+++ b/src/main/java/dk/camelot64/kickc/test/ref/useglobal.asm
@@ -0,0 +1,8 @@
+BBEGIN:
+  jsr main
+BEND:
+main:
+  lda #1
+  sta 1024
+main__Breturn:
+  rts
diff --git a/src/main/java/dk/camelot64/kickc/test/ref/useglobal.cfg b/src/main/java/dk/camelot64/kickc/test/ref/useglobal.cfg
new file mode 100644
index 000000000..3e6cabbbc
--- /dev/null
+++ b/src/main/java/dk/camelot64/kickc/test/ref/useglobal.cfg
@@ -0,0 +1,10 @@
+@BEGIN: from
+  [0] call main param-assignment [ ]
+  to:@END
+@END: from @BEGIN
+main: from @BEGIN
+  [1] *((word) 1024) ← (byte) 1 [ ]
+  to:main::@return
+main::@return: from main
+  [2] return  [ ]
+  to:@RETURN
diff --git a/src/main/java/dk/camelot64/kickc/test/ref/useglobal.log b/src/main/java/dk/camelot64/kickc/test/ref/useglobal.log
new file mode 100644
index 000000000..0be2d4542
--- /dev/null
+++ b/src/main/java/dk/camelot64/kickc/test/ref/useglobal.log
@@ -0,0 +1,260 @@
+// Tests procedures using global variables (should not fail)
+byte* SCREEN = $0400;
+main();
+void main() {
+   *SCREEN = 1;
+}
+PROGRAM
+  (byte*) SCREEN ← (word) 1024
+  (void~) $0 ← call main 
+  proc (void()) main()
+  *((byte*) SCREEN) ← (byte) 1
+main::@return:
+  return 
+  endproc // main()
+
+SYMBOLS
+(void~) $0
+(byte*) SCREEN
+(void()) main()
+(label) main::@return
+
+INITIAL CONTROL FLOW GRAPH
+@BEGIN: from
+  (byte*) SCREEN ← (word) 1024
+  (void~) $0 ← call main 
+  to:@1
+main: from
+  *((byte*) SCREEN) ← (byte) 1
+  to:main::@return
+main::@return: from main
+  return 
+  to:@RETURN
+@1: from @BEGIN
+  to:@END
+@END: from @1
+
+Removing empty block @1
+CONTROL FLOW GRAPH
+@BEGIN: from
+  (byte*) SCREEN ← (word) 1024
+  (void~) $0 ← call main 
+  to:@END
+main: from
+  *((byte*) SCREEN) ← (byte) 1
+  to:main::@return
+main::@return: from main
+  return 
+  to:@RETURN
+@END: from @BEGIN
+
+CONTROL FLOW GRAPH WITH ASSIGNMENT CALL
+@BEGIN: from
+  (byte*) SCREEN ← (word) 1024
+  call main param-assignment
+  to:@2
+@2: from @BEGIN
+  to:@END
+main: from @BEGIN
+  *((byte*) SCREEN) ← (byte) 1
+  to:main::@return
+main::@return: from main
+  return 
+  to:@RETURN
+@END: from @2
+
+Completing Phi functions...
+CONTROL FLOW GRAPH SSA
+@BEGIN: from
+  (byte*) SCREEN#0 ← (word) 1024
+  call main param-assignment
+  to:@2
+@2: from @BEGIN
+  to:@END
+main: from @BEGIN
+  (byte*) SCREEN#1 ← phi( @BEGIN/(byte*) SCREEN#0 )
+  *((byte*) SCREEN#1) ← (byte) 1
+  to:main::@return
+main::@return: from main
+  return 
+  to:@RETURN
+@END: from @2
+
+CONTROL FLOW GRAPH WITH ASSIGNMENT CALL & RETURN
+@BEGIN: from
+  (byte*) SCREEN#0 ← (word) 1024
+  call main param-assignment
+  to:@2
+@2: from @BEGIN
+  to:@END
+main: from @BEGIN
+  (byte*) SCREEN#1 ← phi( @BEGIN/(byte*) SCREEN#0 )
+  *((byte*) SCREEN#1) ← (byte) 1
+  to:main::@return
+main::@return: from main
+  return 
+  to:@RETURN
+@END: from @2
+
+Culled Empty Block (label) @2
+Succesful SSA optimization Pass2CullEmptyBlocks
+CONTROL FLOW GRAPH
+@BEGIN: from
+  (byte*) SCREEN#0 ← (word) 1024
+  call main param-assignment
+  to:@END
+main: from @BEGIN
+  (byte*) SCREEN#1 ← phi( @BEGIN/(byte*) SCREEN#0 )
+  *((byte*) SCREEN#1) ← (byte) 1
+  to:main::@return
+main::@return: from main
+  return 
+  to:@RETURN
+@END: from @BEGIN
+
+Constant (byte*) SCREEN#0 (word) 1024
+Succesful SSA optimization Pass2ConstantPropagation
+CONTROL FLOW GRAPH
+@BEGIN: from
+  call main param-assignment
+  to:@END
+main: from @BEGIN
+  (byte*) SCREEN#1 ← phi( @BEGIN/(word) 1024 )
+  *((byte*) SCREEN#1) ← (byte) 1
+  to:main::@return
+main::@return: from main
+  return 
+  to:@RETURN
+@END: from @BEGIN
+
+Redundant Phi (byte*) SCREEN#1 (word) 1024
+Succesful SSA optimization Pass2RedundantPhiElimination
+CONTROL FLOW GRAPH
+@BEGIN: from
+  call main param-assignment
+  to:@END
+main: from @BEGIN
+  *((word) 1024) ← (byte) 1
+  to:main::@return
+main::@return: from main
+  return 
+  to:@RETURN
+@END: from @BEGIN
+
+Block Sequence Planned @BEGIN @END main main::@return 
+Block Sequence Planned @BEGIN @END main main::@return 
+CONTROL FLOW GRAPH - PHI LIFTED
+@BEGIN: from
+  call main param-assignment
+  to:@END
+@END: from @BEGIN
+main: from @BEGIN
+  *((word) 1024) ← (byte) 1
+  to:main::@return
+main::@return: from main
+  return 
+  to:@RETURN
+
+Propagating live ranges...
+CONTROL FLOW GRAPH - LIVE RANGES
+@BEGIN: from
+  [0] call main param-assignment [ ]
+  to:@END
+@END: from @BEGIN
+main: from @BEGIN
+  [1] *((word) 1024) ← (byte) 1 [ ]
+  to:main::@return
+main::@return: from main
+  [2] return  [ ]
+  to:@RETURN
+
+Created 0 initial phi equivalence classes
+Coalesced down to 0 phi equivalence classes
+Block Sequence Planned @BEGIN @END main main::@return 
+Propagating live ranges...
+CONTROL FLOW GRAPH - PHI MEM COALESCED
+@BEGIN: from
+  [0] call main param-assignment [ ]
+  to:@END
+@END: from @BEGIN
+main: from @BEGIN
+  [1] *((word) 1024) ← (byte) 1 [ ]
+  to:main::@return
+main::@return: from main
+  [2] return  [ ]
+  to:@RETURN
+
+CALL GRAPH
+Calls in [] to 0:main 
+
+DOMINATORS
+@BEGIN dominated by  @BEGIN 
+@END dominated by  @BEGIN @END 
+main dominated by  @BEGIN main 
+main::@return dominated by  @BEGIN main::@return main 
+
+NATURAL LOOPS
+
+Found 0 loops in scope []
+Found 0 loops in scope [main]
+NATURAL LOOPS WITH DEPTH
+
+Initial phi equivalence classes
+Complete equivalence classes
+
+VARIABLE REGISTER WEIGHTS
+(byte*) SCREEN
+(void()) main()
+
+
+REGISTER UPLIFTING
+(byte*) SCREEN
+(void()) main()
+
+
+INITIAL ASM
+BBEGIN:
+  jsr main
+  jmp BEND
+BEND:
+main:
+  // [1] *((word) 1024) ← (byte) 1 [ ]  //  _star_cowo1=coby2
+  lda #1
+  sta 1024
+  jmp main__Breturn
+main__Breturn:
+  rts
+
+Removing instruction jmp BEND
+Removing instruction jmp main__Breturn
+Succesful ASM optimization Pass5NextJumpElimination
+ASSEMBLER
+BBEGIN:
+  jsr main
+BEND:
+main:
+  // [1] *((word) 1024) ← (byte) 1 [ ]  //  _star_cowo1=coby2
+  lda #1
+  sta 1024
+main__Breturn:
+  rts
+
+FINAL SYMBOL TABLE
+(label) @BEGIN
+(label) @END
+(byte*) SCREEN
+(void()) main()
+(label) main::@return
+
+
+FINAL CODE
+BBEGIN:
+  jsr main
+BEND:
+main:
+  // [1] *((word) 1024) ← (byte) 1 [ ]  //  _star_cowo1=coby2
+  lda #1
+  sta 1024
+main__Breturn:
+  rts
+
diff --git a/src/main/java/dk/camelot64/kickc/test/ref/useglobal.sym b/src/main/java/dk/camelot64/kickc/test/ref/useglobal.sym
new file mode 100644
index 000000000..46563cb31
--- /dev/null
+++ b/src/main/java/dk/camelot64/kickc/test/ref/useglobal.sym
@@ -0,0 +1,6 @@
+(label) @BEGIN
+(label) @END
+(byte*) SCREEN
+(void()) main()
+(label) main::@return
+