DEBIAN documentation: which 64 bit processors run current release?

[Richard Owlett <rowlett@access.net>]

I'm looking for for where *Debian* documents which processors support 
current Debian release.

I have three machines whose processors are 64 bit capable.
Processors identified by running lscpu:

Machine 1:
Architecture:	i686
Model name:	Intel(R) Core(TM) i5 CPU       M 540  @ 2.53GHz

Machine 2:
Architecture:	x86_64
Model name:	Intel(R) Core(TM)2 Duo CPU     T7300  @ 2.00GHz

Machine 3:
Architecture:	i686
Model name:	Pentium(R) Dual-Core  CPU      E5300  @ 2.60GHz

Will the OS linked to by https://www.debian.org/ run on all three?
[For historical reasons I currently run 32 bit on all.]

TIA