ಈ ನಿರ್ದಿಷ್ಟ ಹೇಳಿಕೆಯನ್ನು ಸೂಚಿಸುವುದನ್ನು ಅಂತಿಮವಾಗಿ ಆಹ್ವಾನಿಸಬಹುದು ಆದರೆ ಪ್ರೊಸೆಸರ್ ಈಗ ಎಕ್ಸ್ ಅರೇ_ಲೆನ್ ಗಿಂತ ದೊಡ್ಡದಾಗಿದೆ ಎಂದು ಗಮನಿಸಬೇಕು ಮತ್ತು ಅಲ್ಲಿ ಮಾಡಿದ ಎಲ್ಲಾ ಊಹಾತ್ಮಕ ಕಾರ್ಯಗತಗೊಳಿಸುವಿಕೆಯನ್ನು ತ್ಯಜಿಸಬೇಕು ಮತ್ತು ಆದ್ದರಿಂದ ಪ್ರಕ್ರಿಯೆಗಳು ರು ಈ ಊಹಾತ್ಮಕವಾಗಿ ಕಾರ್ಯಗತಗೊಳಿಸಿದ ಸೂಚನೆಗಳನ್ನು ತಿರಸ್ಕರಿಸಿದರು.
എക്സ്, array_len എന്നിവ എത്തിയതിനാൽ, ഈ പ്രത്യേക statement-ലെ ഈ check ഒടുവിൽ invoke ചെയ്യും. പക്ഷേ array_len നേക്കാൾ x വലുതാണെന്ന് പ്രോസസർ മനസിലാക്കിയാൽ ഇതിനകം  ചെയ്ത എല്ലാ speculative execution-ഉം  ഉപേക്ഷിക്കണം, അതിനാൽ ഈ പ്രക്രിയ ഊഹത്തോടെ നിർവഹിച്ച എല്ലാ നിർദ്ദേശങ്ങളും ഉപേക്ഷിക്കും.