Skip to content

Commit ee47a8e

Browse files
committed
Add doc comment to pack_generic
1 parent 45d9394 commit ee47a8e

File tree

1 file changed

+7
-0
lines changed
  • src/tools/miri/src/shims/x86

1 file changed

+7
-0
lines changed

src/tools/miri/src/shims/x86/mod.rs

Lines changed: 7 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1127,6 +1127,13 @@ fn pmulhrsw<'tcx>(
11271127
Ok(())
11281128
}
11291129

1130+
/// Packs two N-bit integer vectors to a single N/2-bit integers.
1131+
///
1132+
/// The conversion from N-bit to N/2-bit should be provided by `f`.
1133+
///
1134+
/// Each 128-bit chunk is treated independently (i.e., the value for
1135+
/// the is i-th 128-bit chunk of `dest` is calculated with the i-th
1136+
/// 128-bit chunks of `left` and `right`).
11301137
fn pack_generic<'tcx>(
11311138
this: &mut crate::MiriInterpCx<'_, 'tcx>,
11321139
left: &OpTy<'tcx, Provenance>,

0 commit comments

Comments
 (0)