hall effect sensor as a rpm mesauerment device

You get a couple of hundred instructions between each pulse so depending on your application its fine.

Alternatively just make it drive a interrupt and use it to increment a counter.
Probably simplest that way.