I seriously doubt that you will download a official AMD driver package infected from the Official AMD Download page. I mean anything is possible but I find it extremely rare if it does occur since thousands of the files are downloaded daily from AMD Download page.
I have read in the past from other Users threads here at AMD Forum that also had a similar experience as you did. The file they downloaded was quite smaller then the original file to be downloaded from AMD download page.
Turned out to be either a Regional ISP issue, Wifi issue, or Regional AMD Server issue. But in the end they were finally able to download the correct size driver from AMD website.
But it is always a good idea to run a couple of full system Anti-virus scans like Malwarebytes or Spybot and your own PC Anti-virus you have installed.
In my case if I feel that I may have infected my computer I run 5 different Anti-Virus Full System scans at the same time. I use my own Anti-Virus McFee scan, Malwarebyte's scan, Spybot scan, Hitman Pro scan, and Sanity Check scan. All free versions except McFee.
If I get Zero viral detection then I am confident that my PC isn't infected. Of course one of the best ways is to run a Virus scan at boot up which catches viruses that are active at boot up and invisible in Windows.