Skip to content

Rollup of 6 pull requests #69440

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 13 commits into from
Feb 25, 2020
Merged
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
74 changes: 74 additions & 0 deletions src/doc/unstable-book/src/compiler-flags/self-profile-events.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,74 @@
# `self-profile-events`

---------------------

The `-Zself-profile-events` compiler flag controls what events are recorded by the self-profiler when it is enabled via the `-Zself-profile` flag.

This flag takes a comma delimited list of event types to record.

For example:

```console
$ rustc -Zself-profile -Zself-profile-events=default,args
```

## Event types

- `query-provider`
- Traces each query used internally by the compiler.

- `generic-activity`
- Traces other parts of the compiler not covered by the query system.

- `query-cache-hit`
- Adds tracing information that records when the in-memory query cache is "hit" and does not need to re-execute a query which has been cached.
- Disabled by default because this significantly increases the trace file size.

- `query-blocked`
- Tracks time that a query tries to run but is blocked waiting on another thread executing the same query to finish executing.
- Query blocking only occurs when the compiler is built with parallel mode support.

- `incr-cache-load`
- Tracks time that is spent loading and deserializing query results from the incremental compilation on-disk cache.

- `query-keys`
- Adds a serialized representation of each query's query key to the tracing data.
- Disabled by default because this significantly increases the trace file size.

- `function-args`
- Adds additional tracing data to some `generic-activity` events.
- Disabled by default for parity with `query-keys`.

- `llvm`
- Adds tracing information about LLVM passes and codegeneration.
- Disabled by default because this only works when `-Znew-llvm-pass-manager` is enabled.

## Event synonyms

- `none`
- Disables all events.
Equivalent to the self-profiler being disabled.

- `default`
- The default set of events which stikes a balance between providing detailed tracing data and adding additional overhead to the compilation.

- `args`
- Equivalent to `query-keys` and `function-args`.

- `all`
- Enables all events.

## Examples

Enable the profiler and capture the default set of events (both invocations are equivalent):

```console
$ rustc -Zself-profile
$ rustc -Zself-profile -Zself-profile-events=default
```

Enable the profiler and capture the default events and their arguments:

```console
$ rustc -Zself-profile -Zself-profile-events=default,args
```
47 changes: 47 additions & 0 deletions src/doc/unstable-book/src/compiler-flags/self-profile.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,47 @@
# `self-profile`

--------------------

The `-Zself-profile` compiler flag enables rustc's internal profiler.
When enabled, the compiler will output three binary files in the specified directory (or the current working directory if no directory is specified).
These files can be analyzed by using the tools in the [`measureme`] repository.

To control the data recorded in the trace files, use the `-Zself-profile-events` flag.

For example:

First, run a compilation session and provide the `-Zself-profile` flag:

