bug in speculative loop opt