github-actions[bot] wrote:
<!--PREMERGE ADVISOR COMMENT: Windows-->
# :window: Windows x64 Test Results
* 128978 tests passed
* 2842 tests skipped
* 2 tests failed
## Failed Tests
(click on a test name to see its output)
### LLVM
<details>
<summary>LLVM.Transforms/InstCombine/simplify-demanded-fpclass-maximum.ll</summary>
```
Exit Code: 1
Command Output (stdout):
--
# RUN: at line 2
c:\_work\llvm-project\llvm-project\build\bin\opt.exe -S -passes=instcombine <
C:\_work\llvm-project\llvm-project\llvm\test\Transforms\InstCombine\simplify-demanded-fpclass-maximum.ll
| c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe
C:\_work\llvm-project\llvm-project\llvm\test\Transforms\InstCombine\simplify-demanded-fpclass-maximum.ll
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\opt.exe' -S
-passes=instcombine
# note: command had no output on stdout or stderr
# executed command:
'c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe'
'C:\_work\llvm-project\llvm-project\llvm\test\Transforms\InstCombine\simplify-demanded-fpclass-maximum.ll'
# .---command stderr------------
# |
C:\_work\llvm-project\llvm-project\llvm\test\Transforms\InstCombine\simplify-demanded-fpclass-maximum.ll:1319:15:
error: CHECK-NEXT: expected string not found in input
# | ; CHECK-NEXT: [[RESULT:%.*]] = call float @llvm.maximum.f32(float
[[UNKNOWN]], float 0x7FF0000000000000)
# | ^
# | <stdin>:688:36: note: scanning from here
# | %pinf = call float @returns_pinf()
# | ^
# | <stdin>:688:36: note: with "UNKNOWN" equal to "%unknown"
# | %pinf = call float @returns_pinf()
# | ^
# | <stdin>:689:12: note: possible intended match here
# | %result = call nsz float @llvm.maximum.f32(float %unknown, float
0x7FF0000000000000)
# | ^
# |
C:\_work\llvm-project\llvm-project\llvm\test\Transforms\InstCombine\simplify-demanded-fpclass-maximum.ll:1331:15:
error: CHECK-NEXT: expected string not found in input
# | ; CHECK-NEXT: [[RESULT:%.*]] = call float @llvm.maximum.f32(float
[[UNKNOWN]], float 0x7FF0000000000000)
# | ^
# | <stdin>:694:36: note: scanning from here
# | %pinf = call float @returns_pinf()
# | ^
# | <stdin>:694:36: note: with "UNKNOWN" equal to "%unknown"
# | %pinf = call float @returns_pinf()
# | ^
# | <stdin>:695:12: note: possible intended match here
# | %result = call nsz float @llvm.maximum.f32(float %unknown, float
0x7FF0000000000000)
# | ^
# |
C:\_work\llvm-project\llvm-project\llvm\test\Transforms\InstCombine\simplify-demanded-fpclass-maximum.ll:1343:15:
error: CHECK-NEXT: expected string not found in input
# | ; CHECK-NEXT: [[RESULT:%.*]] = call float @llvm.maximum.f32(float
[[PINF_OR_NAN]], float [[UNKNOWN]])
# | ^
# | <stdin>:700:50: note: scanning from here
# | %pinf.or.nan = call float @returns_pinf_or_nan()
# | ^
# | <stdin>:700:50: note: with "PINF_OR_NAN" equal to "%pinf.or.nan"
# | %pinf.or.nan = call float @returns_pinf_or_nan()
# | ^
# | <stdin>:700:50: note: with "UNKNOWN" equal to "%unknown"
# | %pinf.or.nan = call float @returns_pinf_or_nan()
# | ^
# | <stdin>:701:4: note: possible intended match here
# | %result = call nsz float @llvm.maximum.f32(float %pinf.or.nan, float
%unknown)
# | ^
# |
C:\_work\llvm-project\llvm-project\llvm\test\Transforms\InstCombine\simplify-demanded-fpclass-maximum.ll:1355:15:
error: CHECK-NEXT: expected string not found in input
# | ; CHECK-NEXT: [[RESULT:%.*]] = call float @llvm.maximum.f32(float
[[UNKNOWN]], float [[PINF_OR_NAN]])
# | ^
# | <stdin>:706:50: note: scanning from here
# | %pinf.or.nan = call float @returns_pinf_or_nan()
# | ^
# | <stdin>:706:50: note: with "UNKNOWN" equal to "%unknown"
# | %pinf.or.nan = call float @returns_pinf_or_nan()
# | ^
# | <stdin>:706:50: note: with "PINF_OR_NAN" equal to "%pinf.or.nan"
# | %pinf.or.nan = call float @returns_pinf_or_nan()
# | ^
# | <stdin>:707:4: note: possible intended match here
# | %result = call nsz float @llvm.maximum.f32(float %unknown, float
%pinf.or.nan)
# | ^
# |
C:\_work\llvm-project\llvm-project\llvm\test\Transforms\InstCombine\simplify-demanded-fpclass-maximum.ll:1389:15:
error: CHECK-NEXT: expected string not found in input
# | ; CHECK-NEXT: [[RESULT:%.*]] = call float @llvm.maximum.f32(float
[[NINF_OR_NAN]], float [[UNKNOWN]])
# | ^
# | <stdin>:722:50: note: scanning from here
# | %ninf.or.nan = call float @returns_ninf_or_nan()
# | ^
# | <stdin>:722:50: note: with "NINF_OR_NAN" equal to "%ninf.or.nan"
# | %ninf.or.nan = call float @returns_ninf_or_nan()
# | ^
# | <stdin>:722:50: note: with "UNKNOWN" equal to "%unknown"
# | %ninf.or.nan = call float @returns_ninf_or_nan()
# | ^
# | <stdin>:723:4: note: possible intended match here
# | %result = call nsz float @llvm.maximum.f32(float %ninf.or.nan, float
%unknown)
# | ^
# |
C:\_work\llvm-project\llvm-project\llvm\test\Transforms\InstCombine\simplify-demanded-fpclass-maximum.ll:1401:15:
error: CHECK-NEXT: expected string not found in input
# | ; CHECK-NEXT: [[RESULT:%.*]] = call float @llvm.maximum.f32(float
[[UNKNOWN]], float [[NINF_OR_NAN]])
# | ^
# | <stdin>:728:50: note: scanning from here
# | %ninf.or.nan = call float @returns_ninf_or_nan()
# | ^
# | <stdin>:728:50: note: with "UNKNOWN" equal to "%unknown"
# | %ninf.or.nan = call float @returns_ninf_or_nan()
# | ^
# | <stdin>:728:50: note: with "NINF_OR_NAN" equal to "%ninf.or.nan"
# | %ninf.or.nan = call float @returns_ninf_or_nan()
# | ^
# | <stdin>:729:4: note: possible intended match here
# | %result = call nsz float @llvm.maximum.f32(float %unknown, float
%ninf.or.nan)
# | ^
# |
C:\_work\llvm-project\llvm-project\llvm\test\Transforms\InstCombine\simplify-demanded-fpclass-maximum.ll:1413:15:
error: CHECK-NEXT: expected string not found in input
# | ; CHECK-NEXT: [[RESULT:%.*]] = call float @llvm.maximum.f32(float [[INF]],
float [[UNKNOWN]])
# | ^
# | <stdin>:734:34: note: scanning from here
# | %inf = call float @returns_inf()
# | ^
# | <stdin>:734:34: note: with "INF" equal to "%inf"
# | %inf = call float @returns_inf()
# | ^
# | <stdin>:734:34: note: with "UNKNOWN" equal to "%unknown"
# | %inf = call float @returns_inf()
# | ^
# | <stdin>:735:7: note: possible intended match here
# | %result = call nsz float @llvm.maximum.f32(float %inf, float %unknown)
# | ^
# |
C:\_work\llvm-project\llvm-project\llvm\test\Transforms\InstCombine\simplify-demanded-fpclass-maximum.ll:1425:15:
error: CHECK-NEXT: expected string not found in input
# | ; CHECK-NEXT: [[RESULT:%.*]] = call float @llvm.maximum.f32(float
[[UNKNOWN]], float [[INF]])
# | ^
# | <stdin>:740:34: note: scanning from here
# | %inf = call float @returns_inf()
# | ^
# | <stdin>:740:34: note: with "UNKNOWN" equal to "%unknown"
# | %inf = call float @returns_inf()
# | ^
# | <stdin>:740:34: note: with "INF" equal to "%inf"
# | %inf = call float @returns_inf()
# | ^
# | <stdin>:741:4: note: possible intended match here
# | %result = call nsz float @llvm.maximum.f32(float %unknown, float %inf)
# | ^
# |
C:\_work\llvm-project\llvm-project\llvm\test\Transforms\InstCombine\simplify-demanded-fpclass-maximum.ll:1437:15:
error: CHECK-NEXT: expected string not found in input
# | ; CHECK-NEXT: [[RESULT:%.*]] = call float @llvm.maximum.f32(float
[[INF_OR_NAN]], float [[UNKNOWN]])
# | ^
# | <stdin>:746:48: note: scanning from here
# | %inf.or.nan = call float @returns_inf_or_nan()
# | ^
# | <stdin>:746:48: note: with "INF_OR_NAN" equal to "%inf.or.nan"
# | %inf.or.nan = call float @returns_inf_or_nan()
# | ^
# | <stdin>:746:48: note: with "UNKNOWN" equal to "%unknown"
# | %inf.or.nan = call float @returns_inf_or_nan()
# | ^
# | <stdin>:747:4: note: possible intended match here
# | %result = call nsz float @llvm.maximum.f32(float %inf.or.nan, float
%unknown)
# | ^
# |
C:\_work\llvm-project\llvm-project\llvm\test\Transforms\InstCombine\simplify-demanded-fpclass-maximum.ll:1449:15:
error: CHECK-NEXT: expected string not found in input
# | ; CHECK-NEXT: [[RESULT:%.*]] = call float @llvm.maximum.f32(float
[[UNKNOWN]], float [[INF_OR_NAN]])
# | ^
# | <stdin>:752:48: note: scanning from here
# | %inf.or.nan = call float @returns_inf_or_nan()
# | ^
# | <stdin>:752:48: note: with "UNKNOWN" equal to "%unknown"
# | %inf.or.nan = call float @returns_inf_or_nan()
# | ^
# | <stdin>:752:48: note: with "INF_OR_NAN" equal to "%inf.or.nan"
# | %inf.or.nan = call float @returns_inf_or_nan()
# | ^
# | <stdin>:753:4: note: possible intended match here
# | %result = call nsz float @llvm.maximum.f32(float %unknown, float
%inf.or.nan)
# | ^
# |
C:\_work\llvm-project\llvm-project\llvm\test\Transforms\InstCombine\simplify-demanded-fpclass-maximum.ll:1461:15:
error: CHECK-NEXT: expected string not found in input
# | ; CHECK-NEXT: [[RESULT:%.*]] = call float @llvm.maximum.f32(float
[[NINF_OR_NAN]], float [[NOT_NAN]])
# | ^
# | <stdin>:758:50: note: scanning from here
# | %ninf.or.nan = call float @returns_ninf_or_nan()
# | ^
# | <stdin>:758:50: note: with "NINF_OR_NAN" equal to "%ninf.or.nan"
# | %ninf.or.nan = call float @returns_ninf_or_nan()
# | ^
# | <stdin>:758:50: note: with "NOT_NAN" equal to "%not.nan"
# | %ninf.or.nan = call float @returns_ninf_or_nan()
# | ^
# | <stdin>:759:4: note: possible intended match here
# | %result = call nsz float @llvm.maximum.f32(float %ninf.or.nan, float
%not.nan)
# | ^
# |
C:\_work\llvm-project\llvm-project\llvm\test\Transforms\InstCombine\simplify-demanded-fpclass-maximum.ll:1473:15:
error: CHECK-NEXT: expected string not found in input
# | ; CHECK-NEXT: [[RESULT:%.*]] = call float @llvm.maximum.f32(float
[[NOT_NAN]], float [[NINF_OR_NAN]])
# | ^
# | <stdin>:764:50: note: scanning from here
# | %ninf.or.nan = call float @returns_ninf_or_nan()
# | ^
# | <stdin>:764:50: note: with "NOT_NAN" equal to "%not.nan"
# | %ninf.or.nan = call float @returns_ninf_or_nan()
# | ^
# | <stdin>:764:50: note: with "NINF_OR_NAN" equal to "%ninf.or.nan"
# | %ninf.or.nan = call float @returns_ninf_or_nan()
# | ^
# | <stdin>:765:2: note: possible intended match here
# | %result = call nsz float @llvm.maximum.f32(float %not.nan, float
%ninf.or.nan)
# | ^
# |
C:\_work\llvm-project\llvm-project\llvm\test\Transforms\InstCombine\simplify-demanded-fpclass-maximum.ll:1507:15:
error: CHECK-NEXT: expected string not found in input
# | ; CHECK-NEXT: [[RESULT:%.*]] = call float @llvm.maximum.f32(float
[[INF_OR_NAN]], float [[NOT_NAN]])
# | ^
# | <stdin>:780:48: note: scanning from here
# | %inf.or.nan = call float @returns_inf_or_nan()
# | ^
# | <stdin>:780:48: note: with "INF_OR_NAN" equal to "%inf.or.nan"
# | %inf.or.nan = call float @returns_inf_or_nan()
# | ^
# | <stdin>:780:48: note: with "NOT_NAN" equal to "%not.nan"
# | %inf.or.nan = call float @returns_inf_or_nan()
# | ^
# | <stdin>:781:4: note: possible intended match here
# | %result = call nsz float @llvm.maximum.f32(float %inf.or.nan, float
%not.nan)
# | ^
# |
C:\_work\llvm-project\llvm-project\llvm\test\Transforms\InstCombine\simplify-demanded-fpclass-maximum.ll:1519:15:
error: CHECK-NEXT: expected string not found in input
# | ; CHECK-NEXT: [[RESULT:%.*]] = call float @llvm.maximum.f32(float
[[NOT_NAN]], float [[INF_OR_NAN]])
# | ^
# | <stdin>:786:48: note: scanning from here
# | %inf.or.nan = call float @returns_inf_or_nan()
# | ^
# | <stdin>:786:48: note: with "NOT_NAN" equal to "%not.nan"
# | %inf.or.nan = call float @returns_inf_or_nan()
# | ^
# | <stdin>:786:48: note: with "INF_OR_NAN" equal to "%inf.or.nan"
# | %inf.or.nan = call float @returns_inf_or_nan()
# | ^
# | <stdin>:787:2: note: possible intended match here
# | %result = call nsz float @llvm.maximum.f32(float %not.nan, float
%inf.or.nan)
# | ^
# |
C:\_work\llvm-project\llvm-project\llvm\test\Transforms\InstCombine\simplify-demanded-fpclass-maximum.ll:1575:15:
error: CHECK-NEXT: expected string not found in input
# | ; CHECK-NEXT: [[RESULT:%.*]] = call nnan float @llvm.maximum.f32(float
[[INF_OR_NAN]], float [[NOT_NAN]])
# | ^
# | <stdin>:812:41: note: scanning from here
# | %inf.or.nan = call float @returns_inf()
# | ^
# | <stdin>:812:41: note: with "INF_OR_NAN" equal to "%inf.or.nan"
# | %inf.or.nan = call float @returns_inf()
# | ^
# | <stdin>:812:41: note: with "NOT_NAN" equal to "%not.nan"
# | %inf.or.nan = call float @returns_inf()
# | ^
# | <stdin>:813:4: note: possible intended match here
# | %result = call nnan nsz float @llvm.maximum.f32(float %inf.or.nan, float
%not.nan)
# | ^
# |
C:\_work\llvm-project\llvm-project\llvm\test\Transforms\InstCombine\simplify-demanded-fpclass-maximum.ll:1587:15:
error: CHECK-NEXT: expected string not found in input
# | ; CHECK-NEXT: [[RESULT:%.*]] = call nnan float @llvm.maximum.f32(float
[[NOT_NAN]], float [[INF_OR_NAN]])
# | ^
# | <stdin>:818:41: note: scanning from here
# | %inf.or.nan = call float @returns_inf()
# | ^
# | <stdin>:818:41: note: with "NOT_NAN" equal to "%not.nan"
# | %inf.or.nan = call float @returns_inf()
# | ^
# | <stdin>:818:41: note: with "INF_OR_NAN" equal to "%inf.or.nan"
# | %inf.or.nan = call float @returns_inf()
# | ^
# | <stdin>:819:2: note: possible intended match here
# | %result = call nnan nsz float @llvm.maximum.f32(float %not.nan, float
%inf.or.nan)
# | ^
# |
# | Input file: <stdin>
# | Check file:
C:\_work\llvm-project\llvm-project\llvm\test\Transforms\InstCombine\simplify-demanded-fpclass-maximum.ll
# |
# | -dump-input=help explains the following input dump.
# |
# | Input was:
# | <<<<<<
# | .
# | .
# | .
# | 683: %known.positive.or.nan = call float
@returns_positive_or_nan()
# | 684: ret float %known.positive.or.nan
# | 685: }
# | 686:
# | 687: define nofpclass(snan) float @pinf__maximum__unknown(float
%unknown) {
# | 688: %pinf = call float @returns_pinf()
# | next:1319'0 X error: no match found
# | next:1319'1 with "UNKNOWN" equal
to "%unknown"
# | 689: %result = call nsz float @llvm.maximum.f32(float %unknown,
float 0x7FF0000000000000)
# | next:1319'0
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | next:1319'2 ?
possible intended match
# | 690: ret float %result
# | next:1319'0 ~~~~~~~~~~~~~~~~~~~
# | 691: }
# | next:1319'0 ~~
# | 692:
# | next:1319'0 ~
# | 693: define nofpclass(snan) float @unknown__maximum__pinf(float
%unknown) {
# | next:1319'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 694: %pinf = call float @returns_pinf()
# | next:1331'0 X error: no match found
# | next:1331'1 with "UNKNOWN" equal
to "%unknown"
# | 695: %result = call nsz float @llvm.maximum.f32(float %unknown,
float 0x7FF0000000000000)
# | next:1331'0
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | next:1331'2 ?
possible intended match
# | 696: ret float %result
# | next:1331'0 ~~~~~~~~~~~~~~~~~~~
# | 697: }
# | next:1331'0 ~~
# | 698:
# | next:1331'0 ~
# | 699: define nofpclass(snan) float
@pinf_or_nan__maximum__unknown(float %unknown) {
# | next:1331'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 700: %pinf.or.nan = call float @returns_pinf_or_nan()
# | next:1343'0 X error:
no match found
# | next:1343'1 with
"PINF_OR_NAN" equal to "%pinf.or.nan"
# | next:1343'2 with
"UNKNOWN" equal to "%unknown"
# | 701: %result = call nsz float @llvm.maximum.f32(float
%pinf.or.nan, float %unknown)
# | next:1343'0
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | next:1343'3 ?
possible intended match
# | 702: ret float %result
# | next:1343'0 ~~~~~~~~~~~~~~~~~~~
# | 703: }
# | next:1343'0 ~~
# | 704:
# | next:1343'0 ~
# | 705: define nofpclass(snan) float
@unknown__maximum__pinf_or_nan(float %unknown) {
# | next:1343'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 706: %pinf.or.nan = call float @returns_pinf_or_nan()
# | next:1355'0 X error:
no match found
# | next:1355'1 with
"UNKNOWN" equal to "%unknown"
# | next:1355'2 with
"PINF_OR_NAN" equal to "%pinf.or.nan"
# | 707: %result = call nsz float @llvm.maximum.f32(float %unknown,
float %pinf.or.nan)
# | next:1355'0
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | next:1355'3 ?
possible intended match
# | 708: ret float %result
# | next:1355'0 ~~~~~~~~~~~~~~~~~~~
# | 709: }
# | next:1355'0 ~~
# | 710:
# | next:1355'0 ~
# | 711: define nofpclass(snan) float @ninf__maximum__unknown(float
%unknown) {
# | next:1355'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 712: %ninf = call float @returns_ninf()
# | .
# | .
# | .
# | 717: %ninf = call float @returns_ninf()
# | 718: ret float %unknown
# | 719: }
# | 720:
# | 721: define nofpclass(snan) float
@ninf_or_nan__maximum__unknown(float %unknown) {
# | 722: %ninf.or.nan = call float @returns_ninf_or_nan()
# | next:1389'0 X error:
no match found
# | next:1389'1 with
"NINF_OR_NAN" equal to "%ninf.or.nan"
# | next:1389'2 with
"UNKNOWN" equal to "%unknown"
# | 723: %result = call nsz float @llvm.maximum.f32(float
%ninf.or.nan, float %unknown)
# | next:1389'0
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | next:1389'3 ?
possible intended match
# | 724: ret float %result
# | next:1389'0 ~~~~~~~~~~~~~~~~~~~
# | 725: }
# | next:1389'0 ~~
# | 726:
# | next:1389'0 ~
# | 727: define nofpclass(snan) float
@unknown__maximum__ninf_or_nan(float %unknown) {
# | next:1389'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 728: %ninf.or.nan = call float @returns_ninf_or_nan()
# | next:1401'0 X error:
no match found
# | next:1401'1 with
"UNKNOWN" equal to "%unknown"
# | next:1401'2 with
"NINF_OR_NAN" equal to "%ninf.or.nan"
# | 729: %result = call nsz float @llvm.maximum.f32(float %unknown,
float %ninf.or.nan)
# | next:1401'0
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | next:1401'3 ?
possible intended match
# | 730: ret float %result
# | next:1401'0 ~~~~~~~~~~~~~~~~~~~
# | 731: }
# | next:1401'0 ~~
# | 732:
# | next:1401'0 ~
# | 733: define nofpclass(snan) float @inf__maximum__unknown(float
%unknown) {
# | next:1401'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 734: %inf = call float @returns_inf()
# | next:1413'0 X error: no match found
# | next:1413'1 with "INF" equal to
"%inf"
# | next:1413'2 with "UNKNOWN" equal to
"%unknown"
# | 735: %result = call nsz float @llvm.maximum.f32(float %inf,
float %unknown)
# | next:1413'0
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | next:1413'3 ?
possible intended match
# | 736: ret float %result
# | next:1413'0 ~~~~~~~~~~~~~~~~~~~
# | 737: }
# | next:1413'0 ~~
# | 738:
# | next:1413'0 ~
# | 739: define nofpclass(snan) float @unknown__maximum__inf(float
%unknown) {
# | next:1413'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 740: %inf = call float @returns_inf()
# | next:1425'0 X error: no match found
# | next:1425'1 with "UNKNOWN" equal to
"%unknown"
# | next:1425'2 with "INF" equal to
"%inf"
# | 741: %result = call nsz float @llvm.maximum.f32(float %unknown,
float %inf)
# | next:1425'0
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | next:1425'3 ?
possible intended match
# | 742: ret float %result
# | next:1425'0 ~~~~~~~~~~~~~~~~~~~
# | 743: }
# | next:1425'0 ~~
# | 744:
# | next:1425'0 ~
# | 745: define nofpclass(snan) float
@inf_or_nan__maximum__unknown(float %unknown) {
# | next:1425'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 746: %inf.or.nan = call float @returns_inf_or_nan()
# | next:1437'0 X error: no
match found
# | next:1437'1 with
"INF_OR_NAN" equal to "%inf.or.nan"
# | next:1437'2 with
"UNKNOWN" equal to "%unknown"
# | 747: %result = call nsz float @llvm.maximum.f32(float
%inf.or.nan, float %unknown)
# | next:1437'0
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | next:1437'3 ?
possible intended match
# | 748: ret float %result
# | next:1437'0 ~~~~~~~~~~~~~~~~~~~
# | 749: }
# | next:1437'0 ~~
# | 750:
# | next:1437'0 ~
# | 751: define nofpclass(snan) float
@unknown__maximum__inf_or_nan(float %unknown) {
# | next:1437'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 752: %inf.or.nan = call float @returns_inf_or_nan()
# | next:1449'0 X error: no
match found
# | next:1449'1 with
"UNKNOWN" equal to "%unknown"
# | next:1449'2 with
"INF_OR_NAN" equal to "%inf.or.nan"
# | 753: %result = call nsz float @llvm.maximum.f32(float %unknown,
float %inf.or.nan)
# | next:1449'0
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | next:1449'3 ?
possible intended match
# | 754: ret float %result
# | next:1449'0 ~~~~~~~~~~~~~~~~~~~
# | 755: }
# | next:1449'0 ~~
# | 756:
# | next:1449'0 ~
# | 757: define nofpclass(snan) float
@ninf_or_nan__maximum__not_nan(float nofpclass(nan) %not.nan) {
# | next:1449'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 758: %ninf.or.nan = call float @returns_ninf_or_nan()
# | next:1461'0 X error:
no match found
# | next:1461'1 with
"NINF_OR_NAN" equal to "%ninf.or.nan"
# | next:1461'2 with
"NOT_NAN" equal to "%not.nan"
# | 759: %result = call nsz float @llvm.maximum.f32(float
%ninf.or.nan, float %not.nan)
# | next:1461'0
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | next:1461'3 ?
possible intended match
# | 760: ret float %result
# | next:1461'0 ~~~~~~~~~~~~~~~~~~~
# | 761: }
# | next:1461'0 ~~
# | 762:
# | next:1461'0 ~
# | 763: define nofpclass(snan) float
@not_nan__maximum__ninf_or_nan(float nofpclass(nan) %not.nan) {
# | next:1461'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 764: %ninf.or.nan = call float @returns_ninf_or_nan()
# | next:1473'0 X error:
no match found
# | next:1473'1 with
"NOT_NAN" equal to "%not.nan"
# | next:1473'2 with
"NINF_OR_NAN" equal to "%ninf.or.nan"
# | 765: %result = call nsz float @llvm.maximum.f32(float %not.nan,
float %ninf.or.nan)
# | next:1473'0
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | next:1473'3 ?
possible intended match
# | 766: ret float %result
# | next:1473'0 ~~~~~~~~~~~~~~~~~~~
# | 767: }
# | next:1473'0 ~~
# | 768:
# | next:1473'0 ~
# | 769: define nofpclass(snan) float
@pinf_or_nan__maximum__not_nan(float nofpclass(nan) %not.nan) {
# | next:1473'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 770: %pinf.or.nan = call float @returns_pinf_or_nan()
# | .
# | .
# | .
# | 775: %pinf.or.nan = call float @returns_pinf_or_nan()
# | 776: ret float %pinf.or.nan
# | 777: }
# | 778:
# | 779: define nofpclass(snan) float
@inf_or_nan__maximum__not_nan(float nofpclass(nan) %not.nan) {
# | 780: %inf.or.nan = call float @returns_inf_or_nan()
# | next:1507'0 X error: no
match found
# | next:1507'1 with
"INF_OR_NAN" equal to "%inf.or.nan"
# | next:1507'2 with
"NOT_NAN" equal to "%not.nan"
# | 781: %result = call nsz float @llvm.maximum.f32(float
%inf.or.nan, float %not.nan)
# | next:1507'0
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | next:1507'3 ?
possible intended match
# | 782: ret float %result
# | next:1507'0 ~~~~~~~~~~~~~~~~~~~
# | 783: }
# | next:1507'0 ~~
# | 784:
# | next:1507'0 ~
# | 785: define nofpclass(snan) float
@not_nan__maximum__inf_or_nan(float nofpclass(nan) %not.nan) {
# | next:1507'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 786: %inf.or.nan = call float @returns_inf_or_nan()
# | next:1519'0 X error: no
match found
# | next:1519'1 with
"NOT_NAN" equal to "%not.nan"
# | next:1519'2 with
"INF_OR_NAN" equal to "%inf.or.nan"
# | 787: %result = call nsz float @llvm.maximum.f32(float %not.nan,
float %inf.or.nan)
# | next:1519'0
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | next:1519'3 ?
possible intended match
# | 788: ret float %result
# | next:1519'0 ~~~~~~~~~~~~~~~~~~~
# | 789: }
# | next:1519'0 ~~
# | 790:
# | next:1519'0 ~
# | 791: define nofpclass(snan) float @ninf__maximum__not_nan(float
nofpclass(nan) %not.nan) {
# | next:1519'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 792: %ninf.or.nan = call float @returns_ninf()
# | .
# | .
# | .
# | 807: %pinf.or.nan = call float @returns_pinf()
# | 808: ret float 0x7FF0000000000000
# | 809: }
# | 810:
# | 811: define nofpclass(snan) float @inf__maximum__not_nan(float
nofpclass(nan) %not.nan) {
# | 812: %inf.or.nan = call float @returns_inf()
# | next:1575'0 X error: no match
found
# | next:1575'1 with "INF_OR_NAN"
equal to "%inf.or.nan"
# | next:1575'2 with "NOT_NAN"
equal to "%not.nan"
# | 813: %result = call nnan nsz float @llvm.maximum.f32(float
%inf.or.nan, float %not.nan)
# | next:1575'0
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | next:1575'3 ?
possible intended match
# | 814: ret float %result
# | next:1575'0 ~~~~~~~~~~~~~~~~~~~
# | 815: }
# | next:1575'0 ~~
# | 816:
# | next:1575'0 ~
# | 817: define nofpclass(snan) float @not_nan__maximum__inf(float
nofpclass(nan) %not.nan) {
# | next:1575'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 818: %inf.or.nan = call float @returns_inf()
# | next:1587'0 X error: no match
found
# | next:1587'1 with "NOT_NAN"
equal to "%not.nan"
# | next:1587'2 with "INF_OR_NAN"
equal to "%inf.or.nan"
# | 819: %result = call nnan nsz float @llvm.maximum.f32(float
%not.nan, float %inf.or.nan)
# | next:1587'0
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | next:1587'3 ?
possible intended match
# | 820: ret float %result
# | next:1587'0 ~~~~~~~~~~~~~~~~~~~
# | 821: }
# | next:1587'0 ~~
# | 822:
# | next:1587'0 ~
# | 823: ; Function Attrs: nocallback nocreateundeforpoison nofree
nosync nounwind speculatable willreturn memory(none)
# | next:1587'0
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 824: declare float @llvm.maximum.f32(float, float) #2
# | next:1587'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | .
# | .
# | .
# | >>>>>>
# `-----------------------------
# error: command failed with exit status: 1
--
```
</details>
<details>
<summary>LLVM.Transforms/InstCombine/simplify-demanded-fpclass-minimum.ll</summary>
```
Exit Code: 1
Command Output (stdout):
--
# RUN: at line 2
c:\_work\llvm-project\llvm-project\build\bin\opt.exe -S -passes=instcombine <
C:\_work\llvm-project\llvm-project\llvm\test\Transforms\InstCombine\simplify-demanded-fpclass-minimum.ll
| c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe
C:\_work\llvm-project\llvm-project\llvm\test\Transforms\InstCombine\simplify-demanded-fpclass-minimum.ll
# executed command: 'c:\_work\llvm-project\llvm-project\build\bin\opt.exe' -S
-passes=instcombine
# note: command had no output on stdout or stderr
# executed command:
'c:\_work\llvm-project\llvm-project\build\bin\filecheck.exe'
'C:\_work\llvm-project\llvm-project\llvm\test\Transforms\InstCombine\simplify-demanded-fpclass-minimum.ll'
# .---command stderr------------
# |
C:\_work\llvm-project\llvm-project\llvm\test\Transforms\InstCombine\simplify-demanded-fpclass-minimum.ll:1343:15:
error: CHECK-NEXT: expected string not found in input
# | ; CHECK-NEXT: [[RESULT:%.*]] = call float @llvm.minimum.f32(float
[[PINF_OR_NAN]], float [[UNKNOWN]])
# | ^
# | <stdin>:700:50: note: scanning from here
# | %pinf.or.nan = call float @returns_pinf_or_nan()
# | ^
# | <stdin>:700:50: note: with "PINF_OR_NAN" equal to "%pinf.or.nan"
# | %pinf.or.nan = call float @returns_pinf_or_nan()
# | ^
# | <stdin>:700:50: note: with "UNKNOWN" equal to "%unknown"
# | %pinf.or.nan = call float @returns_pinf_or_nan()
# | ^
# | <stdin>:701:4: note: possible intended match here
# | %result = call nsz float @llvm.minimum.f32(float %pinf.or.nan, float
%unknown)
# | ^
# |
C:\_work\llvm-project\llvm-project\llvm\test\Transforms\InstCombine\simplify-demanded-fpclass-minimum.ll:1355:15:
error: CHECK-NEXT: expected string not found in input
# | ; CHECK-NEXT: [[RESULT:%.*]] = call float @llvm.minimum.f32(float
[[UNKNOWN]], float [[PINF_OR_NAN]])
# | ^
# | <stdin>:706:50: note: scanning from here
# | %pinf.or.nan = call float @returns_pinf_or_nan()
# | ^
# | <stdin>:706:50: note: with "UNKNOWN" equal to "%unknown"
# | %pinf.or.nan = call float @returns_pinf_or_nan()
# | ^
# | <stdin>:706:50: note: with "PINF_OR_NAN" equal to "%pinf.or.nan"
# | %pinf.or.nan = call float @returns_pinf_or_nan()
# | ^
# | <stdin>:707:4: note: possible intended match here
# | %result = call nsz float @llvm.minimum.f32(float %unknown, float
%pinf.or.nan)
# | ^
# |
C:\_work\llvm-project\llvm-project\llvm\test\Transforms\InstCombine\simplify-demanded-fpclass-minimum.ll:1367:15:
error: CHECK-NEXT: expected string not found in input
# | ; CHECK-NEXT: [[RESULT:%.*]] = call float @llvm.minimum.f32(float
[[UNKNOWN]], float 0xFFF0000000000000)
# | ^
# | <stdin>:712:36: note: scanning from here
# | %ninf = call float @returns_ninf()
# | ^
# | <stdin>:712:36: note: with "UNKNOWN" equal to "%unknown"
# | %ninf = call float @returns_ninf()
# | ^
# | <stdin>:713:12: note: possible intended match here
# | %result = call nsz float @llvm.minimum.f32(float %unknown, float
0xFFF0000000000000)
# | ^
# |
C:\_work\llvm-project\llvm-project\llvm\test\Transforms\InstCombine\simplify-demanded-fpclass-minimum.ll:1379:15:
error: CHECK-NEXT: expected string not found in input
# | ; CHECK-NEXT: [[RESULT:%.*]] = call float @llvm.minimum.f32(float
[[UNKNOWN]], float 0xFFF0000000000000)
# | ^
# | <stdin>:718:36: note: scanning from here
# | %ninf = call float @returns_ninf()
# | ^
# | <stdin>:718:36: note: with "UNKNOWN" equal to "%unknown"
# | %ninf = call float @returns_ninf()
# | ^
# | <stdin>:719:12: note: possible intended match here
# | %result = call nsz float @llvm.minimum.f32(float %unknown, float
0xFFF0000000000000)
# | ^
# |
C:\_work\llvm-project\llvm-project\llvm\test\Transforms\InstCombine\simplify-demanded-fpclass-minimum.ll:1391:15:
error: CHECK-NEXT: expected string not found in input
# | ; CHECK-NEXT: [[RESULT:%.*]] = call float @llvm.minimum.f32(float
[[NINF_OR_NAN]], float [[UNKNOWN]])
# | ^
# | <stdin>:724:50: note: scanning from here
# | %ninf.or.nan = call float @returns_ninf_or_nan()
# | ^
# | <stdin>:724:50: note: with "NINF_OR_NAN" equal to "%ninf.or.nan"
# | %ninf.or.nan = call float @returns_ninf_or_nan()
# | ^
# | <stdin>:724:50: note: with "UNKNOWN" equal to "%unknown"
# | %ninf.or.nan = call float @returns_ninf_or_nan()
# | ^
# | <stdin>:725:4: note: possible intended match here
# | %result = call nsz float @llvm.minimum.f32(float %ninf.or.nan, float
%unknown)
# | ^
# |
C:\_work\llvm-project\llvm-project\llvm\test\Transforms\InstCombine\simplify-demanded-fpclass-minimum.ll:1403:15:
error: CHECK-NEXT: expected string not found in input
# | ; CHECK-NEXT: [[RESULT:%.*]] = call float @llvm.minimum.f32(float
[[UNKNOWN]], float [[NINF_OR_NAN]])
# | ^
# | <stdin>:730:50: note: scanning from here
# | %ninf.or.nan = call float @returns_ninf_or_nan()
# | ^
# | <stdin>:730:50: note: with "UNKNOWN" equal to "%unknown"
# | %ninf.or.nan = call float @returns_ninf_or_nan()
# | ^
# | <stdin>:730:50: note: with "NINF_OR_NAN" equal to "%ninf.or.nan"
# | %ninf.or.nan = call float @returns_ninf_or_nan()
# | ^
# | <stdin>:731:4: note: possible intended match here
# | %result = call nsz float @llvm.minimum.f32(float %unknown, float
%ninf.or.nan)
# | ^
# |
C:\_work\llvm-project\llvm-project\llvm\test\Transforms\InstCombine\simplify-demanded-fpclass-minimum.ll:1415:15:
error: CHECK-NEXT: expected string not found in input
# | ; CHECK-NEXT: [[RESULT:%.*]] = call float @llvm.minimum.f32(float [[INF]],
float [[UNKNOWN]])
# | ^
# | <stdin>:736:34: note: scanning from here
# | %inf = call float @returns_inf()
# | ^
# | <stdin>:736:34: note: with "INF" equal to "%inf"
# | %inf = call float @returns_inf()
# | ^
# | <stdin>:736:34: note: with "UNKNOWN" equal to "%unknown"
# | %inf = call float @returns_inf()
# | ^
# | <stdin>:737:7: note: possible intended match here
# | %result = call nsz float @llvm.minimum.f32(float %inf, float %unknown)
# | ^
# |
C:\_work\llvm-project\llvm-project\llvm\test\Transforms\InstCombine\simplify-demanded-fpclass-minimum.ll:1427:15:
error: CHECK-NEXT: expected string not found in input
# | ; CHECK-NEXT: [[RESULT:%.*]] = call float @llvm.minimum.f32(float
[[UNKNOWN]], float [[INF]])
# | ^
# | <stdin>:742:34: note: scanning from here
# | %inf = call float @returns_inf()
# | ^
# | <stdin>:742:34: note: with "UNKNOWN" equal to "%unknown"
# | %inf = call float @returns_inf()
# | ^
# | <stdin>:742:34: note: with "INF" equal to "%inf"
# | %inf = call float @returns_inf()
# | ^
# | <stdin>:743:4: note: possible intended match here
# | %result = call nsz float @llvm.minimum.f32(float %unknown, float %inf)
# | ^
# |
C:\_work\llvm-project\llvm-project\llvm\test\Transforms\InstCombine\simplify-demanded-fpclass-minimum.ll:1439:15:
error: CHECK-NEXT: expected string not found in input
# | ; CHECK-NEXT: [[RESULT:%.*]] = call float @llvm.minimum.f32(float
[[INF_OR_NAN]], float [[UNKNOWN]])
# | ^
# | <stdin>:748:48: note: scanning from here
# | %inf.or.nan = call float @returns_inf_or_nan()
# | ^
# | <stdin>:748:48: note: with "INF_OR_NAN" equal to "%inf.or.nan"
# | %inf.or.nan = call float @returns_inf_or_nan()
# | ^
# | <stdin>:748:48: note: with "UNKNOWN" equal to "%unknown"
# | %inf.or.nan = call float @returns_inf_or_nan()
# | ^
# | <stdin>:749:4: note: possible intended match here
# | %result = call nsz float @llvm.minimum.f32(float %inf.or.nan, float
%unknown)
# | ^
# |
C:\_work\llvm-project\llvm-project\llvm\test\Transforms\InstCombine\simplify-demanded-fpclass-minimum.ll:1451:15:
error: CHECK-NEXT: expected string not found in input
# | ; CHECK-NEXT: [[RESULT:%.*]] = call float @llvm.minimum.f32(float
[[UNKNOWN]], float [[INF_OR_NAN]])
# | ^
# | <stdin>:754:48: note: scanning from here
# | %inf.or.nan = call float @returns_inf_or_nan()
# | ^
# | <stdin>:754:48: note: with "UNKNOWN" equal to "%unknown"
# | %inf.or.nan = call float @returns_inf_or_nan()
# | ^
# | <stdin>:754:48: note: with "INF_OR_NAN" equal to "%inf.or.nan"
# | %inf.or.nan = call float @returns_inf_or_nan()
# | ^
# | <stdin>:755:4: note: possible intended match here
# | %result = call nsz float @llvm.minimum.f32(float %unknown, float
%inf.or.nan)
# | ^
# |
C:\_work\llvm-project\llvm-project\llvm\test\Transforms\InstCombine\simplify-demanded-fpclass-minimum.ll:1485:15:
error: CHECK-NEXT: expected string not found in input
# | ; CHECK-NEXT: [[RESULT:%.*]] = call float @llvm.minimum.f32(float
[[PINF_OR_NAN]], float [[NOT_NAN]])
# | ^
# | <stdin>:770:50: note: scanning from here
# | %pinf.or.nan = call float @returns_pinf_or_nan()
# | ^
# | <stdin>:770:50: note: with "PINF_OR_NAN" equal to "%pinf.or.nan"
# | %pinf.or.nan = call float @returns_pinf_or_nan()
# | ^
# | <stdin>:770:50: note: with "NOT_NAN" equal to "%not.nan"
# | %pinf.or.nan = call float @returns_pinf_or_nan()
# | ^
# | <stdin>:771:4: note: possible intended match here
# | %result = call nsz float @llvm.minimum.f32(float %pinf.or.nan, float
%not.nan)
# | ^
# |
C:\_work\llvm-project\llvm-project\llvm\test\Transforms\InstCombine\simplify-demanded-fpclass-minimum.ll:1497:15:
error: CHECK-NEXT: expected string not found in input
# | ; CHECK-NEXT: [[RESULT:%.*]] = call float @llvm.minimum.f32(float
[[NOT_NAN]], float [[PINF_OR_NAN]])
# | ^
# | <stdin>:776:50: note: scanning from here
# | %pinf.or.nan = call float @returns_pinf_or_nan()
# | ^
# | <stdin>:776:50: note: with "NOT_NAN" equal to "%not.nan"
# | %pinf.or.nan = call float @returns_pinf_or_nan()
# | ^
# | <stdin>:776:50: note: with "PINF_OR_NAN" equal to "%pinf.or.nan"
# | %pinf.or.nan = call float @returns_pinf_or_nan()
# | ^
# | <stdin>:777:2: note: possible intended match here
# | %result = call nsz float @llvm.minimum.f32(float %not.nan, float
%pinf.or.nan)
# | ^
# |
C:\_work\llvm-project\llvm-project\llvm\test\Transforms\InstCombine\simplify-demanded-fpclass-minimum.ll:1509:15:
error: CHECK-NEXT: expected string not found in input
# | ; CHECK-NEXT: [[RESULT:%.*]] = call float @llvm.minimum.f32(float
[[INF_OR_NAN]], float [[NOT_NAN]])
# | ^
# | <stdin>:782:48: note: scanning from here
# | %inf.or.nan = call float @returns_inf_or_nan()
# | ^
# | <stdin>:782:48: note: with "INF_OR_NAN" equal to "%inf.or.nan"
# | %inf.or.nan = call float @returns_inf_or_nan()
# | ^
# | <stdin>:782:48: note: with "NOT_NAN" equal to "%not.nan"
# | %inf.or.nan = call float @returns_inf_or_nan()
# | ^
# | <stdin>:783:4: note: possible intended match here
# | %result = call nsz float @llvm.minimum.f32(float %inf.or.nan, float
%not.nan)
# | ^
# |
C:\_work\llvm-project\llvm-project\llvm\test\Transforms\InstCombine\simplify-demanded-fpclass-minimum.ll:1521:15:
error: CHECK-NEXT: expected string not found in input
# | ; CHECK-NEXT: [[RESULT:%.*]] = call float @llvm.minimum.f32(float
[[NOT_NAN]], float [[INF_OR_NAN]])
# | ^
# | <stdin>:788:48: note: scanning from here
# | %inf.or.nan = call float @returns_inf_or_nan()
# | ^
# | <stdin>:788:48: note: with "NOT_NAN" equal to "%not.nan"
# | %inf.or.nan = call float @returns_inf_or_nan()
# | ^
# | <stdin>:788:48: note: with "INF_OR_NAN" equal to "%inf.or.nan"
# | %inf.or.nan = call float @returns_inf_or_nan()
# | ^
# | <stdin>:789:2: note: possible intended match here
# | %result = call nsz float @llvm.minimum.f32(float %not.nan, float
%inf.or.nan)
# | ^
# |
C:\_work\llvm-project\llvm-project\llvm\test\Transforms\InstCombine\simplify-demanded-fpclass-minimum.ll:1577:15:
error: CHECK-NEXT: expected string not found in input
# | ; CHECK-NEXT: [[RESULT:%.*]] = call nnan float @llvm.minimum.f32(float
[[INF_OR_NAN]], float [[NOT_NAN]])
# | ^
# | <stdin>:814:41: note: scanning from here
# | %inf.or.nan = call float @returns_inf()
# | ^
# | <stdin>:814:41: note: with "INF_OR_NAN" equal to "%inf.or.nan"
# | %inf.or.nan = call float @returns_inf()
# | ^
# | <stdin>:814:41: note: with "NOT_NAN" equal to "%not.nan"
# | %inf.or.nan = call float @returns_inf()
# | ^
# | <stdin>:815:4: note: possible intended match here
# | %result = call nnan nsz float @llvm.minimum.f32(float %inf.or.nan, float
%not.nan)
# | ^
# |
C:\_work\llvm-project\llvm-project\llvm\test\Transforms\InstCombine\simplify-demanded-fpclass-minimum.ll:1589:15:
error: CHECK-NEXT: expected string not found in input
# | ; CHECK-NEXT: [[RESULT:%.*]] = call nnan float @llvm.minimum.f32(float
[[NOT_NAN]], float [[INF_OR_NAN]])
# | ^
# | <stdin>:820:41: note: scanning from here
# | %inf.or.nan = call float @returns_inf()
# | ^
# | <stdin>:820:41: note: with "NOT_NAN" equal to "%not.nan"
# | %inf.or.nan = call float @returns_inf()
# | ^
# | <stdin>:820:41: note: with "INF_OR_NAN" equal to "%inf.or.nan"
# | %inf.or.nan = call float @returns_inf()
# | ^
# | <stdin>:821:2: note: possible intended match here
# | %result = call nnan nsz float @llvm.minimum.f32(float %not.nan, float
%inf.or.nan)
# | ^
# |
# | Input file: <stdin>
# | Check file:
C:\_work\llvm-project\llvm-project\llvm\test\Transforms\InstCombine\simplify-demanded-fpclass-minimum.ll
# |
# | -dump-input=help explains the following input dump.
# |
# | Input was:
# | <<<<<<
# | .
# | .
# | .
# | 695: %pinf = call float @returns_pinf()
# | 696: ret float %unknown
# | 697: }
# | 698:
# | 699: define nofpclass(snan) float
@pinf_or_nan__minimum__unknown(float %unknown) {
# | 700: %pinf.or.nan = call float @returns_pinf_or_nan()
# | next:1343'0 X error:
no match found
# | next:1343'1 with
"PINF_OR_NAN" equal to "%pinf.or.nan"
# | next:1343'2 with
"UNKNOWN" equal to "%unknown"
# | 701: %result = call nsz float @llvm.minimum.f32(float
%pinf.or.nan, float %unknown)
# | next:1343'0
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | next:1343'3 ?
possible intended match
# | 702: ret float %result
# | next:1343'0 ~~~~~~~~~~~~~~~~~~~
# | 703: }
# | next:1343'0 ~~
# | 704:
# | next:1343'0 ~
# | 705: define nofpclass(snan) float
@unknown__minimum__pinf_or_nan(float %unknown) {
# | next:1343'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 706: %pinf.or.nan = call float @returns_pinf_or_nan()
# | next:1355'0 X error:
no match found
# | next:1355'1 with
"UNKNOWN" equal to "%unknown"
# | next:1355'2 with
"PINF_OR_NAN" equal to "%pinf.or.nan"
# | 707: %result = call nsz float @llvm.minimum.f32(float %unknown,
float %pinf.or.nan)
# | next:1355'0
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | next:1355'3 ?
possible intended match
# | 708: ret float %result
# | next:1355'0 ~~~~~~~~~~~~~~~~~~~
# | 709: }
# | next:1355'0 ~~
# | 710:
# | next:1355'0 ~
# | 711: define nofpclass(snan) float @ninf__minimum__unknown(float
%unknown) {
# | next:1355'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 712: %ninf = call float @returns_ninf()
# | next:1367'0 X error: no match found
# | next:1367'1 with "UNKNOWN" equal
to "%unknown"
# | 713: %result = call nsz float @llvm.minimum.f32(float %unknown,
float 0xFFF0000000000000)
# | next:1367'0
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | next:1367'2 ?
possible intended match
# | 714: ret float %result
# | next:1367'0 ~~~~~~~~~~~~~~~~~~~
# | 715: }
# | next:1367'0 ~~
# | 716:
# | next:1367'0 ~
# | 717: define nofpclass(snan) float @unknown__minimum__ninf(float
%unknown) {
# | next:1367'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 718: %ninf = call float @returns_ninf()
# | next:1379'0 X error: no match found
# | next:1379'1 with "UNKNOWN" equal
to "%unknown"
# | 719: %result = call nsz float @llvm.minimum.f32(float %unknown,
float 0xFFF0000000000000)
# | next:1379'0
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | next:1379'2 ?
possible intended match
# | 720: ret float %result
# | next:1379'0 ~~~~~~~~~~~~~~~~~~~
# | 721: }
# | next:1379'0 ~~
# | 722:
# | next:1379'0 ~
# | 723: define nofpclass(snan) float
@ninf_or_nan__minimum__unknown(float %unknown) {
# | next:1379'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 724: %ninf.or.nan = call float @returns_ninf_or_nan()
# | next:1391'0 X error:
no match found
# | next:1391'1 with
"NINF_OR_NAN" equal to "%ninf.or.nan"
# | next:1391'2 with
"UNKNOWN" equal to "%unknown"
# | 725: %result = call nsz float @llvm.minimum.f32(float
%ninf.or.nan, float %unknown)
# | next:1391'0
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | next:1391'3 ?
possible intended match
# | 726: ret float %result
# | next:1391'0 ~~~~~~~~~~~~~~~~~~~
# | 727: }
# | next:1391'0 ~~
# | 728:
# | next:1391'0 ~
# | 729: define nofpclass(snan) float
@unknown__minimum__ninf_or_nan(float %unknown) {
# | next:1391'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 730: %ninf.or.nan = call float @returns_ninf_or_nan()
# | next:1403'0 X error:
no match found
# | next:1403'1 with
"UNKNOWN" equal to "%unknown"
# | next:1403'2 with
"NINF_OR_NAN" equal to "%ninf.or.nan"
# | 731: %result = call nsz float @llvm.minimum.f32(float %unknown,
float %ninf.or.nan)
# | next:1403'0
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | next:1403'3 ?
possible intended match
# | 732: ret float %result
# | next:1403'0 ~~~~~~~~~~~~~~~~~~~
# | 733: }
# | next:1403'0 ~~
# | 734:
# | next:1403'0 ~
# | 735: define nofpclass(snan) float @inf__minimum__unknown(float
%unknown) {
# | next:1403'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 736: %inf = call float @returns_inf()
# | next:1415'0 X error: no match found
# | next:1415'1 with "INF" equal to
"%inf"
# | next:1415'2 with "UNKNOWN" equal to
"%unknown"
# | 737: %result = call nsz float @llvm.minimum.f32(float %inf,
float %unknown)
# | next:1415'0
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | next:1415'3 ?
possible intended match
# | 738: ret float %result
# | next:1415'0 ~~~~~~~~~~~~~~~~~~~
# | 739: }
# | next:1415'0 ~~
# | 740:
# | next:1415'0 ~
# | 741: define nofpclass(snan) float @unknown__minimum__inf(float
%unknown) {
# | next:1415'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 742: %inf = call float @returns_inf()
# | next:1427'0 X error: no match found
# | next:1427'1 with "UNKNOWN" equal to
"%unknown"
# | next:1427'2 with "INF" equal to
"%inf"
# | 743: %result = call nsz float @llvm.minimum.f32(float %unknown,
float %inf)
# | next:1427'0
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | next:1427'3 ?
possible intended match
# | 744: ret float %result
# | next:1427'0 ~~~~~~~~~~~~~~~~~~~
# | 745: }
# | next:1427'0 ~~
# | 746:
# | next:1427'0 ~
# | 747: define nofpclass(snan) float
@inf_or_nan__minimum__unknown(float %unknown) {
# | next:1427'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 748: %inf.or.nan = call float @returns_inf_or_nan()
# | next:1439'0 X error: no
match found
# | next:1439'1 with
"INF_OR_NAN" equal to "%inf.or.nan"
# | next:1439'2 with
"UNKNOWN" equal to "%unknown"
# | 749: %result = call nsz float @llvm.minimum.f32(float
%inf.or.nan, float %unknown)
# | next:1439'0
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | next:1439'3 ?
possible intended match
# | 750: ret float %result
# | next:1439'0 ~~~~~~~~~~~~~~~~~~~
# | 751: }
# | next:1439'0 ~~
# | 752:
# | next:1439'0 ~
# | 753: define nofpclass(snan) float
@unknown__minimum__inf_or_nan(float %unknown) {
# | next:1439'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 754: %inf.or.nan = call float @returns_inf_or_nan()
# | next:1451'0 X error: no
match found
# | next:1451'1 with
"UNKNOWN" equal to "%unknown"
# | next:1451'2 with
"INF_OR_NAN" equal to "%inf.or.nan"
# | 755: %result = call nsz float @llvm.minimum.f32(float %unknown,
float %inf.or.nan)
# | next:1451'0
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | next:1451'3 ?
possible intended match
# | 756: ret float %result
# | next:1451'0 ~~~~~~~~~~~~~~~~~~~
# | 757: }
# | next:1451'0 ~~
# | 758:
# | next:1451'0 ~
# | 759: define nofpclass(snan) float
@ninf_or_nan__minimum__not_nan(float nofpclass(nan) %not.nan) {
# | next:1451'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 760: %ninf.or.nan = call float @returns_ninf_or_nan()
# | .
# | .
# | .
# | 765: %ninf.or.nan = call float @returns_ninf_or_nan()
# | 766: ret float %ninf.or.nan
# | 767: }
# | 768:
# | 769: define nofpclass(snan) float
@pinf_or_nan__minimum__not_nan(float nofpclass(nan) %not.nan) {
# | 770: %pinf.or.nan = call float @returns_pinf_or_nan()
# | next:1485'0 X error:
no match found
# | next:1485'1 with
"PINF_OR_NAN" equal to "%pinf.or.nan"
# | next:1485'2 with
"NOT_NAN" equal to "%not.nan"
# | 771: %result = call nsz float @llvm.minimum.f32(float
%pinf.or.nan, float %not.nan)
# | next:1485'0
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | next:1485'3 ?
possible intended match
# | 772: ret float %result
# | next:1485'0 ~~~~~~~~~~~~~~~~~~~
# | 773: }
# | next:1485'0 ~~
# | 774:
# | next:1485'0 ~
# | 775: define nofpclass(snan) float
@not_nan__minimum__pinf_or_nan(float nofpclass(nan) %not.nan) {
# | next:1485'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 776: %pinf.or.nan = call float @returns_pinf_or_nan()
# | next:1497'0 X error:
no match found
# | next:1497'1 with
"NOT_NAN" equal to "%not.nan"
# | next:1497'2 with
"PINF_OR_NAN" equal to "%pinf.or.nan"
# | 777: %result = call nsz float @llvm.minimum.f32(float %not.nan,
float %pinf.or.nan)
# | next:1497'0
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | next:1497'3 ?
possible intended match
# | 778: ret float %result
# | next:1497'0 ~~~~~~~~~~~~~~~~~~~
# | 779: }
# | next:1497'0 ~~
# | 780:
# | next:1497'0 ~
# | 781: define nofpclass(snan) float
@inf_or_nan__minimum__not_nan(float nofpclass(nan) %not.nan) {
# | next:1497'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 782: %inf.or.nan = call float @returns_inf_or_nan()
# | next:1509'0 X error: no
match found
# | next:1509'1 with
"INF_OR_NAN" equal to "%inf.or.nan"
# | next:1509'2 with
"NOT_NAN" equal to "%not.nan"
# | 783: %result = call nsz float @llvm.minimum.f32(float
%inf.or.nan, float %not.nan)
# | next:1509'0
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | next:1509'3 ?
possible intended match
# | 784: ret float %result
# | next:1509'0 ~~~~~~~~~~~~~~~~~~~
# | 785: }
# | next:1509'0 ~~
# | 786:
# | next:1509'0 ~
# | 787: define nofpclass(snan) float
@not_nan__minimum__inf_or_nan(float nofpclass(nan) %not.nan) {
# | next:1509'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 788: %inf.or.nan = call float @returns_inf_or_nan()
# | next:1521'0 X error: no
match found
# | next:1521'1 with
"NOT_NAN" equal to "%not.nan"
# | next:1521'2 with
"INF_OR_NAN" equal to "%inf.or.nan"
# | 789: %result = call nsz float @llvm.minimum.f32(float %not.nan,
float %inf.or.nan)
# | next:1521'0
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | next:1521'3 ?
possible intended match
# | 790: ret float %result
# | next:1521'0 ~~~~~~~~~~~~~~~~~~~
# | 791: }
# | next:1521'0 ~~
# | 792:
# | next:1521'0 ~
# | 793: define nofpclass(snan) float @ninf__minimum__not_nan(float
nofpclass(nan) %not.nan) {
# | next:1521'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 794: %ninf.or.nan = call float @returns_ninf()
# | .
# | .
# | .
# | 809: %pinf.or.nan = call float @returns_pinf()
# | 810: ret float %not.nan
# | 811: }
# | 812:
# | 813: define nofpclass(snan) float @inf__minimum__not_nan(float
nofpclass(nan) %not.nan) {
# | 814: %inf.or.nan = call float @returns_inf()
# | next:1577'0 X error: no match
found
# | next:1577'1 with "INF_OR_NAN"
equal to "%inf.or.nan"
# | next:1577'2 with "NOT_NAN"
equal to "%not.nan"
# | 815: %result = call nnan nsz float @llvm.minimum.f32(float
%inf.or.nan, float %not.nan)
# | next:1577'0
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | next:1577'3 ?
possible intended match
# | 816: ret float %result
# | next:1577'0 ~~~~~~~~~~~~~~~~~~~
# | 817: }
# | next:1577'0 ~~
# | 818:
# | next:1577'0 ~
# | 819: define nofpclass(snan) float @not_nan__minimum__inf(float
nofpclass(nan) %not.nan) {
# | next:1577'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 820: %inf.or.nan = call float @returns_inf()
# | next:1589'0 X error: no match
found
# | next:1589'1 with "NOT_NAN"
equal to "%not.nan"
# | next:1589'2 with "INF_OR_NAN"
equal to "%inf.or.nan"
# | 821: %result = call nnan nsz float @llvm.minimum.f32(float
%not.nan, float %inf.or.nan)
# | next:1589'0
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | next:1589'3 ?
possible intended match
# | 822: ret float %result
# | next:1589'0 ~~~~~~~~~~~~~~~~~~~
# | 823: }
# | next:1589'0 ~~
# | 824:
# | next:1589'0 ~
# | 825: ; Function Attrs: nocallback nocreateundeforpoison nofree
nosync nounwind speculatable willreturn memory(none)
# | next:1589'0
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | 826: declare float @llvm.minimum.f32(float, float) #2
# | next:1589'0 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
# | .
# | .
# | .
# | >>>>>>
# `-----------------------------
# error: command failed with exit status: 1
--
```
</details>
If these failures are unrelated to your changes (for example tests are broken
or flaky at HEAD), please open an issue at
https://github.com/llvm/llvm-project/issues and add the `infrastructure` label.
https://github.com/llvm/llvm-project/pull/173898
_______________________________________________
llvm-branch-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/llvm-branch-commits
