Cross-Modality Program Representation Learning for Electronic Design Automation with High-Level Synthesis