1 // Copyright 2018 The Rust Project Developers. See the COPYRIGHT
2 // file at the top-level directory of this distribution and at
3 // http://rust-lang.org/COPYRIGHT.
5 // Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
6 // http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
7 // <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
8 // option. This file may not be copied, modified, or distributed
9 // except according to those terms.
15 use rustc::ty::TyCtxt;
16 use rustc::ty::layout::{Align, Size};
17 use rustc::session::Session;
18 use builder::MemFlags;
24 pub struct OperandBundleDef<'a, Value : 'a> {
29 impl OperandBundleDef<'ll, &'ll Value> {
30 pub fn new(name: &'ll str, val: &'ll Value) -> Self {
38 pub enum IntPredicate {
52 pub enum RealPredicate {
71 pub enum AtomicRmwBinOp {
85 pub enum AtomicOrdering {
90 // Consume, // Not specified yet.
94 SequentiallyConsistent,
97 pub enum SynchronizationScope {
98 // FIXME: figure out if this variant is needed at all.
106 pub trait BuilderMethods<'a, 'll :'a, 'tcx: 'll,
112 cx: &'a CodegenCx<'ll, 'tcx, &'ll Value>,
116 fn with_cx(cx: &'a CodegenCx<'ll, 'tcx, &'ll Value>) -> Self;
117 fn build_sibling_block<'b>(&self, name: &'b str) -> Self;
118 fn sess(&self) -> &Session;
119 fn cx(&self) -> &'a CodegenCx<'ll, 'tcx, &'ll Value>;
120 fn tcx(&self) -> TyCtxt<'a, 'tcx, 'tcx>;
121 fn llfn(&self) -> &'ll Value;
122 fn llbb(&self) -> &'ll BasicBlock;
123 fn count_insn(&self, category: &str);
125 fn set_value_name(&self, value: &'ll Value, name: &str);
126 fn position_at_end(&self, llbb: &'ll BasicBlock);
127 fn position_at_start(&self, llbb: &'ll BasicBlock);
129 fn ret(&self, v: &'ll Value);
130 fn br(&self, dest: &'ll BasicBlock);
134 then_llbb: &'ll BasicBlock,
135 else_llbb: &'ll BasicBlock,
140 else_llbb: &'ll BasicBlock,
147 then: &'ll BasicBlock,
148 catch: &'ll BasicBlock,
149 bundle: Option<&OperandBundleDef<'ll, &'ll Value>>
151 fn unreachable(&self);
152 fn add(&self, lhs: &'ll Value, rhs: &'ll Value) -> &'ll Value;
153 fn fadd(&self, lhs: &'ll Value, rhs: &'ll Value) -> &'ll Value;
154 fn fadd_fast(&self, lhs: &'ll Value, rhs: &'ll Value) -> &'ll Value;
155 fn sub(&self, lhs: &'ll Value, rhs: &'ll Value) -> &'ll Value;
156 fn fsub(&self, lhs: &'ll Value, rhs: &'ll Value) -> &'ll Value;
157 fn fsub_fast(&self, lhs: &'ll Value, rhs: &'ll Value) -> &'ll Value;
158 fn mul(&self, lhs: &'ll Value, rhs: &'ll Value) -> &'ll Value;
159 fn fmul(&self, lhs: &'ll Value, rhs: &'ll Value) -> &'ll Value;
160 fn fmul_fast(&self, lhs: &'ll Value, rhs: &'ll Value) -> &'ll Value;
161 fn udiv(&self, lhs: &'ll Value, rhs: &'ll Value) -> &'ll Value;
162 fn exactudiv(&self, lhs: &'ll Value, rhs: &'ll Value) -> &'ll Value;
163 fn sdiv(&self, lhs: &'ll Value, rhs: &'ll Value) -> &'ll Value;
164 fn exactsdiv(&self, lhs: &'ll Value, rhs: &'ll Value) -> &'ll Value;
165 fn fdiv(&self, lhs: &'ll Value, rhs: &'ll Value) -> &'ll Value;
166 fn fdiv_fast(&self, lhs: &'ll Value, rhs: &'ll Value) -> &'ll Value;
167 fn urem(&self, lhs: &'ll Value, rhs: &'ll Value) -> &'ll Value;
168 fn srem(&self, lhs: &'ll Value, rhs: &'ll Value) -> &'ll Value;
169 fn frem(&self, lhs: &'ll Value, rhs: &'ll Value) -> &'ll Value;
170 fn frem_fast(&self, lhs: &'ll Value, rhs: &'ll Value) -> &'ll Value;
171 fn shl(&self, lhs: &'ll Value, rhs: &'ll Value) -> &'ll Value;
172 fn lshr(&self, lhs: &'ll Value, rhs: &'ll Value) -> &'ll Value;
173 fn ashr(&self, lhs: &'ll Value, rhs: &'ll Value) -> &'ll Value;
174 fn and(&self, lhs: &'ll Value, rhs: &'ll Value) -> &'ll Value;
175 fn or(&self, lhs: &'ll Value, rhs: &'ll Value) -> &'ll Value;
176 fn xor(&self, lhs: &'ll Value, rhs: &'ll Value) -> &'ll Value;
177 fn neg(&self, v: &'ll Value) -> &'ll Value;
178 fn fneg(&self, v: &'ll Value) -> &'ll Value;
179 fn not(&self, v: &'ll Value) -> &'ll Value;
181 fn alloca(&self, ty: &'ll Type, name: &str, align: Align) -> &'ll Value;
182 fn dynamic_alloca(&self, ty: &'ll Type, name: &str, align: Align) -> &'ll Value;
191 fn load(&self, ptr: &'ll Value, align: Align) -> &'ll Value;
192 fn volatile_load(&self, ptr: &'ll Value) -> &'ll Value;
193 fn atomic_load(&self, ptr: &'ll Value, order: AtomicOrdering, size: Size) -> &'ll Value;
195 fn range_metadata(&self, load: &'ll Value, range: Range<u128>);
196 fn nonnull_metadata(&self, load: &'ll Value);
198 fn store(&self, val: &'ll Value, ptr: &'ll Value, align: Align) -> &'ll Value;
210 order: AtomicOrdering,
214 fn gep(&self, ptr: &'ll Value, indices: &[&'ll Value]) -> &'ll Value;
215 fn inbounds_gep(&self, ptr: &'ll Value, indices: &[&'ll Value]) -> &'ll Value;
216 fn struct_gep(&self, ptr: &'ll Value, idx: u64) -> &'ll Value;
218 fn trunc(&self, val: &'ll Value, dest_ty: &'ll Type) -> &'ll Value;
219 fn sext(&self, val: &'ll Value, dest_ty: &'ll Type) -> &'ll Value;
220 fn fptoui(&self, val: &'ll Value, dest_ty: &'ll Type) -> &'ll Value;
221 fn fptosi(&self, val: &'ll Value, dest_ty: &'ll Type) -> &'ll Value;
222 fn uitofp(&self, val: &'ll Value, dest_ty: &'ll Type) -> &'ll Value;
223 fn sitofp(&self, val: &'ll Value, dest_ty: &'ll Type) -> &'ll Value;
224 fn fptrunc(&self, val: &'ll Value, dest_ty: &'ll Type) -> &'ll Value;
225 fn fpext(&self, val: &'ll Value, dest_ty: &'ll Type) -> &'ll Value;
226 fn ptrtoint(&self, val: &'ll Value, dest_ty: &'ll Type) -> &'ll Value;
227 fn inttoptr(&self, val: &'ll Value, dest_ty: &'ll Type) -> &'ll Value;
228 fn bitcast(&self, val: &'ll Value, dest_ty: &'ll Type) -> &'ll Value;
229 fn intcast(&self, val: &'ll Value, dest_ty: &'ll Type, is_signed: bool) -> &'ll Value;
230 fn pointercast(&self, val: &'ll Value, dest_ty: &'ll Type) -> &'ll Value;
232 fn icmp(&self, op: IntPredicate, lhs: &'ll Value, rhs: &'ll Value) -> &'ll Value;
233 fn fcmp(&self, op: RealPredicate, lhs: &'ll Value, rhs: &'ll Value) -> &'ll Value;
235 fn empty_phi(&self, ty: &'ll Type) -> &'ll Value;
236 fn phi(&self, ty: &'ll Type, vals: &[&'ll Value], bbs: &[&'ll BasicBlock]) -> &'ll Value;
241 inputs: &[&'ll Value],
246 ) -> Option<&'ll Value>;
249 fn memcpy(&self, dst: &'ll Value, dst_align: u64,
250 src: &'ll Value, src_align: u64,
251 size: &'ll Value, is_volatile: bool) -> &'ll Value;
252 fn memmove(&self, dst: &'ll Value, dst_align: u64,
253 src: &'ll Value, src_align: u64,
254 size: &'ll Value, is_volatile: bool) -> &'ll Value;
256 fn minnum(&self, lhs: &'ll Value, rhs: &'ll Value) -> &'ll Value;
257 fn maxnum(&self, lhs: &'ll Value, rhs: &'ll Value) -> &'ll Value;
259 &self, cond: &'ll Value,
260 then_val: &'ll Value,
261 else_val: &'ll Value,
264 fn va_arg(&self, list: &'ll Value, ty: &'ll Type) -> &'ll Value;
265 fn extract_element(&self, vec: &'ll Value, idx: &'ll Value) -> &'ll Value;
267 &self, vec: &'ll Value,
271 fn shuffle_vector(&self, v1: &'ll Value, v2: &'ll Value, mask: &'ll Value) -> &'ll Value;
272 fn vector_splat(&self, num_elts: usize, elt: &'ll Value) -> &'ll Value;
273 fn vector_reduce_fadd_fast(&self, acc: &'ll Value, src: &'ll Value) -> &'ll Value;
274 fn vector_reduce_fmul_fast(&self, acc: &'ll Value, src: &'ll Value) -> &'ll Value;
275 fn vector_reduce_add(&self, src: &'ll Value) -> &'ll Value;
276 fn vector_reduce_mul(&self, src: &'ll Value) -> &'ll Value;
277 fn vector_reduce_and(&self, src: &'ll Value) -> &'ll Value;
278 fn vector_reduce_or(&self, src: &'ll Value) -> &'ll Value;
279 fn vector_reduce_xor(&self, src: &'ll Value) -> &'ll Value;
280 fn vector_reduce_fmin(&self, src: &'ll Value) -> &'ll Value;
281 fn vector_reduce_fmax(&self, src: &'ll Value) -> &'ll Value;
282 fn vector_reduce_fmin_fast(&self, src: &'ll Value) -> &'ll Value;
283 fn vector_reduce_fmax_fast(&self, src: &'ll Value) -> &'ll Value;
284 fn vector_reduce_min(&self, src: &'ll Value, is_signed: bool) -> &'ll Value;
285 fn vector_reduce_max(&self, src: &'ll Value, is_signed: bool) -> &'ll Value;
286 fn extract_value(&self, agg_val: &'ll Value, idx: u64) -> &'ll Value;
300 fn add_clause(&self, landing_pad: &'ll Value, clause: &'ll Value);
301 fn set_cleanup(&self, landing_pad: &'ll Value);
302 fn resume(&self, exn: &'ll Value) -> &'ll Value;
305 parent: Option<&'ll Value>,
309 &self, cleanup: &'ll Value,
310 unwind: Option<&'ll BasicBlock>,
317 fn catch_ret(&self, pad: &'ll Value, unwind: &'ll BasicBlock) -> &'ll Value;
320 parent: Option<&'ll Value>,
321 unwind: Option<&'ll BasicBlock>,
324 fn add_handler(&self, catch_switch: &'ll Value, handler: &'ll BasicBlock);
325 fn set_personality_fn(&self, personality: &'ll Value);
332 order: AtomicOrdering,
333 failure_order: AtomicOrdering,
341 order: AtomicOrdering,
343 fn atomic_fence(&self, order: AtomicOrdering, scope: SynchronizationScope);
344 fn add_case(&self, s: &'ll Value, on_val: &'ll Value, dest: &'ll BasicBlock);
345 fn add_incoming_to_phi(&self, phi: &'ll Value, val: &'ll Value, bb: &'ll BasicBlock);
346 fn set_invariant_load(&self, load: &'ll Value);
357 args: &'b [&'ll Value]
358 ) -> Cow<'b, [&'ll Value]>;
359 fn lifetime_start(&self, ptr: &'ll Value, size: Size);
360 fn lifetime_end(&self, ptr: &'ll Value, size: Size);
362 fn call_lifetime_intrinsic(&self, intrinsic: &str, ptr: &'ll Value, size: Size);
364 fn call(&self, llfn: &'ll Value, args: &[&'ll Value],
365 bundle: Option<&OperandBundleDef<'ll, &'ll Value>>) -> &'ll Value;
366 fn zext(&self, val: &'ll Value, dest_ty: &'ll Type) -> &'ll Value;