2020-09-23 15:13:49 +02:00
|
|
|
//! Annotate the clif ir with comments describing how arguments are passed into the current function
|
|
|
|
|
//! and where all locals are stored.
|
|
|
|
|
|
2019-08-30 14:21:24 +02:00
|
|
|
use std::borrow::Cow;
|
|
|
|
|
|
2020-03-31 13:20:19 +02:00
|
|
|
use rustc_middle::mir;
|
2021-02-01 10:11:46 +01:00
|
|
|
use rustc_target::abi::call::PassMode;
|
2019-08-30 14:21:24 +02:00
|
|
|
|
2019-08-31 22:58:09 +05:30
|
|
|
use crate::prelude::*;
|
2019-08-30 14:21:24 +02:00
|
|
|
|
2021-03-05 19:12:59 +01:00
|
|
|
pub(super) fn add_args_header_comment(fx: &mut FunctionCx<'_, '_, '_>) {
|
2021-03-29 10:45:09 +02:00
|
|
|
if fx.clif_comments.enabled() {
|
|
|
|
|
fx.add_global_comment(
|
|
|
|
|
"kind loc.idx param pass mode ty".to_string(),
|
|
|
|
|
);
|
|
|
|
|
}
|
2019-08-30 14:21:24 +02:00
|
|
|
}
|
|
|
|
|
|
2020-01-15 13:18:21 +01:00
|
|
|
pub(super) fn add_arg_comment<'tcx>(
|
2021-03-05 19:12:59 +01:00
|
|
|
fx: &mut FunctionCx<'_, '_, 'tcx>,
|
2019-08-30 15:07:15 +02:00
|
|
|
kind: &str,
|
2020-01-11 16:49:42 +01:00
|
|
|
local: Option<mir::Local>,
|
2019-08-30 14:21:24 +02:00
|
|
|
local_field: Option<usize>,
|
2021-02-01 10:11:46 +01:00
|
|
|
params: &[Value],
|
2022-08-25 17:52:37 +10:00
|
|
|
arg_abi_mode: &PassMode,
|
2021-02-01 10:11:46 +01:00
|
|
|
arg_layout: TyAndLayout<'tcx>,
|
2019-08-30 14:21:24 +02:00
|
|
|
) {
|
2021-03-29 10:45:09 +02:00
|
|
|
if !fx.clif_comments.enabled() {
|
|
|
|
|
return;
|
|
|
|
|
}
|
|
|
|
|
|
2020-01-11 16:49:42 +01:00
|
|
|
let local = if let Some(local) = local {
|
|
|
|
|
Cow::Owned(format!("{:?}", local))
|
|
|
|
|
} else {
|
|
|
|
|
Cow::Borrowed("???")
|
|
|
|
|
};
|
2019-08-30 14:21:24 +02:00
|
|
|
let local_field = if let Some(local_field) = local_field {
|
|
|
|
|
Cow::Owned(format!(".{}", local_field))
|
|
|
|
|
} else {
|
|
|
|
|
Cow::Borrowed("")
|
|
|
|
|
};
|
2020-01-11 16:49:42 +01:00
|
|
|
|
2019-08-30 14:21:24 +02:00
|
|
|
let params = match params {
|
2021-02-01 10:11:46 +01:00
|
|
|
[] => Cow::Borrowed("-"),
|
|
|
|
|
[param] => Cow::Owned(format!("= {:?}", param)),
|
|
|
|
|
[param_a, param_b] => Cow::Owned(format!("= {:?},{:?}", param_a, param_b)),
|
|
|
|
|
params => Cow::Owned(format!(
|
|
|
|
|
"= {}",
|
2021-03-05 19:12:59 +01:00
|
|
|
params.iter().map(ToString::to_string).collect::<Vec<_>>().join(",")
|
2021-02-01 10:11:46 +01:00
|
|
|
)),
|
2019-08-30 14:21:24 +02:00
|
|
|
};
|
2020-01-11 16:49:42 +01:00
|
|
|
|
2021-02-01 10:11:46 +01:00
|
|
|
let pass_mode = format!("{:?}", arg_abi_mode);
|
2019-08-30 14:21:24 +02:00
|
|
|
fx.add_global_comment(format!(
|
2019-08-30 15:07:15 +02:00
|
|
|
"{kind:5}{local:>3}{local_field:<5} {params:10} {pass_mode:36} {ty:?}",
|
|
|
|
|
kind = kind,
|
2020-01-11 16:49:42 +01:00
|
|
|
local = local,
|
2019-08-30 14:21:24 +02:00
|
|
|
local_field = local_field,
|
|
|
|
|
params = params,
|
|
|
|
|
pass_mode = pass_mode,
|
2021-02-01 10:11:46 +01:00
|
|
|
ty = arg_layout.ty,
|
2019-08-30 14:21:24 +02:00
|
|
|
));
|
|
|
|
|
}
|
|
|
|
|
|
2021-03-05 19:12:59 +01:00
|
|
|
pub(super) fn add_locals_header_comment(fx: &mut FunctionCx<'_, '_, '_>) {
|
2021-03-29 10:45:09 +02:00
|
|
|
if fx.clif_comments.enabled() {
|
|
|
|
|
fx.add_global_comment(String::new());
|
|
|
|
|
fx.add_global_comment(
|
|
|
|
|
"kind local ty size align (abi,pref)".to_string(),
|
|
|
|
|
);
|
|
|
|
|
}
|
2019-08-30 15:07:15 +02:00
|
|
|
}
|
|
|
|
|
|
2020-03-27 12:14:45 +01:00
|
|
|
pub(super) fn add_local_place_comments<'tcx>(
|
2021-03-05 19:12:59 +01:00
|
|
|
fx: &mut FunctionCx<'_, '_, 'tcx>,
|
2019-08-30 14:21:24 +02:00
|
|
|
place: CPlace<'tcx>,
|
|
|
|
|
local: Local,
|
|
|
|
|
) {
|
2021-03-29 10:45:09 +02:00
|
|
|
if !fx.clif_comments.enabled() {
|
|
|
|
|
return;
|
|
|
|
|
}
|
2020-03-30 19:00:24 +02:00
|
|
|
let TyAndLayout { ty, layout } = place.layout();
|
2022-03-04 13:46:56 +11:00
|
|
|
let rustc_target::abi::LayoutS {
|
|
|
|
|
size,
|
|
|
|
|
align,
|
|
|
|
|
abi: _,
|
|
|
|
|
variants: _,
|
|
|
|
|
fields: _,
|
|
|
|
|
largest_niche: _,
|
|
|
|
|
} = layout.0.0;
|
2019-12-22 15:27:25 +01:00
|
|
|
|
2023-03-27 15:44:26 +00:00
|
|
|
let (kind, extra) = place.debug_comment();
|
2019-12-22 15:27:25 +01:00
|
|
|
|
|
|
|
|
fx.add_global_comment(format!(
|
|
|
|
|
"{:<5} {:5} {:30} {:4}b {}, {}{}{}",
|
|
|
|
|
kind,
|
|
|
|
|
format!("{:?}", local),
|
|
|
|
|
format!("{:?}", ty),
|
|
|
|
|
size.bytes(),
|
|
|
|
|
align.abi.bytes(),
|
|
|
|
|
align.pref.bytes(),
|
2021-03-05 19:12:59 +01:00
|
|
|
if extra.is_empty() { "" } else { " " },
|
2019-12-22 15:27:25 +01:00
|
|
|
extra,
|
|
|
|
|
));
|
2019-08-30 14:21:24 +02:00
|
|
|
}
|