Trait rustc_codegen_ssa::traits::BuilderMethods
source · pub trait BuilderMethods<'a, 'tcx>: HasCodegen<'tcx> + CoverageInfoBuilderMethods<'tcx> + DebugInfoBuilderMethods + ArgAbiMethods<'tcx> + AbiBuilderMethods<'tcx> + IntrinsicCallMethods<'tcx> + AsmBuilderMethods<'tcx> + StaticBuilderMethods + HasParamEnv<'tcx> + HasTargetSpec {
Show 111 methods
fn build(cx: &'a Self::CodegenCx, llbb: Self::BasicBlock) -> Self;
fn cx(&self) -> &Self::CodegenCx;
fn llbb(&self) -> Self::BasicBlock;
fn set_span(&mut self, span: Span);
fn append_block(
cx: &'a Self::CodegenCx,
llfn: Self::Function,
name: &str
) -> Self::BasicBlock;
fn append_sibling_block(&mut self, name: &str) -> Self::BasicBlock;
fn switch_to_block(&mut self, llbb: Self::BasicBlock);
fn ret_void(&mut self);
fn ret(&mut self, v: Self::Value);
fn br(&mut self, dest: Self::BasicBlock);
fn cond_br(
&mut self,
cond: Self::Value,
then_llbb: Self::BasicBlock,
else_llbb: Self::BasicBlock
);
fn switch(
&mut self,
v: Self::Value,
else_llbb: Self::BasicBlock,
cases: impl ExactSizeIterator<Item = (u128, Self::BasicBlock)>
);
fn invoke(
&mut self,
llty: Self::Type,
fn_abi: Option<&FnAbi<'tcx, Ty<'tcx>>>,
llfn: Self::Value,
args: &[Self::Value],
then: Self::BasicBlock,
catch: Self::BasicBlock,
funclet: Option<&Self::Funclet>
) -> Self::Value;
fn unreachable(&mut self);
fn add(&mut self, lhs: Self::Value, rhs: Self::Value) -> Self::Value;
fn fadd(&mut self, lhs: Self::Value, rhs: Self::Value) -> Self::Value;
fn fadd_fast(&mut self, lhs: Self::Value, rhs: Self::Value) -> Self::Value;
fn sub(&mut self, lhs: Self::Value, rhs: Self::Value) -> Self::Value;
fn fsub(&mut self, lhs: Self::Value, rhs: Self::Value) -> Self::Value;
fn fsub_fast(&mut self, lhs: Self::Value, rhs: Self::Value) -> Self::Value;
fn mul(&mut self, lhs: Self::Value, rhs: Self::Value) -> Self::Value;
fn fmul(&mut self, lhs: Self::Value, rhs: Self::Value) -> Self::Value;
fn fmul_fast(&mut self, lhs: Self::Value, rhs: Self::Value) -> Self::Value;
fn udiv(&mut self, lhs: Self::Value, rhs: Self::Value) -> Self::Value;
fn exactudiv(&mut self, lhs: Self::Value, rhs: Self::Value) -> Self::Value;
fn sdiv(&mut self, lhs: Self::Value, rhs: Self::Value) -> Self::Value;
fn exactsdiv(&mut self, lhs: Self::Value, rhs: Self::Value) -> Self::Value;
fn fdiv(&mut self, lhs: Self::Value, rhs: Self::Value) -> Self::Value;
fn fdiv_fast(&mut self, lhs: Self::Value, rhs: Self::Value) -> Self::Value;
fn urem(&mut self, lhs: Self::Value, rhs: Self::Value) -> Self::Value;
fn srem(&mut self, lhs: Self::Value, rhs: Self::Value) -> Self::Value;
fn frem(&mut self, lhs: Self::Value, rhs: Self::Value) -> Self::Value;
fn frem_fast(&mut self, lhs: Self::Value, rhs: Self::Value) -> Self::Value;
fn shl(&mut self, lhs: Self::Value, rhs: Self::Value) -> Self::Value;
fn lshr(&mut self, lhs: Self::Value, rhs: Self::Value) -> Self::Value;
fn ashr(&mut self, lhs: Self::Value, rhs: Self::Value) -> Self::Value;
fn unchecked_sadd(
&mut self,
lhs: Self::Value,
rhs: Self::Value
) -> Self::Value;
fn unchecked_uadd(
&mut self,
lhs: Self::Value,
rhs: Self::Value
) -> Self::Value;
fn unchecked_ssub(
&mut self,
lhs: Self::Value,
rhs: Self::Value
) -> Self::Value;
fn unchecked_usub(
&mut self,
lhs: Self::Value,
rhs: Self::Value
) -> Self::Value;
fn unchecked_smul(
&mut self,
lhs: Self::Value,
rhs: Self::Value
) -> Self::Value;
fn unchecked_umul(
&mut self,
lhs: Self::Value,
rhs: Self::Value
) -> Self::Value;
fn and(&mut self, lhs: Self::Value, rhs: Self::Value) -> Self::Value;
fn or(&mut self, lhs: Self::Value, rhs: Self::Value) -> Self::Value;
fn xor(&mut self, lhs: Self::Value, rhs: Self::Value) -> Self::Value;
fn neg(&mut self, v: Self::Value) -> Self::Value;
fn fneg(&mut self, v: Self::Value) -> Self::Value;
fn not(&mut self, v: Self::Value) -> Self::Value;
fn checked_binop(
&mut self,
oop: OverflowOp,
ty: Ty<'_>,
lhs: Self::Value,
rhs: Self::Value
) -> (Self::Value, Self::Value);
fn from_immediate(&mut self, val: Self::Value) -> Self::Value;
fn to_immediate_scalar(
&mut self,
val: Self::Value,
scalar: Scalar
) -> Self::Value;
fn alloca(&mut self, ty: Self::Type, align: Align) -> Self::Value;
fn byte_array_alloca(&mut self, len: Self::Value, align: Align) -> Self::Value;
fn load(
&mut self,
ty: Self::Type,
ptr: Self::Value,
align: Align
) -> Self::Value;
fn volatile_load(&mut self, ty: Self::Type, ptr: Self::Value) -> Self::Value;
fn atomic_load(
&mut self,
ty: Self::Type,
ptr: Self::Value,
order: AtomicOrdering,
size: Size
) -> Self::Value;
fn load_operand(
&mut self,
place: PlaceRef<'tcx, Self::Value>
) -> OperandRef<'tcx, Self::Value>;
fn write_operand_repeatedly(
&mut self,
elem: OperandRef<'tcx, Self::Value>,
count: u64,
dest: PlaceRef<'tcx, Self::Value>
);
fn range_metadata(&mut self, load: Self::Value, range: WrappingRange);
fn nonnull_metadata(&mut self, load: Self::Value);
fn store(
&mut self,
val: Self::Value,
ptr: Self::Value,
align: Align
) -> Self::Value;
fn store_with_flags(
&mut self,
val: Self::Value,
ptr: Self::Value,
align: Align,
flags: MemFlags
) -> Self::Value;
fn atomic_store(
&mut self,
val: Self::Value,
ptr: Self::Value,
order: AtomicOrdering,
size: Size
);
fn gep(
&mut self,
ty: Self::Type,
ptr: Self::Value,
indices: &[Self::Value]
) -> Self::Value;
fn inbounds_gep(
&mut self,
ty: Self::Type,
ptr: Self::Value,
indices: &[Self::Value]
) -> Self::Value;
fn struct_gep(
&mut self,
ty: Self::Type,
ptr: Self::Value,
idx: u64
) -> Self::Value;
fn trunc(&mut self, val: Self::Value, dest_ty: Self::Type) -> Self::Value;
fn sext(&mut self, val: Self::Value, dest_ty: Self::Type) -> Self::Value;
fn fptoui_sat(&mut self, val: Self::Value, dest_ty: Self::Type) -> Self::Value;
fn fptosi_sat(&mut self, val: Self::Value, dest_ty: Self::Type) -> Self::Value;
fn fptoui(&mut self, val: Self::Value, dest_ty: Self::Type) -> Self::Value;
fn fptosi(&mut self, val: Self::Value, dest_ty: Self::Type) -> Self::Value;
fn uitofp(&mut self, val: Self::Value, dest_ty: Self::Type) -> Self::Value;
fn sitofp(&mut self, val: Self::Value, dest_ty: Self::Type) -> Self::Value;
fn fptrunc(&mut self, val: Self::Value, dest_ty: Self::Type) -> Self::Value;
fn fpext(&mut self, val: Self::Value, dest_ty: Self::Type) -> Self::Value;
fn ptrtoint(&mut self, val: Self::Value, dest_ty: Self::Type) -> Self::Value;
fn inttoptr(&mut self, val: Self::Value, dest_ty: Self::Type) -> Self::Value;
fn bitcast(&mut self, val: Self::Value, dest_ty: Self::Type) -> Self::Value;
fn intcast(
&mut self,
val: Self::Value,
dest_ty: Self::Type,
is_signed: bool
) -> Self::Value;
fn pointercast(
&mut self,
val: Self::Value,
dest_ty: Self::Type
) -> Self::Value;
fn icmp(
&mut self,
op: IntPredicate,
lhs: Self::Value,
rhs: Self::Value
) -> Self::Value;
fn fcmp(
&mut self,
op: RealPredicate,
lhs: Self::Value,
rhs: Self::Value
) -> Self::Value;
fn memcpy(
&mut self,
dst: Self::Value,
dst_align: Align,
src: Self::Value,
src_align: Align,
size: Self::Value,
flags: MemFlags
);
fn memmove(
&mut self,
dst: Self::Value,
dst_align: Align,
src: Self::Value,
src_align: Align,
size: Self::Value,
flags: MemFlags
);
fn memset(
&mut self,
ptr: Self::Value,
fill_byte: Self::Value,
size: Self::Value,
align: Align,
flags: MemFlags
);
fn select(
&mut self,
cond: Self::Value,
then_val: Self::Value,
else_val: Self::Value
) -> Self::Value;
fn va_arg(&mut self, list: Self::Value, ty: Self::Type) -> Self::Value;
fn extract_element(
&mut self,
vec: Self::Value,
idx: Self::Value
) -> Self::Value;
fn vector_splat(&mut self, num_elts: usize, elt: Self::Value) -> Self::Value;
fn extract_value(&mut self, agg_val: Self::Value, idx: u64) -> Self::Value;
fn insert_value(
&mut self,
agg_val: Self::Value,
elt: Self::Value,
idx: u64
) -> Self::Value;
fn set_personality_fn(&mut self, personality: Self::Value);
fn cleanup_landing_pad(
&mut self,
pers_fn: Self::Value
) -> (Self::Value, Self::Value);
fn resume(&mut self, exn0: Self::Value, exn1: Self::Value);
fn cleanup_pad(
&mut self,
parent: Option<Self::Value>,
args: &[Self::Value]
) -> Self::Funclet;
fn cleanup_ret(
&mut self,
funclet: &Self::Funclet,
unwind: Option<Self::BasicBlock>
);
fn catch_pad(
&mut self,
parent: Self::Value,
args: &[Self::Value]
) -> Self::Funclet;
fn catch_switch(
&mut self,
parent: Option<Self::Value>,
unwind: Option<Self::BasicBlock>,
handlers: &[Self::BasicBlock]
) -> Self::Value;
fn atomic_cmpxchg(
&mut self,
dst: Self::Value,
cmp: Self::Value,
src: Self::Value,
order: AtomicOrdering,
failure_order: AtomicOrdering,
weak: bool
) -> Self::Value;
fn atomic_rmw(
&mut self,
op: AtomicRmwBinOp,
dst: Self::Value,
src: Self::Value,
order: AtomicOrdering
) -> Self::Value;
fn atomic_fence(&mut self, order: AtomicOrdering, scope: SynchronizationScope);
fn set_invariant_load(&mut self, load: Self::Value);
fn lifetime_start(&mut self, ptr: Self::Value, size: Size);
fn lifetime_end(&mut self, ptr: Self::Value, size: Size);
fn instrprof_increment(
&mut self,
fn_name: Self::Value,
hash: Self::Value,
num_counters: Self::Value,
index: Self::Value
);
fn call(
&mut self,
llty: Self::Type,
fn_abi: Option<&FnAbi<'tcx, Ty<'tcx>>>,
llfn: Self::Value,
args: &[Self::Value],
funclet: Option<&Self::Funclet>
) -> Self::Value;
fn zext(&mut self, val: Self::Value, dest_ty: Self::Type) -> Self::Value;
fn do_not_inline(&mut self, llret: Self::Value);
fn to_immediate(
&mut self,
val: Self::Value,
layout: TyAndLayout<'_>
) -> Self::Value { ... }
fn cast_float_to_int(
&mut self,
signed: bool,
x: Self::Value,
dest_ty: Self::Type
) -> Self::Value { ... }
}
Required Methods§
fn build(cx: &'a Self::CodegenCx, llbb: Self::BasicBlock) -> Self
fn cx(&self) -> &Self::CodegenCx
fn llbb(&self) -> Self::BasicBlock
fn set_span(&mut self, span: Span)
fn append_block(
cx: &'a Self::CodegenCx,
llfn: Self::Function,
name: &str
) -> Self::BasicBlock
fn append_sibling_block(&mut self, name: &str) -> Self::BasicBlock
fn switch_to_block(&mut self, llbb: Self::BasicBlock)
fn ret_void(&mut self)
fn ret(&mut self, v: Self::Value)
fn br(&mut self, dest: Self::BasicBlock)
fn cond_br(
&mut self,
cond: Self::Value,
then_llbb: Self::BasicBlock,
else_llbb: Self::BasicBlock
)
fn switch(
&mut self,
v: Self::Value,
else_llbb: Self::BasicBlock,
cases: impl ExactSizeIterator<Item = (u128, Self::BasicBlock)>
)
fn invoke(
&mut self,
llty: Self::Type,
fn_abi: Option<&FnAbi<'tcx, Ty<'tcx>>>,
llfn: Self::Value,
args: &[Self::Value],
then: Self::BasicBlock,
catch: Self::BasicBlock,
funclet: Option<&Self::Funclet>
) -> Self::Value
fn unreachable(&mut self)
fn add(&mut self, lhs: Self::Value, rhs: Self::Value) -> Self::Value
fn fadd(&mut self, lhs: Self::Value, rhs: Self::Value) -> Self::Value
fn fadd_fast(&mut self, lhs: Self::Value, rhs: Self::Value) -> Self::Value
fn sub(&mut self, lhs: Self::Value, rhs: Self::Value) -> Self::Value
fn fsub(&mut self, lhs: Self::Value, rhs: Self::Value) -> Self::Value
fn fsub_fast(&mut self, lhs: Self::Value, rhs: Self::Value) -> Self::Value
fn mul(&mut self, lhs: Self::Value, rhs: Self::Value) -> Self::Value
fn fmul(&mut self, lhs: Self::Value, rhs: Self::Value) -> Self::Value
fn fmul_fast(&mut self, lhs: Self::Value, rhs: Self::Value) -> Self::Value
fn udiv(&mut self, lhs: Self::Value, rhs: Self::Value) -> Self::Value
fn exactudiv(&mut self, lhs: Self::Value, rhs: Self::Value) -> Self::Value
fn sdiv(&mut self, lhs: Self::Value, rhs: Self::Value) -> Self::Value
fn exactsdiv(&mut self, lhs: Self::Value, rhs: Self::Value) -> Self::Value
fn fdiv(&mut self, lhs: Self::Value, rhs: Self::Value) -> Self::Value
fn fdiv_fast(&mut self, lhs: Self::Value, rhs: Self::Value) -> Self::Value
fn urem(&mut self, lhs: Self::Value, rhs: Self::Value) -> Self::Value
fn srem(&mut self, lhs: Self::Value, rhs: Self::Value) -> Self::Value
fn frem(&mut self, lhs: Self::Value, rhs: Self::Value) -> Self::Value
fn frem_fast(&mut self, lhs: Self::Value, rhs: Self::Value) -> Self::Value
fn shl(&mut self, lhs: Self::Value, rhs: Self::Value) -> Self::Value
fn lshr(&mut self, lhs: Self::Value, rhs: Self::Value) -> Self::Value
fn ashr(&mut self, lhs: Self::Value, rhs: Self::Value) -> Self::Value
fn unchecked_sadd(&mut self, lhs: Self::Value, rhs: Self::Value) -> Self::Value
fn unchecked_uadd(&mut self, lhs: Self::Value, rhs: Self::Value) -> Self::Value
fn unchecked_ssub(&mut self, lhs: Self::Value, rhs: Self::Value) -> Self::Value
fn unchecked_usub(&mut self, lhs: Self::Value, rhs: Self::Value) -> Self::Value
fn unchecked_smul(&mut self, lhs: Self::Value, rhs: Self::Value) -> Self::Value
fn unchecked_umul(&mut self, lhs: Self::Value, rhs: Self::Value) -> Self::Value
fn and(&mut self, lhs: Self::Value, rhs: Self::Value) -> Self::Value
fn or(&mut self, lhs: Self::Value, rhs: Self::Value) -> Self::Value
fn xor(&mut self, lhs: Self::Value, rhs: Self::Value) -> Self::Value
fn neg(&mut self, v: Self::Value) -> Self::Value
fn fneg(&mut self, v: Self::Value) -> Self::Value
fn not(&mut self, v: Self::Value) -> Self::Value
fn checked_binop(
&mut self,
oop: OverflowOp,
ty: Ty<'_>,
lhs: Self::Value,
rhs: Self::Value
) -> (Self::Value, Self::Value)
fn from_immediate(&mut self, val: Self::Value) -> Self::Value
fn to_immediate_scalar(&mut self, val: Self::Value, scalar: Scalar) -> Self::Value
fn alloca(&mut self, ty: Self::Type, align: Align) -> Self::Value
fn byte_array_alloca(&mut self, len: Self::Value, align: Align) -> Self::Value
fn load(&mut self, ty: Self::Type, ptr: Self::Value, align: Align) -> Self::Value
fn volatile_load(&mut self, ty: Self::Type, ptr: Self::Value) -> Self::Value
fn atomic_load(
&mut self,
ty: Self::Type,
ptr: Self::Value,
order: AtomicOrdering,
size: Size
) -> Self::Value
fn load_operand(
&mut self,
place: PlaceRef<'tcx, Self::Value>
) -> OperandRef<'tcx, Self::Value>
sourcefn write_operand_repeatedly(
&mut self,
elem: OperandRef<'tcx, Self::Value>,
count: u64,
dest: PlaceRef<'tcx, Self::Value>
)
fn write_operand_repeatedly(
&mut self,
elem: OperandRef<'tcx, Self::Value>,
count: u64,
dest: PlaceRef<'tcx, Self::Value>
)
Called for Rvalue::Repeat when the elem is neither a ZST nor optimizable using memset.
fn range_metadata(&mut self, load: Self::Value, range: WrappingRange)
fn nonnull_metadata(&mut self, load: Self::Value)
fn store(
&mut self,
val: Self::Value,
ptr: Self::Value,
align: Align
) -> Self::Value
fn store_with_flags(
&mut self,
val: Self::Value,
ptr: Self::Value,
align: Align,
flags: MemFlags
) -> Self::Value
fn atomic_store(
&mut self,
val: Self::Value,
ptr: Self::Value,
order: AtomicOrdering,
size: Size
)
fn gep(
&mut self,
ty: Self::Type,
ptr: Self::Value,
indices: &[Self::Value]
) -> Self::Value
fn inbounds_gep(
&mut self,
ty: Self::Type,
ptr: Self::Value,
indices: &[Self::Value]
) -> Self::Value
fn struct_gep(&mut self, ty: Self::Type, ptr: Self::Value, idx: u64) -> Self::Value
fn trunc(&mut self, val: Self::Value, dest_ty: Self::Type) -> Self::Value
fn sext(&mut self, val: Self::Value, dest_ty: Self::Type) -> Self::Value
fn fptoui_sat(&mut self, val: Self::Value, dest_ty: Self::Type) -> Self::Value
fn fptosi_sat(&mut self, val: Self::Value, dest_ty: Self::Type) -> Self::Value
fn fptoui(&mut self, val: Self::Value, dest_ty: Self::Type) -> Self::Value
fn fptosi(&mut self, val: Self::Value, dest_ty: Self::Type) -> Self::Value
fn uitofp(&mut self, val: Self::Value, dest_ty: Self::Type) -> Self::Value
fn sitofp(&mut self, val: Self::Value, dest_ty: Self::Type) -> Self::Value
fn fptrunc(&mut self, val: Self::Value, dest_ty: Self::Type) -> Self::Value
fn fpext(&mut self, val: Self::Value, dest_ty: Self::Type) -> Self::Value
fn ptrtoint(&mut self, val: Self::Value, dest_ty: Self::Type) -> Self::Value
fn inttoptr(&mut self, val: Self::Value, dest_ty: Self::Type) -> Self::Value
fn bitcast(&mut self, val: Self::Value, dest_ty: Self::Type) -> Self::Value
fn intcast(
&mut self,
val: Self::Value,
dest_ty: Self::Type,
is_signed: bool
) -> Self::Value
fn pointercast(&mut self, val: Self::Value, dest_ty: Self::Type) -> Self::Value
fn icmp(
&mut self,
op: IntPredicate,
lhs: Self::Value,
rhs: Self::Value
) -> Self::Value
fn fcmp(
&mut self,
op: RealPredicate,
lhs: Self::Value,
rhs: Self::Value
) -> Self::Value
fn memcpy(
&mut self,
dst: Self::Value,
dst_align: Align,
src: Self::Value,
src_align: Align,
size: Self::Value,
flags: MemFlags
)
fn memmove(
&mut self,
dst: Self::Value,
dst_align: Align,
src: Self::Value,
src_align: Align,
size: Self::Value,
flags: MemFlags
)
fn memset(
&mut self,
ptr: Self::Value,
fill_byte: Self::Value,
size: Self::Value,
align: Align,
flags: MemFlags
)
fn select(
&mut self,
cond: Self::Value,
then_val: Self::Value,
else_val: Self::Value
) -> Self::Value
fn va_arg(&mut self, list: Self::Value, ty: Self::Type) -> Self::Value
fn extract_element(&mut self, vec: Self::Value, idx: Self::Value) -> Self::Value
fn vector_splat(&mut self, num_elts: usize, elt: Self::Value) -> Self::Value
fn extract_value(&mut self, agg_val: Self::Value, idx: u64) -> Self::Value
fn insert_value(
&mut self,
agg_val: Self::Value,
elt: Self::Value,
idx: u64
) -> Self::Value
fn set_personality_fn(&mut self, personality: Self::Value)
fn cleanup_landing_pad(
&mut self,
pers_fn: Self::Value
) -> (Self::Value, Self::Value)
fn resume(&mut self, exn0: Self::Value, exn1: Self::Value)
fn cleanup_pad(
&mut self,
parent: Option<Self::Value>,
args: &[Self::Value]
) -> Self::Funclet
fn cleanup_ret(
&mut self,
funclet: &Self::Funclet,
unwind: Option<Self::BasicBlock>
)
fn catch_pad(
&mut self,
parent: Self::Value,
args: &[Self::Value]
) -> Self::Funclet
fn catch_switch(
&mut self,
parent: Option<Self::Value>,
unwind: Option<Self::BasicBlock>,
handlers: &[Self::BasicBlock]
) -> Self::Value
fn atomic_cmpxchg(
&mut self,
dst: Self::Value,
cmp: Self::Value,
src: Self::Value,
order: AtomicOrdering,
failure_order: AtomicOrdering,
weak: bool
) -> Self::Value
fn atomic_rmw(
&mut self,
op: AtomicRmwBinOp,
dst: Self::Value,
src: Self::Value,
order: AtomicOrdering
) -> Self::Value
fn atomic_fence(&mut self, order: AtomicOrdering, scope: SynchronizationScope)
fn set_invariant_load(&mut self, load: Self::Value)
sourcefn lifetime_start(&mut self, ptr: Self::Value, size: Size)
fn lifetime_start(&mut self, ptr: Self::Value, size: Size)
Called for StorageLive
sourcefn lifetime_end(&mut self, ptr: Self::Value, size: Size)
fn lifetime_end(&mut self, ptr: Self::Value, size: Size)
Called for StorageDead