2 ms·

I guess they do not use value numbering, which is typically how you get equivalent results for cases like this.