Does ISPC code also compile then to use the special v0, v1, etc. registers seen at the start of the lecture as opposed to the regular r0, r1, etc. registers?

That is correct. The compiled binary (e.g., the .o file) for the ispc_sinx_v2 function on this slide contains a sequence of vector (SIMD) instructions operating on vector registers.