saqut-compiler

Commit Graph

Author	SHA1	Message	Date
saqut	450f16008f	fix(ir): break/continue IR üretimi — döngü bağlamı yığını (B3) Sorun: break ve continue için hiçbir opcode üretilmiyordu (TODO). Düzeltme: her döngüye girerken LoopContext yığına push'lanır, çıkınca pop'lanır. break/continue JMP -1 yazar, instruction indeksi bağlamda toplanır. Döngü üretimi bitince tüm pending jump'lar doğru hedefe patch'lenir: - break → her döngü türünde OUT (döngü sonu) - continue while/do-while → LOOP_START / COND_LABEL - continue for → C_LABEL (güncelleme başı, koşula DEĞİL) (aksi halde i++ atlanır → sonsuz döngü) İç içe döngülerde yığının en üstü en içteki bağlamdır; inner break/continue dıştaki döngüyü etkilemez. Testler (16/16 yeşil): - for_break_continue: continue'nun i++'ı atlamadığını kanıtlar - while_break_continue: while break/continue - nested_break: inner break dış döngüyü etkilemiyor Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>	2026-06-19 16:09:57 +03:00
saqut	8509d09ca8	fix(ir): do-while == 1 geçici çözümü kaldırıldı, JIF_TRUE kullanılıyor (B4) Sorun: koşul 1-olmayan sıfır-dışı bir değer (ör. 2) üretince "cond == 1" karşılaştırması false dönüyor ve döngü yanlışlıkla erken çıkıyordu. Düzeltme: üç geçici talimat (LOAD_CONST, EQUAL_EQUAL, JIF_FALSE) kaldırıldı. Geri-jump artık doğrudan JIF_TRUE ile yapılıyor — truthy (sıfır-dışı her değer) ise loopStart'a atla; isTruthy() semantiğiyle tutarlı. Test: tests/golden/loops/do_while_truthy.sqt — koşulun i<3 ifadesi (1 veya 0 üretir, 2 üretmez), ancak "while (j)" (j=5→truthy→dön, j=0→false→çık) gibi 1-olmayan truthy koşullar da doğru çalışıyor. 13/13 test yeşil. Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>	2026-06-19 15:59:15 +03:00
abdussamedulutas	ac96ad810c	test: golden testler — operatör önceliği, döngüler, folding, DCE closes #99, #100, #104, #105 - arithmetic/precedence: Pratt öncelik + sol-birliktelik + modulo - loops/basic: while/do-while/for üçü de 0,1,2 üretiyor - loops/do_while_once: koşul baştan yanlış, gövde yine de bir kez çalışıyor - opt/folding: sabit katlama çıktısı (14,3,1,0,1,0,0) - opt/dce: ölü return sonrası kod programı etkilemiyor (10,0,0) 9/9 ctest geçti	2026-06-18 22:33:19 +03:00

Author

SHA1

Message

Date

saqut

450f16008f

fix(ir): break/continue IR üretimi — döngü bağlamı yığını (B3)

Sorun: break ve continue için hiçbir opcode üretilmiyordu (TODO).

Düzeltme: her döngüye girerken LoopContext yığına push'lanır, çıkınca
pop'lanır. break/continue JMP -1 yazar, instruction indeksi bağlamda
toplanır. Döngü üretimi bitince tüm pending jump'lar doğru hedefe patch'lenir:
  - break  → her döngü türünde OUT (döngü sonu)
  - continue while/do-while → LOOP_START / COND_LABEL
  - continue for  → C_LABEL (güncelleme başı, koşula DEĞİL)
    (aksi halde i++ atlanır → sonsuz döngü)

İç içe döngülerde yığının en üstü en içteki bağlamdır; inner break/continue
dıştaki döngüyü etkilemez.

Testler (16/16 yeşil):
  - for_break_continue: continue'nun i++'ı atlamadığını kanıtlar
  - while_break_continue: while break/continue
  - nested_break: inner break dış döngüyü etkilemiyor

Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>

2026-06-19 16:09:57 +03:00

saqut

8509d09ca8

fix(ir): do-while == 1 geçici çözümü kaldırıldı, JIF_TRUE kullanılıyor (B4)

Sorun: koşul 1-olmayan sıfır-dışı bir değer (ör. 2) üretince "cond == 1"
karşılaştırması false dönüyor ve döngü yanlışlıkla erken çıkıyordu.

Düzeltme: üç geçici talimat (LOAD_CONST, EQUAL_EQUAL, JIF_FALSE) kaldırıldı.
Geri-jump artık doğrudan JIF_TRUE ile yapılıyor — truthy (sıfır-dışı her
değer) ise loopStart'a atla; isTruthy() semantiğiyle tutarlı.

Test: tests/golden/loops/do_while_truthy.sqt — koşulun i<3 ifadesi (1 veya 0
üretir, 2 üretmez), ancak "while (j)" (j=5→truthy→dön, j=0→false→çık) gibi
1-olmayan truthy koşullar da doğru çalışıyor. 13/13 test yeşil.

Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>

2026-06-19 15:59:15 +03:00

abdussamedulutas

ac96ad810c

test: golden testler — operatör önceliği, döngüler, folding, DCE

closes #99, #100, #104, #105

- arithmetic/precedence: Pratt öncelik + sol-birliktelik + modulo
- loops/basic: while/do-while/for üçü de 0,1,2 üretiyor
- loops/do_while_once: koşul baştan yanlış, gövde yine de bir kez çalışıyor
- opt/folding: sabit katlama çıktısı (14,3,1,0,1,0,0)
- opt/dce: ölü return sonrası kod programı etkilemiyor (10,0,0)
9/9 ctest geçti

2026-06-18 22:33:19 +03:00

3 Commits