公开(公告)号：DE112020003634T5

公开(公告)日：2022-06-09

申请号：DE112020003634

申请日：2020-07-24

Applicant: IBM

Inventor： IRELAND IAIN ALEXANDER ,  COPELAND REID ,  KIELSTRA ALLAN ,  SIEGWART DAVID KEVIN ,  KOJU TOSHIHIKO

IPC: G06F8/40

Abstract: Ein Verfahren zur automatischen Verifizierung der Optimierung von Konstrukten auf hoher Ebene weist das Erstellen eines ersten ausführbaren Codes durch Kompilieren eines Computerprogramms auf, das ein Konstrukt auf hoher Ebene aufweist. Das Kompilieren weist das Erstellen eines ersten Satzes von Maschinenanweisungen zu dem Konstrukt auf hoher Ebene und das Speichern von Kompilierzeitinformationen zu dem Konstrukt auf hoher Ebene auf. Das Verfahren weist ferner das Optimieren des ersten ausführbaren Codes auf, das das Konvertieren des ersten ausführbaren Codes in eine Zwischensprachendarstellung aufweist. Die Optimierung weist ferner das Erstellen eines zweiten ausführbaren Codes auf. Hierfür weist das Verfahren das Erstellen eines zweiten Satzes von Maschinenanweisungen zu dem Konstrukt auf hoher Ebene aus der Zwischensprachendarstellung auf. Wenn das Verhalten des ersten Satzes von Maschinenanweisungen und des zweiten Satzes von Maschinenanweisungen übereinstimmen, wird der zweite Satz von Maschinenanweisungen in den zweiten ausführbaren Code aufgenommen, anderenfalls wird der erste Satz von Maschinenanweisungen aufgenommen.