Use associated types instead of type parameters inside the BuilderMethods trait
This commit is contained in:
Denis Merigoux
Eduard-Mihai Burtescu
parent
9c41e1aa10
commit
89825f2ef5
4 changed files with 355 additions and 361 deletions
|
|
@ -9,7 +9,6 @@
|
|||
// except according to those terms.
|
||||
|
||||
use common::*;
|
||||
use type_::Type;
|
||||
use libc::c_char;
|
||||
use rustc::ty::TyCtxt;
|
||||
use rustc::ty::layout::{Align, Size};
|
||||
|
|
@ -103,265 +102,265 @@ pub enum SynchronizationScope {
|
|||
}
|
||||
|
||||
|
||||
pub trait BuilderMethods<'a, 'll :'a, 'tcx: 'll,
|
||||
Value : ?Sized,
|
||||
BasicBlock: ?Sized
|
||||
> {
|
||||
pub trait BuilderMethods<'a, 'll :'a, 'tcx: 'll> {
|
||||
type Value;
|
||||
type BasicBlock;
|
||||
type Type;
|
||||
|
||||
fn new_block<'b>(
|
||||
cx: &'a CodegenCx<'ll, 'tcx>,
|
||||
llfn: &'ll Value,
|
||||
cx: &'a CodegenCx<'ll, 'tcx, Self::Value>,
|
||||
llfn: Self::Value,
|
||||
name: &'b str
|
||||
) -> Self;
|
||||
fn with_cx(cx: &'a CodegenCx<'ll, 'tcx>) -> Self;
|
||||
fn with_cx(cx: &'a CodegenCx<'ll, 'tcx, Self::Value>) -> Self;
|
||||
fn build_sibling_block<'b>(&self, name: &'b str) -> Self;
|
||||
fn sess(&self) -> &Session;
|
||||
fn cx(&self) -> &'a CodegenCx<'ll, 'tcx>;
|
||||
fn cx(&self) -> &'a CodegenCx<'ll, 'tcx, Self::Value>;
|
||||
fn tcx(&self) -> TyCtxt<'a, 'tcx, 'tcx>;
|
||||
fn llfn(&self) -> &'ll Value;
|
||||
fn llbb(&self) -> &'ll BasicBlock;
|
||||
fn llfn(&self) -> Self::Value;
|
||||
fn llbb(&self) -> Self::BasicBlock;
|
||||
fn count_insn(&self, category: &str);
|
||||
|
||||
fn set_value_name(&self, value: &'ll Value, name: &str);
|
||||
fn position_at_end(&self, llbb: &'ll BasicBlock);
|
||||
fn position_at_start(&self, llbb: &'ll BasicBlock);
|
||||
fn set_value_name(&self, value: Self::Value, name: &str);
|
||||
fn position_at_end(&self, llbb: Self::BasicBlock);
|
||||
fn position_at_start(&self, llbb: Self::BasicBlock);
|
||||
fn ret_void(&self);
|
||||
fn ret(&self, v: &'ll Value);
|
||||
fn br(&self, dest: &'ll BasicBlock);
|
||||
fn ret(&self, v: Self::Value);
|
||||
fn br(&self, dest: Self::BasicBlock);
|
||||
fn cond_br(
|
||||
&self,
|
||||
cond: &'ll Value,
|
||||
then_llbb: &'ll BasicBlock,
|
||||
else_llbb: &'ll BasicBlock,
|
||||
cond: Self::Value,
|
||||
then_llbb: Self::BasicBlock,
|
||||
else_llbb: Self::BasicBlock,
|
||||
);
|
||||
fn switch(
|
||||
&self,
|
||||
v: &'ll Value,
|
||||
else_llbb: &'ll BasicBlock,
|
||||
v: Self::Value,
|
||||
else_llbb: Self::BasicBlock,
|
||||
num_cases: usize,
|
||||
) -> &'ll Value;
|
||||
) -> Self::Value;
|
||||
fn invoke(
|
||||
&self,
|
||||
llfn: &'ll Value,
|
||||
args: &[&'ll Value],
|
||||
then: &'ll BasicBlock,
|
||||
catch: &'ll BasicBlock,
|
||||
bundle: Option<&OperandBundleDef<'ll, &'ll Value>>
|
||||
) -> &'ll Value;
|
||||
llfn: Self::Value,
|
||||
args: &[Self::Value],
|
||||
then: Self::BasicBlock,
|
||||
catch: Self::BasicBlock,
|
||||
bundle: Option<&OperandBundleDef<'ll, Self::Value>>
|
||||
) -> Self::Value;
|
||||
fn unreachable(&self);
|
||||
fn add(&self, lhs: &'ll Value, rhs: &'ll Value) -> &'ll Value;
|
||||
fn fadd(&self, lhs: &'ll Value, rhs: &'ll Value) -> &'ll Value;
|
||||
fn fadd_fast(&self, lhs: &'ll Value, rhs: &'ll Value) -> &'ll Value;
|
||||
fn sub(&self, lhs: &'ll Value, rhs: &'ll Value) -> &'ll Value;
|
||||
fn fsub(&self, lhs: &'ll Value, rhs: &'ll Value) -> &'ll Value;
|
||||
fn fsub_fast(&self, lhs: &'ll Value, rhs: &'ll Value) -> &'ll Value;
|
||||
fn mul(&self, lhs: &'ll Value, rhs: &'ll Value) -> &'ll Value;
|
||||
fn fmul(&self, lhs: &'ll Value, rhs: &'ll Value) -> &'ll Value;
|
||||
fn fmul_fast(&self, lhs: &'ll Value, rhs: &'ll Value) -> &'ll Value;
|
||||
fn udiv(&self, lhs: &'ll Value, rhs: &'ll Value) -> &'ll Value;
|
||||
fn exactudiv(&self, lhs: &'ll Value, rhs: &'ll Value) -> &'ll Value;
|
||||
fn sdiv(&self, lhs: &'ll Value, rhs: &'ll Value) -> &'ll Value;
|
||||
fn exactsdiv(&self, lhs: &'ll Value, rhs: &'ll Value) -> &'ll Value;
|
||||
fn fdiv(&self, lhs: &'ll Value, rhs: &'ll Value) -> &'ll Value;
|
||||
fn fdiv_fast(&self, lhs: &'ll Value, rhs: &'ll Value) -> &'ll Value;
|
||||
fn urem(&self, lhs: &'ll Value, rhs: &'ll Value) -> &'ll Value;
|
||||
fn srem(&self, lhs: &'ll Value, rhs: &'ll Value) -> &'ll Value;
|
||||
fn frem(&self, lhs: &'ll Value, rhs: &'ll Value) -> &'ll Value;
|
||||
fn frem_fast(&self, lhs: &'ll Value, rhs: &'ll Value) -> &'ll Value;
|
||||
fn shl(&self, lhs: &'ll Value, rhs: &'ll Value) -> &'ll Value;
|
||||
fn lshr(&self, lhs: &'ll Value, rhs: &'ll Value) -> &'ll Value;
|
||||
fn ashr(&self, lhs: &'ll Value, rhs: &'ll Value) -> &'ll Value;
|
||||
fn and(&self, lhs: &'ll Value, rhs: &'ll Value) -> &'ll Value;
|
||||
fn or(&self, lhs: &'ll Value, rhs: &'ll Value) -> &'ll Value;
|
||||
fn xor(&self, lhs: &'ll Value, rhs: &'ll Value) -> &'ll Value;
|
||||
fn neg(&self, v: &'ll Value) -> &'ll Value;
|
||||
fn fneg(&self, v: &'ll Value) -> &'ll Value;
|
||||
fn not(&self, v: &'ll Value) -> &'ll Value;
|
||||
fn add(&self, lhs: Self::Value, rhs: Self::Value) -> Self::Value;
|
||||
fn fadd(&self, lhs: Self::Value, rhs: Self::Value) -> Self::Value;
|
||||
fn fadd_fast(&self, lhs: Self::Value, rhs: Self::Value) -> Self::Value;
|
||||
fn sub(&self, lhs: Self::Value, rhs: Self::Value) -> Self::Value;
|
||||
fn fsub(&self, lhs: Self::Value, rhs: Self::Value) -> Self::Value;
|
||||
fn fsub_fast(&self, lhs: Self::Value, rhs: Self::Value) -> Self::Value;
|
||||
fn mul(&self, lhs: Self::Value, rhs: Self::Value) -> Self::Value;
|
||||
fn fmul(&self, lhs: Self::Value, rhs: Self::Value) -> Self::Value;
|
||||
fn fmul_fast(&self, lhs: Self::Value, rhs: Self::Value) -> Self::Value;
|
||||
fn udiv(&self, lhs: Self::Value, rhs: Self::Value) -> Self::Value;
|
||||
fn exactudiv(&self, lhs: Self::Value, rhs: Self::Value) -> Self::Value;
|
||||
fn sdiv(&self, lhs: Self::Value, rhs: Self::Value) -> Self::Value;
|
||||
fn exactsdiv(&self, lhs: Self::Value, rhs: Self::Value) -> Self::Value;
|
||||
fn fdiv(&self, lhs: Self::Value, rhs: Self::Value) -> Self::Value;
|
||||
fn fdiv_fast(&self, lhs: Self::Value, rhs: Self::Value) -> Self::Value;
|
||||
fn urem(&self, lhs: Self::Value, rhs: Self::Value) -> Self::Value;
|
||||
fn srem(&self, lhs: Self::Value, rhs: Self::Value) -> Self::Value;
|
||||
fn frem(&self, lhs: Self::Value, rhs: Self::Value) -> Self::Value;
|
||||
fn frem_fast(&self, lhs: Self::Value, rhs: Self::Value) -> Self::Value;
|
||||
fn shl(&self, lhs: Self::Value, rhs: Self::Value) -> Self::Value;
|
||||
fn lshr(&self, lhs: Self::Value, rhs: Self::Value) -> Self::Value;
|
||||
fn ashr(&self, lhs: Self::Value, rhs: Self::Value) -> Self::Value;
|
||||
fn and(&self, lhs: Self::Value, rhs: Self::Value) -> Self::Value;
|
||||
fn or(&self, lhs: Self::Value, rhs: Self::Value) -> Self::Value;
|
||||
fn xor(&self, lhs: Self::Value, rhs: Self::Value) -> Self::Value;
|
||||
fn neg(&self, v: Self::Value) -> Self::Value;
|
||||
fn fneg(&self, v: Self::Value) -> Self::Value;
|
||||
fn not(&self, v: Self::Value) -> Self::Value;
|
||||
|
||||
fn alloca(&self, ty: &'ll Type, name: &str, align: Align) -> &'ll Value;
|
||||
fn dynamic_alloca(&self, ty: &'ll Type, name: &str, align: Align) -> &'ll Value;
|
||||
fn alloca(&self, ty: Self::Type, name: &str, align: Align) -> Self::Value;
|
||||
fn dynamic_alloca(&self, ty: Self::Type, name: &str, align: Align) -> Self::Value;
|
||||
fn array_alloca(
|
||||
&self,
|
||||
ty: &'ll Type,
|
||||
len: &'ll Value,
|
||||
ty: Self::Type,
|
||||
len: Self::Value,
|
||||
name: &str,
|
||||
align: Align
|
||||
) -> &'ll Value;
|
||||
) -> Self::Value;
|
||||
|
||||
fn load(&self, ptr: &'ll Value, align: Align) -> &'ll Value;
|
||||
fn volatile_load(&self, ptr: &'ll Value) -> &'ll Value;
|
||||
fn atomic_load(&self, ptr: &'ll Value, order: AtomicOrdering, size: Size) -> &'ll Value;
|
||||
fn load(&self, ptr: Self::Value, align: Align) -> Self::Value;
|
||||
fn volatile_load(&self, ptr: Self::Value) -> Self::Value;
|
||||
fn atomic_load(&self, ptr: Self::Value, order: AtomicOrdering, size: Size) -> Self::Value;
|
||||
|
||||
fn range_metadata(&self, load: &'ll Value, range: Range<u128>);
|
||||
fn nonnull_metadata(&self, load: &'ll Value);
|
||||
fn range_metadata(&self, load: Self::Value, range: Range<u128>);
|
||||
fn nonnull_metadata(&self, load: Self::Value);
|
||||
|
||||
fn store(&self, val: &'ll Value, ptr: &'ll Value, align: Align) -> &'ll Value;
|
||||
fn store(&self, val: Self::Value, ptr: Self::Value, align: Align) -> Self::Value;
|
||||
fn store_with_flags(
|
||||
&self,
|
||||
val: &'ll Value,
|
||||
ptr: &'ll Value,
|
||||
val: Self::Value,
|
||||
ptr: Self::Value,
|
||||
align: Align,
|
||||
flags: MemFlags,
|
||||
) -> &'ll Value;
|
||||
) -> Self::Value;
|
||||
fn atomic_store(
|
||||
&self,
|
||||
val: &'ll Value,
|
||||
ptr: &'ll Value,
|
||||
val: Self::Value,
|
||||
ptr: Self::Value,
|
||||
order: AtomicOrdering,
|
||||
size: Size
|
||||
);
|
||||
|
||||
fn gep(&self, ptr: &'ll Value, indices: &[&'ll Value]) -> &'ll Value;
|
||||
fn inbounds_gep(&self, ptr: &'ll Value, indices: &[&'ll Value]) -> &'ll Value;
|
||||
fn struct_gep(&self, ptr: &'ll Value, idx: u64) -> &'ll Value;
|
||||
fn gep(&self, ptr: Self::Value, indices: &[Self::Value]) -> Self::Value;
|
||||
fn inbounds_gep(&self, ptr: Self::Value, indices: &[Self::Value]) -> Self::Value;
|
||||
fn struct_gep(&self, ptr: Self::Value, idx: u64) -> Self::Value;
|
||||
|
||||
fn trunc(&self, val: &'ll Value, dest_ty: &'ll Type) -> &'ll Value;
|
||||
fn sext(&self, val: &'ll Value, dest_ty: &'ll Type) -> &'ll Value;
|
||||
fn fptoui(&self, val: &'ll Value, dest_ty: &'ll Type) -> &'ll Value;
|
||||
fn fptosi(&self, val: &'ll Value, dest_ty: &'ll Type) -> &'ll Value;
|
||||
fn uitofp(&self, val: &'ll Value, dest_ty: &'ll Type) -> &'ll Value;
|
||||
fn sitofp(&self, val: &'ll Value, dest_ty: &'ll Type) -> &'ll Value;
|
||||
fn fptrunc(&self, val: &'ll Value, dest_ty: &'ll Type) -> &'ll Value;
|
||||
fn fpext(&self, val: &'ll Value, dest_ty: &'ll Type) -> &'ll Value;
|
||||
fn ptrtoint(&self, val: &'ll Value, dest_ty: &'ll Type) -> &'ll Value;
|
||||
fn inttoptr(&self, val: &'ll Value, dest_ty: &'ll Type) -> &'ll Value;
|
||||
fn bitcast(&self, val: &'ll Value, dest_ty: &'ll Type) -> &'ll Value;
|
||||
fn intcast(&self, val: &'ll Value, dest_ty: &'ll Type, is_signed: bool) -> &'ll Value;
|
||||
fn pointercast(&self, val: &'ll Value, dest_ty: &'ll Type) -> &'ll Value;
|
||||
fn trunc(&self, val: Self::Value, dest_ty: Self::Type) -> Self::Value;
|
||||
fn sext(&self, val: Self::Value, dest_ty: Self::Type) -> Self::Value;
|
||||
fn fptoui(&self, val: Self::Value, dest_ty: Self::Type) -> Self::Value;
|
||||
fn fptosi(&self, val: Self::Value, dest_ty: Self::Type) -> Self::Value;
|
||||
fn uitofp(&self, val: Self::Value, dest_ty: Self::Type) -> Self::Value;
|
||||
fn sitofp(&self, val: Self::Value, dest_ty: Self::Type) -> Self::Value;
|
||||
fn fptrunc(&self, val: Self::Value, dest_ty: Self::Type) -> Self::Value;
|
||||
fn fpext(&self, val: Self::Value, dest_ty: Self::Type) -> Self::Value;
|
||||
fn ptrtoint(&self, val: Self::Value, dest_ty: Self::Type) -> Self::Value;
|
||||
fn inttoptr(&self, val: Self::Value, dest_ty: Self::Type) -> Self::Value;
|
||||
fn bitcast(&self, val: Self::Value, dest_ty: Self::Type) -> Self::Value;
|
||||
fn intcast(&self, val: Self::Value, dest_ty: Self::Type, is_signed: bool) -> Self::Value;
|
||||
fn pointercast(&self, val: Self::Value, dest_ty: Self::Type) -> Self::Value;
|
||||
|
||||
fn icmp(&self, op: IntPredicate, lhs: &'ll Value, rhs: &'ll Value) -> &'ll Value;
|
||||
fn fcmp(&self, op: RealPredicate, lhs: &'ll Value, rhs: &'ll Value) -> &'ll Value;
|
||||
fn icmp(&self, op: IntPredicate, lhs: Self::Value, rhs: Self::Value) -> Self::Value;
|
||||
fn fcmp(&self, op: RealPredicate, lhs: Self::Value, rhs: Self::Value) -> Self::Value;
|
||||
|
||||
fn empty_phi(&self, ty: &'ll Type) -> &'ll Value;
|
||||
fn phi(&self, ty: &'ll Type, vals: &[&'ll Value], bbs: &[&'ll BasicBlock]) -> &'ll Value;
|
||||
fn empty_phi(&self, ty: Self::Type) -> Self::Value;
|
||||
fn phi(&self, ty: Self::Type, vals: &[Self::Value], bbs: &[Self::BasicBlock]) -> Self::Value;
|
||||
fn inline_asm_call(
|
||||
&self,
|
||||
asm: *const c_char,
|
||||
cons: *const c_char,
|
||||
inputs: &[&'ll Value],
|
||||
output: &'ll Type,
|
||||
inputs: &[Self::Value],
|
||||
output: Self::Type,
|
||||
volatile: bool,
|
||||
alignstack: bool,
|
||||
dia: AsmDialect
|
||||
) -> Option<&'ll Value>;
|
||||
) -> Option<Self::Value>;
|
||||
|
||||
|
||||
fn memcpy(&self, dst: &'ll Value, dst_align: u64,
|
||||
src: &'ll Value, src_align: u64,
|
||||
size: &'ll Value, is_volatile: bool) -> &'ll Value;
|
||||
fn memmove(&self, dst: &'ll Value, dst_align: u64,
|
||||
src: &'ll Value, src_align: u64,
|
||||
size: &'ll Value, is_volatile: bool) -> &'ll Value;
|
||||
fn memcpy(&self, dst: Self::Value, dst_align: u64,
|
||||
src: Self::Value, src_align: u64,
|
||||
size: Self::Value, is_volatile: bool) -> Self::Value;
|
||||
fn memmove(&self, dst: Self::Value, dst_align: u64,
|
||||
src: Self::Value, src_align: u64,
|
||||
size: Self::Value, is_volatile: bool) -> Self::Value;
|
||||
|
||||
fn minnum(&self, lhs: &'ll Value, rhs: &'ll Value) -> &'ll Value;
|
||||
fn maxnum(&self, lhs: &'ll Value, rhs: &'ll Value) -> &'ll Value;
|
||||
fn minnum(&self, lhs: Self::Value, rhs: Self::Value) -> Self::Value;
|
||||
fn maxnum(&self, lhs: Self::Value, rhs: Self::Value) -> Self::Value;
|
||||
fn select(
|
||||
&self, cond: &'ll Value,
|
||||
then_val: &'ll Value,
|
||||
else_val: &'ll Value,
|
||||
) -> &'ll Value;
|
||||
&self, cond: Self::Value,
|
||||
then_val: Self::Value,
|
||||
else_val: Self::Value,
|
||||
) -> Self::Value;
|
||||
|
||||
fn va_arg(&self, list: &'ll Value, ty: &'ll Type) -> &'ll Value;
|
||||
fn extract_element(&self, vec: &'ll Value, idx: &'ll Value) -> &'ll Value;
|
||||
fn va_arg(&self, list: Self::Value, ty: Self::Type) -> Self::Value;
|
||||
fn extract_element(&self, vec: Self::Value, idx: Self::Value) -> Self::Value;
|
||||
fn insert_element(
|
||||
&self, vec: &'ll Value,
|
||||
elt: &'ll Value,
|
||||
idx: &'ll Value,
|
||||
) -> &'ll Value;
|
||||
fn shuffle_vector(&self, v1: &'ll Value, v2: &'ll Value, mask: &'ll Value) -> &'ll Value;
|
||||
fn vector_splat(&self, num_elts: usize, elt: &'ll Value) -> &'ll Value;
|
||||
fn vector_reduce_fadd_fast(&self, acc: &'ll Value, src: &'ll Value) -> &'ll Value;
|
||||
fn vector_reduce_fmul_fast(&self, acc: &'ll Value, src: &'ll Value) -> &'ll Value;
|
||||
fn vector_reduce_add(&self, src: &'ll Value) -> &'ll Value;
|
||||
fn vector_reduce_mul(&self, src: &'ll Value) -> &'ll Value;
|
||||
fn vector_reduce_and(&self, src: &'ll Value) -> &'ll Value;
|
||||
fn vector_reduce_or(&self, src: &'ll Value) -> &'ll Value;
|
||||
fn vector_reduce_xor(&self, src: &'ll Value) -> &'ll Value;
|
||||
fn vector_reduce_fmin(&self, src: &'ll Value) -> &'ll Value;
|
||||
fn vector_reduce_fmax(&self, src: &'ll Value) -> &'ll Value;
|
||||
fn vector_reduce_fmin_fast(&self, src: &'ll Value) -> &'ll Value;
|
||||
fn vector_reduce_fmax_fast(&self, src: &'ll Value) -> &'ll Value;
|
||||
fn vector_reduce_min(&self, src: &'ll Value, is_signed: bool) -> &'ll Value;
|
||||
fn vector_reduce_max(&self, src: &'ll Value, is_signed: bool) -> &'ll Value;
|
||||
fn extract_value(&self, agg_val: &'ll Value, idx: u64) -> &'ll Value;
|
||||
&self, vec: Self::Value,
|
||||
elt: Self::Value,
|
||||
idx: Self::Value,
|
||||
) -> Self::Value;
|
||||
fn shuffle_vector(&self, v1: Self::Value, v2: Self::Value, mask: Self::Value) -> Self::Value;
|
||||
fn vector_splat(&self, num_elts: usize, elt: Self::Value) -> Self::Value;
|
||||
fn vector_reduce_fadd_fast(&self, acc: Self::Value, src: Self::Value) -> Self::Value;
|
||||
fn vector_reduce_fmul_fast(&self, acc: Self::Value, src: Self::Value) -> Self::Value;
|
||||
fn vector_reduce_add(&self, src: Self::Value) -> Self::Value;
|
||||
fn vector_reduce_mul(&self, src: Self::Value) -> Self::Value;
|
||||
fn vector_reduce_and(&self, src: Self::Value) -> Self::Value;
|
||||
fn vector_reduce_or(&self, src: Self::Value) -> Self::Value;
|
||||
fn vector_reduce_xor(&self, src: Self::Value) -> Self::Value;
|
||||
fn vector_reduce_fmin(&self, src: Self::Value) -> Self::Value;
|
||||
fn vector_reduce_fmax(&self, src: Self::Value) -> Self::Value;
|
||||
fn vector_reduce_fmin_fast(&self, src: Self::Value) -> Self::Value;
|
||||
fn vector_reduce_fmax_fast(&self, src: Self::Value) -> Self::Value;
|
||||
fn vector_reduce_min(&self, src: Self::Value, is_signed: bool) -> Self::Value;
|
||||
fn vector_reduce_max(&self, src: Self::Value, is_signed: bool) -> Self::Value;
|
||||
fn extract_value(&self, agg_val: Self::Value, idx: u64) -> Self::Value;
|
||||
fn insert_value(
|
||||
&self,
|
||||
agg_val: &'ll Value,
|
||||
elt: &'ll Value,
|
||||
agg_val: Self::Value,
|
||||
elt: Self::Value,
|
||||
idx: u64
|
||||
) -> &'ll Value;
|
||||
) -> Self::Value;
|
||||
|
||||
fn landing_pad(
|
||||
&self,
|
||||
ty: &'ll Type,
|
||||
pers_fn: &'ll Value,
|
||||
ty: Self::Type,
|
||||
pers_fn: Self::Value,
|
||||
num_clauses: usize
|
||||
) -> &'ll Value;
|
||||
fn add_clause(&self, landing_pad: &'ll Value, clause: &'ll Value);
|
||||
fn set_cleanup(&self, landing_pad: &'ll Value);
|
||||
fn resume(&self, exn: &'ll Value) -> &'ll Value;
|
||||
) -> Self::Value;
|
||||
fn add_clause(&self, landing_pad: Self::Value, clause: Self::Value);
|
||||
fn set_cleanup(&self, landing_pad: Self::Value);
|
||||
fn resume(&self, exn: Self::Value) -> Self::Value;
|
||||
fn cleanup_pad(
|
||||
&self,
|
||||
parent: Option<&'ll Value>,
|
||||
args: &[&'ll Value]
|
||||
) -> &'ll Value;
|
||||
parent: Option<Self::Value>,
|
||||
args: &[Self::Value]
|
||||
) -> Self::Value;
|
||||
fn cleanup_ret(
|
||||
&self, cleanup: &'ll Value,
|
||||
unwind: Option<&'ll BasicBlock>,
|
||||
) -> &'ll Value;
|
||||
&self, cleanup: Self::Value,
|
||||
unwind: Option<Self::BasicBlock>,
|
||||
) -> Self::Value;
|
||||
fn catch_pad(
|
||||
&self,
|
||||
parent: &'ll Value,
|
||||
args: &[&'ll Value]
|
||||
) -> &'ll Value;
|
||||
fn catch_ret(&self, pad: &'ll Value, unwind: &'ll BasicBlock) -> &'ll Value;
|
||||
parent: Self::Value,
|
||||
args: &[Self::Value]
|
||||
) -> Self::Value;
|
||||
fn catch_ret(&self, pad: Self::Value, unwind: Self::BasicBlock) -> Self::Value;
|
||||
fn catch_switch(
|
||||
&self,
|
||||
parent: Option<&'ll Value>,
|
||||
unwind: Option<&'ll BasicBlock>,
|
||||
parent: Option<Self::Value>,
|
||||
unwind: Option<Self::BasicBlock>,
|
||||
num_handlers: usize,
|
||||
) -> &'ll Value;
|
||||
fn add_handler(&self, catch_switch: &'ll Value, handler: &'ll BasicBlock);
|
||||
fn set_personality_fn(&self, personality: &'ll Value);
|
||||
) -> Self::Value;
|
||||
fn add_handler(&self, catch_switch: Self::Value, handler: Self::BasicBlock);
|
||||
fn set_personality_fn(&self, personality: Self::Value);
|
||||
|
||||
fn atomic_cmpxchg(
|
||||
&self,
|
||||
dst: &'ll Value,
|
||||
cmp: &'ll Value,
|
||||
src: &'ll Value,
|
||||
dst: Self::Value,
|
||||
cmp: Self::Value,
|
||||
src: Self::Value,
|
||||
order: AtomicOrdering,
|
||||
failure_order: AtomicOrdering,
|
||||
weak: bool,
|
||||
) -> &'ll Value;
|
||||
) -> Self::Value;
|
||||
fn atomic_rmw(
|
||||
&self,
|
||||
op: AtomicRmwBinOp,
|
||||
dst: &'ll Value,
|
||||
src: &'ll Value,
|
||||
dst: Self::Value,
|
||||
src: Self::Value,
|
||||
order: AtomicOrdering,
|
||||
) -> &'ll Value;
|
||||
) -> Self::Value;
|
||||
fn atomic_fence(&self, order: AtomicOrdering, scope: SynchronizationScope);
|
||||
fn add_case(&self, s: &'ll Value, on_val: &'ll Value, dest: &'ll BasicBlock);
|
||||
fn add_incoming_to_phi(&self, phi: &'ll Value, val: &'ll Value, bb: &'ll BasicBlock);
|
||||
fn set_invariant_load(&self, load: &'ll Value);
|
||||
fn add_case(&self, s: Self::Value, on_val: Self::Value, dest: Self::BasicBlock);
|
||||
fn add_incoming_to_phi(&self, phi: Self::Value, val: Self::Value, bb: Self::BasicBlock);
|
||||
fn set_invariant_load(&self, load: Self::Value);
|
||||
|
||||
fn check_store(
|
||||
&self,
|
||||
val: &'ll Value,
|
||||
ptr: &'ll Value
|
||||
) -> &'ll Value;
|
||||
val: Self::Value,
|
||||
ptr: Self::Value
|
||||
) -> Self::Value;
|
||||
fn check_call<'b>(
|
||||
&self,
|
||||
typ: &str,
|
||||
llfn: &'ll Value,
|
||||
args: &'b [&'ll Value]
|
||||
) -> Cow<'b, [&'ll Value]>;
|
||||
fn lifetime_start(&self, ptr: &'ll Value, size: Size);
|
||||
fn lifetime_end(&self, ptr: &'ll Value, size: Size);
|
||||
llfn: Self::Value,
|
||||
args: &'b [Self::Value]
|
||||
) -> Cow<'b, [Self::Value]> where [Self::Value] : ToOwned;
|
||||
fn lifetime_start(&self, ptr: Self::Value, size: Size);
|
||||
fn lifetime_end(&self, ptr: Self::Value, size: Size);
|
||||
|
||||
fn call_lifetime_intrinsic(&self, intrinsic: &str, ptr: &'ll Value, size: Size);
|
||||
fn call_lifetime_intrinsic(&self, intrinsic: &str, ptr: Self::Value, size: Size);
|
||||
|
||||
fn call(&self, llfn: &'ll Value, args: &[&'ll Value],
|
||||
bundle: Option<&OperandBundleDef<'ll, &'ll Value>>) -> &'ll Value;
|
||||
fn zext(&self, val: &'ll Value, dest_ty: &'ll Type) -> &'ll Value;
|
||||
fn call(&self, llfn: Self::Value, args: &[Self::Value],
|
||||
bundle: Option<&OperandBundleDef<'ll, Self::Value>>) -> Self::Value;
|
||||
fn zext(&self, val: Self::Value, dest_ty: Self::Type) -> Self::Value;
|
||||
}
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue