Add 3 floating NAN tests.
authorAldy Hernandez <aldyh@redhat.com>
Mon, 10 Oct 2022 09:01:48 +0000 (11:01 +0200)
committerAndrew MacLeod <amacleod@redhat.com>
Mon, 17 Oct 2022 13:23:05 +0000 (09:23 -0400)
commit7896a31d3003bad8b845881f59e570fbc3c78cfa
treea9527564abfbc3e06d56fa40a129d6355909bc4f
parentb565ac19264a5827162d28537bccc8531c25e817
Add 3 floating NAN tests.

x UNORD x should set NAN on the TRUE side.
The false side of x == x should set NAN.
The true side of x != x should set NAN.

gcc/testsuite/
* gcc.dg/tree-ssa/vrp-float-3a.c: New.
* gcc.dg/tree-ssa/vrp-float-4a.c: New.
* gcc.dg/tree-ssa/vrp-float-5a.c: New.
gcc/testsuite/gcc.dg/tree-ssa/vrp-float-3a.c [new file with mode: 0644]
gcc/testsuite/gcc.dg/tree-ssa/vrp-float-4a.c [new file with mode: 0644]
gcc/testsuite/gcc.dg/tree-ssa/vrp-float-5a.c [new file with mode: 0644]