a darn fast dfa (using llvm)