A back end for an optimizing compiler