आता X आणि array_len आले आहे आहेत, चेक विशिष्ट स्टेटमेंट जे पॉईंट करत होता ते स्टेटमेंट प्रोसेसर शेवटी इनव्होक करेन आणि आता असे निदर्शनात येईल की X हा array_len पेक्षा मोठा आहे आणि स्पेक्यूलेटीव्ह एक्झिक्युशन जे झालेले होते ते काढून टाकण्यात येतील आणि म्हणून प्रोसेस पण स्पेक्यूलेटीव्हली एक्झिक्युट झालेल्या इन्स्ट्रक्शन काढून टाकतील.
ಈ ನಿರ್ದಿಷ್ಟ ಹೇಳಿಕೆಯನ್ನು ಸೂಚಿಸುವುದನ್ನು ಅಂತಿಮವಾಗಿ ಆಹ್ವಾನಿಸಬಹುದು ಆದರೆ ಪ್ರೊಸೆಸರ್ ಈಗ ಎಕ್ಸ್ ಅರೇ_ಲೆನ್ ಗಿಂತ ದೊಡ್ಡದಾಗಿದೆ ಎಂದು ಗಮನಿಸಬೇಕು ಮತ್ತು ಅಲ್ಲಿ ಮಾಡಿದ ಎಲ್ಲಾ ಊಹಾತ್ಮಕ ಕಾರ್ಯಗತಗೊಳಿಸುವಿಕೆಯನ್ನು ತ್ಯಜಿಸಬೇಕು ಮತ್ತು ಆದ್ದರಿಂದ ಪ್ರಕ್ರಿಯೆಗಳು ರು ಈ ಊಹಾತ್ಮಕವಾಗಿ ಕಾರ್ಯಗತಗೊಳಿಸಿದ ಸೂಚನೆಗಳನ್ನು ತಿರಸ್ಕರಿಸಿದರು.