アセンブラをゼロから作って自作コンパイラをアセンブルするまで(日記)
GNU Assembler互換(サブセット)のアセンブラをGo言語でフルスクラッチで作ってみました。 開発22日目で自作Goコンパイラ(をセルフホストしたときに出力される20万行のアセンブリ)をアセンブルすることに成功しました。 どうやって作ったかというと、小さいコードを GNU Assembler (以下 as) に食わせて出力されたバイナリを観察する、を繰り返して中のロジックを推定し再現しました。as の実装は見ていません。(一瞬見たけど巨大すぎて何もわからなかった) アセンブラ自作は、やってみるとコンパイラ自作よりだいぶ簡単でハマりポイントも少ないので、学習テーマとしてはおすすめです。2箇所ほど難所(命令エンコーディングのルールを理解するのと、ジャンプ命令の最適化)がありましたがそれ以外はさくさく楽しく作れました。 作ってみた結果、アセンブリ言語の理解が深まったのはもちろんのこと、E
Rustで自作プログラミング言語を自作x86_64アセンブラでセルフホスティングした記録
この記事は言語実装 Advent Calendar 2022の23日目の記事です。 導入 2021年、私は llrl という自作プログラミング言語のセルフホスティングに取り組みました。 セルフホスティングには成功し、生成された処理系の実行ファイルのバイナリが完全一致するところまで辿り着きましたが、この言語処理系のバックエンドは「LLVMを使う」で終わっていたので、バックエンドの実装にもっと目を向けたいと思いました。そこで2022年は、この言語処理系に 新たにx86_64を直接ターゲットとするバックエンドを追加し、LLVMを用いずにセルフホスティングできるようにしました。 本記事はこの取り組みの振り返りとなります。 自作プログラミング言語の特徴とバックエンドの要件 llrlには大きな特徴が2つあります。 Hindley-Milnerベースの型推論による静的型付け (+型クラス) Lisp-l
初めて読むMASMはとっても良い本。 - big-eyed-hamster’s diary
私の所属する研究室内では、Linuxカーネル読書会なるものをやっている。教材は詳解Linuxカーネルの第3版。この本は-読んでみると分かるが-x86依存の話が非常に多い。スケジューラの話のあたりになると、Gnu Assemblerなどという暗号（！）でガシガシ書いてあるので、もう訳がわからない。この辺のソースコードの様子は、id:naoya さんのLinux カーネルのコンテキストスイッチ処理を読み解くを見ていただければ分かると思う。そうなってくると、必然的にx86の副読本を買わねばならぬ、となるわけだが、x86を知らない人がいきなりはじめて読む486―32ビットコンピュータをやさしく語るを読むと、多分多くの人が挫折してしまうだろう。というか、私がした。確かに良い本(だと思われる)んだけれど、前提知識が足りないと、所々でつまってしまって、読むスピードが落ちて、あああ、、、僕はダメな子だ、、
自作言語でセルフホストしてみた - Qiita
はじめに 自作言語でセルフホストできたので，やったこと，考えたこと，得たこと，思ったことなどをまとめました． きっかけなど 「低レイヤを知りたい人のためのCコンパイラ作成入門」がまとまっててうれしい x86_64などのプロセッサで直接動作するアセンブリを生成してみたかった セルフホストできる程度の言語のコンパイラを実装したことがなかった 自作言語を一通り設計・実装したことがなかった 気軽に遊べる言語がほしかった 関数呼び出しで括弧を使わない世界線のRustの雰囲気を感じたかった GitLabの操作に慣れておきたかった 現実逃避 ...などなど コンパイラの名前はnecoです．HaxeのNekoと被るのでnecoにしています．言語の名前は決まってないけど拡張子は.necoにしています．necoは なんちゃら compiler の略ですと言いたいけれども略称はまだ決まってないです． コメントを
プログラミング言語の作り方 〜 Go によるアセンブラ、バーチャルマシン、コンパイラの実装 - Qiita
はじめに プログラミング言語を作ったことはありますか？ 私はプログラミング言語の実装なんて難しいことはできないと思っていましたが、コンピュータシステムの理論と実装を読んで理論を学び課題に従って実装していくことで、簡単なものではありますがプログラミング言語を作ることができました。 コンピュータシステムの理論と実装について この本ではコンピュータを理解するためにゼロからコンピュータを作っていきます。 まずはハードウェア記述言語を使って仮想ハードウェアを作り、その仮想ハードウェア上で実行可能なマシン語のためのアセンブラを作り、そのアセンブラで実行可能なコードを生成するバーチャルマシン変換器を作り、そのバーチャルマシンで実行可能なコードを生成するコンパイラを作ります。 マシン語やアセンブリ言語、バーチャルマシン語やプログラミング言語の仕様はそれぞれ決められており、それぞれの理論について説明を受けな
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
情報処理技術者試験 アセンブラ言語の仕様
📕 RustでRui Ueyama先生の低レイヤを知りたい人のためのCコンパイラ作成入門をやってみる1(環境構築から四則演算まで) | Happy developing
GAS(AT&Tアセンブリ)でfizzbuzzを実装する