```console
$ rustc --crate-name foo -Zself-profile`
```

This will generate three files in the working directory such as:

- `foo-1234.events`
- `foo-1234.string_data`
- `foo-1234.string_index`

Where `foo` is the name of the crate and `1234` is the process id of the rustc process.

To get a summary of where the compiler is spending its time:

```console
$ ../measureme/target/release/summarize summarize foo-1234
```

To generate a flamegraph of the same data:

```console
$ ../measureme/target/release/inferno foo-1234
```

To dump the event data in a Chromium-profiler compatible format:

```console
$ ../measureme/target/release/crox foo-1234
```

For more information, consult the [`measureme`] documentation.

[`measureme`]: https://github.com/rust-lang/measureme.git
2 changes: 2 additions & 0 deletions src/libcore/intrinsics.rs
Original file line number Diff line number Diff line change
@@ -1515,6 +1515,7 @@ fn overlaps<T>(src: *const T, dst: *const T, count: usize) -> bool {
/// ```
///
/// [`Vec::append`]: ../../std/vec/struct.Vec.html#method.append
#[doc(alias = "memcpy")]
#[stable(feature = "rust1", since = "1.0.0")]
#[inline]
pub unsafe fn copy_nonoverlapping<T>(src: *const T, dst: *mut T, count: usize) {
@@ -1579,6 +1580,7 @@ pub unsafe fn copy_nonoverlapping<T>(src: *const T, dst: *mut T, count: usize) {
/// dst
/// }
/// ```
#[doc(alias = "memmove")]
#[stable(feature = "rust1", since = "1.0.0")]
#[inline]
pub unsafe fn copy<T>(src: *const T, dst: *mut T, count: usize) {
2 changes: 1 addition & 1 deletion src/librustc/mir/interpret/allocation.rs
Original file line number Diff line number Diff line change
@@ -598,7 +598,7 @@ impl AllocationDefinedness {
pub fn all_bytes_undef(&self) -> bool {
// The `ranges` are run-length encoded and of alternating definedness.
// So if `ranges.len() > 1` then the second block is a range of defined.
self.initial == false && self.ranges.len() == 1
!self.initial && self.ranges.len() == 1
}
}

9 changes: 3 additions & 6 deletions src/librustc/ty/print/pretty.rs
Original file line number Diff line number Diff line change
@@ -64,8 +64,7 @@ thread_local! {
/// calling the same query.
pub fn with_no_queries<F: FnOnce() -> R, R>(f: F) -> R {
NO_QUERIES.with(|no_queries| {
let old = no_queries.get();
no_queries.set(true);
let old = no_queries.replace(true);
let result = f();
no_queries.set(old);
result
@@ -78,8 +77,7 @@ pub fn with_no_queries<F: FnOnce() -> R, R>(f: F) -> R {
/// so this variable disables that check.
pub fn with_forced_impl_filename_line<F: FnOnce() -> R, R>(f: F) -> R {
FORCE_IMPL_FILENAME_LINE.with(|force| {
let old = force.get();
force.set(true);
let old = force.replace(true);
let result = f();
force.set(old);
result
@@ -89,8 +87,7 @@ pub fn with_forced_impl_filename_line<F: FnOnce() -> R, R>(f: F) -> R {
/// Adds the `crate::` prefix to paths where appropriate.
pub fn with_crate_prefix<F: FnOnce() -> R, R>(f: F) -> R {
SHOULD_PREFIX_WITH_CRATE.with(|flag| {
let old = flag.get();
flag.set(true);
let old = flag.replace(true);
let result = f();
flag.set(old);
result
7 changes: 2 additions & 5 deletions src/librustc_codegen_ssa/mir/block.rs
Original file line number Diff line number Diff line change
@@ -515,12 +515,9 @@ impl<'a, 'tcx, Bx: BuilderMethods<'a, 'tcx>> FunctionCx<'a, 'tcx, Bx> {
return;
}

// For normal codegen, this Miri-specific intrinsic is just a NOP.
// For normal codegen, this Miri-specific intrinsic should never occur.
if intrinsic == Some("miri_start_panic") {
let target = destination.as_ref().unwrap().1;
helper.maybe_sideeffect(self.mir, &mut bx, &[target]);
helper.funclet_br(self, &mut bx, target);
return;
bug!("`miri_start_panic` should never end up in compiled code");
}

// Emit a panic or a no-op for `panic_if_uninhabited`.
6 changes: 4 additions & 2 deletions src/librustc_error_codes/error_codes/E0368.md
Original file line number Diff line number Diff line change
@@ -1,5 +1,7 @@
This error indicates that a binary assignment operator like `+=` or `^=` was
applied to a type that doesn't support it. For example:
A binary assignment operator like `+=` or `^=` was applied to a type that
doesn't support it.

Erroneous code example:

```compile_fail,E0368
let mut x = 12f32; // error: binary operation `<<` cannot be applied to
1 change: 1 addition & 0 deletions src/librustc_error_codes/error_codes/E0369.md
Original file line number Diff line number Diff line change
@@ -1,4 +1,5 @@
A binary operation was attempted on a type which doesn't support it.

Erroneous code example:

```compile_fail,E0369
6 changes: 2 additions & 4 deletions src/librustc_infer/infer/mod.rs
Original file line number Diff line number Diff line change
@@ -730,8 +730,7 @@ impl<'a, 'tcx> InferCtxt<'a, 'tcx> {
where
F: FnOnce(&Self) -> R,
{
let flag = self.in_snapshot.get();
self.in_snapshot.set(false);
let flag = self.in_snapshot.replace(false);
let result = func(self);
self.in_snapshot.set(flag);
result
@@ -740,8 +739,7 @@ impl<'a, 'tcx> InferCtxt<'a, 'tcx> {
fn start_snapshot(&self) -> CombinedSnapshot<'a, 'tcx> {
debug!("start_snapshot()");

let in_snapshot = self.in_snapshot.get();
self.in_snapshot.set(true);
let in_snapshot = self.in_snapshot.replace(true);

let mut inner = self.inner.borrow_mut();
CombinedSnapshot {
2 changes: 1 addition & 1 deletion src/librustc_mir/dataflow/generic/engine.rs
Original file line number Diff line number Diff line change
@@ -104,7 +104,7 @@ where
) -> Self {
let bits_per_block = analysis.bits_per_block(body);

let bottom_value_set = if A::BOTTOM_VALUE == true {
let bottom_value_set = if A::BOTTOM_VALUE {
BitSet::new_filled(bits_per_block)
} else {
BitSet::new_empty(bits_per_block)
2 changes: 1 addition & 1 deletion src/librustc_mir/dataflow/mod.rs
Original file line number Diff line number Diff line change
@@ -821,7 +821,7 @@ where
let bits_per_block = denotation.bits_per_block();
let num_blocks = body.basic_blocks().len();

let on_entry = if D::BOTTOM_VALUE == true {
let on_entry = if D::BOTTOM_VALUE {
vec![BitSet::new_filled(bits_per_block); num_blocks]
} else {
vec![BitSet::new_empty(bits_per_block); num_blocks]
4 changes: 2 additions & 2 deletions src/librustc_parse/parser/item.rs
Original file line number Diff line number Diff line change
@@ -1171,13 +1171,13 @@ impl<'a> Parser<'a> {
let comma_after_doc_seen = self.eat(&token::Comma);
// `seen_comma` is always false, because we are inside doc block
// condition is here to make code more readable
if seen_comma == false && comma_after_doc_seen == true {
if !seen_comma && comma_after_doc_seen {
seen_comma = true;
}
if comma_after_doc_seen || self.token == token::CloseDelim(token::Brace) {
err.emit();
} else {
if seen_comma == false {
if !seen_comma {
let sp = self.sess.source_map().next_point(previous_span);
err.span_suggestion(
sp,
2 changes: 1 addition & 1 deletion src/librustc_resolve/late/diagnostics.rs
Original file line number Diff line number Diff line change
@@ -444,7 +444,7 @@ impl<'a> LateResolutionVisitor<'a, '_, '_> {
PathSource::Expr(Some(parent)) => {
suggested = path_sep(err, &parent);
}
PathSource::Expr(None) if followed_by_brace == true => {
PathSource::Expr(None) if followed_by_brace => {
if let Some((sp, snippet)) = closing_brace {
err.span_suggestion(
sp,
4 changes: 2 additions & 2 deletions src/librustc_typeck/check/op.rs
Original file line number Diff line number Diff line change
@@ -495,7 +495,7 @@ impl<'a, 'tcx> FnCtxt<'a, 'tcx> {
Some(hir_id) => hir_id,
None => return false,
};
if self.tcx.has_typeck_tables(def_id) == false {
if !self.tcx.has_typeck_tables(def_id) {
return false;
}
let fn_sig = {
@@ -512,7 +512,7 @@ impl<'a, 'tcx> FnCtxt<'a, 'tcx> {
Some(hir_id) => hir_id,
None => return false,
};
if self.tcx.has_typeck_tables(def_id) == false {
if !self.tcx.has_typeck_tables(def_id) {
return false;
}
match self.tcx.typeck_tables_of(def_id).liberated_fn_sigs().get(hir_id) {
4 changes: 2 additions & 2 deletions src/librustdoc/html/markdown.rs
Original file line number Diff line number Diff line change
@@ -465,7 +465,7 @@ impl<'a, I: Iterator<Item = Event<'a>>> Iterator for SummaryLine<'a, I> {
}
_ => true,
};
return if is_allowed_tag == false {
return if !is_allowed_tag {
if is_start {
Some(Event::Start(Tag::Paragraph))
} else {
@@ -671,7 +671,7 @@ impl LangString {
"" => {}
"should_panic" => {
data.should_panic = true;
seen_rust_tags = seen_other_tags == false;
seen_rust_tags = !seen_other_tags;
}
"no_run" => {
data.no_run = true;
2 changes: 1 addition & 1 deletion src/librustdoc/html/render.rs
Original file line number Diff line number Diff line change
@@ -4049,7 +4049,7 @@ fn get_next_url(used_links: &mut FxHashSet<String>, url: String) -> String {
return url;
}
let mut add = 1;
while used_links.insert(format!("{}-{}", url, add)) == false {
while !used_links.insert(format!("{}-{}", url, add)) {
add += 1;
}
format!("{}-{}", url, add)
4 changes: 2 additions & 2 deletions src/librustdoc/passes/mod.rs
Original file line number Diff line number Diff line change
@@ -340,12 +340,12 @@ pub fn look_for_tests<'tcx>(

find_testable_code(&dox, &mut tests, ErrorCodes::No, false);

if check_missing_code == true && tests.found_tests == 0 {
if check_missing_code && tests.found_tests == 0 {
let sp = span_of_attrs(&item.attrs).unwrap_or(item.source.span());
cx.tcx.struct_span_lint_hir(lint::builtin::MISSING_DOC_CODE_EXAMPLES, hir_id, sp, |lint| {
lint.build("missing code example in this documentation").emit()
});
} else if check_missing_code == false
} else if !check_missing_code
&& tests.found_tests > 0
&& !cx.renderinfo.borrow().access_levels.is_public(item.def_id)
{
4 changes: 2 additions & 2 deletions src/librustdoc/theme.rs
Original file line number Diff line number Diff line change
@@ -253,9 +253,9 @@ pub fn get_differences(against: &CssPath, other: &CssPath, v: &mut Vec<String>)
break;
}
}
if found == false {
if !found {
v.push(format!(" Missing \"{}\" rule", child.name));
} else if found_working == false {
} else if !found_working {
v.extend(tmp.iter().cloned());
}
}