Use m_Deferred instead m_Specific

The tests are fixed after change

Author: amordo

llvm/lib/Transforms/InstCombine/InstCombineMulDivRem.cpp

@@ -950,7 +950,7 @@ Instruction *InstCombinerImpl::foldFMulReassoc(BinaryOperator &I) {
   // tan(X) * cos(X) -> sin(X)
   if (match(&I,
             m_c_FMul(m_OneUse(m_Intrinsic<Intrinsic::tan>(m_Value(X))),
-                     m_OneUse(m_Intrinsic<Intrinsic::cos>(m_Specific(X)))))) {
+                     m_OneUse(m_Intrinsic<Intrinsic::cos>(m_Deferred(X)))))) {
     Value *Sin = Builder.CreateUnaryIntrinsic(Intrinsic::sin, X, &I);
     return replaceInstUsesWith(I, Sin);
   }

llvm/test/Transforms/InstCombine/fmul-tan-cos.ll

@@ -32,9 +32,7 @@ define double @fmul_strict_tan_strict_cos_reassoc(double %a) {
 define double @fmul_reassoc_tan_strict_cos_strict(double %a) {
 ; CHECK-LABEL: define double @fmul_reassoc_tan_strict_cos_strict(
 ; CHECK-SAME: double [[A:%.*]]) {
-; CHECK-NEXT:    [[TAN:%.*]] = call double @llvm.tan.f64(double [[A]])
-; CHECK-NEXT:    [[COS:%.*]] = call double @llvm.cos.f64(double [[A]])
-; CHECK-NEXT:    [[RES:%.*]] = fmul reassoc double [[TAN]], [[COS]]
+; CHECK-NEXT:    [[RES:%.*]] = call reassoc double @llvm.sin.f64(double [[A]])
 ; CHECK-NEXT:    ret double [[RES]]
 ;
   %tan = call double @llvm.tan.f64(double %a)
@@ -46,9 +44,7 @@ define double @fmul_reassoc_tan_strict_cos_strict(double %a) {
 define double @fmul_reassoc_tan_reassoc_cos_strict(double %a) {
 ; CHECK-LABEL: define double @fmul_reassoc_tan_reassoc_cos_strict(
 ; CHECK-SAME: double [[A:%.*]]) {
-; CHECK-NEXT:    [[TAN:%.*]] = call reassoc double @llvm.tan.f64(double [[A]])
-; CHECK-NEXT:    [[COS:%.*]] = call double @llvm.cos.f64(double [[A]])
-; CHECK-NEXT:    [[RES:%.*]] = fmul reassoc double [[TAN]], [[COS]]
+; CHECK-NEXT:    [[RES:%.*]] = call reassoc double @llvm.sin.f64(double [[A]])
 ; CHECK-NEXT:    ret double [[RES]]
 ;
   %tan = call reassoc double @llvm.tan.f64(double %a)
@@ -76,9 +72,7 @@ define double @fmul_tan_cos_reassoc_multiple_uses(double %a) {
 define double @fmul_tan_cos_reassoc(double %a) {
 ; CHECK-LABEL: define double @fmul_tan_cos_reassoc(
 ; CHECK-SAME: double [[A:%.*]]) {
-; CHECK-NEXT:    [[TAN:%.*]] = call reassoc double @llvm.tan.f64(double [[A]])
-; CHECK-NEXT:    [[COS:%.*]] = call reassoc double @llvm.cos.f64(double [[A]])
-; CHECK-NEXT:    [[RES:%.*]] = fmul reassoc double [[TAN]], [[COS]]
+; CHECK-NEXT:    [[RES:%.*]] = call reassoc double @llvm.sin.f64(double [[A]])
 ; CHECK-NEXT:    ret double [[RES]]
 ;
   %tan = call reassoc double @llvm.tan.f64(double %a)
@@ -90,9 +84,7 @@ define double @fmul_tan_cos_reassoc(double %a) {
 define float @fmul_tanf_cosf_reassoc(float %a) {
 ; CHECK-LABEL: define float @fmul_tanf_cosf_reassoc(
 ; CHECK-SAME: float [[A:%.*]]) {
-; CHECK-NEXT:    [[TAN:%.*]] = call reassoc float @llvm.tan.f32(float [[A]])
-; CHECK-NEXT:    [[COS:%.*]] = call reassoc float @llvm.cos.f32(float [[A]])
-; CHECK-NEXT:    [[RES:%.*]] = fmul reassoc float [[TAN]], [[COS]]
+; CHECK-NEXT:    [[RES:%.*]] = call reassoc float @llvm.sin.f32(float [[A]])
 ; CHECK-NEXT:    ret float [[RES]]
 ;
   %tan = call reassoc float @llvm.tan.f32(float %a)
@@ -104,9 +96,7 @@ define float @fmul_tanf_cosf_reassoc(float %a) {
 define fp128 @fmul_tanfp128_cosfp128_reassoc(fp128 %a) {
 ; CHECK-LABEL: define fp128 @fmul_tanfp128_cosfp128_reassoc(
 ; CHECK-SAME: fp128 [[A:%.*]]) {
-; CHECK-NEXT:    [[TAN:%.*]] = call reassoc fp128 @llvm.tan.f128(fp128 [[A]])
-; CHECK-NEXT:    [[COS:%.*]] = call reassoc fp128 @llvm.cos.f128(fp128 [[A]])
-; CHECK-NEXT:    [[RES:%.*]] = fmul reassoc fp128 [[TAN]], [[COS]]
+; CHECK-NEXT:    [[RES:%.*]] = call reassoc fp128 @llvm.sin.f128(fp128 [[A]])
 ; CHECK-NEXT:    ret fp128 [[RES]]
 ;
   %tan = call reassoc fp128 @llvm.tan.fp128(fp128 %a)