Der Spannungsteiler hat nix mit Software zu tun. Den mußt Du extern aufbauen z.B. mit 2 Widerständen a 10kOhm. Damit bekommst Du deine 4V auf 2V und die kannst Du mit dem ADC auswerten.

http://de.wikipedia.org/wiki/Spannungsteiler

Gibts sicher auch noch mehr Infos hier im Forum.