[Bug target/71903] Wrong opcode using x86 SSE _mm_cmpge_ps intrinsics

[carlosrafael.prog at gmail dot com]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=71903

--- Comment #2 from Carlos Rafael <carlosrafael.prog at gmail dot com> ---
(In reply to Mikael Pettersson from comment #1)
> Can you add a standalone (compilable and runnable) test case?

I beg your pardon, Mikael. It was my bad! After submitting the bug here, I
could still did not believe that there was a bug in gcc, and I kept testing all
night long.

It turned out I was linking the library and generating the disassembly against
an outdated version of the compiled code.

After fixing my mistake, I tested the code and it worked with both _mm_cmpge_ps
and _mm_cmplt_ps.

Can you delete this bug, or close it? Or how can I do it?