I believe AWS always gives you both hyperthreads on a physical core, you never share a core with another customer. That's why hyperthreaded instance types always have an even number of vCPUs rather than starting at 1 vCPU.
Source: trust me bro, I can't find the relevant AWS doc.