Concetti Chiave
Forkliftは、命令セットアーキテクチャ間の移植を自動化するニューラルリフターである。LLVMコンパイラのIRに変換することで、既存のコンパイラインフラストラクチャを活用し、新しいアーキテクチャへの移植を効率的に行うことができる。
Sintesi
本論文では、Forkliftと呼ばれる新しいニューラルリフターを提案している。命令セットアーキテクチャ(ISA)の多様化に伴い、既存のレガシーソフトウェアを新しいISAにポーティングする需要が高まっている。従来のリフターは手動で開発する必要があり、大きな工学的努力を要する。
Forkliftは、アセンブリコードをLLVMコンパイラのIRに変換するエンコーダ-デコーダ型のトランスフォーマーモデルである。LLVMIRを中間表現として使うことで、既存のコンパイラインフラストラクチャを活用できる。また、エンコーダのみを微調整することで、新しいISAへの対応を効率的に行える。
Forkliftは、x86、ARM、RISC-VのアセンブリコードからLLVMIRへの変換を行う。ベンチマーク評価の結果、Forkliftは既存の手書きリフターよりも高精度であり、GPT-4よりも優れた性能を示した。さらに、新しいISAへの対応も効率的に行えることが示された。
Statistiche
x86アセンブリコードからLLVMIRへの変換精度は75.57%
ARMアセンブリコードからLLVMIRへの変換精度は75.31%
RISC-VアセンブリコードからのLLVMIRへの変換精度は71.61%
Citazioni
"Forkliftは、命令セットアーキテクチャ間の移植を自動化するニューラルリフターである。"
"LLVMIRを中間表現として使うことで、既存のコンパイラインフラストラクチャを活用できる。"
"エンコーダのみを微調整することで、新しいISAへの対応を効率的に行える。"