> All a compiler does is take a well defined data structure and transform it into another

Sorry, having worked on language semantics topics, "well-defined" is not how I would describe either a programming language or the behavior of machine code.