| ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py |
| ; RUN: opt < %s -instcombine -S | FileCheck %s |
| |
| define i1 @PR1738(double %x, double %y) { |
| ; CHECK-LABEL: @PR1738( |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp ord double [[X:%.*]], [[Y:%.*]] |
| ; CHECK-NEXT: ret i1 [[TMP1]] |
| ; |
| %cmp1 = fcmp ord double %x, 0.0 |
| %cmp2 = fcmp ord double %y, 0.0 |
| %and = and i1 %cmp1, %cmp2 |
| ret i1 %and |
| } |
| |
| ; TODO: this can be supported by freezing %y |
| define i1 @PR1738_logical(double %x, double %y) { |
| ; CHECK-LABEL: @PR1738_logical( |
| ; CHECK-NEXT: [[CMP1:%.*]] = fcmp ord double [[X:%.*]], 0.000000e+00 |
| ; CHECK-NEXT: [[CMP2:%.*]] = fcmp ord double [[Y:%.*]], 0.000000e+00 |
| ; CHECK-NEXT: [[AND:%.*]] = select i1 [[CMP1]], i1 [[CMP2]], i1 false |
| ; CHECK-NEXT: ret i1 [[AND]] |
| ; |
| %cmp1 = fcmp ord double %x, 0.0 |
| %cmp2 = fcmp ord double %y, 0.0 |
| %and = select i1 %cmp1, i1 %cmp2, i1 false |
| ret i1 %and |
| } |
| |
| define i1 @PR1738_logical_noundef(double %x, double noundef %y) { |
| ; CHECK-LABEL: @PR1738_logical_noundef( |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp ord double [[X:%.*]], [[Y:%.*]] |
| ; CHECK-NEXT: ret i1 [[TMP1]] |
| ; |
| %cmp1 = fcmp ord double %x, 0.0 |
| %cmp2 = fcmp ord double %y, 0.0 |
| %and = select i1 %cmp1, i1 %cmp2, i1 false |
| ret i1 %and |
| } |
| |
| define <2 x i1> @PR1738_vec_undef(<2 x double> %x, <2 x double> %y) { |
| ; CHECK-LABEL: @PR1738_vec_undef( |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp ord <2 x double> [[X:%.*]], [[Y:%.*]] |
| ; CHECK-NEXT: ret <2 x i1> [[TMP1]] |
| ; |
| %cmp1 = fcmp ord <2 x double> %x, <double 0.0, double undef> |
| %cmp2 = fcmp ord <2 x double> %y, <double undef, double 0.0> |
| %or = and <2 x i1> %cmp1, %cmp2 |
| ret <2 x i1> %or |
| } |
| |
| define i1 @PR41069(i1 %z, float %c, float %d) { |
| ; CHECK-LABEL: @PR41069( |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp ord float [[D:%.*]], [[C:%.*]] |
| ; CHECK-NEXT: [[R:%.*]] = and i1 [[TMP1]], [[Z:%.*]] |
| ; CHECK-NEXT: ret i1 [[R]] |
| ; |
| %ord1 = fcmp arcp ord float %c, 0.0 |
| %and = and i1 %ord1, %z |
| %ord2 = fcmp afn ord float %d, 0.0 |
| %r = and i1 %and, %ord2 |
| ret i1 %r |
| } |
| |
| ; FIXME: this can be supported by freezing %d |
| define i1 @PR41069_logical(i1 %z, float %c, float %d) { |
| ; CHECK-LABEL: @PR41069_logical( |
| ; CHECK-NEXT: [[ORD1:%.*]] = fcmp arcp ord float [[C:%.*]], 0.000000e+00 |
| ; CHECK-NEXT: [[AND:%.*]] = select i1 [[ORD1]], i1 [[Z:%.*]], i1 false |
| ; CHECK-NEXT: [[ORD2:%.*]] = fcmp afn ord float [[D:%.*]], 0.000000e+00 |
| ; CHECK-NEXT: [[R:%.*]] = select i1 [[AND]], i1 [[ORD2]], i1 false |
| ; CHECK-NEXT: ret i1 [[R]] |
| ; |
| %ord1 = fcmp arcp ord float %c, 0.0 |
| %and = select i1 %ord1, i1 %z, i1 false |
| %ord2 = fcmp afn ord float %d, 0.0 |
| %r = select i1 %and, i1 %ord2, i1 false |
| ret i1 %r |
| } |
| |
| define i1 @PR41069_commute(i1 %z, float %c, float %d) { |
| ; CHECK-LABEL: @PR41069_commute( |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp ninf ord float [[D:%.*]], [[C:%.*]] |
| ; CHECK-NEXT: [[R:%.*]] = and i1 [[TMP1]], [[Z:%.*]] |
| ; CHECK-NEXT: ret i1 [[R]] |
| ; |
| %ord1 = fcmp ninf ord float %c, 0.0 |
| %and = and i1 %ord1, %z |
| %ord2 = fcmp ninf reassoc ord float %d, 0.0 |
| %r = and i1 %ord2, %and |
| ret i1 %r |
| } |
| |
| ; TODO: this should be fixed using freeze |
| define i1 @PR41069_commute_logical(i1 %z, float %c, float %d) { |
| ; CHECK-LABEL: @PR41069_commute_logical( |
| ; CHECK-NEXT: [[ORD1:%.*]] = fcmp ninf ord float [[C:%.*]], 0.000000e+00 |
| ; CHECK-NEXT: [[ORD2:%.*]] = fcmp reassoc ninf ord float [[D:%.*]], 0.000000e+00 |
| ; CHECK-NEXT: [[TMP1:%.*]] = select i1 [[ORD2]], i1 [[ORD1]], i1 false |
| ; CHECK-NEXT: [[R:%.*]] = select i1 [[TMP1]], i1 [[Z:%.*]], i1 false |
| ; CHECK-NEXT: ret i1 [[R]] |
| ; |
| %ord1 = fcmp ninf ord float %c, 0.0 |
| %and = select i1 %ord1, i1 %z, i1 false |
| %ord2 = fcmp ninf reassoc ord float %d, 0.0 |
| %r = select i1 %ord2, i1 %and, i1 false |
| ret i1 %r |
| } |
| |
| ; Commute differently and make sure vectors work. |
| |
| define <2 x i1> @PR41069_vec(<2 x double> %a, <2 x double> %b, <2 x double> %c, <2 x double> %d) { |
| ; CHECK-LABEL: @PR41069_vec( |
| ; CHECK-NEXT: [[ORD1:%.*]] = fcmp ord <2 x double> [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp ord <2 x double> [[D:%.*]], [[C:%.*]] |
| ; CHECK-NEXT: [[R:%.*]] = and <2 x i1> [[TMP1]], [[ORD1]] |
| ; CHECK-NEXT: ret <2 x i1> [[R]] |
| ; |
| %ord1 = fcmp ord <2 x double> %a, %b |
| %ord2 = fcmp ord <2 x double> %c, <double 0.0, double undef> |
| %and = and <2 x i1> %ord1, %ord2 |
| %ord3 = fcmp ord <2 x double> %d, zeroinitializer |
| %r = and <2 x i1> %and, %ord3 |
| ret <2 x i1> %r |
| } |
| |
| define <2 x i1> @PR41069_vec_commute(<2 x double> %a, <2 x double> %b, <2 x double> %c, <2 x double> %d) { |
| ; CHECK-LABEL: @PR41069_vec_commute( |
| ; CHECK-NEXT: [[ORD1:%.*]] = fcmp ord <2 x double> [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp ord <2 x double> [[D:%.*]], [[C:%.*]] |
| ; CHECK-NEXT: [[R:%.*]] = and <2 x i1> [[TMP1]], [[ORD1]] |
| ; CHECK-NEXT: ret <2 x i1> [[R]] |
| ; |
| %ord1 = fcmp ord <2 x double> %a, %b |
| %ord2 = fcmp ord <2 x double> %c, <double 0.0, double undef> |
| %and = and <2 x i1> %ord1, %ord2 |
| %ord3 = fcmp ord <2 x double> %d, zeroinitializer |
| %r = and <2 x i1> %ord3, %and |
| ret <2 x i1> %r |
| } |
| |
| define i1 @PR15737(float %a, double %b) { |
| ; CHECK-LABEL: @PR15737( |
| ; CHECK-NEXT: [[CMP:%.*]] = fcmp ord float [[A:%.*]], 0.000000e+00 |
| ; CHECK-NEXT: [[CMP1:%.*]] = fcmp ord double [[B:%.*]], 0.000000e+00 |
| ; CHECK-NEXT: [[AND:%.*]] = and i1 [[CMP]], [[CMP1]] |
| ; CHECK-NEXT: ret i1 [[AND]] |
| ; |
| %cmp = fcmp ord float %a, 0.000000e+00 |
| %cmp1 = fcmp ord double %b, 0.000000e+00 |
| %and = and i1 %cmp, %cmp1 |
| ret i1 %and |
| } |
| |
| define i1 @PR15737_logical(float %a, double %b) { |
| ; CHECK-LABEL: @PR15737_logical( |
| ; CHECK-NEXT: [[CMP:%.*]] = fcmp ord float [[A:%.*]], 0.000000e+00 |
| ; CHECK-NEXT: [[CMP1:%.*]] = fcmp ord double [[B:%.*]], 0.000000e+00 |
| ; CHECK-NEXT: [[AND:%.*]] = select i1 [[CMP]], i1 [[CMP1]], i1 false |
| ; CHECK-NEXT: ret i1 [[AND]] |
| ; |
| %cmp = fcmp ord float %a, 0.000000e+00 |
| %cmp1 = fcmp ord double %b, 0.000000e+00 |
| %and = select i1 %cmp, i1 %cmp1, i1 false |
| ret i1 %and |
| } |
| |
| define <2 x i1> @t9(<2 x float> %a, <2 x double> %b) { |
| ; CHECK-LABEL: @t9( |
| ; CHECK-NEXT: [[CMP:%.*]] = fcmp ord <2 x float> [[A:%.*]], zeroinitializer |
| ; CHECK-NEXT: [[CMP1:%.*]] = fcmp ord <2 x double> [[B:%.*]], zeroinitializer |
| ; CHECK-NEXT: [[AND:%.*]] = and <2 x i1> [[CMP]], [[CMP1]] |
| ; CHECK-NEXT: ret <2 x i1> [[AND]] |
| ; |
| %cmp = fcmp ord <2 x float> %a, zeroinitializer |
| %cmp1 = fcmp ord <2 x double> %b, zeroinitializer |
| %and = and <2 x i1> %cmp, %cmp1 |
| ret <2 x i1> %and |
| } |
| |
| define i1 @fcmp_ord_nonzero(float %x, float %y) { |
| ; CHECK-LABEL: @fcmp_ord_nonzero( |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp ord float [[X:%.*]], [[Y:%.*]] |
| ; CHECK-NEXT: ret i1 [[TMP1]] |
| ; |
| %cmp1 = fcmp ord float %x, 1.0 |
| %cmp2 = fcmp ord float %y, 2.0 |
| %and = and i1 %cmp1, %cmp2 |
| ret i1 %and |
| } |
| |
| ; TODO: this can be supported by freezing %y |
| define i1 @fcmp_ord_nonzero_logical(float %x, float %y) { |
| ; CHECK-LABEL: @fcmp_ord_nonzero_logical( |
| ; CHECK-NEXT: [[CMP1:%.*]] = fcmp ord float [[X:%.*]], 0.000000e+00 |
| ; CHECK-NEXT: [[CMP2:%.*]] = fcmp ord float [[Y:%.*]], 0.000000e+00 |
| ; CHECK-NEXT: [[AND:%.*]] = select i1 [[CMP1]], i1 [[CMP2]], i1 false |
| ; CHECK-NEXT: ret i1 [[AND]] |
| ; |
| %cmp1 = fcmp ord float %x, 1.0 |
| %cmp2 = fcmp ord float %y, 2.0 |
| %and = select i1 %cmp1, i1 %cmp2, i1 false |
| ret i1 %and |
| } |
| |
| define <3 x i1> @fcmp_ord_nonzero_vec(<3 x float> %x, <3 x float> %y) { |
| ; CHECK-LABEL: @fcmp_ord_nonzero_vec( |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp ord <3 x float> [[X:%.*]], [[Y:%.*]] |
| ; CHECK-NEXT: ret <3 x i1> [[TMP1]] |
| ; |
| %cmp1 = fcmp ord <3 x float> %x, <float 1.0, float 2.0, float 3.0> |
| %cmp2 = fcmp ord <3 x float> %y, <float 3.0, float 2.0, float 1.0> |
| %and = and <3 x i1> %cmp1, %cmp2 |
| ret <3 x i1> %and |
| } |
| |
| define i1 @auto_gen_0(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_0( |
| ; CHECK-NEXT: ret i1 false |
| ; |
| %cmp = fcmp false double %a, %b |
| %cmp1 = fcmp false double %a, %b |
| %retval = and i1 %cmp, %cmp1 |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_0_logical(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_0_logical( |
| ; CHECK-NEXT: ret i1 false |
| ; |
| %cmp = fcmp false double %a, %b |
| %cmp1 = fcmp false double %a, %b |
| %retval = select i1 %cmp, i1 %cmp1, i1 false |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_1(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_1( |
| ; CHECK-NEXT: ret i1 false |
| ; |
| %cmp = fcmp oeq double %a, %b |
| %cmp1 = fcmp false double %a, %b |
| %retval = and i1 %cmp, %cmp1 |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_1_logical(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_1_logical( |
| ; CHECK-NEXT: ret i1 false |
| ; |
| %cmp = fcmp oeq double %a, %b |
| %cmp1 = fcmp false double %a, %b |
| %retval = select i1 %cmp, i1 %cmp1, i1 false |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_2(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_2( |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp oeq double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[TMP1]] |
| ; |
| %cmp = fcmp oeq double %a, %b |
| %cmp1 = fcmp oeq double %a, %b |
| %retval = and i1 %cmp, %cmp1 |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_2_logical(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_2_logical( |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp oeq double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[TMP1]] |
| ; |
| %cmp = fcmp oeq double %a, %b |
| %cmp1 = fcmp oeq double %a, %b |
| %retval = select i1 %cmp, i1 %cmp1, i1 false |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_3(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_3( |
| ; CHECK-NEXT: ret i1 false |
| ; |
| %cmp = fcmp ogt double %a, %b |
| %cmp1 = fcmp false double %a, %b |
| %retval = and i1 %cmp, %cmp1 |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_3_logical(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_3_logical( |
| ; CHECK-NEXT: ret i1 false |
| ; |
| %cmp = fcmp ogt double %a, %b |
| %cmp1 = fcmp false double %a, %b |
| %retval = select i1 %cmp, i1 %cmp1, i1 false |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_4(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_4( |
| ; CHECK-NEXT: ret i1 false |
| ; |
| %cmp = fcmp ogt double %a, %b |
| %cmp1 = fcmp oeq double %a, %b |
| %retval = and i1 %cmp, %cmp1 |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_4_logical(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_4_logical( |
| ; CHECK-NEXT: ret i1 false |
| ; |
| %cmp = fcmp ogt double %a, %b |
| %cmp1 = fcmp oeq double %a, %b |
| %retval = select i1 %cmp, i1 %cmp1, i1 false |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_5(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_5( |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp ogt double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[TMP1]] |
| ; |
| %cmp = fcmp ogt double %a, %b |
| %cmp1 = fcmp ogt double %a, %b |
| %retval = and i1 %cmp, %cmp1 |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_5_logical(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_5_logical( |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp ogt double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[TMP1]] |
| ; |
| %cmp = fcmp ogt double %a, %b |
| %cmp1 = fcmp ogt double %a, %b |
| %retval = select i1 %cmp, i1 %cmp1, i1 false |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_6(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_6( |
| ; CHECK-NEXT: ret i1 false |
| ; |
| %cmp = fcmp oge double %a, %b |
| %cmp1 = fcmp false double %a, %b |
| %retval = and i1 %cmp, %cmp1 |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_6_logical(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_6_logical( |
| ; CHECK-NEXT: ret i1 false |
| ; |
| %cmp = fcmp oge double %a, %b |
| %cmp1 = fcmp false double %a, %b |
| %retval = select i1 %cmp, i1 %cmp1, i1 false |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_7(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_7( |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp oeq double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[TMP1]] |
| ; |
| %cmp = fcmp oge double %a, %b |
| %cmp1 = fcmp oeq double %a, %b |
| %retval = and i1 %cmp, %cmp1 |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_7_logical(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_7_logical( |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp oeq double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[TMP1]] |
| ; |
| %cmp = fcmp oge double %a, %b |
| %cmp1 = fcmp oeq double %a, %b |
| %retval = select i1 %cmp, i1 %cmp1, i1 false |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_8(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_8( |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp ogt double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[TMP1]] |
| ; |
| %cmp = fcmp oge double %a, %b |
| %cmp1 = fcmp ogt double %a, %b |
| %retval = and i1 %cmp, %cmp1 |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_8_logical(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_8_logical( |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp ogt double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[TMP1]] |
| ; |
| %cmp = fcmp oge double %a, %b |
| %cmp1 = fcmp ogt double %a, %b |
| %retval = select i1 %cmp, i1 %cmp1, i1 false |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_9(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_9( |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp oge double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[TMP1]] |
| ; |
| %cmp = fcmp oge double %a, %b |
| %cmp1 = fcmp oge double %a, %b |
| %retval = and i1 %cmp, %cmp1 |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_9_logical(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_9_logical( |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp oge double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[TMP1]] |
| ; |
| %cmp = fcmp oge double %a, %b |
| %cmp1 = fcmp oge double %a, %b |
| %retval = select i1 %cmp, i1 %cmp1, i1 false |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_10(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_10( |
| ; CHECK-NEXT: ret i1 false |
| ; |
| %cmp = fcmp olt double %a, %b |
| %cmp1 = fcmp false double %a, %b |
| %retval = and i1 %cmp, %cmp1 |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_10_logical(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_10_logical( |
| ; CHECK-NEXT: ret i1 false |
| ; |
| %cmp = fcmp olt double %a, %b |
| %cmp1 = fcmp false double %a, %b |
| %retval = select i1 %cmp, i1 %cmp1, i1 false |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_11(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_11( |
| ; CHECK-NEXT: ret i1 false |
| ; |
| %cmp = fcmp olt double %a, %b |
| %cmp1 = fcmp oeq double %a, %b |
| %retval = and i1 %cmp, %cmp1 |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_11_logical(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_11_logical( |
| ; CHECK-NEXT: ret i1 false |
| ; |
| %cmp = fcmp olt double %a, %b |
| %cmp1 = fcmp oeq double %a, %b |
| %retval = select i1 %cmp, i1 %cmp1, i1 false |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_12(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_12( |
| ; CHECK-NEXT: ret i1 false |
| ; |
| %cmp = fcmp olt double %a, %b |
| %cmp1 = fcmp ogt double %a, %b |
| %retval = and i1 %cmp, %cmp1 |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_12_logical(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_12_logical( |
| ; CHECK-NEXT: ret i1 false |
| ; |
| %cmp = fcmp olt double %a, %b |
| %cmp1 = fcmp ogt double %a, %b |
| %retval = select i1 %cmp, i1 %cmp1, i1 false |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_13(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_13( |
| ; CHECK-NEXT: ret i1 false |
| ; |
| %cmp = fcmp olt double %a, %b |
| %cmp1 = fcmp oge double %a, %b |
| %retval = and i1 %cmp, %cmp1 |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_13_logical(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_13_logical( |
| ; CHECK-NEXT: ret i1 false |
| ; |
| %cmp = fcmp olt double %a, %b |
| %cmp1 = fcmp oge double %a, %b |
| %retval = select i1 %cmp, i1 %cmp1, i1 false |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_14(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_14( |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp olt double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[TMP1]] |
| ; |
| %cmp = fcmp olt double %a, %b |
| %cmp1 = fcmp olt double %a, %b |
| %retval = and i1 %cmp, %cmp1 |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_14_logical(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_14_logical( |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp olt double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[TMP1]] |
| ; |
| %cmp = fcmp olt double %a, %b |
| %cmp1 = fcmp olt double %a, %b |
| %retval = select i1 %cmp, i1 %cmp1, i1 false |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_15(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_15( |
| ; CHECK-NEXT: ret i1 false |
| ; |
| %cmp = fcmp ole double %a, %b |
| %cmp1 = fcmp false double %a, %b |
| %retval = and i1 %cmp, %cmp1 |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_15_logical(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_15_logical( |
| ; CHECK-NEXT: ret i1 false |
| ; |
| %cmp = fcmp ole double %a, %b |
| %cmp1 = fcmp false double %a, %b |
| %retval = select i1 %cmp, i1 %cmp1, i1 false |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_16(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_16( |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp oeq double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[TMP1]] |
| ; |
| %cmp = fcmp ole double %a, %b |
| %cmp1 = fcmp oeq double %a, %b |
| %retval = and i1 %cmp, %cmp1 |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_16_logical(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_16_logical( |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp oeq double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[TMP1]] |
| ; |
| %cmp = fcmp ole double %a, %b |
| %cmp1 = fcmp oeq double %a, %b |
| %retval = select i1 %cmp, i1 %cmp1, i1 false |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_17(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_17( |
| ; CHECK-NEXT: ret i1 false |
| ; |
| %cmp = fcmp ole double %a, %b |
| %cmp1 = fcmp ogt double %a, %b |
| %retval = and i1 %cmp, %cmp1 |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_17_logical(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_17_logical( |
| ; CHECK-NEXT: ret i1 false |
| ; |
| %cmp = fcmp ole double %a, %b |
| %cmp1 = fcmp ogt double %a, %b |
| %retval = select i1 %cmp, i1 %cmp1, i1 false |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_18(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_18( |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp oeq double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[TMP1]] |
| ; |
| %cmp = fcmp ole double %a, %b |
| %cmp1 = fcmp oge double %a, %b |
| %retval = and i1 %cmp, %cmp1 |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_18_logical(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_18_logical( |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp oeq double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[TMP1]] |
| ; |
| %cmp = fcmp ole double %a, %b |
| %cmp1 = fcmp oge double %a, %b |
| %retval = select i1 %cmp, i1 %cmp1, i1 false |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_19(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_19( |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp olt double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[TMP1]] |
| ; |
| %cmp = fcmp ole double %a, %b |
| %cmp1 = fcmp olt double %a, %b |
| %retval = and i1 %cmp, %cmp1 |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_19_logical(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_19_logical( |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp olt double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[TMP1]] |
| ; |
| %cmp = fcmp ole double %a, %b |
| %cmp1 = fcmp olt double %a, %b |
| %retval = select i1 %cmp, i1 %cmp1, i1 false |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_20(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_20( |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp ole double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[TMP1]] |
| ; |
| %cmp = fcmp ole double %a, %b |
| %cmp1 = fcmp ole double %a, %b |
| %retval = and i1 %cmp, %cmp1 |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_20_logical(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_20_logical( |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp ole double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[TMP1]] |
| ; |
| %cmp = fcmp ole double %a, %b |
| %cmp1 = fcmp ole double %a, %b |
| %retval = select i1 %cmp, i1 %cmp1, i1 false |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_21(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_21( |
| ; CHECK-NEXT: ret i1 false |
| ; |
| %cmp = fcmp one double %a, %b |
| %cmp1 = fcmp false double %a, %b |
| %retval = and i1 %cmp, %cmp1 |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_21_logical(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_21_logical( |
| ; CHECK-NEXT: ret i1 false |
| ; |
| %cmp = fcmp one double %a, %b |
| %cmp1 = fcmp false double %a, %b |
| %retval = select i1 %cmp, i1 %cmp1, i1 false |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_22(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_22( |
| ; CHECK-NEXT: ret i1 false |
| ; |
| %cmp = fcmp one double %a, %b |
| %cmp1 = fcmp oeq double %a, %b |
| %retval = and i1 %cmp, %cmp1 |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_22_logical(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_22_logical( |
| ; CHECK-NEXT: ret i1 false |
| ; |
| %cmp = fcmp one double %a, %b |
| %cmp1 = fcmp oeq double %a, %b |
| %retval = select i1 %cmp, i1 %cmp1, i1 false |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_23(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_23( |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp ogt double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[TMP1]] |
| ; |
| %cmp = fcmp one double %a, %b |
| %cmp1 = fcmp ogt double %a, %b |
| %retval = and i1 %cmp, %cmp1 |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_23_logical(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_23_logical( |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp ogt double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[TMP1]] |
| ; |
| %cmp = fcmp one double %a, %b |
| %cmp1 = fcmp ogt double %a, %b |
| %retval = select i1 %cmp, i1 %cmp1, i1 false |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_24(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_24( |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp ogt double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[TMP1]] |
| ; |
| %cmp = fcmp one double %a, %b |
| %cmp1 = fcmp oge double %a, %b |
| %retval = and i1 %cmp, %cmp1 |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_24_logical(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_24_logical( |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp ogt double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[TMP1]] |
| ; |
| %cmp = fcmp one double %a, %b |
| %cmp1 = fcmp oge double %a, %b |
| %retval = select i1 %cmp, i1 %cmp1, i1 false |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_25(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_25( |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp olt double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[TMP1]] |
| ; |
| %cmp = fcmp one double %a, %b |
| %cmp1 = fcmp olt double %a, %b |
| %retval = and i1 %cmp, %cmp1 |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_25_logical(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_25_logical( |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp olt double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[TMP1]] |
| ; |
| %cmp = fcmp one double %a, %b |
| %cmp1 = fcmp olt double %a, %b |
| %retval = select i1 %cmp, i1 %cmp1, i1 false |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_26(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_26( |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp olt double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[TMP1]] |
| ; |
| %cmp = fcmp one double %a, %b |
| %cmp1 = fcmp ole double %a, %b |
| %retval = and i1 %cmp, %cmp1 |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_26_logical(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_26_logical( |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp olt double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[TMP1]] |
| ; |
| %cmp = fcmp one double %a, %b |
| %cmp1 = fcmp ole double %a, %b |
| %retval = select i1 %cmp, i1 %cmp1, i1 false |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_27(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_27( |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp one double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[TMP1]] |
| ; |
| %cmp = fcmp one double %a, %b |
| %cmp1 = fcmp one double %a, %b |
| %retval = and i1 %cmp, %cmp1 |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_27_logical(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_27_logical( |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp one double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[TMP1]] |
| ; |
| %cmp = fcmp one double %a, %b |
| %cmp1 = fcmp one double %a, %b |
| %retval = select i1 %cmp, i1 %cmp1, i1 false |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_28(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_28( |
| ; CHECK-NEXT: ret i1 false |
| ; |
| %cmp = fcmp ord double %a, %b |
| %cmp1 = fcmp false double %a, %b |
| %retval = and i1 %cmp, %cmp1 |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_28_logical(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_28_logical( |
| ; CHECK-NEXT: ret i1 false |
| ; |
| %cmp = fcmp ord double %a, %b |
| %cmp1 = fcmp false double %a, %b |
| %retval = select i1 %cmp, i1 %cmp1, i1 false |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_29(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_29( |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp oeq double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[TMP1]] |
| ; |
| %cmp = fcmp ord double %a, %b |
| %cmp1 = fcmp oeq double %a, %b |
| %retval = and i1 %cmp, %cmp1 |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_29_logical(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_29_logical( |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp oeq double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[TMP1]] |
| ; |
| %cmp = fcmp ord double %a, %b |
| %cmp1 = fcmp oeq double %a, %b |
| %retval = select i1 %cmp, i1 %cmp1, i1 false |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_30(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_30( |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp ogt double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[TMP1]] |
| ; |
| %cmp = fcmp ord double %a, %b |
| %cmp1 = fcmp ogt double %a, %b |
| %retval = and i1 %cmp, %cmp1 |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_30_logical(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_30_logical( |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp ogt double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[TMP1]] |
| ; |
| %cmp = fcmp ord double %a, %b |
| %cmp1 = fcmp ogt double %a, %b |
| %retval = select i1 %cmp, i1 %cmp1, i1 false |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_31(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_31( |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp oge double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[TMP1]] |
| ; |
| %cmp = fcmp ord double %a, %b |
| %cmp1 = fcmp oge double %a, %b |
| %retval = and i1 %cmp, %cmp1 |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_31_logical(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_31_logical( |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp oge double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[TMP1]] |
| ; |
| %cmp = fcmp ord double %a, %b |
| %cmp1 = fcmp oge double %a, %b |
| %retval = select i1 %cmp, i1 %cmp1, i1 false |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_32(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_32( |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp olt double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[TMP1]] |
| ; |
| %cmp = fcmp ord double %a, %b |
| %cmp1 = fcmp olt double %a, %b |
| %retval = and i1 %cmp, %cmp1 |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_32_logical(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_32_logical( |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp olt double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[TMP1]] |
| ; |
| %cmp = fcmp ord double %a, %b |
| %cmp1 = fcmp olt double %a, %b |
| %retval = select i1 %cmp, i1 %cmp1, i1 false |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_33(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_33( |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp ole double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[TMP1]] |
| ; |
| %cmp = fcmp ord double %a, %b |
| %cmp1 = fcmp ole double %a, %b |
| %retval = and i1 %cmp, %cmp1 |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_33_logical(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_33_logical( |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp ole double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[TMP1]] |
| ; |
| %cmp = fcmp ord double %a, %b |
| %cmp1 = fcmp ole double %a, %b |
| %retval = select i1 %cmp, i1 %cmp1, i1 false |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_34(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_34( |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp one double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[TMP1]] |
| ; |
| %cmp = fcmp ord double %a, %b |
| %cmp1 = fcmp one double %a, %b |
| %retval = and i1 %cmp, %cmp1 |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_34_logical(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_34_logical( |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp one double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[TMP1]] |
| ; |
| %cmp = fcmp ord double %a, %b |
| %cmp1 = fcmp one double %a, %b |
| %retval = select i1 %cmp, i1 %cmp1, i1 false |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_35(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_35( |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp ord double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[TMP1]] |
| ; |
| %cmp = fcmp ord double %a, %b |
| %cmp1 = fcmp ord double %a, %b |
| %retval = and i1 %cmp, %cmp1 |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_35_logical(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_35_logical( |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp ord double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[TMP1]] |
| ; |
| %cmp = fcmp ord double %a, %b |
| %cmp1 = fcmp ord double %a, %b |
| %retval = select i1 %cmp, i1 %cmp1, i1 false |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_36(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_36( |
| ; CHECK-NEXT: ret i1 false |
| ; |
| %cmp = fcmp ueq double %a, %b |
| %cmp1 = fcmp false double %a, %b |
| %retval = and i1 %cmp, %cmp1 |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_36_logical(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_36_logical( |
| ; CHECK-NEXT: ret i1 false |
| ; |
| %cmp = fcmp ueq double %a, %b |
| %cmp1 = fcmp false double %a, %b |
| %retval = select i1 %cmp, i1 %cmp1, i1 false |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_37(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_37( |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp oeq double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[TMP1]] |
| ; |
| %cmp = fcmp ueq double %a, %b |
| %cmp1 = fcmp oeq double %a, %b |
| %retval = and i1 %cmp, %cmp1 |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_37_logical(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_37_logical( |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp oeq double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[TMP1]] |
| ; |
| %cmp = fcmp ueq double %a, %b |
| %cmp1 = fcmp oeq double %a, %b |
| %retval = select i1 %cmp, i1 %cmp1, i1 false |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_38(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_38( |
| ; CHECK-NEXT: ret i1 false |
| ; |
| %cmp = fcmp ueq double %a, %b |
| %cmp1 = fcmp ogt double %a, %b |
| %retval = and i1 %cmp, %cmp1 |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_38_logical(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_38_logical( |
| ; CHECK-NEXT: ret i1 false |
| ; |
| %cmp = fcmp ueq double %a, %b |
| %cmp1 = fcmp ogt double %a, %b |
| %retval = select i1 %cmp, i1 %cmp1, i1 false |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_39(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_39( |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp oeq double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[TMP1]] |
| ; |
| %cmp = fcmp ueq double %a, %b |
| %cmp1 = fcmp oge double %a, %b |
| %retval = and i1 %cmp, %cmp1 |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_39_logical(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_39_logical( |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp oeq double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[TMP1]] |
| ; |
| %cmp = fcmp ueq double %a, %b |
| %cmp1 = fcmp oge double %a, %b |
| %retval = select i1 %cmp, i1 %cmp1, i1 false |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_40(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_40( |
| ; CHECK-NEXT: ret i1 false |
| ; |
| %cmp = fcmp ueq double %a, %b |
| %cmp1 = fcmp olt double %a, %b |
| %retval = and i1 %cmp, %cmp1 |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_40_logical(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_40_logical( |
| ; CHECK-NEXT: ret i1 false |
| ; |
| %cmp = fcmp ueq double %a, %b |
| %cmp1 = fcmp olt double %a, %b |
| %retval = select i1 %cmp, i1 %cmp1, i1 false |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_41(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_41( |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp oeq double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[TMP1]] |
| ; |
| %cmp = fcmp ueq double %a, %b |
| %cmp1 = fcmp ole double %a, %b |
| %retval = and i1 %cmp, %cmp1 |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_41_logical(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_41_logical( |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp oeq double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[TMP1]] |
| ; |
| %cmp = fcmp ueq double %a, %b |
| %cmp1 = fcmp ole double %a, %b |
| %retval = select i1 %cmp, i1 %cmp1, i1 false |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_42(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_42( |
| ; CHECK-NEXT: ret i1 false |
| ; |
| %cmp = fcmp ueq double %a, %b |
| %cmp1 = fcmp one double %a, %b |
| %retval = and i1 %cmp, %cmp1 |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_42_logical(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_42_logical( |
| ; CHECK-NEXT: ret i1 false |
| ; |
| %cmp = fcmp ueq double %a, %b |
| %cmp1 = fcmp one double %a, %b |
| %retval = select i1 %cmp, i1 %cmp1, i1 false |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_43(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_43( |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp oeq double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[TMP1]] |
| ; |
| %cmp = fcmp ueq double %a, %b |
| %cmp1 = fcmp ord double %a, %b |
| %retval = and i1 %cmp, %cmp1 |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_43_logical(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_43_logical( |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp oeq double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[TMP1]] |
| ; |
| %cmp = fcmp ueq double %a, %b |
| %cmp1 = fcmp ord double %a, %b |
| %retval = select i1 %cmp, i1 %cmp1, i1 false |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_44(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_44( |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp ueq double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[TMP1]] |
| ; |
| %cmp = fcmp ueq double %a, %b |
| %cmp1 = fcmp ueq double %a, %b |
| %retval = and i1 %cmp, %cmp1 |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_44_logical(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_44_logical( |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp ueq double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[TMP1]] |
| ; |
| %cmp = fcmp ueq double %a, %b |
| %cmp1 = fcmp ueq double %a, %b |
| %retval = select i1 %cmp, i1 %cmp1, i1 false |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_45(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_45( |
| ; CHECK-NEXT: ret i1 false |
| ; |
| %cmp = fcmp ugt double %a, %b |
| %cmp1 = fcmp false double %a, %b |
| %retval = and i1 %cmp, %cmp1 |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_45_logical(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_45_logical( |
| ; CHECK-NEXT: ret i1 false |
| ; |
| %cmp = fcmp ugt double %a, %b |
| %cmp1 = fcmp false double %a, %b |
| %retval = select i1 %cmp, i1 %cmp1, i1 false |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_46(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_46( |
| ; CHECK-NEXT: ret i1 false |
| ; |
| %cmp = fcmp ugt double %a, %b |
| %cmp1 = fcmp oeq double %a, %b |
| %retval = and i1 %cmp, %cmp1 |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_46_logical(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_46_logical( |
| ; CHECK-NEXT: ret i1 false |
| ; |
| %cmp = fcmp ugt double %a, %b |
| %cmp1 = fcmp oeq double %a, %b |
| %retval = select i1 %cmp, i1 %cmp1, i1 false |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_47(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_47( |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp ogt double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[TMP1]] |
| ; |
| %cmp = fcmp ugt double %a, %b |
| %cmp1 = fcmp ogt double %a, %b |
| %retval = and i1 %cmp, %cmp1 |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_47_logical(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_47_logical( |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp ogt double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[TMP1]] |
| ; |
| %cmp = fcmp ugt double %a, %b |
| %cmp1 = fcmp ogt double %a, %b |
| %retval = select i1 %cmp, i1 %cmp1, i1 false |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_48(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_48( |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp ogt double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[TMP1]] |
| ; |
| %cmp = fcmp ugt double %a, %b |
| %cmp1 = fcmp oge double %a, %b |
| %retval = and i1 %cmp, %cmp1 |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_48_logical(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_48_logical( |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp ogt double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[TMP1]] |
| ; |
| %cmp = fcmp ugt double %a, %b |
| %cmp1 = fcmp oge double %a, %b |
| %retval = select i1 %cmp, i1 %cmp1, i1 false |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_49(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_49( |
| ; CHECK-NEXT: ret i1 false |
| ; |
| %cmp = fcmp ugt double %a, %b |
| %cmp1 = fcmp olt double %a, %b |
| %retval = and i1 %cmp, %cmp1 |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_49_logical(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_49_logical( |
| ; CHECK-NEXT: ret i1 false |
| ; |
| %cmp = fcmp ugt double %a, %b |
| %cmp1 = fcmp olt double %a, %b |
| %retval = select i1 %cmp, i1 %cmp1, i1 false |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_50(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_50( |
| ; CHECK-NEXT: ret i1 false |
| ; |
| %cmp = fcmp ugt double %a, %b |
| %cmp1 = fcmp ole double %a, %b |
| %retval = and i1 %cmp, %cmp1 |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_50_logical(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_50_logical( |
| ; CHECK-NEXT: ret i1 false |
| ; |
| %cmp = fcmp ugt double %a, %b |
| %cmp1 = fcmp ole double %a, %b |
| %retval = select i1 %cmp, i1 %cmp1, i1 false |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_51(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_51( |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp ogt double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[TMP1]] |
| ; |
| %cmp = fcmp ugt double %a, %b |
| %cmp1 = fcmp one double %a, %b |
| %retval = and i1 %cmp, %cmp1 |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_51_logical(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_51_logical( |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp ogt double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[TMP1]] |
| ; |
| %cmp = fcmp ugt double %a, %b |
| %cmp1 = fcmp one double %a, %b |
| %retval = select i1 %cmp, i1 %cmp1, i1 false |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_52(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_52( |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp ogt double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[TMP1]] |
| ; |
| %cmp = fcmp ugt double %a, %b |
| %cmp1 = fcmp ord double %a, %b |
| %retval = and i1 %cmp, %cmp1 |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_52_logical(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_52_logical( |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp ogt double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[TMP1]] |
| ; |
| %cmp = fcmp ugt double %a, %b |
| %cmp1 = fcmp ord double %a, %b |
| %retval = select i1 %cmp, i1 %cmp1, i1 false |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_53(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_53( |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp uno double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[TMP1]] |
| ; |
| %cmp = fcmp ugt double %a, %b |
| %cmp1 = fcmp ueq double %a, %b |
| %retval = and i1 %cmp, %cmp1 |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_53_logical(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_53_logical( |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp uno double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[TMP1]] |
| ; |
| %cmp = fcmp ugt double %a, %b |
| %cmp1 = fcmp ueq double %a, %b |
| %retval = select i1 %cmp, i1 %cmp1, i1 false |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_54(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_54( |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp ugt double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[TMP1]] |
| ; |
| %cmp = fcmp ugt double %a, %b |
| %cmp1 = fcmp ugt double %a, %b |
| %retval = and i1 %cmp, %cmp1 |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_54_logical(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_54_logical( |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp ugt double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[TMP1]] |
| ; |
| %cmp = fcmp ugt double %a, %b |
| %cmp1 = fcmp ugt double %a, %b |
| %retval = select i1 %cmp, i1 %cmp1, i1 false |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_55(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_55( |
| ; CHECK-NEXT: ret i1 false |
| ; |
| %cmp = fcmp uge double %a, %b |
| %cmp1 = fcmp false double %a, %b |
| %retval = and i1 %cmp, %cmp1 |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_55_logical(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_55_logical( |
| ; CHECK-NEXT: ret i1 false |
| ; |
| %cmp = fcmp uge double %a, %b |
| %cmp1 = fcmp false double %a, %b |
| %retval = select i1 %cmp, i1 %cmp1, i1 false |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_56(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_56( |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp oeq double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[TMP1]] |
| ; |
| %cmp = fcmp uge double %a, %b |
| %cmp1 = fcmp oeq double %a, %b |
| %retval = and i1 %cmp, %cmp1 |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_56_logical(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_56_logical( |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp oeq double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[TMP1]] |
| ; |
| %cmp = fcmp uge double %a, %b |
| %cmp1 = fcmp oeq double %a, %b |
| %retval = select i1 %cmp, i1 %cmp1, i1 false |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_57(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_57( |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp ogt double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[TMP1]] |
| ; |
| %cmp = fcmp uge double %a, %b |
| %cmp1 = fcmp ogt double %a, %b |
| %retval = and i1 %cmp, %cmp1 |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_57_logical(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_57_logical( |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp ogt double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[TMP1]] |
| ; |
| %cmp = fcmp uge double %a, %b |
| %cmp1 = fcmp ogt double %a, %b |
| %retval = select i1 %cmp, i1 %cmp1, i1 false |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_58(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_58( |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp oge double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[TMP1]] |
| ; |
| %cmp = fcmp uge double %a, %b |
| %cmp1 = fcmp oge double %a, %b |
| %retval = and i1 %cmp, %cmp1 |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_58_logical(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_58_logical( |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp oge double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[TMP1]] |
| ; |
| %cmp = fcmp uge double %a, %b |
| %cmp1 = fcmp oge double %a, %b |
| %retval = select i1 %cmp, i1 %cmp1, i1 false |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_59(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_59( |
| ; CHECK-NEXT: ret i1 false |
| ; |
| %cmp = fcmp uge double %a, %b |
| %cmp1 = fcmp olt double %a, %b |
| %retval = and i1 %cmp, %cmp1 |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_59_logical(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_59_logical( |
| ; CHECK-NEXT: ret i1 false |
| ; |
| %cmp = fcmp uge double %a, %b |
| %cmp1 = fcmp olt double %a, %b |
| %retval = select i1 %cmp, i1 %cmp1, i1 false |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_60(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_60( |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp oeq double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[TMP1]] |
| ; |
| %cmp = fcmp uge double %a, %b |
| %cmp1 = fcmp ole double %a, %b |
| %retval = and i1 %cmp, %cmp1 |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_60_logical(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_60_logical( |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp oeq double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[TMP1]] |
| ; |
| %cmp = fcmp uge double %a, %b |
| %cmp1 = fcmp ole double %a, %b |
| %retval = select i1 %cmp, i1 %cmp1, i1 false |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_61(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_61( |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp ogt double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[TMP1]] |
| ; |
| %cmp = fcmp uge double %a, %b |
| %cmp1 = fcmp one double %a, %b |
| %retval = and i1 %cmp, %cmp1 |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_61_logical(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_61_logical( |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp ogt double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[TMP1]] |
| ; |
| %cmp = fcmp uge double %a, %b |
| %cmp1 = fcmp one double %a, %b |
| %retval = select i1 %cmp, i1 %cmp1, i1 false |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_62(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_62( |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp oge double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[TMP1]] |
| ; |
| %cmp = fcmp uge double %a, %b |
| %cmp1 = fcmp ord double %a, %b |
| %retval = and i1 %cmp, %cmp1 |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_62_logical(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_62_logical( |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp oge double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[TMP1]] |
| ; |
| %cmp = fcmp uge double %a, %b |
| %cmp1 = fcmp ord double %a, %b |
| %retval = select i1 %cmp, i1 %cmp1, i1 false |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_63(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_63( |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp ueq double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[TMP1]] |
| ; |
| %cmp = fcmp uge double %a, %b |
| %cmp1 = fcmp ueq double %a, %b |
| %retval = and i1 %cmp, %cmp1 |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_63_logical(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_63_logical( |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp ueq double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[TMP1]] |
| ; |
| %cmp = fcmp uge double %a, %b |
| %cmp1 = fcmp ueq double %a, %b |
| %retval = select i1 %cmp, i1 %cmp1, i1 false |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_64(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_64( |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp ugt double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[TMP1]] |
| ; |
| %cmp = fcmp uge double %a, %b |
| %cmp1 = fcmp ugt double %a, %b |
| %retval = and i1 %cmp, %cmp1 |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_64_logical(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_64_logical( |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp ugt double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[TMP1]] |
| ; |
| %cmp = fcmp uge double %a, %b |
| %cmp1 = fcmp ugt double %a, %b |
| %retval = select i1 %cmp, i1 %cmp1, i1 false |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_65(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_65( |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp uge double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[TMP1]] |
| ; |
| %cmp = fcmp uge double %a, %b |
| %cmp1 = fcmp uge double %a, %b |
| %retval = and i1 %cmp, %cmp1 |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_65_logical(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_65_logical( |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp uge double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[TMP1]] |
| ; |
| %cmp = fcmp uge double %a, %b |
| %cmp1 = fcmp uge double %a, %b |
| %retval = select i1 %cmp, i1 %cmp1, i1 false |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_66(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_66( |
| ; CHECK-NEXT: ret i1 false |
| ; |
| %cmp = fcmp ult double %a, %b |
| %cmp1 = fcmp false double %a, %b |
| %retval = and i1 %cmp, %cmp1 |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_66_logical(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_66_logical( |
| ; CHECK-NEXT: ret i1 false |
| ; |
| %cmp = fcmp ult double %a, %b |
| %cmp1 = fcmp false double %a, %b |
| %retval = select i1 %cmp, i1 %cmp1, i1 false |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_67(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_67( |
| ; CHECK-NEXT: ret i1 false |
| ; |
| %cmp = fcmp ult double %a, %b |
| %cmp1 = fcmp oeq double %a, %b |
| %retval = and i1 %cmp, %cmp1 |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_67_logical(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_67_logical( |
| ; CHECK-NEXT: ret i1 false |
| ; |
| %cmp = fcmp ult double %a, %b |
| %cmp1 = fcmp oeq double %a, %b |
| %retval = select i1 %cmp, i1 %cmp1, i1 false |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_68(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_68( |
| ; CHECK-NEXT: ret i1 false |
| ; |
| %cmp = fcmp ult double %a, %b |
| %cmp1 = fcmp ogt double %a, %b |
| %retval = and i1 %cmp, %cmp1 |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_68_logical(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_68_logical( |
| ; CHECK-NEXT: ret i1 false |
| ; |
| %cmp = fcmp ult double %a, %b |
| %cmp1 = fcmp ogt double %a, %b |
| %retval = select i1 %cmp, i1 %cmp1, i1 false |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_69(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_69( |
| ; CHECK-NEXT: ret i1 false |
| ; |
| %cmp = fcmp ult double %a, %b |
| %cmp1 = fcmp oge double %a, %b |
| %retval = and i1 %cmp, %cmp1 |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_69_logical(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_69_logical( |
| ; CHECK-NEXT: ret i1 false |
| ; |
| %cmp = fcmp ult double %a, %b |
| %cmp1 = fcmp oge double %a, %b |
| %retval = select i1 %cmp, i1 %cmp1, i1 false |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_70(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_70( |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp olt double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[TMP1]] |
| ; |
| %cmp = fcmp ult double %a, %b |
| %cmp1 = fcmp olt double %a, %b |
| %retval = and i1 %cmp, %cmp1 |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_70_logical(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_70_logical( |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp olt double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[TMP1]] |
| ; |
| %cmp = fcmp ult double %a, %b |
| %cmp1 = fcmp olt double %a, %b |
| %retval = select i1 %cmp, i1 %cmp1, i1 false |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_71(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_71( |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp olt double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[TMP1]] |
| ; |
| %cmp = fcmp ult double %a, %b |
| %cmp1 = fcmp ole double %a, %b |
| %retval = and i1 %cmp, %cmp1 |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_71_logical(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_71_logical( |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp olt double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[TMP1]] |
| ; |
| %cmp = fcmp ult double %a, %b |
| %cmp1 = fcmp ole double %a, %b |
| %retval = select i1 %cmp, i1 %cmp1, i1 false |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_72(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_72( |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp olt double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[TMP1]] |
| ; |
| %cmp = fcmp ult double %a, %b |
| %cmp1 = fcmp one double %a, %b |
| %retval = and i1 %cmp, %cmp1 |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_72_logical(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_72_logical( |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp olt double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[TMP1]] |
| ; |
| %cmp = fcmp ult double %a, %b |
| %cmp1 = fcmp one double %a, %b |
| %retval = select i1 %cmp, i1 %cmp1, i1 false |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_73(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_73( |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp olt double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[TMP1]] |
| ; |
| %cmp = fcmp ult double %a, %b |
| %cmp1 = fcmp ord double %a, %b |
| %retval = and i1 %cmp, %cmp1 |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_73_logical(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_73_logical( |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp olt double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[TMP1]] |
| ; |
| %cmp = fcmp ult double %a, %b |
| %cmp1 = fcmp ord double %a, %b |
| %retval = select i1 %cmp, i1 %cmp1, i1 false |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_74(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_74( |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp uno double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[TMP1]] |
| ; |
| %cmp = fcmp ult double %a, %b |
| %cmp1 = fcmp ueq double %a, %b |
| %retval = and i1 %cmp, %cmp1 |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_74_logical(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_74_logical( |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp uno double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[TMP1]] |
| ; |
| %cmp = fcmp ult double %a, %b |
| %cmp1 = fcmp ueq double %a, %b |
| %retval = select i1 %cmp, i1 %cmp1, i1 false |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_75(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_75( |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp uno double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[TMP1]] |
| ; |
| %cmp = fcmp ult double %a, %b |
| %cmp1 = fcmp ugt double %a, %b |
| %retval = and i1 %cmp, %cmp1 |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_75_logical(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_75_logical( |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp uno double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[TMP1]] |
| ; |
| %cmp = fcmp ult double %a, %b |
| %cmp1 = fcmp ugt double %a, %b |
| %retval = select i1 %cmp, i1 %cmp1, i1 false |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_76(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_76( |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp uno double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[TMP1]] |
| ; |
| %cmp = fcmp ult double %a, %b |
| %cmp1 = fcmp uge double %a, %b |
| %retval = and i1 %cmp, %cmp1 |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_76_logical(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_76_logical( |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp uno double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[TMP1]] |
| ; |
| %cmp = fcmp ult double %a, %b |
| %cmp1 = fcmp uge double %a, %b |
| %retval = select i1 %cmp, i1 %cmp1, i1 false |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_77(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_77( |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp ult double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[TMP1]] |
| ; |
| %cmp = fcmp ult double %a, %b |
| %cmp1 = fcmp ult double %a, %b |
| %retval = and i1 %cmp, %cmp1 |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_77_logical(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_77_logical( |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp ult double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[TMP1]] |
| ; |
| %cmp = fcmp ult double %a, %b |
| %cmp1 = fcmp ult double %a, %b |
| %retval = select i1 %cmp, i1 %cmp1, i1 false |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_78(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_78( |
| ; CHECK-NEXT: ret i1 false |
| ; |
| %cmp = fcmp ule double %a, %b |
| %cmp1 = fcmp false double %a, %b |
| %retval = and i1 %cmp, %cmp1 |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_78_logical(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_78_logical( |
| ; CHECK-NEXT: ret i1 false |
| ; |
| %cmp = fcmp ule double %a, %b |
| %cmp1 = fcmp false double %a, %b |
| %retval = select i1 %cmp, i1 %cmp1, i1 false |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_79(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_79( |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp oeq double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[TMP1]] |
| ; |
| %cmp = fcmp ule double %a, %b |
| %cmp1 = fcmp oeq double %a, %b |
| %retval = and i1 %cmp, %cmp1 |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_79_logical(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_79_logical( |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp oeq double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[TMP1]] |
| ; |
| %cmp = fcmp ule double %a, %b |
| %cmp1 = fcmp oeq double %a, %b |
| %retval = select i1 %cmp, i1 %cmp1, i1 false |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_80(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_80( |
| ; CHECK-NEXT: ret i1 false |
| ; |
| %cmp = fcmp ule double %a, %b |
| %cmp1 = fcmp ogt double %a, %b |
| %retval = and i1 %cmp, %cmp1 |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_80_logical(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_80_logical( |
| ; CHECK-NEXT: ret i1 false |
| ; |
| %cmp = fcmp ule double %a, %b |
| %cmp1 = fcmp ogt double %a, %b |
| %retval = select i1 %cmp, i1 %cmp1, i1 false |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_81(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_81( |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp oeq double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[TMP1]] |
| ; |
| %cmp = fcmp ule double %a, %b |
| %cmp1 = fcmp oge double %a, %b |
| %retval = and i1 %cmp, %cmp1 |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_81_logical(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_81_logical( |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp oeq double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[TMP1]] |
| ; |
| %cmp = fcmp ule double %a, %b |
| %cmp1 = fcmp oge double %a, %b |
| %retval = select i1 %cmp, i1 %cmp1, i1 false |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_82(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_82( |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp olt double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[TMP1]] |
| ; |
| %cmp = fcmp ule double %a, %b |
| %cmp1 = fcmp olt double %a, %b |
| %retval = and i1 %cmp, %cmp1 |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_82_logical(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_82_logical( |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp olt double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[TMP1]] |
| ; |
| %cmp = fcmp ule double %a, %b |
| %cmp1 = fcmp olt double %a, %b |
| %retval = select i1 %cmp, i1 %cmp1, i1 false |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_83(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_83( |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp ole double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[TMP1]] |
| ; |
| %cmp = fcmp ule double %a, %b |
| %cmp1 = fcmp ole double %a, %b |
| %retval = and i1 %cmp, %cmp1 |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_83_logical(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_83_logical( |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp ole double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[TMP1]] |
| ; |
| %cmp = fcmp ule double %a, %b |
| %cmp1 = fcmp ole double %a, %b |
| %retval = select i1 %cmp, i1 %cmp1, i1 false |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_84(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_84( |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp olt double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[TMP1]] |
| ; |
| %cmp = fcmp ule double %a, %b |
| %cmp1 = fcmp one double %a, %b |
| %retval = and i1 %cmp, %cmp1 |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_84_logical(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_84_logical( |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp olt double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[TMP1]] |
| ; |
| %cmp = fcmp ule double %a, %b |
| %cmp1 = fcmp one double %a, %b |
| %retval = select i1 %cmp, i1 %cmp1, i1 false |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_85(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_85( |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp ole double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[TMP1]] |
| ; |
| %cmp = fcmp ule double %a, %b |
| %cmp1 = fcmp ord double %a, %b |
| %retval = and i1 %cmp, %cmp1 |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_85_logical(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_85_logical( |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp ole double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[TMP1]] |
| ; |
| %cmp = fcmp ule double %a, %b |
| %cmp1 = fcmp ord double %a, %b |
| %retval = select i1 %cmp, i1 %cmp1, i1 false |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_86(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_86( |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp ueq double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[TMP1]] |
| ; |
| %cmp = fcmp ule double %a, %b |
| %cmp1 = fcmp ueq double %a, %b |
| %retval = and i1 %cmp, %cmp1 |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_86_logical(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_86_logical( |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp ueq double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[TMP1]] |
| ; |
| %cmp = fcmp ule double %a, %b |
| %cmp1 = fcmp ueq double %a, %b |
| %retval = select i1 %cmp, i1 %cmp1, i1 false |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_87(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_87( |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp uno double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[TMP1]] |
| ; |
| %cmp = fcmp ule double %a, %b |
| %cmp1 = fcmp ugt double %a, %b |
| %retval = and i1 %cmp, %cmp1 |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_87_logical(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_87_logical( |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp uno double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[TMP1]] |
| ; |
| %cmp = fcmp ule double %a, %b |
| %cmp1 = fcmp ugt double %a, %b |
| %retval = select i1 %cmp, i1 %cmp1, i1 false |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_88(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_88( |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp ueq double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[TMP1]] |
| ; |
| %cmp = fcmp ule double %a, %b |
| %cmp1 = fcmp uge double %a, %b |
| %retval = and i1 %cmp, %cmp1 |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_88_logical(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_88_logical( |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp ueq double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[TMP1]] |
| ; |
| %cmp = fcmp ule double %a, %b |
| %cmp1 = fcmp uge double %a, %b |
| %retval = select i1 %cmp, i1 %cmp1, i1 false |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_89(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_89( |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp ult double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[TMP1]] |
| ; |
| %cmp = fcmp ule double %a, %b |
| %cmp1 = fcmp ult double %a, %b |
| %retval = and i1 %cmp, %cmp1 |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_89_logical(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_89_logical( |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp ult double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[TMP1]] |
| ; |
| %cmp = fcmp ule double %a, %b |
| %cmp1 = fcmp ult double %a, %b |
| %retval = select i1 %cmp, i1 %cmp1, i1 false |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_90(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_90( |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp ule double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[TMP1]] |
| ; |
| %cmp = fcmp ule double %a, %b |
| %cmp1 = fcmp ule double %a, %b |
| %retval = and i1 %cmp, %cmp1 |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_90_logical(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_90_logical( |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp ule double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[TMP1]] |
| ; |
| %cmp = fcmp ule double %a, %b |
| %cmp1 = fcmp ule double %a, %b |
| %retval = select i1 %cmp, i1 %cmp1, i1 false |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_91(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_91( |
| ; CHECK-NEXT: ret i1 false |
| ; |
| %cmp = fcmp une double %a, %b |
| %cmp1 = fcmp false double %a, %b |
| %retval = and i1 %cmp, %cmp1 |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_91_logical(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_91_logical( |
| ; CHECK-NEXT: ret i1 false |
| ; |
| %cmp = fcmp une double %a, %b |
| %cmp1 = fcmp false double %a, %b |
| %retval = select i1 %cmp, i1 %cmp1, i1 false |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_92(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_92( |
| ; CHECK-NEXT: ret i1 false |
| ; |
| %cmp = fcmp une double %a, %b |
| %cmp1 = fcmp oeq double %a, %b |
| %retval = and i1 %cmp, %cmp1 |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_92_logical(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_92_logical( |
| ; CHECK-NEXT: ret i1 false |
| ; |
| %cmp = fcmp une double %a, %b |
| %cmp1 = fcmp oeq double %a, %b |
| %retval = select i1 %cmp, i1 %cmp1, i1 false |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_93(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_93( |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp ogt double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[TMP1]] |
| ; |
| %cmp = fcmp une double %a, %b |
| %cmp1 = fcmp ogt double %a, %b |
| %retval = and i1 %cmp, %cmp1 |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_93_logical(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_93_logical( |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp ogt double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[TMP1]] |
| ; |
| %cmp = fcmp une double %a, %b |
| %cmp1 = fcmp ogt double %a, %b |
| %retval = select i1 %cmp, i1 %cmp1, i1 false |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_94(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_94( |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp ogt double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[TMP1]] |
| ; |
| %cmp = fcmp une double %a, %b |
| %cmp1 = fcmp oge double %a, %b |
| %retval = and i1 %cmp, %cmp1 |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_94_logical(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_94_logical( |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp ogt double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[TMP1]] |
| ; |
| %cmp = fcmp une double %a, %b |
| %cmp1 = fcmp oge double %a, %b |
| %retval = select i1 %cmp, i1 %cmp1, i1 false |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_95(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_95( |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp olt double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[TMP1]] |
| ; |
| %cmp = fcmp une double %a, %b |
| %cmp1 = fcmp olt double %a, %b |
| %retval = and i1 %cmp, %cmp1 |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_95_logical(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_95_logical( |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp olt double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[TMP1]] |
| ; |
| %cmp = fcmp une double %a, %b |
| %cmp1 = fcmp olt double %a, %b |
| %retval = select i1 %cmp, i1 %cmp1, i1 false |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_96(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_96( |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp olt double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[TMP1]] |
| ; |
| %cmp = fcmp une double %a, %b |
| %cmp1 = fcmp ole double %a, %b |
| %retval = and i1 %cmp, %cmp1 |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_96_logical(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_96_logical( |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp olt double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[TMP1]] |
| ; |
| %cmp = fcmp une double %a, %b |
| %cmp1 = fcmp ole double %a, %b |
| %retval = select i1 %cmp, i1 %cmp1, i1 false |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_97(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_97( |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp one double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[TMP1]] |
| ; |
| %cmp = fcmp une double %a, %b |
| %cmp1 = fcmp one double %a, %b |
| %retval = and i1 %cmp, %cmp1 |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_97_logical(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_97_logical( |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp one double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[TMP1]] |
| ; |
| %cmp = fcmp une double %a, %b |
| %cmp1 = fcmp one double %a, %b |
| %retval = select i1 %cmp, i1 %cmp1, i1 false |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_98(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_98( |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp one double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[TMP1]] |
| ; |
| %cmp = fcmp une double %a, %b |
| %cmp1 = fcmp ord double %a, %b |
| %retval = and i1 %cmp, %cmp1 |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_98_logical(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_98_logical( |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp one double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[TMP1]] |
| ; |
| %cmp = fcmp une double %a, %b |
| %cmp1 = fcmp ord double %a, %b |
| %retval = select i1 %cmp, i1 %cmp1, i1 false |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_99(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_99( |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp uno double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[TMP1]] |
| ; |
| %cmp = fcmp une double %a, %b |
| %cmp1 = fcmp ueq double %a, %b |
| %retval = and i1 %cmp, %cmp1 |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_99_logical(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_99_logical( |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp uno double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[TMP1]] |
| ; |
| %cmp = fcmp une double %a, %b |
| %cmp1 = fcmp ueq double %a, %b |
| %retval = select i1 %cmp, i1 %cmp1, i1 false |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_100(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_100( |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp ugt double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[TMP1]] |
| ; |
| %cmp = fcmp une double %a, %b |
| %cmp1 = fcmp ugt double %a, %b |
| %retval = and i1 %cmp, %cmp1 |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_100_logical(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_100_logical( |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp ugt double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[TMP1]] |
| ; |
| %cmp = fcmp une double %a, %b |
| %cmp1 = fcmp ugt double %a, %b |
| %retval = select i1 %cmp, i1 %cmp1, i1 false |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_101(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_101( |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp ugt double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[TMP1]] |
| ; |
| %cmp = fcmp une double %a, %b |
| %cmp1 = fcmp uge double %a, %b |
| %retval = and i1 %cmp, %cmp1 |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_101_logical(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_101_logical( |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp ugt double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[TMP1]] |
| ; |
| %cmp = fcmp une double %a, %b |
| %cmp1 = fcmp uge double %a, %b |
| %retval = select i1 %cmp, i1 %cmp1, i1 false |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_102(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_102( |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp ult double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[TMP1]] |
| ; |
| %cmp = fcmp une double %a, %b |
| %cmp1 = fcmp ult double %a, %b |
| %retval = and i1 %cmp, %cmp1 |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_102_logical(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_102_logical( |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp ult double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[TMP1]] |
| ; |
| %cmp = fcmp une double %a, %b |
| %cmp1 = fcmp ult double %a, %b |
| %retval = select i1 %cmp, i1 %cmp1, i1 false |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_103(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_103( |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp ult double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[TMP1]] |
| ; |
| %cmp = fcmp une double %a, %b |
| %cmp1 = fcmp ule double %a, %b |
| %retval = and i1 %cmp, %cmp1 |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_103_logical(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_103_logical( |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp ult double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[TMP1]] |
| ; |
| %cmp = fcmp une double %a, %b |
| %cmp1 = fcmp ule double %a, %b |
| %retval = select i1 %cmp, i1 %cmp1, i1 false |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_104(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_104( |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp une double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[TMP1]] |
| ; |
| %cmp = fcmp une double %a, %b |
| %cmp1 = fcmp une double %a, %b |
| %retval = and i1 %cmp, %cmp1 |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_104_logical(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_104_logical( |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp une double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[TMP1]] |
| ; |
| %cmp = fcmp une double %a, %b |
| %cmp1 = fcmp une double %a, %b |
| %retval = select i1 %cmp, i1 %cmp1, i1 false |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_105(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_105( |
| ; CHECK-NEXT: ret i1 false |
| ; |
| %cmp = fcmp uno double %a, %b |
| %cmp1 = fcmp false double %a, %b |
| %retval = and i1 %cmp, %cmp1 |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_105_logical(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_105_logical( |
| ; CHECK-NEXT: ret i1 false |
| ; |
| %cmp = fcmp uno double %a, %b |
| %cmp1 = fcmp false double %a, %b |
| %retval = select i1 %cmp, i1 %cmp1, i1 false |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_106(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_106( |
| ; CHECK-NEXT: ret i1 false |
| ; |
| %cmp = fcmp uno double %a, %b |
| %cmp1 = fcmp oeq double %a, %b |
| %retval = and i1 %cmp, %cmp1 |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_106_logical(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_106_logical( |
| ; CHECK-NEXT: ret i1 false |
| ; |
| %cmp = fcmp uno double %a, %b |
| %cmp1 = fcmp oeq double %a, %b |
| %retval = select i1 %cmp, i1 %cmp1, i1 false |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_107(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_107( |
| ; CHECK-NEXT: ret i1 false |
| ; |
| %cmp = fcmp uno double %a, %b |
| %cmp1 = fcmp ogt double %a, %b |
| %retval = and i1 %cmp, %cmp1 |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_107_logical(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_107_logical( |
| ; CHECK-NEXT: ret i1 false |
| ; |
| %cmp = fcmp uno double %a, %b |
| %cmp1 = fcmp ogt double %a, %b |
| %retval = select i1 %cmp, i1 %cmp1, i1 false |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_108(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_108( |
| ; CHECK-NEXT: ret i1 false |
| ; |
| %cmp = fcmp uno double %a, %b |
| %cmp1 = fcmp oge double %a, %b |
| %retval = and i1 %cmp, %cmp1 |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_108_logical(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_108_logical( |
| ; CHECK-NEXT: ret i1 false |
| ; |
| %cmp = fcmp uno double %a, %b |
| %cmp1 = fcmp oge double %a, %b |
| %retval = select i1 %cmp, i1 %cmp1, i1 false |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_109(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_109( |
| ; CHECK-NEXT: ret i1 false |
| ; |
| %cmp = fcmp uno double %a, %b |
| %cmp1 = fcmp olt double %a, %b |
| %retval = and i1 %cmp, %cmp1 |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_109_logical(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_109_logical( |
| ; CHECK-NEXT: ret i1 false |
| ; |
| %cmp = fcmp uno double %a, %b |
| %cmp1 = fcmp olt double %a, %b |
| %retval = select i1 %cmp, i1 %cmp1, i1 false |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_110(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_110( |
| ; CHECK-NEXT: ret i1 false |
| ; |
| %cmp = fcmp uno double %a, %b |
| %cmp1 = fcmp ole double %a, %b |
| %retval = and i1 %cmp, %cmp1 |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_110_logical(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_110_logical( |
| ; CHECK-NEXT: ret i1 false |
| ; |
| %cmp = fcmp uno double %a, %b |
| %cmp1 = fcmp ole double %a, %b |
| %retval = select i1 %cmp, i1 %cmp1, i1 false |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_111(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_111( |
| ; CHECK-NEXT: ret i1 false |
| ; |
| %cmp = fcmp uno double %a, %b |
| %cmp1 = fcmp one double %a, %b |
| %retval = and i1 %cmp, %cmp1 |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_111_logical(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_111_logical( |
| ; CHECK-NEXT: ret i1 false |
| ; |
| %cmp = fcmp uno double %a, %b |
| %cmp1 = fcmp one double %a, %b |
| %retval = select i1 %cmp, i1 %cmp1, i1 false |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_112(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_112( |
| ; CHECK-NEXT: ret i1 false |
| ; |
| %cmp = fcmp uno double %a, %b |
| %cmp1 = fcmp ord double %a, %b |
| %retval = and i1 %cmp, %cmp1 |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_112_logical(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_112_logical( |
| ; CHECK-NEXT: ret i1 false |
| ; |
| %cmp = fcmp uno double %a, %b |
| %cmp1 = fcmp ord double %a, %b |
| %retval = select i1 %cmp, i1 %cmp1, i1 false |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_113(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_113( |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp uno double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[TMP1]] |
| ; |
| %cmp = fcmp uno double %a, %b |
| %cmp1 = fcmp ueq double %a, %b |
| %retval = and i1 %cmp, %cmp1 |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_113_logical(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_113_logical( |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp uno double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[TMP1]] |
| ; |
| %cmp = fcmp uno double %a, %b |
| %cmp1 = fcmp ueq double %a, %b |
| %retval = select i1 %cmp, i1 %cmp1, i1 false |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_114(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_114( |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp uno double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[TMP1]] |
| ; |
| %cmp = fcmp uno double %a, %b |
| %cmp1 = fcmp ugt double %a, %b |
| %retval = and i1 %cmp, %cmp1 |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_114_logical(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_114_logical( |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp uno double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[TMP1]] |
| ; |
| %cmp = fcmp uno double %a, %b |
| %cmp1 = fcmp ugt double %a, %b |
| %retval = select i1 %cmp, i1 %cmp1, i1 false |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_115(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_115( |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp uno double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[TMP1]] |
| ; |
| %cmp = fcmp uno double %a, %b |
| %cmp1 = fcmp uge double %a, %b |
| %retval = and i1 %cmp, %cmp1 |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_115_logical(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_115_logical( |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp uno double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[TMP1]] |
| ; |
| %cmp = fcmp uno double %a, %b |
| %cmp1 = fcmp uge double %a, %b |
| %retval = select i1 %cmp, i1 %cmp1, i1 false |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_116(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_116( |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp uno double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[TMP1]] |
| ; |
| %cmp = fcmp uno double %a, %b |
| %cmp1 = fcmp ult double %a, %b |
| %retval = and i1 %cmp, %cmp1 |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_116_logical(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_116_logical( |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp uno double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[TMP1]] |
| ; |
| %cmp = fcmp uno double %a, %b |
| %cmp1 = fcmp ult double %a, %b |
| %retval = select i1 %cmp, i1 %cmp1, i1 false |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_117(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_117( |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp uno double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[TMP1]] |
| ; |
| %cmp = fcmp uno double %a, %b |
| %cmp1 = fcmp ule double %a, %b |
| %retval = and i1 %cmp, %cmp1 |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_117_logical(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_117_logical( |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp uno double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[TMP1]] |
| ; |
| %cmp = fcmp uno double %a, %b |
| %cmp1 = fcmp ule double %a, %b |
| %retval = select i1 %cmp, i1 %cmp1, i1 false |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_118(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_118( |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp uno double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[TMP1]] |
| ; |
| %cmp = fcmp uno double %a, %b |
| %cmp1 = fcmp une double %a, %b |
| %retval = and i1 %cmp, %cmp1 |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_118_logical(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_118_logical( |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp uno double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[TMP1]] |
| ; |
| %cmp = fcmp uno double %a, %b |
| %cmp1 = fcmp une double %a, %b |
| %retval = select i1 %cmp, i1 %cmp1, i1 false |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_119(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_119( |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp uno double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[TMP1]] |
| ; |
| %cmp = fcmp uno double %a, %b |
| %cmp1 = fcmp uno double %a, %b |
| %retval = and i1 %cmp, %cmp1 |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_119_logical(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_119_logical( |
| ; CHECK-NEXT: [[TMP1:%.*]] = fcmp uno double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[TMP1]] |
| ; |
| %cmp = fcmp uno double %a, %b |
| %cmp1 = fcmp uno double %a, %b |
| %retval = select i1 %cmp, i1 %cmp1, i1 false |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_120(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_120( |
| ; CHECK-NEXT: ret i1 false |
| ; |
| %cmp = fcmp true double %a, %b |
| %cmp1 = fcmp false double %a, %b |
| %retval = and i1 %cmp, %cmp1 |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_120_logical(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_120_logical( |
| ; CHECK-NEXT: ret i1 false |
| ; |
| %cmp = fcmp true double %a, %b |
| %cmp1 = fcmp false double %a, %b |
| %retval = select i1 %cmp, i1 %cmp1, i1 false |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_121(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_121( |
| ; CHECK-NEXT: [[CMP1:%.*]] = fcmp oeq double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[CMP1]] |
| ; |
| %cmp = fcmp true double %a, %b |
| %cmp1 = fcmp oeq double %a, %b |
| %retval = and i1 %cmp, %cmp1 |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_121_logical(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_121_logical( |
| ; CHECK-NEXT: [[CMP1:%.*]] = fcmp oeq double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[CMP1]] |
| ; |
| %cmp = fcmp true double %a, %b |
| %cmp1 = fcmp oeq double %a, %b |
| %retval = select i1 %cmp, i1 %cmp1, i1 false |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_122(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_122( |
| ; CHECK-NEXT: [[CMP1:%.*]] = fcmp ogt double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[CMP1]] |
| ; |
| %cmp = fcmp true double %a, %b |
| %cmp1 = fcmp ogt double %a, %b |
| %retval = and i1 %cmp, %cmp1 |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_122_logical(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_122_logical( |
| ; CHECK-NEXT: [[CMP1:%.*]] = fcmp ogt double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[CMP1]] |
| ; |
| %cmp = fcmp true double %a, %b |
| %cmp1 = fcmp ogt double %a, %b |
| %retval = select i1 %cmp, i1 %cmp1, i1 false |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_123(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_123( |
| ; CHECK-NEXT: [[CMP1:%.*]] = fcmp oge double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[CMP1]] |
| ; |
| %cmp = fcmp true double %a, %b |
| %cmp1 = fcmp oge double %a, %b |
| %retval = and i1 %cmp, %cmp1 |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_123_logical(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_123_logical( |
| ; CHECK-NEXT: [[CMP1:%.*]] = fcmp oge double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[CMP1]] |
| ; |
| %cmp = fcmp true double %a, %b |
| %cmp1 = fcmp oge double %a, %b |
| %retval = select i1 %cmp, i1 %cmp1, i1 false |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_124(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_124( |
| ; CHECK-NEXT: [[CMP1:%.*]] = fcmp olt double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[CMP1]] |
| ; |
| %cmp = fcmp true double %a, %b |
| %cmp1 = fcmp olt double %a, %b |
| %retval = and i1 %cmp, %cmp1 |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_124_logical(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_124_logical( |
| ; CHECK-NEXT: [[CMP1:%.*]] = fcmp olt double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[CMP1]] |
| ; |
| %cmp = fcmp true double %a, %b |
| %cmp1 = fcmp olt double %a, %b |
| %retval = select i1 %cmp, i1 %cmp1, i1 false |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_125(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_125( |
| ; CHECK-NEXT: [[CMP1:%.*]] = fcmp ole double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[CMP1]] |
| ; |
| %cmp = fcmp true double %a, %b |
| %cmp1 = fcmp ole double %a, %b |
| %retval = and i1 %cmp, %cmp1 |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_125_logical(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_125_logical( |
| ; CHECK-NEXT: [[CMP1:%.*]] = fcmp ole double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[CMP1]] |
| ; |
| %cmp = fcmp true double %a, %b |
| %cmp1 = fcmp ole double %a, %b |
| %retval = select i1 %cmp, i1 %cmp1, i1 false |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_126(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_126( |
| ; CHECK-NEXT: [[CMP1:%.*]] = fcmp one double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[CMP1]] |
| ; |
| %cmp = fcmp true double %a, %b |
| %cmp1 = fcmp one double %a, %b |
| %retval = and i1 %cmp, %cmp1 |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_126_logical(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_126_logical( |
| ; CHECK-NEXT: [[CMP1:%.*]] = fcmp one double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[CMP1]] |
| ; |
| %cmp = fcmp true double %a, %b |
| %cmp1 = fcmp one double %a, %b |
| %retval = select i1 %cmp, i1 %cmp1, i1 false |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_127(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_127( |
| ; CHECK-NEXT: [[CMP1:%.*]] = fcmp ord double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[CMP1]] |
| ; |
| %cmp = fcmp true double %a, %b |
| %cmp1 = fcmp ord double %a, %b |
| %retval = and i1 %cmp, %cmp1 |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_127_logical(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_127_logical( |
| ; CHECK-NEXT: [[CMP1:%.*]] = fcmp ord double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[CMP1]] |
| ; |
| %cmp = fcmp true double %a, %b |
| %cmp1 = fcmp ord double %a, %b |
| %retval = select i1 %cmp, i1 %cmp1, i1 false |
| ret i1 %retval |
| } |
| |
| define i1 @auto_gen_128(double %a, double %b) { |
| ; CHECK-LABEL: @auto_gen_128( |
| ; CHECK-NEXT: [[CMP1:%.*]] = fcmp ueq double [[A:%.*]], [[B:%.*]] |
| ; CHECK-NEXT: ret i1 [[CMP1]] |
| ; |
| %cmp = fcmp true double %a, %b |
| %cmp1 = fcmp ueq double %a, %b |
| %retval = and i1 %cmp, |