DARPA funding "revolutionary" optimizing compiler technology [pdf]

Their RFP notes that it’s hard to optimize code to run on the zillion possible combinations of CPUs, GPUs, TPUs, FPGAs, ASICs, SoCs, and so seeks revolutionary new compiler technology that will take your program, your target hardware alphabet soup combination, and output an executable optimized for that environment.

But what language is the program written in? It would have to include all of the possible data types and formats, and include all possible operations with the correct semantics.