I know "Danger Zone" is in the movie. Might be a slightly updated version, but Loggins was involved to an extent (though I think he was set to contribute more music that was ultimately scrapped at some point). I don't know *how* Danger Zone is used, but I saw a suggestion on Twitter that it be used like the Rocky theme in the third of act of Creed. Where they hold it back and then use it as the perfect needle drop at the climax of the action. Something along those lines. If so, the audience will absolutely lose their minds.
As for Gaga, I know the song evolved, to the point where she surprised certain higher ups with a whole new rendition (of the same song) pretty late in the game. So she worked on it for a while, and it was definitely a passion project for her. I'm pretty sure Kosinski, who directed the movie, even directed the music video as well (which we'll be seeing tomorrow). They're really going all out with this stuff.