[llvm] r318408 - [InstSimplify] add tests for fcmp ord/uno; NFC
Sanjay Patel via llvm-commits
llvm-commits at lists.llvm.org
Thu Nov 16 07:25:59 PST 2017
Author: spatel
Date: Thu Nov 16 07:25:59 2017
New Revision: 318408
URL: http://llvm.org/viewvc/llvm-project?rev=318408&view=rev
Log:
[InstSimplify] add tests for fcmp ord/uno; NFC
Added:
llvm/trunk/test/Transforms/InstSimplify/logic-of-fcmps.ll
Added: llvm/trunk/test/Transforms/InstSimplify/logic-of-fcmps.ll
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/test/Transforms/InstSimplify/logic-of-fcmps.ll?rev=318408&view=auto
==============================================================================
--- llvm/trunk/test/Transforms/InstSimplify/logic-of-fcmps.ll (added)
+++ llvm/trunk/test/Transforms/InstSimplify/logic-of-fcmps.ll Thu Nov 16 07:25:59 2017
@@ -0,0 +1,217 @@
+; RUN: opt < %s -instsimplify -S | FileCheck %s
+
+; Cycle through commuted variants where one operand of fcmp ord/uno is
+; known not-a-NAN and the other is repeated in the logically-connected fcmp.
+
+define i1 @ord1(float %x, float %y) {
+; CHECK-LABEL: @ord1(
+; CHECK-NEXT: [[CMP1:%.*]] = fcmp ord float 0.000000e+00, %x
+; CHECK-NEXT: [[CMP2:%.*]] = fcmp ord float %x, %y
+; CHECK-NEXT: [[R:%.*]] = and i1 [[CMP1]], [[CMP2]]
+; CHECK-NEXT: ret i1 [[R]]
+;
+ %cmp1 = fcmp ord float 0.0, %x
+ %cmp2 = fcmp ord float %x, %y
+ %r = and i1 %cmp1, %cmp2
+ ret i1 %r
+}
+
+define i1 @ord2(double %x, double %y) {
+; CHECK-LABEL: @ord2(
+; CHECK-NEXT: [[CMP1:%.*]] = fcmp ord double 4.200000e+01, %x
+; CHECK-NEXT: [[CMP2:%.*]] = fcmp ord double %y, %x
+; CHECK-NEXT: [[R:%.*]] = and i1 [[CMP1]], [[CMP2]]
+; CHECK-NEXT: ret i1 [[R]]
+;
+ %cmp1 = fcmp ord double 42.0, %x
+ %cmp2 = fcmp ord double %y, %x
+ %r = and i1 %cmp1, %cmp2
+ ret i1 %r
+}
+
+define <2 x i1> @ord3(<2 x float> %x, <2 x float> %y) {
+; CHECK-LABEL: @ord3(
+; CHECK-NEXT: [[CMP1:%.*]] = fcmp ord <2 x float> %x, zeroinitializer
+; CHECK-NEXT: [[CMP2:%.*]] = fcmp ord <2 x float> %x, %y
+; CHECK-NEXT: [[R:%.*]] = and <2 x i1> [[CMP1]], [[CMP2]]
+; CHECK-NEXT: ret <2 x i1> [[R]]
+;
+ %cmp1 = fcmp ord <2 x float> %x, zeroinitializer
+ %cmp2 = fcmp ord <2 x float> %x, %y
+ %r = and <2 x i1> %cmp1, %cmp2
+ ret <2 x i1> %r
+}
+
+define <2 x i1> @ord4(<2 x double> %x, <2 x double> %y) {
+; CHECK-LABEL: @ord4(
+; CHECK-NEXT: [[CMP1:%.*]] = fcmp ord <2 x double> %x, <double 4.200000e+01, double 4.200000e+01>
+; CHECK-NEXT: [[CMP2:%.*]] = fcmp ord <2 x double> %y, %x
+; CHECK-NEXT: [[R:%.*]] = and <2 x i1> [[CMP1]], [[CMP2]]
+; CHECK-NEXT: ret <2 x i1> [[R]]
+;
+ %cmp1 = fcmp ord <2 x double> %x, <double 42.0, double 42.0>
+ %cmp2 = fcmp ord <2 x double> %y, %x
+ %r = and <2 x i1> %cmp1, %cmp2
+ ret <2 x i1> %r
+}
+
+define i1 @ord5(float %x, float %y) {
+; CHECK-LABEL: @ord5(
+; CHECK-NEXT: [[NNAN:%.*]] = fdiv nnan float %x, %y
+; CHECK-NEXT: [[CMP1:%.*]] = fcmp ord float %x, %y
+; CHECK-NEXT: [[CMP2:%.*]] = fcmp ord float [[NNAN]], %x
+; CHECK-NEXT: [[R:%.*]] = and i1 [[CMP1]], [[CMP2]]
+; CHECK-NEXT: ret i1 [[R]]
+;
+ %nnan = fdiv nnan float %x, %y
+ %cmp1 = fcmp ord float %x, %y
+ %cmp2 = fcmp ord float %nnan, %x
+ %r = and i1 %cmp1, %cmp2
+ ret i1 %r
+}
+
+define i1 @ord6(double %x, double %y) {
+; CHECK-LABEL: @ord6(
+; CHECK-NEXT: [[CMP1:%.*]] = fcmp ord double %y, %x
+; CHECK-NEXT: [[CMP2:%.*]] = fcmp ord double 4.200000e+01, %x
+; CHECK-NEXT: [[R:%.*]] = and i1 [[CMP1]], [[CMP2]]
+; CHECK-NEXT: ret i1 [[R]]
+;
+ %cmp1 = fcmp ord double %y, %x
+ %cmp2 = fcmp ord double 42.0, %x
+ %r = and i1 %cmp1, %cmp2
+ ret i1 %r
+}
+
+define <2 x i1> @ord7(<2 x float> %x, <2 x float> %y) {
+; CHECK-LABEL: @ord7(
+; CHECK-NEXT: [[CMP1:%.*]] = fcmp ord <2 x float> %x, %y
+; CHECK-NEXT: [[CMP2:%.*]] = fcmp ord <2 x float> %x, zeroinitializer
+; CHECK-NEXT: [[R:%.*]] = and <2 x i1> [[CMP1]], [[CMP2]]
+; CHECK-NEXT: ret <2 x i1> [[R]]
+;
+ %cmp1 = fcmp ord <2 x float> %x, %y
+ %cmp2 = fcmp ord <2 x float> %x, zeroinitializer
+ %r = and <2 x i1> %cmp1, %cmp2
+ ret <2 x i1> %r
+}
+
+define <2 x i1> @ord8(<2 x double> %x, <2 x double> %y) {
+; CHECK-LABEL: @ord8(
+; CHECK-NEXT: [[CMP1:%.*]] = fcmp ord <2 x double> %y, %x
+; CHECK-NEXT: [[CMP2:%.*]] = fcmp ord <2 x double> %x, <double 0.000000e+00, double 4.200000e+01>
+; CHECK-NEXT: [[R:%.*]] = and <2 x i1> [[CMP1]], [[CMP2]]
+; CHECK-NEXT: ret <2 x i1> [[R]]
+;
+ %cmp1 = fcmp ord <2 x double> %y, %x
+ %cmp2 = fcmp ord <2 x double> %x, <double 0.0, double 42.0>
+ %r = and <2 x i1> %cmp1, %cmp2
+ ret <2 x i1> %r
+}
+
+define i1 @uno1(float %x, float %y) {
+; CHECK-LABEL: @uno1(
+; CHECK-NEXT: [[CMP1:%.*]] = fcmp uno float 0.000000e+00, %x
+; CHECK-NEXT: [[CMP2:%.*]] = fcmp uno float %x, %y
+; CHECK-NEXT: [[R:%.*]] = or i1 [[CMP1]], [[CMP2]]
+; CHECK-NEXT: ret i1 [[R]]
+;
+ %cmp1 = fcmp uno float 0.0, %x
+ %cmp2 = fcmp uno float %x, %y
+ %r = or i1 %cmp1, %cmp2
+ ret i1 %r
+}
+
+define i1 @uno2(double %x, double %y) {
+; CHECK-LABEL: @uno2(
+; CHECK-NEXT: [[CMP1:%.*]] = fcmp uno double 4.200000e+01, %x
+; CHECK-NEXT: [[CMP2:%.*]] = fcmp uno double %y, %x
+; CHECK-NEXT: [[R:%.*]] = or i1 [[CMP1]], [[CMP2]]
+; CHECK-NEXT: ret i1 [[R]]
+;
+ %cmp1 = fcmp uno double 42.0, %x
+ %cmp2 = fcmp uno double %y, %x
+ %r = or i1 %cmp1, %cmp2
+ ret i1 %r
+}
+
+define <2 x i1> @uno3(<2 x float> %x, <2 x float> %y) {
+; CHECK-LABEL: @uno3(
+; CHECK-NEXT: [[CMP1:%.*]] = fcmp uno <2 x float> %x, zeroinitializer
+; CHECK-NEXT: [[CMP2:%.*]] = fcmp uno <2 x float> %x, %y
+; CHECK-NEXT: [[R:%.*]] = or <2 x i1> [[CMP1]], [[CMP2]]
+; CHECK-NEXT: ret <2 x i1> [[R]]
+;
+ %cmp1 = fcmp uno <2 x float> %x, zeroinitializer
+ %cmp2 = fcmp uno <2 x float> %x, %y
+ %r = or <2 x i1> %cmp1, %cmp2
+ ret <2 x i1> %r
+}
+
+define <2 x i1> @uno4(<2 x double> %x, <2 x double> %y) {
+; CHECK-LABEL: @uno4(
+; CHECK-NEXT: [[CMP1:%.*]] = fcmp uno <2 x double> %x, <double 4.200000e+01, double 4.200000e+01>
+; CHECK-NEXT: [[CMP2:%.*]] = fcmp uno <2 x double> %y, %x
+; CHECK-NEXT: [[R:%.*]] = or <2 x i1> [[CMP1]], [[CMP2]]
+; CHECK-NEXT: ret <2 x i1> [[R]]
+;
+ %cmp1 = fcmp uno <2 x double> %x, <double 42.0, double 42.0>
+ %cmp2 = fcmp uno <2 x double> %y, %x
+ %r = or <2 x i1> %cmp1, %cmp2
+ ret <2 x i1> %r
+}
+
+define i1 @uno5(float %x, float %y) {
+; CHECK-LABEL: @uno5(
+; CHECK-NEXT: [[CMP1:%.*]] = fcmp uno float %x, %y
+; CHECK-NEXT: [[CMP2:%.*]] = fcmp uno float 0.000000e+00, %x
+; CHECK-NEXT: [[R:%.*]] = or i1 [[CMP1]], [[CMP2]]
+; CHECK-NEXT: ret i1 [[R]]
+;
+ %cmp1 = fcmp uno float %x, %y
+ %cmp2 = fcmp uno float 0.0, %x
+ %r = or i1 %cmp1, %cmp2
+ ret i1 %r
+}
+
+define i1 @uno6(double %x, double %y) {
+; CHECK-LABEL: @uno6(
+; CHECK-NEXT: [[CMP1:%.*]] = fcmp uno double %y, %x
+; CHECK-NEXT: [[CMP2:%.*]] = fcmp uno double 4.200000e+01, %x
+; CHECK-NEXT: [[R:%.*]] = or i1 [[CMP1]], [[CMP2]]
+; CHECK-NEXT: ret i1 [[R]]
+;
+ %cmp1 = fcmp uno double %y, %x
+ %cmp2 = fcmp uno double 42.0, %x
+ %r = or i1 %cmp1, %cmp2
+ ret i1 %r
+}
+
+define <2 x i1> @uno7(<2 x float> %x, <2 x float> %y) {
+; CHECK-LABEL: @uno7(
+; CHECK-NEXT: [[NNAN:%.*]] = fdiv nnan <2 x float> %x, %y
+; CHECK-NEXT: [[CMP1:%.*]] = fcmp uno <2 x float> %x, %y
+; CHECK-NEXT: [[CMP2:%.*]] = fcmp uno <2 x float> %x, [[NNAN]]
+; CHECK-NEXT: [[R:%.*]] = or <2 x i1> [[CMP1]], [[CMP2]]
+; CHECK-NEXT: ret <2 x i1> [[R]]
+;
+ %nnan = fdiv nnan <2 x float> %x, %y
+ %cmp1 = fcmp uno <2 x float> %x, %y
+ %cmp2 = fcmp uno <2 x float> %x, %nnan
+ %r = or <2 x i1> %cmp1, %cmp2
+ ret <2 x i1> %r
+}
+
+define <2 x i1> @uno8(<2 x double> %x, <2 x double> %y) {
+; CHECK-LABEL: @uno8(
+; CHECK-NEXT: [[CMP1:%.*]] = fcmp uno <2 x double> %y, %x
+; CHECK-NEXT: [[CMP2:%.*]] = fcmp uno <2 x double> %x, <double 0x7FF0000000000000, double 4.200000e+01>
+; CHECK-NEXT: [[R:%.*]] = or <2 x i1> [[CMP1]], [[CMP2]]
+; CHECK-NEXT: ret <2 x i1> [[R]]
+;
+ %cmp1 = fcmp uno <2 x double> %y, %x
+ %cmp2 = fcmp uno <2 x double> %x, <double 0x7ff0000000000000, double 42.0>
+ %r = or <2 x i1> %cmp1, %cmp2
+ ret <2 x i1> %r
+}
+
More information about the llvm-commits
mailing list