diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 1da0405e8b03644735089e21f3e90971e1e2f183..aea7ef53f382abd5bd4f26627e9db9ee234ef085 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2017-05-25  Martin Liska  <mliska@suse.cz>
+
+	* dumpfile.c: Add TDF_FOLDING.
+	* dumpfile.h (enum dump_kind): Likewise.
+	* genmatch.c (dt_simplify::gen_1): Use it.
+
 2017-05-25  Marc Glisse  <marc.glisse@inria.fr>
 
 	* match.pd (view_convert (convert@0 @1)): Handle zero-extension.
diff --git a/gcc/dumpfile.c b/gcc/dumpfile.c
index 13a711345b4442ff316c24fd4a3d51ac2319529d..903d879e78483823d0a5a97c55d232b8dd30da87 100644
--- a/gcc/dumpfile.c
+++ b/gcc/dumpfile.c
@@ -118,6 +118,7 @@ static const struct dump_option_value_info dump_options[] =
   {"enumerate_locals", TDF_ENUMERATE_LOCALS},
   {"scev", TDF_SCEV},
   {"gimple", TDF_GIMPLE},
+  {"folding", TDF_FOLDING},
   {"optimized", MSG_OPTIMIZED_LOCATIONS},
   {"missed", MSG_MISSED_OPTIMIZATION},
   {"note", MSG_NOTE},
diff --git a/gcc/dumpfile.h b/gcc/dumpfile.h
index a1e4720156dd291d39ada32b9fd880b41acbe76d..abb4d93a93bd4ddc5e75913821a7ae30dfe0aff3 100644
--- a/gcc/dumpfile.h
+++ b/gcc/dumpfile.h
@@ -92,6 +92,7 @@ enum dump_kind
 #define TDF_SCEV	(1 << 24)	/* Dump SCEV details.  */
 #define TDF_COMMENT	(1 << 25)	/* Dump lines with prefix ";;"  */
 #define TDF_GIMPLE	(1 << 26)	/* Dump in GIMPLE FE syntax  */
+#define TDF_FOLDING	(1 << 27)	/* Dump folding details.  */
 #define MSG_OPTIMIZED_LOCATIONS	 (1 << 27)  /* -fopt-info optimized sources */
 #define MSG_MISSED_OPTIMIZATION	 (1 << 28)  /* missed opportunities */
 #define MSG_NOTE		 (1 << 29)  /* general optimization info */
diff --git a/gcc/genmatch.c b/gcc/genmatch.c
index 2c3183b25af5bc0990957640d52f9f7e05e0b1e7..f20e39f91587c9a391abb821403fd6c21d09811c 100644
--- a/gcc/genmatch.c
+++ b/gcc/genmatch.c
@@ -3191,7 +3191,7 @@ dt_simplify::gen_1 (FILE *f, int indent, bool gimple, operand *result)
 	}
     }
 
-  fprintf_indent (f, indent, "if (dump_file && (dump_flags & TDF_DETAILS)) "
+  fprintf_indent (f, indent, "if (dump_file && (dump_flags & TDF_FOLDING)) "
 	   "fprintf (dump_file, \"Applying pattern ");
   output_line_directive (f,
 			 result ? result->location : s->match->location, true);