Skip to content

Commit 477e206

Browse files
paperchalicepaperchalice
committed
use poison instead o f undef
1 parent 87ed258 commit 477e206

File tree

1 file changed

+60
-60
lines changed

1 file changed

+60
-60
lines changed

‎llvm/test/CodeGen/X86/fma_patterns.ll‎

Lines changed: 60 additions & 60 deletions
Original file line numberDiff line numberDiff line change
@@ -642,45 +642,45 @@ define <4 x float> @test_v4f32_mul_y_add_x_one_ninf(<4 x float> %x, <4 x float>
642642
ret <4 x float> %m
643643
}
644644

645-
define <4 x float> @test_v4f32_mul_y_add_x_one_undefs(<4 x float> %x, <4 x float> %y) {
646-
; FMA-LABEL: test_v4f32_mul_y_add_x_one_undefs:
645+
define <4 x float> @test_v4f32_mul_y_add_x_one_poisons(<4 x float> %x, <4 x float> %y) {
646+
; FMA-LABEL: test_v4f32_mul_y_add_x_one_poisons:
647647
; FMA: # %bb.0:
648648
; FMA-NEXT: vaddps {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %xmm0, %xmm0
649649
; FMA-NEXT: vmulps %xmm0, %xmm1, %xmm0
650650
; FMA-NEXT: retq
651651
;
652-
; FMA4-LABEL: test_v4f32_mul_y_add_x_one_undefs:
652+
; FMA4-LABEL: test_v4f32_mul_y_add_x_one_poisons:
653653
; FMA4: # %bb.0:
654654
; FMA4-NEXT: vaddps {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %xmm0, %xmm0
655655
; FMA4-NEXT: vmulps %xmm0, %xmm1, %xmm0
656656
; FMA4-NEXT: retq
657657
;
658-
; AVX512-LABEL: test_v4f32_mul_y_add_x_one_undefs:
658+
; AVX512-LABEL: test_v4f32_mul_y_add_x_one_poisons:
659659
; AVX512: # %bb.0:
660660
; AVX512-NEXT: vaddps {{\.?LCPI[0-9]+_[0-9]+}}(%rip){1to4}, %xmm0, %xmm0
661661
; AVX512-NEXT: vmulps %xmm0, %xmm1, %xmm0
662662
; AVX512-NEXT: retq
663-
%a = fadd contract <4 x float> %x, <float 1.0, float undef, float 1.0, float undef>
663+
%a = fadd contract <4 x float> %x, <float 1.0, float poison, float 1.0, float poison>
664664
%m = fmul contract <4 x float> %y, %a
665665
ret <4 x float> %m
666666
}
667667

668-
define <4 x float> @test_v4f32_mul_y_add_x_one_undefs_ninf(<4 x float> %x, <4 x float> %y) {
669-
; FMA-LABEL: test_v4f32_mul_y_add_x_one_undefs_ninf:
668+
define <4 x float> @test_v4f32_mul_y_add_x_one_poisons_ninf(<4 x float> %x, <4 x float> %y) {
669+
; FMA-LABEL: test_v4f32_mul_y_add_x_one_poisons_ninf:
670670
; FMA: # %bb.0:
671671
; FMA-NEXT: vfmadd213ps {{.*#+}} xmm0 = (xmm1 * xmm0) + xmm1
672672
; FMA-NEXT: retq
673673
;
674-
; FMA4-LABEL: test_v4f32_mul_y_add_x_one_undefs_ninf:
674+
; FMA4-LABEL: test_v4f32_mul_y_add_x_one_poisons_ninf:
675675
; FMA4: # %bb.0:
676676
; FMA4-NEXT: vfmaddps {{.*#+}} xmm0 = (xmm0 * xmm1) + xmm1
677677
; FMA4-NEXT: retq
678678
;
679-
; AVX512-LABEL: test_v4f32_mul_y_add_x_one_undefs_ninf:
679+
; AVX512-LABEL: test_v4f32_mul_y_add_x_one_poisons_ninf:
680680
; AVX512: # %bb.0:
681681
; AVX512-NEXT: vfmadd213ps {{.*#+}} xmm0 = (xmm1 * xmm0) + xmm1
682682
; AVX512-NEXT: retq
683-
%a = fadd contract ninf<4 x float> %x, <float 1.0, float undef, float 1.0, float undef>
683+
%a = fadd contract ninf<4 x float> %x, <float 1.0, float poison, float 1.0, float poison>
684684
%m = fmul contract ninf<4 x float> %y, %a
685685
ret <4 x float> %m
686686
}
@@ -771,45 +771,45 @@ define <4 x float> @test_v4f32_mul_y_add_x_negone_ninf(<4 x float> %x, <4 x floa
771771
ret <4 x float> %m
772772
}
773773

774-
define <4 x float> @test_v4f32_mul_y_add_x_negone_undefs(<4 x float> %x, <4 x float> %y) {
775-
; FMA-LABEL: test_v4f32_mul_y_add_x_negone_undefs:
774+
define <4 x float> @test_v4f32_mul_y_add_x_negone_poisons(<4 x float> %x, <4 x float> %y) {
775+
; FMA-LABEL: test_v4f32_mul_y_add_x_negone_poisons:
776776
; FMA: # %bb.0:
777777
; FMA-NEXT: vaddps {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %xmm0, %xmm0
778778
; FMA-NEXT: vmulps %xmm0, %xmm1, %xmm0
779779
; FMA-NEXT: retq
780780
;
781-
; FMA4-LABEL: test_v4f32_mul_y_add_x_negone_undefs:
781+
; FMA4-LABEL: test_v4f32_mul_y_add_x_negone_poisons:
782782
; FMA4: # %bb.0:
783783
; FMA4-NEXT: vaddps {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %xmm0, %xmm0
784784
; FMA4-NEXT: vmulps %xmm0, %xmm1, %xmm0
785785
; FMA4-NEXT: retq
786786
;
787-
; AVX512-LABEL: test_v4f32_mul_y_add_x_negone_undefs:
787+
; AVX512-LABEL: test_v4f32_mul_y_add_x_negone_poisons:
788788
; AVX512: # %bb.0:
789789
; AVX512-NEXT: vaddps {{\.?LCPI[0-9]+_[0-9]+}}(%rip){1to4}, %xmm0, %xmm0
790790
; AVX512-NEXT: vmulps %xmm0, %xmm1, %xmm0
791791
; AVX512-NEXT: retq
792-
%a = fadd contract <4 x float> %x, <float undef, float -1.0, float undef, float -1.0>
792+
%a = fadd contract <4 x float> %x, <float poison, float -1.0, float poison, float -1.0>
793793
%m = fmul contract <4 x float> %y, %a
794794
ret <4 x float> %m
795795
}
796796

797-
define <4 x float> @test_v4f32_mul_y_add_x_negone_undefs_ninf(<4 x float> %x, <4 x float> %y) {
798-
; FMA-LABEL: test_v4f32_mul_y_add_x_negone_undefs_ninf:
797+
define <4 x float> @test_v4f32_mul_y_add_x_negone_poisons_ninf(<4 x float> %x, <4 x float> %y) {
798+
; FMA-LABEL: test_v4f32_mul_y_add_x_negone_poisons_ninf:
799799
; FMA: # %bb.0:
800800
; FMA-NEXT: vfmsub213ps {{.*#+}} xmm0 = (xmm1 * xmm0) - xmm1
801801
; FMA-NEXT: retq
802802
;
803-
; FMA4-LABEL: test_v4f32_mul_y_add_x_negone_undefs_ninf:
803+
; FMA4-LABEL: test_v4f32_mul_y_add_x_negone_poisons_ninf:
804804
; FMA4: # %bb.0:
805805
; FMA4-NEXT: vfmsubps {{.*#+}} xmm0 = (xmm0 * xmm1) - xmm1
806806
; FMA4-NEXT: retq
807807
;
808-
; AVX512-LABEL: test_v4f32_mul_y_add_x_negone_undefs_ninf:
808+
; AVX512-LABEL: test_v4f32_mul_y_add_x_negone_poisons_ninf:
809809
; AVX512: # %bb.0:
810810
; AVX512-NEXT: vfmsub213ps {{.*#+}} xmm0 = (xmm1 * xmm0) - xmm1
811811
; AVX512-NEXT: retq
812-
%a = fadd contract ninf<4 x float> %x, <float undef, float -1.0, float undef, float -1.0>
812+
%a = fadd contract ninf<4 x float> %x, <float poison, float -1.0, float poison, float -1.0>
813813
%m = fmul contract ninf<4 x float> %y, %a
814814
ret <4 x float> %m
815815
}
@@ -912,48 +912,48 @@ define <4 x float> @test_v4f32_mul_y_sub_one_x_ninf(<4 x float> %x, <4 x float>
912912
ret <4 x float> %m
913913
}
914914

915-
define <4 x float> @test_v4f32_mul_y_sub_one_x_undefs(<4 x float> %x, <4 x float> %y) {
916-
; FMA-LABEL: test_v4f32_mul_y_sub_one_x_undefs:
915+
define <4 x float> @test_v4f32_mul_y_sub_one_x_poisons(<4 x float> %x, <4 x float> %y) {
916+
; FMA-LABEL: test_v4f32_mul_y_sub_one_x_poisons:
917917
; FMA: # %bb.0:
918918
; FMA-NEXT: vbroadcastss {{.*#+}} xmm2 = [1.0E+0,1.0E+0,1.0E+0,1.0E+0]
919919
; FMA-NEXT: vsubps %xmm0, %xmm2, %xmm0
920920
; FMA-NEXT: vmulps %xmm0, %xmm1, %xmm0
921921
; FMA-NEXT: retq
922922
;
923-
; FMA4-LABEL: test_v4f32_mul_y_sub_one_x_undefs:
923+
; FMA4-LABEL: test_v4f32_mul_y_sub_one_x_poisons:
924924
; FMA4: # %bb.0:
925925
; FMA4-NEXT: vbroadcastss {{.*#+}} xmm2 = [1.0E+0,1.0E+0,1.0E+0,1.0E+0]
926926
; FMA4-NEXT: vsubps %xmm0, %xmm2, %xmm0
927927
; FMA4-NEXT: vmulps %xmm0, %xmm1, %xmm0
928928
; FMA4-NEXT: retq
929929
;
930-
; AVX512-LABEL: test_v4f32_mul_y_sub_one_x_undefs:
930+
; AVX512-LABEL: test_v4f32_mul_y_sub_one_x_poisons:
931931
; AVX512: # %bb.0:
932932
; AVX512-NEXT: vbroadcastss {{.*#+}} xmm2 = [1.0E+0,1.0E+0,1.0E+0,1.0E+0]
933933
; AVX512-NEXT: vsubps %xmm0, %xmm2, %xmm0
934934
; AVX512-NEXT: vmulps %xmm0, %xmm1, %xmm0
935935
; AVX512-NEXT: retq
936-
%s = fsub contract <4 x float> <float 1.0, float undef, float 1.0, float 1.0>, %x
936+
%s = fsub contract <4 x float> <float 1.0, float poison, float 1.0, float 1.0>, %x
937937
%m = fmul contract <4 x float> %y, %s
938938
ret <4 x float> %m
939939
}
940940

941-
define <4 x float> @test_v4f32_mul_y_sub_one_x_undefs_ninf(<4 x float> %x, <4 x float> %y) {
942-
; FMA-LABEL: test_v4f32_mul_y_sub_one_x_undefs_ninf:
941+
define <4 x float> @test_v4f32_mul_y_sub_one_x_poisons_ninf(<4 x float> %x, <4 x float> %y) {
942+
; FMA-LABEL: test_v4f32_mul_y_sub_one_x_poisons_ninf:
943943
; FMA: # %bb.0:
944944
; FMA-NEXT: vfnmadd213ps {{.*#+}} xmm0 = -(xmm1 * xmm0) + xmm1
945945
; FMA-NEXT: retq
946946
;
947-
; FMA4-LABEL: test_v4f32_mul_y_sub_one_x_undefs_ninf:
947+
; FMA4-LABEL: test_v4f32_mul_y_sub_one_x_poisons_ninf:
948948
; FMA4: # %bb.0:
949949
; FMA4-NEXT: vfnmaddps {{.*#+}} xmm0 = -(xmm0 * xmm1) + xmm1
950950
; FMA4-NEXT: retq
951951
;
952-
; AVX512-LABEL: test_v4f32_mul_y_sub_one_x_undefs_ninf:
952+
; AVX512-LABEL: test_v4f32_mul_y_sub_one_x_poisons_ninf:
953953
; AVX512: # %bb.0:
954954
; AVX512-NEXT: vfnmadd213ps {{.*#+}} xmm0 = -(xmm1 * xmm0) + xmm1
955955
; AVX512-NEXT: retq
956-
%s = fsub contract ninf<4 x float> <float 1.0, float undef, float 1.0, float 1.0>, %x
956+
%s = fsub contract ninf<4 x float> <float 1.0, float poison, float 1.0, float 1.0>, %x
957957
%m = fmul contract ninf<4 x float> %y, %s
958958
ret <4 x float> %m
959959
}
@@ -1056,48 +1056,48 @@ define <4 x float> @test_v4f32_mul_y_sub_negone_x_ninf(<4 x float> %x, <4 x floa
10561056
ret <4 x float> %m
10571057
}
10581058

1059-
define <4 x float> @test_v4f32_mul_y_sub_negone_x_undefs(<4 x float> %x, <4 x float> %y) {
1060-
; FMA-LABEL: test_v4f32_mul_y_sub_negone_x_undefs:
1059+
define <4 x float> @test_v4f32_mul_y_sub_negone_x_poisons(<4 x float> %x, <4 x float> %y) {
1060+
; FMA-LABEL: test_v4f32_mul_y_sub_negone_x_poisons:
10611061
; FMA: # %bb.0:
10621062
; FMA-NEXT: vbroadcastss {{.*#+}} xmm2 = [-1.0E+0,-1.0E+0,-1.0E+0,-1.0E+0]
10631063
; FMA-NEXT: vsubps %xmm0, %xmm2, %xmm0
10641064
; FMA-NEXT: vmulps %xmm0, %xmm1, %xmm0
10651065
; FMA-NEXT: retq
10661066
;
1067-
; FMA4-LABEL: test_v4f32_mul_y_sub_negone_x_undefs:
1067+
; FMA4-LABEL: test_v4f32_mul_y_sub_negone_x_poisons:
10681068
; FMA4: # %bb.0:
10691069
; FMA4-NEXT: vbroadcastss {{.*#+}} xmm2 = [-1.0E+0,-1.0E+0,-1.0E+0,-1.0E+0]
10701070
; FMA4-NEXT: vsubps %xmm0, %xmm2, %xmm0
10711071
; FMA4-NEXT: vmulps %xmm0, %xmm1, %xmm0
10721072
; FMA4-NEXT: retq
10731073
;
1074-
; AVX512-LABEL: test_v4f32_mul_y_sub_negone_x_undefs:
1074+
; AVX512-LABEL: test_v4f32_mul_y_sub_negone_x_poisons:
10751075
; AVX512: # %bb.0:
10761076
; AVX512-NEXT: vbroadcastss {{.*#+}} xmm2 = [-1.0E+0,-1.0E+0,-1.0E+0,-1.0E+0]
10771077
; AVX512-NEXT: vsubps %xmm0, %xmm2, %xmm0
10781078
; AVX512-NEXT: vmulps %xmm0, %xmm1, %xmm0
10791079
; AVX512-NEXT: retq
1080-
%s = fsub contract <4 x float> <float -1.0, float -1.0, float undef, float -1.0>, %x
1080+
%s = fsub contract <4 x float> <float -1.0, float -1.0, float poison, float -1.0>, %x
10811081
%m = fmul contract <4 x float> %y, %s
10821082
ret <4 x float> %m
10831083
}
10841084

1085-
define <4 x float> @test_v4f32_mul_y_sub_negone_x_undefs_ninf(<4 x float> %x, <4 x float> %y) {
1086-
; FMA-LABEL: test_v4f32_mul_y_sub_negone_x_undefs_ninf:
1085+
define <4 x float> @test_v4f32_mul_y_sub_negone_x_poisons_ninf(<4 x float> %x, <4 x float> %y) {
1086+
; FMA-LABEL: test_v4f32_mul_y_sub_negone_x_poisons_ninf:
10871087
; FMA: # %bb.0:
10881088
; FMA-NEXT: vfnmsub213ps {{.*#+}} xmm0 = -(xmm1 * xmm0) - xmm1
10891089
; FMA-NEXT: retq
10901090
;
1091-
; FMA4-LABEL: test_v4f32_mul_y_sub_negone_x_undefs_ninf:
1091+
; FMA4-LABEL: test_v4f32_mul_y_sub_negone_x_poisons_ninf:
10921092
; FMA4: # %bb.0:
10931093
; FMA4-NEXT: vfnmsubps {{.*#+}} xmm0 = -(xmm0 * xmm1) - xmm1
10941094
; FMA4-NEXT: retq
10951095
;
1096-
; AVX512-LABEL: test_v4f32_mul_y_sub_negone_x_undefs_ninf:
1096+
; AVX512-LABEL: test_v4f32_mul_y_sub_negone_x_poisons_ninf:
10971097
; AVX512: # %bb.0:
10981098
; AVX512-NEXT: vfnmsub213ps {{.*#+}} xmm0 = -(xmm1 * xmm0) - xmm1
10991099
; AVX512-NEXT: retq
1100-
%s = fsub contract ninf<4 x float> <float -1.0, float -1.0, float undef, float -1.0>, %x
1100+
%s = fsub contract ninf<4 x float> <float -1.0, float -1.0, float poison, float -1.0>, %x
11011101
%m = fmul contract ninf<4 x float> %y, %s
11021102
ret <4 x float> %m
11031103
}
@@ -1188,45 +1188,45 @@ define <4 x float> @test_v4f32_mul_y_sub_x_one_ninf(<4 x float> %x, <4 x float>
11881188
ret <4 x float> %m
11891189
}
11901190

1191-
define <4 x float> @test_v4f32_mul_y_sub_x_one_undefs(<4 x float> %x, <4 x float> %y) {
1192-
; FMA-LABEL: test_v4f32_mul_y_sub_x_one_undefs:
1191+
define <4 x float> @test_v4f32_mul_y_sub_x_one_poisons(<4 x float> %x, <4 x float> %y) {
1192+
; FMA-LABEL: test_v4f32_mul_y_sub_x_one_poisons:
11931193
; FMA: # %bb.0:
11941194
; FMA-NEXT: vaddps {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %xmm0, %xmm0
11951195
; FMA-NEXT: vmulps %xmm0, %xmm1, %xmm0
11961196
; FMA-NEXT: retq
11971197
;
1198-
; FMA4-LABEL: test_v4f32_mul_y_sub_x_one_undefs:
1198+
; FMA4-LABEL: test_v4f32_mul_y_sub_x_one_poisons:
11991199
; FMA4: # %bb.0:
12001200
; FMA4-NEXT: vaddps {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %xmm0, %xmm0
12011201
; FMA4-NEXT: vmulps %xmm0, %xmm1, %xmm0
12021202
; FMA4-NEXT: retq
12031203
;
1204-
; AVX512-LABEL: test_v4f32_mul_y_sub_x_one_undefs:
1204+
; AVX512-LABEL: test_v4f32_mul_y_sub_x_one_poisons:
12051205
; AVX512: # %bb.0:
12061206
; AVX512-NEXT: vaddps {{\.?LCPI[0-9]+_[0-9]+}}(%rip){1to4}, %xmm0, %xmm0
12071207
; AVX512-NEXT: vmulps %xmm0, %xmm1, %xmm0
12081208
; AVX512-NEXT: retq
1209-
%s = fsub contract <4 x float> %x, <float 1.0, float 1.0, float 1.0, float undef>
1209+
%s = fsub contract <4 x float> %x, <float 1.0, float 1.0, float 1.0, float poison>
12101210
%m = fmul contract <4 x float> %y, %s
12111211
ret <4 x float> %m
12121212
}
12131213

1214-
define <4 x float> @test_v4f32_mul_y_sub_x_one_undefs_ninf(<4 x float> %x, <4 x float> %y) {
1215-
; FMA-LABEL: test_v4f32_mul_y_sub_x_one_undefs_ninf:
1214+
define <4 x float> @test_v4f32_mul_y_sub_x_one_poisons_ninf(<4 x float> %x, <4 x float> %y) {
1215+
; FMA-LABEL: test_v4f32_mul_y_sub_x_one_poisons_ninf:
12161216
; FMA: # %bb.0:
12171217
; FMA-NEXT: vfmsub213ps {{.*#+}} xmm0 = (xmm1 * xmm0) - xmm1
12181218
; FMA-NEXT: retq
12191219
;
1220-
; FMA4-LABEL: test_v4f32_mul_y_sub_x_one_undefs_ninf:
1220+
; FMA4-LABEL: test_v4f32_mul_y_sub_x_one_poisons_ninf:
12211221
; FMA4: # %bb.0:
12221222
; FMA4-NEXT: vfmsubps {{.*#+}} xmm0 = (xmm0 * xmm1) - xmm1
12231223
; FMA4-NEXT: retq
12241224
;
1225-
; AVX512-LABEL: test_v4f32_mul_y_sub_x_one_undefs_ninf:
1225+
; AVX512-LABEL: test_v4f32_mul_y_sub_x_one_poisons_ninf:
12261226
; AVX512: # %bb.0:
12271227
; AVX512-NEXT: vfmsub213ps {{.*#+}} xmm0 = (xmm1 * xmm0) - xmm1
12281228
; AVX512-NEXT: retq
1229-
%s = fsub contract ninf<4 x float> %x, <float 1.0, float 1.0, float 1.0, float undef>
1229+
%s = fsub contract ninf<4 x float> %x, <float 1.0, float 1.0, float 1.0, float poison>
12301230
%m = fmul contract ninf<4 x float> %y, %s
12311231
ret <4 x float> %m
12321232
}
@@ -1317,45 +1317,45 @@ define <4 x float> @test_v4f32_mul_y_sub_x_negone_ninf(<4 x float> %x, <4 x floa
13171317
ret <4 x float> %m
13181318
}
13191319

1320-
define <4 x float> @test_v4f32_mul_y_sub_x_negone_undefs(<4 x float> %x, <4 x float> %y) {
1321-
; FMA-LABEL: test_v4f32_mul_y_sub_x_negone_undefs:
1320+
define <4 x float> @test_v4f32_mul_y_sub_x_negone_poisons(<4 x float> %x, <4 x float> %y) {
1321+
; FMA-LABEL: test_v4f32_mul_y_sub_x_negone_poisons:
13221322
; FMA: # %bb.0:
13231323
; FMA-NEXT: vaddps {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %xmm0, %xmm0
13241324
; FMA-NEXT: vmulps %xmm0, %xmm1, %xmm0
13251325
; FMA-NEXT: retq
13261326
;
1327-
; FMA4-LABEL: test_v4f32_mul_y_sub_x_negone_undefs:
1327+
; FMA4-LABEL: test_v4f32_mul_y_sub_x_negone_poisons:
13281328
; FMA4: # %bb.0:
13291329
; FMA4-NEXT: vaddps {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %xmm0, %xmm0
13301330
; FMA4-NEXT: vmulps %xmm0, %xmm1, %xmm0
13311331
; FMA4-NEXT: retq
13321332
;
1333-
; AVX512-LABEL: test_v4f32_mul_y_sub_x_negone_undefs:
1333+
; AVX512-LABEL: test_v4f32_mul_y_sub_x_negone_poisons:
13341334
; AVX512: # %bb.0:
13351335
; AVX512-NEXT: vaddps {{\.?LCPI[0-9]+_[0-9]+}}(%rip){1to4}, %xmm0, %xmm0
13361336
; AVX512-NEXT: vmulps %xmm0, %xmm1, %xmm0
13371337
; AVX512-NEXT: retq
1338-
%s = fsub contract <4 x float> %x, <float undef, float -1.0, float -1.0, float -1.0>
1338+
%s = fsub contract <4 x float> %x, <float poison, float -1.0, float -1.0, float -1.0>
13391339
%m = fmul contract <4 x float> %y, %s
13401340
ret <4 x float> %m
13411341
}
13421342

1343-
define <4 x float> @test_v4f32_mul_y_sub_x_negone_undefs_ninf(<4 x float> %x, <4 x float> %y) {
1344-
; FMA-LABEL: test_v4f32_mul_y_sub_x_negone_undefs_ninf:
1343+
define <4 x float> @test_v4f32_mul_y_sub_x_negone_poisons_ninf(<4 x float> %x, <4 x float> %y) {
1344+
; FMA-LABEL: test_v4f32_mul_y_sub_x_negone_poisons_ninf:
13451345
; FMA: # %bb.0:
13461346
; FMA-NEXT: vfmadd213ps {{.*#+}} xmm0 = (xmm1 * xmm0) + xmm1
13471347
; FMA-NEXT: retq
13481348
;
1349-
; FMA4-LABEL: test_v4f32_mul_y_sub_x_negone_undefs_ninf:
1349+
; FMA4-LABEL: test_v4f32_mul_y_sub_x_negone_poisons_ninf:
13501350
; FMA4: # %bb.0:
13511351
; FMA4-NEXT: vfmaddps {{.*#+}} xmm0 = (xmm0 * xmm1) + xmm1
13521352
; FMA4-NEXT: retq
13531353
;
1354-
; AVX512-LABEL: test_v4f32_mul_y_sub_x_negone_undefs_ninf:
1354+
; AVX512-LABEL: test_v4f32_mul_y_sub_x_negone_poisons_ninf:
13551355
; AVX512: # %bb.0:
13561356
; AVX512-NEXT: vfmadd213ps {{.*#+}} xmm0 = (xmm1 * xmm0) + xmm1
13571357
; AVX512-NEXT: retq
1358-
%s = fsub contract ninf<4 x float> %x, <float undef, float -1.0, float -1.0, float -1.0>
1358+
%s = fsub contract ninf<4 x float> %x, <float poison, float -1.0, float -1.0, float -1.0>
13591359
%m = fmul contract ninf<4 x float> %y, %s
13601360
ret <4 x float> %m
13611361
}

0 commit comments

Comments
 (0)