diff options
| author | Zeeshan Ali Khan <zeenix@gmail.com> | 2025-01-30 13:53:03 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-01-30 13:53:03 +0100 |
| commit | 447539324a15b118d6d77a200445b41beb98742e (patch) | |
| tree | f138eabfef19f5e3a305970c666d54d1980dd879 | |
| parent | e6f12c8b7d8d5c821c32fb2739ea01d1d874c58a (diff) | |
| download | rust-447539324a15b118d6d77a200445b41beb98742e.tar.gz rust-447539324a15b118d6d77a200445b41beb98742e.zip | |
Fix a typo in profile-guided-optimization.md
It's either "profile-guided" or "profiled-guided" and I think it'sw the former. :)
| -rw-r--r-- | src/doc/rustc/src/profile-guided-optimization.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/doc/rustc/src/profile-guided-optimization.md b/src/doc/rustc/src/profile-guided-optimization.md index 38b655b7542..4050494793a 100644 --- a/src/doc/rustc/src/profile-guided-optimization.md +++ b/src/doc/rustc/src/profile-guided-optimization.md @@ -3,7 +3,7 @@ `rustc` supports doing profile-guided optimization (PGO). This chapter describes what PGO is, what it is good for, and how it can be used. -## What Is Profiled-Guided Optimization? +## What Is Profile-Guided Optimization? The basic concept of PGO is to collect data about the typical execution of a program (e.g. which branches it is likely to take) and then use this data |