SixtyPical

Sechstypisch

Version 0.21 | Siehe auch: Bubble Escape 2k ∘ situ-Sol

---

HINWEIS: Nachdem das sechstypische Projekt den größten Teil seiner Ziele erreicht hat, wird es in Zukunft möglicherweise nicht viel mehr entwickelt. Weitere Informationen finden Sie in zukünftigen Anweisungen für sechstypisch.

---

Sechtikal bringt eine fortgeschrittene statische Analyse in den 6502.

Sechtypisch ist eine Programmiersprache mit niedriger Ebene, die einige erweiterte statische Analysemethoden unterstützt. Sein Referenz Compiler kann effizientes Code für mehrere 6502 basierende Zielplattformen generieren und gleichzeitig viele häufige Fehler bei der Kompilierungszeit aufnehmen und die Zeit für das Debuggen verkürzen.

Schneller Start

Stellen Sie sicher, dass Python (2.7 oder 3.5+) installiert ist. Klonen Sie dann dieses Repository und setzen Sie sein bin -Verzeichnis auf Ihren ausführbaren Suchpfad. Dann können Sie rennen:

 sixtypical

Wenn Sie die Vice Emulator Suite installiert haben, können Sie ausgeführt werden

 sixtypical --run-on=x64 eg/c64/hearts.60p

und es x64 das Herz zusammenstellen

Sie können sixtypical --run-on in anderen Quellen im eg Verzeichnisbaum ausprobieren, das umfangreichere Beispiele enthält, einschließlich eines gesamten Spiels (-ähnliches Programm). Siehe EG/Readme.md für eine Liste.

Merkmale

Sechtikales Ziel, diese Nische zu füllen:

• Sie würden Assembly verwenden, aber Sie möchten keine Stunden damit verbringen, eine Speicherüberschreitung zu debuggen, die aufgrund eines lächerlichen albernen Fehlers passiert ist.
• Sie würden C oder eine andere "hochrangige" Sprache verwenden, aber Sie möchten nicht, dass der vom Compiler hinzugefügte zusätzliche Overhead den Stapel und die Register verwaltet.

Sixtypical gibt dem Programmierer ein Codierungsschema, das mit der Versammlungssprache in Bezug auf Größe und praktische Nahrung gleichermaßen vergleichbar ist, aber auch viele lächerliche alberne Fehler zur Kompilierung des Zeitpunkts aufnehmen kann.

Niedrig

Viele der primitiven Anweisungen von 602 ähneln denen der MOS -Technologie 6502 - sie soll tatsächlich mit 6502 Maschinencode zusammengestellt werden. Es liefert jedoch auch einige "höhere" Vorgänge, die auf gemeinsamen 8-Bit

• Kopieren von Werten von einem Register in ein anderes (über ein drittes Register, wenn keine Anweisungen zugrunde liegen, die es direkt unterstützen)
• Kopieren, Hinzufügen und Vergleich von 16-Bit-Werten (in zwei Schritten)
• explizite Schwanzaufrufe
• Indirekte Unterroutineaufrufe

Während ein Programmierer diese Konstrukte bequem findet, besteht seine Aufnahme in die Sprache in erster Linie darin, Programme zu vereinfachen zu analysieren.

Statische Analyse

Die sechstypische Sprache definiert ein Effektsystem, und der Referenz Compiler interpretiert das Eingabeprogramm abstrakt in der Art der Flusstypisierung, um zu bestätigen, dass es nicht gegen ihn verstößt. Dies kann häufige Fehler erkennen, z.

• Sie haben vergessen, das Tragen zu löschen, bevor Sie dem Akkumulator etwas hinzufügen
• Ein Unterroutine, das Sie Müll ein Register genannt haben, von dem Sie dachten, dass es erhalten bleibt
• Sie haben versucht, ein Byte über das Ende eines Byte -Arrays hinaus zu lesen oder zu schreiben
• Sie haben versucht, die Adresse von etwas zu schreiben, das keine Routine war, an einen Sprungvektor

Effizienter Code

Im Gegensatz zu den meisten herkömmlichen Sprachen muss der Programmierer in sechsundpünkten den Speicher sehr explizit verwalten und die Register und Speicherorte auswählen, um jedes Datenstück zu speichern. Im Gegensatz zu einem C -Compiler wie CC65 muss ein sechstypischer Compiler im Gegensatz zu einem CODE -CODE nicht generiert werden, um aufgerufene Konventionen zu behandeln oder die Voraussetzungen zu registrieren. Dies führt zu kleineren (und damit schnelleren) Programmen.

Die Flaggschiff -Demo, ein Minispiel für den Commodore 64, erstellt eine 930 -byte .PRG -Datei.

Zielplattformen

Die Referenzimplementierung kann sechstypische Programme an 6502 Maschinencodeformate analysieren und kompilieren, die auf mehreren 6502 basierten 8-Bit-Architekturen ausgeführt werden können:

• Commodore 64
• Commodore Vic-20
• Atari 2600
• Apple II -Serie

Zum Beispiel programme für jedes von diesen siehe EG/Readme.md.

Spezifikation

Sechtikal wird durch ein Spezifikationsdokument, eine Reihe von Testfällen und eine in Python geschriebene Referenzimplementierung definiert.

Es gibt über 400 Testfälle, die für die Lesbarkeit im Falnerformat geschrieben wurden. Um die Zusammenstellung der Tests durchzuführen, muss DCC6502 installiert werden.

• Sechstypische Spezifikation
• Literate -Testsuite für die sechstypische Syntax
• Literate -Testsuite für sechsundpreis
• Literate -Testsuite für die sechsundpreisende Analyse (Speicherung)
• Literate -Testsuite für die sechsundpreisende Analyse (Kontrollfluss)
• Literate Testsuite für die sechstypische Zusammenstellung
• Literate -Testsuite für die sechsundpreisende Falteoptimierung
• Literate Testsuite für sechsundpreis

Dokumentation

• Designziele
• Sechstypische Revisionsgeschichte
• 6502 Opcodes verwendet/nicht in sechstypisch verwendet
• Ausgangsformate, die von sixtypical unterstützt werden
• Todo