文法
文
- プログラムは文の並びです。
- 文とソースファイルの行は通常 1:1 に対応しますが、中には複数の行をまとめて 1 つの文として扱うものもあります。
- 文は次のいずれかです。
- 命令文 ･･･ Z80/R800 の命令
- 疑似命令文 ･･･ 定数定義、`IF など yas80 が用意している命令
- 空行（コメントのみの行も含む）
コメント
";"以降行末まではコメントです。- 改行記号と同じ扱いです。
式
- 文は式を含むことがあります。
- 式は各種リテラル、シンボルなどを必要により演算子で結合したもので評価すると"値"になります。
- yas80 では数値、文字列に他にレジスタ、フラグ、関数および配列も値であり、定数、変数、引数などに利用可能です。
数値リテラル
10 進数
0-9を 1 文字以上続けたもの- 末尾に
dもしくはDが付いていても良い
16 進数
0xもしくは0Xの後に0-9a-fA-Fを 1 文字以上続けたもの$の後に0-9a-fA-Fを 1 文字以上続けたもの0-9の後に0-9a-fA-Fを 1 文字以上続け、末尾にhもしくはHを付けたもの
8 進数
0oもしくは0Oの後に0-7を 1 文字以上続けたもの
2 進数
0bもしくは0Bの後に0,1を 1 文字以上続けたもの%の後に0,1を 1 文字以上続けたもの0,1を1文字以上続け、末尾にbもしくはBを付けたもの
プレフィックス・サフィックス一覧
| 種別 | プレフィックス | サフィックス |
|---|---|---|
| 10 進数 | D |
|
| 16 進数 | 0x$ | H |
| 8 進数 | 0o | |
| 2 進数 | 0b | B |
_ 区切り
- 数値リテラルに
"_"を含むことができます。 - ただしプレフィックス(
$,%)の直後には含められません。
num.asm:
1 04d2(1234) const d1 = 1234
2 04d2(1234) const d2 = 1_234
3 1234(4660) const h1 = $1234
4 1234(4660) const h2 = 0x12_34
5 1234(4660) const h3 = 1234h
6 00ff(255) const o1 = 0o377
7 000f(15) const b1 = 0b1111
8 00aa(170) const b2 = %1010_1010
文字列リテラル
- 二重引用符(
") もしくは一重引用符(')で囲まれた文字列です。 "で囲む場合、文字列中に"を含めるにはエスケープします(\")。'で囲む場合はエスケープ不要です。'で囲む場合、文字列中に'を含めるにはエスケープします(\')。"で囲む場合はエスケープ不要です。- 利用可能なエスケープ文字は次表のとおりです。
- 次表に記載以外の文字をエスケープした場合、
\を含めそのまま文字列リテラルとします。 - 日本語を記載した場合、Shift_JIS コードの文字列リテラルとします。
| エスケープ表記 | 文字コード |
|---|---|
\" | 0x22 |
\' | 0x60 |
\\ | 0x5c |
\a | 0x07 |
\b | 0x08 |
\t | 0x09 |
\v | 0x0b |
\f | 0x0c |
\n | 0x0a |
\r | 0x0d |
1 0000 6d 65 73 73 61 67 65 [ ] db "message"
2 0007 22 [ ] db '"'
3 0008 27 [ ] db "'"
4 0009 22 27 5c 07 08 09 0b 0c [ ] db "\"'\\\a\b\t\v\f\n\r"
0011 0a 0d [ ]
5 0013 82 a0 82 a2 82 a4 [ ] db "あいう"
6 0019 5c 78 5c 79 5c 7a [ ] db "\x\y\z"
raw 文字列リテラル
- バッククオート（
`）で囲まれた文字列リテラルです。 - raw 文字列リテラルではエスケープ文字が無効で、バックスラッシュはそのまま出力されます。
- 他の言語のように複数の行にまたがる文字列リテラルは定義できません。
- 複数行に渡る文字列リテラルの定義は、文字列リテラルの結合を使用してください。
1 charmap cmap1, `{"\\": [0]}` ; raw string 2 charmap cmap2, '{"\\\\": [0]}' ; string 3 4 0000 00 [ ] db cmap1(`\`) ; raw string 5 0001 00 [ ] db cmap2("\\") ; string
文字列リテラルの結合
- 連続する文字リテラル、raw 文字列リテラルは結合され、1 つの 文字リテラルとして扱います。
- 継続行を使用し、複数行に渡る文字列リテラルを定義することも可能です。
1 0000 68 65 6c 6c 6f 2c 20 77 [ ] db "hello, " \
0008 6f 72 6c 64 21 [ ]
2 "world" "!"
3
4 000d 41 [ ] charmap cmap, '{' \
5 '"あ":[65]' \
6 '}'
7 db cmap("あ")
真偽値リテラル
- 真偽値リテラルはありません。
- IF/ELIF 等で論理値が必要な場合は次のように真偽を判定します。
- 比較演算、論理演算の結果は真の場合 1、偽の場合 0 となります。
| 真偽値 | リテラル |
|---|---|
| 偽 | 数値 0、空文字列 ""、空の配列リテラル [] |
| 真 | 偽以外の値 |
レジスタ・フラグリテラル
| リテラル | 表記 |
|---|---|
| レジスタ | A, B, C, D, E, H, L, IXH, IXL, IYH, IYL, I, R, F |
| フラグ | NZ, Z, NC, CY, PO, PE, P, M |
キャリーフラグについて
- yas80 では
Cをレジスタリテラル、CYをフラグリテラルとして定義しています。 - 条件ジャンプ命令など、フラグが必要な場合は
CをCYに置き換えて評価するため、どちらも利用可能です。
carry.asm:
1 0000 d8 [11] ret c ; C はレジスタだが CY に置き換えて評価
2 0001 d8 [11] ret cy ; CY を指定することも可
- ただし
＝＝, !=演算子で同値判定する場合は異なる値となるので、マクロの引数で同値判定する場合などは注意してください。
| 式 | 値 |
|---|---|
C == CY | 0 |
C != CY | 1 |
配列リテラル
[,]で式を囲んだもの- 配列リテラルに
[数値式]を付与することで対応する位置の配列要素を参照することができます。 - 配列リテラルの要素は参照のみ可能で値を更新することはできません。
MACRO呼出し、REPT展開の引数に指定することもできます。
array.asm:
1 const msgs = ["one", "two", "three"]
2
3 rept msgs
4 db $v
5 endr
5 + $COUNT = 3(0x3)
5 + $I = 0(0x0)
5 + $V = "one"
5 0000 6f 6e 65 [ ] + db $v
5 + $COUNT = 3(0x3)
5 + $I = 1(0x1)
5 + $V = "two"
5 0003 74 77 6f [ ] + db $v
5 + $COUNT = 3(0x3)
5 + $I = 2(0x2)
5 + $V = "three"
5 0006 74 68 72 65 65 [ ] + db $v
6
7 000b 74 77 6f [ ] message db msgs[1] ; "two"
演算子
- 数値演算子
- 四則演算
+ - * / - 剰余演算
%※2 進数リテラルとの誤認識を避けるため%の直後は空白文字としてください - ビット演算
& | ^ ~ << >>
- 四則演算
- 比較演算子
== != < <= => > - 論理演算子
|| && !（論理否定） - 文字列結合
+ - シンボル結合演算子
##
演算子の優先順位
| 優先順位 | 演算子 | 結合 |
|---|---|---|
| 高 | ()関数呼出し []配列参照 | なし |
-（単項） - ~ ! | 右 | |
* / % & << >> | 左 | |
+ - | ^ | 左 | |
== != < <= >= > | 左 | |
&& | 左 | |
|| | 左 | |
| 低 | ## | 左 |
中置演算子と型混合演算
- '"+"' 等の数値中置演算子は数値と文字列、配列の演算が可能です。
- 文字列は長さ 1 の文字列をShift_JIS 文字コードへ変換した数値となります。
- 文字列の長さが 1 以外の場合はエラーになります。
- 配列は要素が数値で要素数が 1 のときは先頭の要素が、要素数が 2 のときは先頭の要素が下位バイト、次の要素が上位バイトとした数値となります。
- 配列の要素数が 1 でも 2 でもない場合はエラーになります。
1 0000(0) var v1 = 0
2
3 "a" v1 = 'a' ; 文字列
4 0061(97) v1 = 'a' + 0 ; 数値
5 0062(98) v1 = 'a' + 1 ; 数値
6 0062(98) v1 = 1 + 'a' ; 数値
7 "あ" v1 = 'あ' ; 文字列
8 82a1(33441) v1 = 'あ' + 1 ; 数値
9 82a1(33441) v1 = 1 + 'あ' ; 数値
10 v1 = [1] ; 配列
11 0003(3) v1 = [1] + 2 ; 数値
12 0105(261) v1 = [1, 2] + 3 ; 数値
13 0003(3) v1 = 1 + [2] ; 数値
14 0204(516) v1 = 1 + [2, 3] ; 数値
シンボル結合演算子
- シンボルと数値もしくは文字列を結合し、別のユーザ定義名とするものです。
- 左辺がシンボル、右辺が数値もしくは文字列です。
- シンボル結合演算子は結合しません。
- 結合対象のシンボルは、既定義、未定義のどちらでも利用できます。
concat.lst
concat.asm
1 0000 01 [ ] data ## 1 db 1
2 0001 02 [ ] data ## "_2" db 2
3 0002 03 [ ] data ## $fmt("_%03d", 3) db 3
concat.sym
0000 DATA1
0001 DATA_2
0002 DATA_003
名前・予約語
- yas80 で扱う"名前"として英字、
"_", ".", "@"で始まり、英数字もしくは"_"を続けたものと、"$"で始まるシステムで定義した名前があります。 - 構文解析の工程で全て大文字に変換するため、大文字、小文字の違いは区別されません。
- 予約語をラベル等ユーザ定義の名前として使用することはできません。
| 種別 | 説明 | |
|---|---|---|
| 予約語 | 命令 | Z80/R800 の命令 |
| レジスタ | Z80/R800 のレジスタ | |
| フラグ | Z80/R800 のフラグ （※） | |
| 疑似命令 | アセンブラ疑似命令 | |
| 匿名ラベル | PROC内で使用可能な匿名ラベル@@, @F, @B, @0-@9, @0F-@9F, @0B-@9B | |
| ラベル | 命令もしくは疑似命令のアドレス | |
| 定数名 | CONST/EQUで定義 | |
| 変数名 | ユーザ定義 | VARで定義 |
| システム変数 | $で始まるシステム定義の変数で、参照のみ可能 | |
| 組み込み関数 | $で始まるシステム定義の関数 | |
PROC 名 | PROC の名前。ラベルと同じ扱い | |
ENUM 名、ENUM 要素名 | ENUMで定義 | |
| 関数名 | FUNC、FUNCIONで定義したユーザ定義関数 | |
MACRO 名 | MACROで定義 | |
- 名前のうち、ラベル、定数名、変数名は"シンボル"とし式で利用可能です。
PROC名、関数名も式で利用可能です。
ユーザ定義名とスコープ
| カテゴリ | 内容 |
|---|---|
| グローバル | 英字もしくは "_" で始まり、英数字もしくは "_" が後に続くもの |
PROCローカル |
グローバル名の前に "." を付けたもの、および匿名ラベル。スコープは PROC内 |
MACROローカル |
グローバル名の前に "@" を付けたもの。スコープは マクロ内 |
名前/ラベルとコロン:
ラベルに対するコロンの要否・有無の許容についてはアセンブラによって異なっていますが、 yas80 では次の仕様としています。
- ラベルにはコロンが必要。付けないとエラー
- ラベル文
- 命令文のラベル
- マクロ呼出しのラベル
REPT疑似命令のラベル
- 疑似命令の名前にはコロンは不要。付けるとエラー
EQU疑似命令PROC疑似命令ENUM疑似命令FUNC疑似命令MACRO疑似命令DB/DW/DD疑似命令DS疑似命令
main: ; 必要 ラベル文
label: ret ; 必要 命令文ラベル
check macro val, name
cp val
jr nz, @next
call name
@next: ; 必要 マクロローカルラベル
endm
check1: check 'a', process ; 必要 マクロ呼出し文ラベル
block: rept 3 ; 必要 REPT文ラベル
nop
endr
message db "hello" ; 不要 DB 名前
process proc ; 不要 PROC 名前
or a
jp z, .ret
@@: ; 必要 匿名ラベル
jp @b
ld hl, @1f
.ret: ; 必要 PROCローカルラベル
ret
@1 db 1 ; 不要 DB 匿名名前
endp
システム変数
yas80 では次のシステム変数を定義しています。 システム変数は参照のみ可能です。書込みはできません。
| 変数名 | 型 | 内容 |
|---|---|---|
$$$ |
数値 | $ は現在のロケーションカウンタ（アドレス）、
$$は現在の配置ロケーションカウンタ（アドレス）です。
違いについては$と$$を参照ください |
$R800 |
数値 | -R --R800オプションを指定したとき 1、指定しないとき 0 |
$FILL |
数値 | -f --fillオプションで指定した値。指定しないとき 255 |
$PASS |
数値 | アセンブラ評価工程のパス番号（1 ～）。アドレス解決、生成コード確定での通し番号になっています。 |
$STAGE2 |
数値 | 評価工程の出力ファイル生成工程で 1、それ以外で 0。 2 パスアセンブラのパス 2 に相当する段階であること表します。 マルチパスアセンブラを参照ください。 |
$RSIZE |
数値 | INCBIN/BINCLUDEで読み込んだバイト数。エラーの場合は -1 |
$CMAP_ERR |
数値 | CHARMAPを適用する際、未定義の文字であればエラーにする (-1) |
$CMAP_THRU |
数値 | CHARMAPを適用する際、未定義の文字は適用前の文字とする (-2) |
$COUNT |
数値 | "REPT 数値（展開回数）" の場合は展開回数。" REPT 配列" の場合は配列要素数 |
$I |
数値 | REPTの展開毎の序数（0から$COUNT-1まで変化） |
$V |
値 | "REPT配列" の展開毎の値（配列要素の値） |
_（下線） |
- | 代入文の左辺値として使用できるブランク識別子（Go, Python と同様） |
$ON | 数値 | 数値 1 |
$OFF | 数値 | 数値 0 |
$TRUE | 数値 | 数値 1 |
$FALSE | 数値 | 数値 0 |
組み込み関数
yas80 の組み込み関数を次表に示します。 関数名が 2 つ記載されているものはエイリアスで、違いはありません。
| 関数名 | 動作内容 |
|---|---|
$H$HIGH |
引数（数値）の上位バイトを返します。 |
$L$LOW |
引数（数値）の下位バイトを返します。 |
$W$WORD |
引数（数値）を WORD（2 バイト整数）としてマークします。DD で使用すると、値がバイト値の範囲であってもワード値として扱います。 |
$LEN$LENGTH |
引数（配列）の要素数を返します。 引数（文字列）は文字列を、Shift_JIS文字列としたb場合のバイト数を返します。 |
$REV$REVERSE |
引数（配列）の並びを逆転した配列を新たに作り返します。 引数の配列は元のまま変化しません。 |
$FMT $FORMAT |
最初の引数を書式文字列、残りの引数を書式文字列に従って文字列化した文字列を返します。書式指定文字は Go 言語の fmt パッケージの Printing を参照ください（C 言語等とほぼ同じです）。レジスタ、フラグを指定した場合は文字列が指定されたものとして扱います。 |
$ISARY $ISARRAY |
引数が配列の場合 1 を、配列でない場合 0 を返します。 |
$CODE |
引数（配列）が 1 要素の場合はその値を、2 要素の場合は最初の値を上位バイト、次の値を下位バイトとした数値を返します。1 文字の文字列リテラルにCHARMAP を適用した場合、結果が配列になるため、それを"コード（数値）"としたい場合に使用します。 |
$DEFINED |
引数（シンボル）が現在のパスでこの関数の呼出し時点で値が確定してれば 1 をそうでない場合 0 を返します。IFと組み合わせて使用する場合はシンボル解決と#DEFINEDの記載内容に注意ください。 |
$STR |
引数を文字列に変換します。 |
組み込み関数使用例
sample.lst
sample.asm:
1 0000 01 01 00 [ ] dd 1, $w(1) ; db 1 \ dw 1
2 0003 30 30 31 [ ] db $fmt("%03d", 1) ; db "001"
3 0006 00 [ 4] data ## $fmt("%03d", 12): nop ; data012: nop
sample.sym
0006 DATA012
disp.asm
disp macro arg
info $fmt("disp arg is %s", $str(arg))
endm
function xypos(x, y) $d000 + y * 40 + x
disp 123
disp "abc"
disp hl
disp nz
disp 1 + 2
disp xypos
7 information
disp.asm:7 [INFO] disp arg is 123(0x7b)
disp.asm:8 [INFO] disp arg is "abc"
disp.asm:9 [INFO] disp arg is HL
disp.asm:10 [INFO] disp arg is NZ
disp.asm:11 [INFO] disp arg is 3(0x3)
disp.asm:12 [INFO] disp arg is 53289(0xd029)
disp.asm:13 [INFO] disp arg is XYPOS FUNC X, Y
RETURN ((53248 + (Y * 40)) + X)
ENDF