[polly] Fix typos in documentation
GitOrigin-RevId: 27f7546f336263b0b9b569e0c8ec99a164c89d8f
diff --git a/docs/Architecture.rst b/docs/Architecture.rst
index 92cb97d..645d652 100644
--- a/docs/Architecture.rst
+++ b/docs/Architecture.rst
@@ -83,7 +83,7 @@
are only run on functions which contain loop kernels that are worth optimizing.
However, due to the many optimizations that LLVM runs before Polly the IR that
reaches Polly often has additional scalar dependences that make Polly a lot less
-efficient. To force Polly to run before the vectorizer in the pass pipleline use
+efficient. To force Polly to run before the vectorizer in the pass pipeline use
the option *-polly-position=before-vectorizer*. This position is not yet the
default for Polly, but work is on its way to be effective even in presence of
scalar dependences. After this work has been completed, Polly will likely use
diff --git a/docs/HowToManuallyUseTheIndividualPiecesOfPolly.rst b/docs/HowToManuallyUseTheIndividualPiecesOfPolly.rst
index d8f80b8..e97ea8a 100644
--- a/docs/HowToManuallyUseTheIndividualPiecesOfPolly.rst
+++ b/docs/HowToManuallyUseTheIndividualPiecesOfPolly.rst
@@ -240,7 +240,7 @@
-------------------------------------------------------------------------------------
Polly can reimport jscop files, in which the schedules of the statements
- are changed. These changed schedules are used to descripe
+ are changed. These changed schedules are used to describe
transformations. It is possible to import different jscop files by
providing the postfix of the jscop file that is imported.
diff --git a/docs/TipsAndTricks.rst b/docs/TipsAndTricks.rst
index 38df79a..f8b5166 100644
--- a/docs/TipsAndTricks.rst
+++ b/docs/TipsAndTricks.rst
@@ -2,8 +2,8 @@
Tips and Tricks on using and contributing to Polly
==================================================
-Commiting to polly trunk
-------------------------
+Committing to polly trunk
+-------------------------
- `General reference to git-svn workflow <https://stackoverflow.com/questions/190431/is-git-svn-dcommit-after-merging-in-git-dangerous>`_