An optimized compiler is tested. Code segments are stored in a segment file. Each code segment includes a description of an external interface with other segments. A source function is built using the code segments. The source function is compiled using optimization to produce first executable code. The source function is also compiled without using optimization to produce second executable code. The first executable code is executed to produce first results. The second executable code is executed to produce second results. The first results are compared with the second results. An error is reported when the first results differ from the second results.

Ένας βελτιστοποιημένος μεταγλωττιστής εξετάζεται. Τα τμήματα κώδικα αποθηκεύονται σε ένα αρχείο τμήματος. Κάθε τμήμα κώδικα περιλαμβάνει μια περιγραφή μιας εξωτερικής διεπαφής με άλλα τμήματα. Μια λειτουργία πηγής χτίζεται χρησιμοποιώντας τα τμήματα κώδικα. Η λειτουργία πηγής συντάσσεται χρησιμοποιώντας τη βελτιστοποίηση για να παραγάγει τον πρώτο εκτελέσιμο κώδικα. Η λειτουργία πηγής συντάσσεται επίσης χωρίς χρησιμοποίηση της βελτιστοποίησης για να παραγάγει το δεύτερο εκτελέσιμο κώδικα. Ο πρώτος εκτελέσιμος κώδικας εκτελείται για να παραγάγει τα πρώτα αποτελέσματα. Ο δεύτερος εκτελέσιμος κώδικας εκτελείται για να παραγάγει τα δεύτερα αποτελέσματα. Τα πρώτα αποτελέσματα συγκρίνονται με τα δεύτερα αποτελέσματα. Ένα λάθος αναφέρεται όταν διαφέρουν τα πρώτα αποτελέσματα από τα δεύτερα αποτελέσματα.