I'm not convinced it should even be written by machines. Even at an assembly level, removing side-channels depends heavily on implementation choices for a particular chip. A constant-time (for a given chip) binary targeting some instruction set very well might turn into a timing side channel when deployed on a chip with newer/different optimizations, especially with respect to memory/data dependencies.