simply unreal. Samsung would at most put Exynos 4 Quad aka 5450 in S IV, as the Octa-Core ARM processor in big.LITTLE processing is still in development stage and won't even meet mass production until Late 2013.
Exynos 5 Quad is a Cortex A15 Quad Core CPU with 8-core GPU Mali T-658. The 8-core CPU (possibly a Exynos 5 Octa or Exynos 6, whatever Samsung names it) with big.LITTLE architecture (Quad A15 + Quad A7) will not be in mass production until late 2013, the first candidate that may sports it will likely be the Galaxy Note III.