245 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py2; RUN: opt < %s -passes=instcombine -S | FileCheck %s3 4define i1 @oeq_self(double %arg) {5; CHECK-LABEL: @oeq_self(6; CHECK-NEXT: [[TMP:%.*]] = fcmp ord double [[ARG:%.*]], 0.000000e+007; CHECK-NEXT: ret i1 [[TMP]]8;9 %tmp = fcmp oeq double %arg, %arg10 ret i1 %tmp11}12 13; PR1111 - https://bugs.llvm.org/show_bug.cgi?id=111114 15define i1 @une_self(double %x) {16; CHECK-LABEL: @une_self(17; CHECK-NEXT: [[TMP:%.*]] = fcmp uno double [[X:%.*]], 0.000000e+0018; CHECK-NEXT: ret i1 [[TMP]]19;20 %tmp = fcmp une double %x, %x21 ret i1 %tmp22}23 24; When just checking for a NaN (ORD/UNO), canonicalize constants.25; Float/double are alternated for additional coverage.26 27define i1 @ord_zero(float %x) {28; CHECK-LABEL: @ord_zero(29; CHECK-NEXT: [[F:%.*]] = fcmp ord float [[X:%.*]], 0.000000e+0030; CHECK-NEXT: ret i1 [[F]]31;32 %f = fcmp ord float %x, 0.033 ret i1 %f34}35 36define i1 @ord_nonzero(double %x) {37; CHECK-LABEL: @ord_nonzero(38; CHECK-NEXT: [[F:%.*]] = fcmp ord double [[X:%.*]], 0.000000e+0039; CHECK-NEXT: ret i1 [[F]]40;41 %f = fcmp ord double %x, 3.042 ret i1 %f43}44 45define i1 @ord_self(float %x) {46; CHECK-LABEL: @ord_self(47; CHECK-NEXT: [[F:%.*]] = fcmp ord float [[X:%.*]], 0.000000e+0048; CHECK-NEXT: ret i1 [[F]]49;50 %f = fcmp ord float %x, %x51 ret i1 %f52}53 54define i1 @uno_zero(double %x) {55; CHECK-LABEL: @uno_zero(56; CHECK-NEXT: [[F:%.*]] = fcmp uno double [[X:%.*]], 0.000000e+0057; CHECK-NEXT: ret i1 [[F]]58;59 %f = fcmp uno double %x, 0.060 ret i1 %f61}62 63define i1 @uno_nonzero(float %x) {64; CHECK-LABEL: @uno_nonzero(65; CHECK-NEXT: [[F:%.*]] = fcmp uno float [[X:%.*]], 0.000000e+0066; CHECK-NEXT: ret i1 [[F]]67;68 %f = fcmp uno float %x, 3.069 ret i1 %f70}71 72define i1 @uno_self(double %x) {73; CHECK-LABEL: @uno_self(74; CHECK-NEXT: [[F:%.*]] = fcmp uno double [[X:%.*]], 0.000000e+0075; CHECK-NEXT: ret i1 [[F]]76;77 %f = fcmp uno double %x, %x78 ret i1 %f79}80 81define <2 x i1> @ord_zero_vec(<2 x double> %x) {82; CHECK-LABEL: @ord_zero_vec(83; CHECK-NEXT: [[F:%.*]] = fcmp ord <2 x double> [[X:%.*]], zeroinitializer84; CHECK-NEXT: ret <2 x i1> [[F]]85;86 %f = fcmp ord <2 x double> %x, zeroinitializer87 ret <2 x i1> %f88}89 90define <2 x i1> @ord_nonzero_vec(<2 x float> %x) {91; CHECK-LABEL: @ord_nonzero_vec(92; CHECK-NEXT: [[F:%.*]] = fcmp ord <2 x float> [[X:%.*]], zeroinitializer93; CHECK-NEXT: ret <2 x i1> [[F]]94;95 %f = fcmp ord <2 x float> %x, <float 3.0, float 5.0>96 ret <2 x i1> %f97}98 99define <2 x i1> @ord_self_vec(<2 x double> %x) {100; CHECK-LABEL: @ord_self_vec(101; CHECK-NEXT: [[F:%.*]] = fcmp ord <2 x double> [[X:%.*]], zeroinitializer102; CHECK-NEXT: ret <2 x i1> [[F]]103;104 %f = fcmp ord <2 x double> %x, %x105 ret <2 x i1> %f106}107 108define <2 x i1> @uno_zero_vec(<2 x float> %x) {109; CHECK-LABEL: @uno_zero_vec(110; CHECK-NEXT: [[F:%.*]] = fcmp uno <2 x float> [[X:%.*]], zeroinitializer111; CHECK-NEXT: ret <2 x i1> [[F]]112;113 %f = fcmp uno <2 x float> %x, zeroinitializer114 ret <2 x i1> %f115}116 117define <2 x i1> @uno_nonzero_vec(<2 x double> %x) {118; CHECK-LABEL: @uno_nonzero_vec(119; CHECK-NEXT: [[F:%.*]] = fcmp uno <2 x double> [[X:%.*]], zeroinitializer120; CHECK-NEXT: ret <2 x i1> [[F]]121;122 %f = fcmp uno <2 x double> %x, <double 3.0, double 5.0>123 ret <2 x i1> %f124}125 126define <2 x i1> @uno_self_vec(<2 x float> %x) {127; CHECK-LABEL: @uno_self_vec(128; CHECK-NEXT: [[F:%.*]] = fcmp uno <2 x float> [[X:%.*]], zeroinitializer129; CHECK-NEXT: ret <2 x i1> [[F]]130;131 %f = fcmp uno <2 x float> %x, %x132 ret <2 x i1> %f133}134 135; If a scalar constant is NaN in any of the above tests, it would have been eliminated by InstSimplify.136; If a vector has a NaN element, we don't do anything with it.137 138define <2 x i1> @uno_vec_with_nan(<2 x double> %x) {139; CHECK-LABEL: @uno_vec_with_nan(140; CHECK-NEXT: [[F:%.*]] = fcmp uno <2 x double> [[X:%.*]], <double 3.000000e+00, double 0x7FF00000FFFFFFFF>141; CHECK-NEXT: ret <2 x i1> [[F]]142;143 %f = fcmp uno <2 x double> %x, <double 3.0, double 0x7FF00000FFFFFFFF>144 ret <2 x i1> %f145}146 147define <2 x i1> @uno_vec_with_poison(<2 x double> %x) {148; CHECK-LABEL: @uno_vec_with_poison(149; CHECK-NEXT: [[F:%.*]] = fcmp uno <2 x double> [[X:%.*]], zeroinitializer150; CHECK-NEXT: ret <2 x i1> [[F]]151;152 %f = fcmp uno <2 x double> %x, <double 3.0, double poison>153 ret <2 x i1> %f154}155 156define <2 x i1> @ord_vec_with_poison(<2 x double> %x) {157; CHECK-LABEL: @ord_vec_with_poison(158; CHECK-NEXT: [[F:%.*]] = fcmp ord <2 x double> [[X:%.*]], <double 0.000000e+00, double poison>159; CHECK-NEXT: ret <2 x i1> [[F]]160;161 %f = fcmp ord <2 x double> %x, <double 0.0, double poison>162 ret <2 x i1> %f163}164 165; TODO: This could be handled in InstSimplify.166 167define i1 @nnan_ops_to_fcmp_ord(float %x, float %y) {168; CHECK-LABEL: @nnan_ops_to_fcmp_ord(169; CHECK-NEXT: ret i1 true170;171 %mul = fmul nnan float %x, %y172 %div = fdiv nnan float %x, %y173 %cmp = fcmp ord float %mul, %div174 ret i1 %cmp175}176 177; TODO: This could be handled in InstSimplify.178 179define i1 @nnan_ops_to_fcmp_uno(float %x, float %y) {180; CHECK-LABEL: @nnan_ops_to_fcmp_uno(181; CHECK-NEXT: ret i1 false182;183 %mul = fmul nnan float %x, %y184 %div = fdiv nnan float %x, %y185 %cmp = fcmp uno float %mul, %div186 ret i1 %cmp187}188 189; TODO: For any predicate/type/FMF, comparison to -0.0 is the same as comparison to +0.0.190 191define i1 @negative_zero_oeq(float %x) {192; CHECK-LABEL: @negative_zero_oeq(193; CHECK-NEXT: [[R:%.*]] = fcmp oeq float [[X:%.*]], 0.000000e+00194; CHECK-NEXT: ret i1 [[R]]195;196 %r = fcmp oeq float %x, -0.0197 ret i1 %r198}199 200define i1 @negative_zero_oge(double %x) {201; CHECK-LABEL: @negative_zero_oge(202; CHECK-NEXT: [[R:%.*]] = fcmp nnan oge double [[X:%.*]], 0.000000e+00203; CHECK-NEXT: ret i1 [[R]]204;205 %r = fcmp nnan oge double %x, -0.0206 ret i1 %r207}208 209define i1 @negative_zero_uge(half %x) {210; CHECK-LABEL: @negative_zero_uge(211; CHECK-NEXT: [[R:%.*]] = fcmp fast uge half [[X:%.*]], 0xH0000212; CHECK-NEXT: ret i1 [[R]]213;214 %r = fcmp fast uge half %x, -0.0215 ret i1 %r216}217 218define <2 x i1> @negative_zero_olt_vec(<2 x float> %x) {219; CHECK-LABEL: @negative_zero_olt_vec(220; CHECK-NEXT: [[R:%.*]] = fcmp reassoc ninf olt <2 x float> [[X:%.*]], zeroinitializer221; CHECK-NEXT: ret <2 x i1> [[R]]222;223 %r = fcmp reassoc ninf olt <2 x float> %x, <float -0.0, float -0.0>224 ret <2 x i1> %r225}226 227define <2 x i1> @negative_zero_une_vec_poison(<2 x double> %x) {228; CHECK-LABEL: @negative_zero_une_vec_poison(229; CHECK-NEXT: [[R:%.*]] = fcmp nnan une <2 x double> [[X:%.*]], zeroinitializer230; CHECK-NEXT: ret <2 x i1> [[R]]231;232 %r = fcmp nnan une <2 x double> %x, <double -0.0, double poison>233 ret <2 x i1> %r234}235 236define <2 x i1> @negative_zero_ule_vec_mixed(<2 x float> %x) {237; CHECK-LABEL: @negative_zero_ule_vec_mixed(238; CHECK-NEXT: [[R:%.*]] = fcmp ule <2 x float> [[X:%.*]], zeroinitializer239; CHECK-NEXT: ret <2 x i1> [[R]]240;241 %r = fcmp ule <2 x float> %x, <float 0.0, float -0.0>242 ret <2 x i1> %r243}244 245