Skip to content

Commit c9e3096

Browse files
RalfJungRalfJung
committed
clarify PassMode::Indirect as well
1 parent 4232955 commit c9e3096

File tree

8 files changed

+60
-54
lines changed

8 files changed

+60
-54
lines changed

‎compiler/rustc_codegen_cranelift/src/abi/pass_mode.rs

Lines changed: 7 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -104,7 +104,7 @@ impl<'tcx> ArgAbiExt<'tcx> for ArgAbi<'tcx, Ty<'tcx>> {
104104
assert!(!pad_i32, "padding support not yet implemented");
105105
cast_target_to_abi_params(cast)
106106
}
107-
PassMode::Indirect { attrs, extra_attrs: None, on_stack } => {
107+
PassMode::Indirect { attrs, meta_attrs: None, on_stack } => {
108108
if on_stack {
109109
// Abi requires aligning struct size to pointer size
110110
let size = self.layout.size.align_to(tcx.data_layout.pointer_align.abi);
@@ -117,11 +117,11 @@ impl<'tcx> ArgAbiExt<'tcx> for ArgAbi<'tcx, Ty<'tcx>> {
117117
smallvec![apply_arg_attrs_to_abi_param(AbiParam::new(pointer_ty(tcx)), attrs)]
118118
}
119119
}
120-
PassMode::Indirect { attrs, extra_attrs: Some(extra_attrs), on_stack } => {
120+
PassMode::Indirect { attrs, meta_attrs: Some(meta_attrs), on_stack } => {
121121
assert!(!on_stack);
122122
smallvec![
123123
apply_arg_attrs_to_abi_param(AbiParam::new(pointer_ty(tcx)), attrs),
124-
apply_arg_attrs_to_abi_param(AbiParam::new(pointer_ty(tcx)), extra_attrs),
124+
apply_arg_attrs_to_abi_param(AbiParam::new(pointer_ty(tcx)), meta_attrs),
125125
]
126126
}
127127
}
@@ -151,11 +151,11 @@ impl<'tcx> ArgAbiExt<'tcx> for ArgAbi<'tcx, Ty<'tcx>> {
151151
PassMode::Cast(ref cast, _) => {
152152
(None, cast_target_to_abi_params(cast).into_iter().collect())
153153
}
154-
PassMode::Indirect { attrs: _, extra_attrs: None, on_stack } => {
154+
PassMode::Indirect { attrs: _, meta_attrs: None, on_stack } => {
155155
assert!(!on_stack);
156156
(Some(AbiParam::special(pointer_ty(tcx), ArgumentPurpose::StructReturn)), vec![])
157157
}
158-
PassMode::Indirect { attrs: _, extra_attrs: Some(_), on_stack: _ } => {
158+
PassMode::Indirect { attrs: _, meta_attrs: Some(_), on_stack: _ } => {
159159
unreachable!("unsized return value")
160160
}
161161
}
@@ -290,11 +290,11 @@ pub(super) fn cvalue_for_param<'tcx>(
290290
PassMode::Cast(ref cast, _) => {
291291
Some(from_casted_value(fx, &block_params, arg_abi.layout, cast))
292292
}
293-
PassMode::Indirect { attrs: _, extra_attrs: None, on_stack: _ } => {
293+
PassMode::Indirect { attrs: _, meta_attrs: None, on_stack: _ } => {
294294
assert_eq!(block_params.len(), 1, "{:?}", block_params);
295295
Some(CValue::by_ref(Pointer::new(block_params[0]), arg_abi.layout))
296296
}
297-
PassMode::Indirect { attrs: _, extra_attrs: Some(_), on_stack: _ } => {
297+
PassMode::Indirect { attrs: _, meta_attrs: Some(_), on_stack: _ } => {
298298
assert_eq!(block_params.len(), 2, "{:?}", block_params);
299299
Some(CValue::by_ref_unsized(
300300
Pointer::new(block_params[0]),

‎compiler/rustc_codegen_cranelift/src/abi/returning.rs

Lines changed: 8 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -26,15 +26,15 @@ pub(super) fn codegen_return_param<'tcx>(
2626
smallvec![],
2727
)
2828
}
29-
PassMode::Indirect { attrs: _, extra_attrs: None, on_stack: _ } => {
29+
PassMode::Indirect { attrs: _, meta_attrs: None, on_stack: _ } => {
3030
let ret_param = block_params_iter.next().unwrap();
3131
assert_eq!(fx.bcx.func.dfg.value_type(ret_param), fx.pointer_type);
3232
(
3333
CPlace::for_ptr(Pointer::new(ret_param), fx.fn_abi.as_ref().unwrap().ret.layout),
3434
smallvec![ret_param],
3535
)
3636
}
37-
PassMode::Indirect { attrs: _, extra_attrs: Some(_), on_stack: _ } => {
37+
PassMode::Indirect { attrs: _, meta_attrs: Some(_), on_stack: _ } => {
3838
unreachable!("unsized return value")
3939
}
4040
};
@@ -62,7 +62,7 @@ pub(super) fn codegen_with_call_return_arg<'tcx>(
6262
) {
6363
let (ret_temp_place, return_ptr) = match ret_arg_abi.mode {
6464
PassMode::Ignore => (None, None),
65-
PassMode::Indirect { attrs: _, extra_attrs: None, on_stack: _ } => {
65+
PassMode::Indirect { attrs: _, meta_attrs: None, on_stack: _ } => {
6666
if let Some(ret_ptr) = ret_place.try_to_ptr() {
6767
// This is an optimization to prevent unnecessary copies of the return value when
6868
// the return place is already a memory place as opposed to a register.
@@ -73,7 +73,7 @@ pub(super) fn codegen_with_call_return_arg<'tcx>(
7373
(Some(place), Some(place.to_ptr().get_addr(fx)))
7474
}
7575
}
76-
PassMode::Indirect { attrs: _, extra_attrs: Some(_), on_stack: _ } => {
76+
PassMode::Indirect { attrs: _, meta_attrs: Some(_), on_stack: _ } => {
7777
unreachable!("unsized return value")
7878
}
7979
PassMode::Direct(_) | PassMode::Pair(_, _) | PassMode::Cast(..) => (None, None),
@@ -100,14 +100,14 @@ pub(super) fn codegen_with_call_return_arg<'tcx>(
100100
super::pass_mode::from_casted_value(fx, &results, ret_place.layout(), cast);
101101
ret_place.write_cvalue(fx, result);
102102
}
103-
PassMode::Indirect { attrs: _, extra_attrs: None, on_stack: _ } => {
103+
PassMode::Indirect { attrs: _, meta_attrs: None, on_stack: _ } => {
104104
if let Some(ret_temp_place) = ret_temp_place {
105105
// If ret_temp_place is None, it is not necessary to copy the return value.
106106
let ret_temp_value = ret_temp_place.to_cvalue(fx);
107107
ret_place.write_cvalue(fx, ret_temp_value);
108108
}
109109
}
110-
PassMode::Indirect { attrs: _, extra_attrs: Some(_), on_stack: _ } => {
110+
PassMode::Indirect { attrs: _, meta_attrs: Some(_), on_stack: _ } => {
111111
unreachable!("unsized return value")
112112
}
113113
}
@@ -116,10 +116,10 @@ pub(super) fn codegen_with_call_return_arg<'tcx>(
116116
/// Codegen a return instruction with the right return value(s) if any.
117117
pub(crate) fn codegen_return(fx: &mut FunctionCx<'_, '_, '_>) {
118118
match fx.fn_abi.as_ref().unwrap().ret.mode {
119-
PassMode::Ignore | PassMode::Indirect { attrs: _, extra_attrs: None, on_stack: _ } => {
119+
PassMode::Ignore | PassMode::Indirect { attrs: _, meta_attrs: None, on_stack: _ } => {
120120
fx.bcx.ins().return_(&[]);
121121
}
122-
PassMode::Indirect { attrs: _, extra_attrs: Some(_), on_stack: _ } => {
122+
PassMode::Indirect { attrs: _, meta_attrs: Some(_), on_stack: _ } => {
123123
unreachable!("unsized return value")
124124
}
125125
PassMode::Direct(_) => {

‎compiler/rustc_codegen_gcc/src/abi.rs

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -129,7 +129,7 @@ impl<'gcc, 'tcx> FnAbiGccExt<'gcc, 'tcx> for FnAbi<'tcx, Ty<'tcx>> {
129129
argument_tys.push(arg.layout.scalar_pair_element_gcc_type(cx, 1));
130130
continue;
131131
}
132-
PassMode::Indirect { extra_attrs: Some(_), .. } => {
132+
PassMode::Indirect { meta_attrs: Some(_), .. } => {
133133
unimplemented!();
134134
}
135135
PassMode::Cast(ref cast, pad_i32) => {
@@ -139,11 +139,11 @@ impl<'gcc, 'tcx> FnAbiGccExt<'gcc, 'tcx> for FnAbi<'tcx, Ty<'tcx>> {
139139
}
140140
cast.gcc_type(cx)
141141
}
142-
PassMode::Indirect { extra_attrs: None, on_stack: true, .. } => {
142+
PassMode::Indirect { meta_attrs: None, on_stack: true, .. } => {
143143
on_stack_param_indices.insert(argument_tys.len());
144144
arg.memory_ty(cx)
145145
},
146-
PassMode::Indirect { extra_attrs: None, on_stack: false, .. } => cx.type_ptr_to(arg.memory_ty(cx)),
146+
PassMode::Indirect { meta_attrs: None, on_stack: false, .. } => cx.type_ptr_to(arg.memory_ty(cx)),
147147
};
148148
argument_tys.push(arg_ty);
149149
}

‎compiler/rustc_codegen_gcc/src/intrinsic/mod.rs

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -511,10 +511,10 @@ impl<'gcc, 'tcx> ArgAbiExt<'gcc, 'tcx> for ArgAbi<'tcx, Ty<'tcx>> {
511511
PassMode::Pair(..) => {
512512
OperandValue::Pair(next(), next()).store(bx, dst);
513513
},
514-
PassMode::Indirect { extra_attrs: Some(_), .. } => {
514+
PassMode::Indirect { meta_attrs: Some(_), .. } => {
515515
OperandValue::Ref(next(), Some(next()), self.layout.align.abi).store(bx, dst);
516516
},
517-
PassMode::Direct(_) | PassMode::Indirect { extra_attrs: None, .. } | PassMode::Cast(..) => {
517+
PassMode::Direct(_) | PassMode::Indirect { meta_attrs: None, .. } | PassMode::Cast(..) => {
518518
let next_arg = next();
519519
self.store(bx, next_arg, dst);
520520
},

‎compiler/rustc_codegen_llvm/src/abi.rs

Lines changed: 20 additions & 15 deletions
Original file line numberDiff line numberDiff line change
@@ -274,11 +274,11 @@ impl<'ll, 'tcx> ArgAbiExt<'ll, 'tcx> for ArgAbi<'tcx, Ty<'tcx>> {
274274
PassMode::Pair(..) => {
275275
OperandValue::Pair(next(), next()).store(bx, dst);
276276
}
277-
PassMode::Indirect { attrs: _, extra_attrs: Some(_), on_stack: _ } => {
277+
PassMode::Indirect { attrs: _, meta_attrs: Some(_), on_stack: _ } => {
278278
OperandValue::Ref(next(), Some(next()), self.layout.align.abi).store(bx, dst);
279279
}
280280
PassMode::Direct(_)
281-
| PassMode::Indirect { attrs: _, extra_attrs: None, on_stack: _ }
281+
| PassMode::Indirect { attrs: _, meta_attrs: None, on_stack: _ }
282282
| PassMode::Cast(..) => {
283283
let next_arg = next();
284284
self.store(bx, next_arg, dst);
@@ -378,8 +378,10 @@ impl<'ll, 'tcx> FnAbiLlvmExt<'ll, 'tcx> for FnAbi<'tcx, Ty<'tcx>> {
378378
llargument_tys.push(arg.layout.scalar_pair_element_llvm_type(cx, 1, true));
379379
continue;
380380
}
381-
PassMode::Indirect { attrs: _, extra_attrs: Some(_), on_stack: _ } => {
382-
assert!(arg.layout.is_unsized());
381+
PassMode::Indirect { attrs: _, meta_attrs: Some(_), on_stack } => {
382+
// `Indirect` with metadata is only for unsized types, and doesn't work with
383+
// on-stack passing.
384+
assert!(arg.layout.is_unsized() && !on_stack);
383385
// Construct the type of a (wide) pointer to `ty`, and pass its two fields.
384386
// Any two ABI-compatible unsized types have the same metadata type and
385387
// moreover the same metadata value leads to the same dynamic size and
@@ -390,6 +392,10 @@ impl<'ll, 'tcx> FnAbiLlvmExt<'ll, 'tcx> for FnAbi<'tcx, Ty<'tcx>> {
390392
llargument_tys.push(ptr_layout.scalar_pair_element_llvm_type(cx, 1, true));
391393
continue;
392394
}
395+
PassMode::Indirect { attrs: _, meta_attrs: None, on_stack: _ } => {
396+
assert!(arg.layout.is_sized());
397+
cx.type_ptr()
398+
}
393399
PassMode::Cast(cast, pad_i32) => {
394400
// add padding
395401
if *pad_i32 {
@@ -399,7 +405,6 @@ impl<'ll, 'tcx> FnAbiLlvmExt<'ll, 'tcx> for FnAbi<'tcx, Ty<'tcx>> {
399405
// We assume here that ABI-compatible Rust types have the same cast type.
400406
cast.llvm_type(cx)
401407
}
402-
PassMode::Indirect { attrs: _, extra_attrs: None, on_stack: _ } => cx.type_ptr(),
403408
};
404409
llargument_tys.push(llarg_ty);
405410
}
@@ -442,7 +447,7 @@ impl<'ll, 'tcx> FnAbiLlvmExt<'ll, 'tcx> for FnAbi<'tcx, Ty<'tcx>> {
442447
PassMode::Direct(attrs) => {
443448
attrs.apply_attrs_to_llfn(llvm::AttributePlace::ReturnValue, cx, llfn);
444449
}
445-
PassMode::Indirect { attrs, extra_attrs: _, on_stack } => {
450+
PassMode::Indirect { attrs, meta_attrs: _, on_stack } => {
446451
assert!(!on_stack);
447452
let i = apply(attrs);
448453
let sret = llvm::CreateStructRetAttr(cx.llcx, self.ret.layout.llvm_type(cx));
@@ -456,19 +461,19 @@ impl<'ll, 'tcx> FnAbiLlvmExt<'ll, 'tcx> for FnAbi<'tcx, Ty<'tcx>> {
456461
for arg in self.args.iter() {
457462
match &arg.mode {
458463
PassMode::Ignore => {}
459-
PassMode::Indirect { attrs, extra_attrs: None, on_stack: true } => {
464+
PassMode::Indirect { attrs, meta_attrs: None, on_stack: true } => {
460465
let i = apply(attrs);
461466
let byval = llvm::CreateByValAttr(cx.llcx, arg.layout.llvm_type(cx));
462467
attributes::apply_to_llfn(llfn, llvm::AttributePlace::Argument(i), &[byval]);
463468
}
464469
PassMode::Direct(attrs)
465-
| PassMode::Indirect { attrs, extra_attrs: None, on_stack: false } => {
470+
| PassMode::Indirect { attrs, meta_attrs: None, on_stack: false } => {
466471
apply(attrs);
467472
}
468-
PassMode::Indirect { attrs, extra_attrs: Some(extra_attrs), on_stack } => {
473+
PassMode::Indirect { attrs, meta_attrs: Some(meta_attrs), on_stack } => {
469474
assert!(!on_stack);
470475
apply(attrs);
471-
apply(extra_attrs);
476+
apply(meta_attrs);
472477
}
473478
PassMode::Pair(a, b) => {
474479
apply(a);
@@ -504,7 +509,7 @@ impl<'ll, 'tcx> FnAbiLlvmExt<'ll, 'tcx> for FnAbi<'tcx, Ty<'tcx>> {
504509
PassMode::Direct(attrs) => {
505510
attrs.apply_attrs_to_callsite(llvm::AttributePlace::ReturnValue, bx.cx, callsite);
506511
}
507-
PassMode::Indirect { attrs, extra_attrs: _, on_stack } => {
512+
PassMode::Indirect { attrs, meta_attrs: _, on_stack } => {
508513
assert!(!on_stack);
509514
let i = apply(bx.cx, attrs);
510515
let sret = llvm::CreateStructRetAttr(bx.cx.llcx, self.ret.layout.llvm_type(bx));
@@ -532,7 +537,7 @@ impl<'ll, 'tcx> FnAbiLlvmExt<'ll, 'tcx> for FnAbi<'tcx, Ty<'tcx>> {
532537
for arg in self.args.iter() {
533538
match &arg.mode {
534539
PassMode::Ignore => {}
535-
PassMode::Indirect { attrs, extra_attrs: None, on_stack: true } => {
540+
PassMode::Indirect { attrs, meta_attrs: None, on_stack: true } => {
536541
let i = apply(bx.cx, attrs);
537542
let byval = llvm::CreateByValAttr(bx.cx.llcx, arg.layout.llvm_type(bx));
538543
attributes::apply_to_callsite(
@@ -542,12 +547,12 @@ impl<'ll, 'tcx> FnAbiLlvmExt<'ll, 'tcx> for FnAbi<'tcx, Ty<'tcx>> {
542547
);
543548
}
544549
PassMode::Direct(attrs)
545-
| PassMode::Indirect { attrs, extra_attrs: None, on_stack: false } => {
550+
| PassMode::Indirect { attrs, meta_attrs: None, on_stack: false } => {
546551
apply(bx.cx, attrs);
547552
}
548-
PassMode::Indirect { attrs, extra_attrs: Some(extra_attrs), on_stack: _ } => {
553+
PassMode::Indirect { attrs, meta_attrs: Some(meta_attrs), on_stack: _ } => {
549554
apply(bx.cx, attrs);
550-
apply(bx.cx, extra_attrs);
555+
apply(bx.cx, meta_attrs);
551556
}
552557
PassMode::Pair(a, b) => {
553558
apply(bx.cx, a);

‎compiler/rustc_codegen_ssa/src/mir/block.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1343,7 +1343,7 @@ impl<'a, 'tcx, Bx: BuilderMethods<'a, 'tcx>> FunctionCx<'a, 'tcx, Bx> {
13431343
}
13441344
_ => bug!("codegen_argument: {:?} invalid for pair argument", op),
13451345
},
1346-
PassMode::Indirect { attrs: _, extra_attrs: Some(_), on_stack: _ } => match op.val {
1346+
PassMode::Indirect { attrs: _, meta_attrs: Some(_), on_stack: _ } => match op.val {
13471347
Ref(a, Some(b), _) => {
13481348
llargs.push(a);
13491349
llargs.push(b);

‎compiler/rustc_target/src/abi/call/mod.rs

Lines changed: 17 additions & 16 deletions
Original file line numberDiff line numberDiff line change
@@ -49,12 +49,13 @@ pub enum PassMode {
4949
/// indicates if a `Reg::i32()` dummy argument is emitted before the real argument.
5050
Cast(Box<CastTarget>, bool),
5151
/// Pass the argument indirectly via a hidden pointer.
52-
/// The `extra_attrs` value, if any, is for the extra data (vtable or length)
53-
/// which indicates that it refers to an unsized rvalue.
54-
/// `on_stack` defines that the value should be passed at a fixed
55-
/// stack offset in accordance to the ABI rather than passed using a
56-
/// pointer. This corresponds to the `byval` LLVM argument attribute.
57-
Indirect { attrs: ArgAttributes, extra_attrs: Option<ArgAttributes>, on_stack: bool },
52+
/// The `meta_attrs` value, if any, is for the metadata (vtable or length) of an unsized
53+
/// argument.
54+
/// `on_stack` defines that the value should be passed at a fixed stack offset in accordance to
55+
/// the ABI rather than passed using a pointer. This corresponds to the `byval` LLVM argument
56+
/// attribute (using the Rust type of this argument). `on_stack` cannot be true for unsized
57+
/// arguments, i.e., when `meta_attrs` is `Some`.
58+
Indirect { attrs: ArgAttributes, meta_attrs: Option<ArgAttributes>, on_stack: bool },
5859
}
5960

6061
impl PassMode {
@@ -68,12 +69,12 @@ impl PassMode {
6869
(PassMode::Pair(a1, b1), PassMode::Pair(a2, b2)) => a1.eq_abi(a2) && b1.eq_abi(b2),
6970
(PassMode::Cast(c1, pad1), PassMode::Cast(c2, pad2)) => c1.eq_abi(c2) && pad1 == pad2,
7071
(
71-
PassMode::Indirect { attrs: a1, extra_attrs: None, on_stack: s1 },
72-
PassMode::Indirect { attrs: a2, extra_attrs: None, on_stack: s2 },
72+
PassMode::Indirect { attrs: a1, meta_attrs: None, on_stack: s1 },
73+
PassMode::Indirect { attrs: a2, meta_attrs: None, on_stack: s2 },
7374
) => a1.eq_abi(a2) && s1 == s2,
7475
(
75-
PassMode::Indirect { attrs: a1, extra_attrs: Some(e1), on_stack: s1 },
76-
PassMode::Indirect { attrs: a2, extra_attrs: Some(e2), on_stack: s2 },
76+
PassMode::Indirect { attrs: a1, meta_attrs: Some(e1), on_stack: s1 },
77+
PassMode::Indirect { attrs: a2, meta_attrs: Some(e2), on_stack: s2 },
7778
) => a1.eq_abi(a2) && e1.eq_abi(e2) && s1 == s2,
7879
_ => false,
7980
}
@@ -557,15 +558,15 @@ impl<'a, Ty> ArgAbi<'a, Ty> {
557558
attrs.pointee_size = layout.size;
558559
attrs.pointee_align = Some(layout.align.abi);
559560

560-
let extra_attrs = layout.is_unsized().then_some(ArgAttributes::new());
561+
let meta_attrs = layout.is_unsized().then_some(ArgAttributes::new());
561562

562-
PassMode::Indirect { attrs, extra_attrs, on_stack: false }
563+
PassMode::Indirect { attrs, meta_attrs, on_stack: false }
563564
}
564565

565566
pub fn make_indirect(&mut self) {
566567
match self.mode {
567568
PassMode::Direct(_) | PassMode::Pair(_, _) => {}
568-
PassMode::Indirect { attrs: _, extra_attrs: None, on_stack: false } => return,
569+
PassMode::Indirect { attrs: _, meta_attrs: None, on_stack: false } => return,
569570
_ => panic!("Tried to make {:?} indirect", self.mode),
570571
}
571572

@@ -575,7 +576,7 @@ impl<'a, Ty> ArgAbi<'a, Ty> {
575576
pub fn make_indirect_byval(&mut self, byval_align: Option<Align>) {
576577
self.make_indirect();
577578
match self.mode {
578-
PassMode::Indirect { ref mut attrs, extra_attrs: _, ref mut on_stack } => {
579+
PassMode::Indirect { ref mut attrs, meta_attrs: _, ref mut on_stack } => {
579580
*on_stack = true;
580581

581582
// Some platforms, like 32-bit x86, change the alignment of the type when passing
@@ -620,11 +621,11 @@ impl<'a, Ty> ArgAbi<'a, Ty> {
620621
}
621622

622623
pub fn is_sized_indirect(&self) -> bool {
623-
matches!(self.mode, PassMode::Indirect { attrs: _, extra_attrs: None, on_stack: _ })
624+
matches!(self.mode, PassMode::Indirect { attrs: _, meta_attrs: None, on_stack: _ })
624625
}
625626

626627
pub fn is_unsized_indirect(&self) -> bool {
627-
matches!(self.mode, PassMode::Indirect { attrs: _, extra_attrs: Some(_), on_stack: _ })
628+
matches!(self.mode, PassMode::Indirect { attrs: _, meta_attrs: Some(_), on_stack: _ })
628629
}
629630

630631
pub fn is_ignore(&self) -> bool {

0 commit comments

Comments
 (0)