مُجمِّع ألعاب لتعابير بايثون باستخدام MLIR ورسوم E-Graphs

تُفصّل هذه المقالة مُجمِّع ألعاب لتعابير بايثون مُبني باستخدام MLIR ومكتبة egglog. يستخدم المُجمِّع رسوم E-Graphs لإشباع المُساواة وإعادة كتابة المصطلحات لتحسين تعابير بايثون قبل تجميعها في MLIR. ويحتوي على وحدات لنمذجة التعابير، والوظائف المُدمجة، وTerm IR، وطبقة تحويل، وطبقة تحسين، وتوليد رمز MLIR، بالإضافة إلى خلفية LLVM. من خلال تفسير الوظائف في بايثون رمزيًا، وتحويلها إلى تمثيل IR، وتطبيق قواعد التحسين، وأخيرًا توليد رمز MLIR بكفاءة، يُحقق المُجمِّع التجميع والتنفيذ من خلال LLVM.