a25_kharc03 のバックアップ(No.5)

バックアップ一覧
差分を表示
現在との差分を表示
ソースを表示
a25_kharc03 へ行く。
- 1 (2025-07-29 (火) 16:24:19)
- 2 (2025-07-29 (火) 17:38:59)
- 3 (2025-07-29 (火) 17:38:59)
- 4 (2025-08-14 (木) 21:50:20)
- 5 (2025-08-26 (火) 17:12:31)

kharc #03

(by K, 2025.07.29)

↑

(0) これはなに？

kharcでいろいろやってみるページ

↑

2025.07.29 Tue #0

uckの代入式の解釈のやり方

[1] 0-5-2-94-2; (3バイト)
→読みやすくするためにカッコを付けるとこうなる: 0 (5 2 94) 2;
0は代入命令。末尾の2は変数番号（i2:y）。
5 2 94 が少し難しい。 5 は 引き算。2は2つ前の代入式で代入された値（i6:y1）。
94は0x14のことなので、20。
これをまとめるとこうなる: let (- y1 20) y; → y = y1 - 20;

[2] 0-5-2-94-1; (3バイト)
→ 0 (5 2 94) 1;
→ let (- x1 20) x;
→ x = x1 - 20;

[3] 0-db1-9f-4-6-1-1-6-2-2-3; (7バイト)
→ 0 (db1 (9f (4 (6 1 1) (6 2 2)))) 3;
→ let (ff16Sqrt (<<16 (+ (* x x) (* y y)))) d;
→ d = ff16Sqrt((x * x + y * y) << 16);

[4] 0-b0-6-db2-5-b3-6-1-e28c-8c-6-a0-e413-c64-4-1-9f-85-4; (17.5バイト)
→ 0 (b0 (6 (db2 (5 (b3 (6 1 e28c) 8c) (6 a0 e413))) c64) (4 1 (9f 85))) 4;
→ let (/ (* (ff16Sin (- (>> (* d 652) 12) (* t 1043))) 100) (+ d (<<16 5))) z;
→ z = ff16Sin(((d * 652) >> 12) - 1043 * t) * 100 / (d + (5<<16));

[5] 0-4-6-a6-c2a-a5-3; (5.5バイト)
→ 0 (4 (6 a6 c2a) a5) 3;
→ let (+ (* y1 42) x1) d;
→ d = y1 * 42 + x1;

簡単な変換方法：（kharcはスタックマシンではなくレジスタマシンなので、JITコンパイルの際には変換する必要があるのです。）

func temp() { return str("t%d", tempNo++); }

func val(zero)
{
  i = get(); switch (i) {
  case 0:            return str("%d", zero);
  case 1～3:         return repeat[i - 1];
  case 4:            t = temp(); put(str("%s = %s + %s;", t, val(1), val(1))); return t;
  case 5:            t = temp(); put(str("%s = %s - %s;", t, val(1), val(1))); return t;
  case 6:            t = temp(); put(str("%s = %s * %s;", t, val(2), val(2))); return t;
  case 0x80～0x98:   return str("%d", i - 0x80);
  case 0x99～0x9e:   return str("%d", 32 << (i - 0x99));
  case 0x9f:         t = temp(); put(str("%s = %s << 16;", val(1))); return t;
  case 0xa0～0xaf:   return str("i%d", i - 0xa0);
  case 0xb0:         t = temp(); put(str("%s = %s / %s;", t, val(1), val(3))); return t;
  case 0xb3:         t = temp(); put(str("%s = %s >> %s;", t, val(0), val(1))); return t;
  case 0xc00～0xcff: return str("%d", i - 0xc00);
  case 0xdb1:        t = temp(); put(str("%s = ff16Sqrt(%s);", t, val(0))); return t;
  case 0xdb2:        t = temp(); put(str("%s = ff16Sin(%s);", t, val(0))); return t;
  }
}

func let() { tempNo = 0; v = val(0); i = get(); put(str("i%d = %s;", i, v)); updateRepeat(i); }

変換例

0-5-2-94-2;   → t0 = i6 - 20; i2 = t0;
0-5-2-94-1;   → t0 = i5 - 20; i1 = t0;
0-db1-9f-4-6-1-1-6-2-2-3; → t3 = i1 * i1; t4 = i2 * i2; t2 = t3 + t4; t1 = t2 << 16; t0 = ff16Sqrt(t1); i3 = t0;

↑

2025.08.14 Thu #0

現状のまとめ：

mandel	79バイト	OSECPU-VM rev2 では109バイト（シグネチャを抜いて比較）
3dwave	95バイト
kcube(6色)	344バイト	第一世代OSASKでは1393バイト
kcube(単色)	405バイト
hexdump	[推定]86バイト	OSECPU-VM rev2 では102バイト（シグネチャを抜いて比較）
hello	[推定]13バイト	OSECPU-VM rev1 では13バイト（シグネチャを抜いて比較）
chars	[推定]6バイト	OSECPU-VM rev1 では6バイト（シグネチャを抜いて比較）

まだ十分に検討しきれていないところ：変数リピート指定では、更新時だけではなく参照時もリピート列を更新するべきなのかどうか。
その他にも、まだ細かい調整要素はあるので、数パーセントは変動する可能性がある。

↑

2025.08.26 Tue #0

現状のまとめ：

mandel	79バイト→75バイト	OSECPU-VM rev2 では109バイト（シグネチャを抜いて比較）
3dwave	95バイト→92バイト
kcube(6色)	344バイト→？	第一世代OSASKでは1393バイト
kcube(単色)	405バイト→？