separate fp iter methods
proper speculative loop inv transform