1 //! Declare various LLVM values.
3 //! Prefer using functions and methods from this module rather than calling LLVM
4 //! functions directly. These functions do some additional work to ensure we do
5 //! the right thing given the preconceptions of codegen.
7 //! Some useful guidelines:
9 //! * Use declare_* family of methods if you are declaring, but are not
10 //! interested in defining the Value they return.
11 //! * Use define_* family of methods when you might be defining the Value.
12 //! * When in doubt, define.
14 use crate::abi::{FnAbi, FnAbiLlvmExt};
15 use crate::attributes;
16 use crate::context::CodegenCx;
18 use crate::llvm::AttributePlace::Function;
19 use crate::type_::Type;
20 use crate::value::Value;
21 use rustc_codegen_ssa::traits::*;
22 use rustc_middle::ty::Ty;
25 /// Declare a function.
27 /// If there’s a value with the same name already declared, the function will
28 /// update the declaration and return existing Value instead.
30 cx: &CodegenCx<'ll, '_>,
32 callconv: llvm::CallConv,
33 unnamed: llvm::UnnamedAddr,
36 debug!("declare_raw_fn(name={:?}, ty={:?})", name, ty);
38 llvm::LLVMRustGetOrInsertFunction(cx.llmod, name.as_ptr().cast(), name.len(), ty)
41 llvm::SetFunctionCallConv(llfn, callconv);
42 llvm::SetUnnamedAddress(llfn, unnamed);
44 if cx.tcx.sess.opts.cg.no_redzone.unwrap_or(cx.tcx.sess.target.disable_redzone) {
45 llvm::Attribute::NoRedZone.apply_llfn(Function, llfn);
48 attributes::default_optimisation_attrs(cx.tcx.sess, llfn);
49 attributes::non_lazy_bind(cx.sess(), llfn);
53 impl CodegenCx<'ll, 'tcx> {
54 /// Declare a global value.
56 /// If there’s a value with the same name already declared, the function will
57 /// return its Value instead.
58 pub fn declare_global(&self, name: &str, ty: &'ll Type) -> &'ll Value {
59 debug!("declare_global(name={:?})", name);
60 unsafe { llvm::LLVMRustGetOrInsertGlobal(self.llmod, name.as_ptr().cast(), name.len(), ty) }
63 /// Declare a C ABI function.
65 /// Only use this for foreign function ABIs and glue. For Rust functions use
66 /// `declare_fn` instead.
68 /// If there’s a value with the same name already declared, the function will
69 /// update the declaration and return existing Value instead.
73 unnamed: llvm::UnnamedAddr,
76 declare_raw_fn(self, name, llvm::CCallConv, unnamed, fn_type)
79 /// Declare a Rust function.
81 /// If there’s a value with the same name already declared, the function will
82 /// update the declaration and return existing Value instead.
83 pub fn declare_fn(&self, name: &str, fn_abi: &FnAbi<'tcx, Ty<'tcx>>) -> &'ll Value {
84 debug!("declare_rust_fn(name={:?}, fn_abi={:?})", name, fn_abi);
86 // Function addresses in Rust are never significant, allowing functions to
88 let llfn = declare_raw_fn(
92 llvm::UnnamedAddr::Global,
93 fn_abi.llvm_type(self),
95 fn_abi.apply_attrs_llfn(self, llfn);
99 /// Declare a global with an intention to define it.
101 /// Use this function when you intend to define a global. This function will
102 /// return `None` if the name already has a definition associated with it. In that
103 /// case an error should be reported to the user, because it usually happens due
104 /// to user’s fault (e.g., misuse of `#[no_mangle]` or `#[export_name]` attributes).
105 pub fn define_global(&self, name: &str, ty: &'ll Type) -> Option<&'ll Value> {
106 if self.get_defined_value(name).is_some() {
109 Some(self.declare_global(name, ty))
113 /// Declare a private global
115 /// Use this function when you intend to define a global without a name.
116 pub fn define_private_global(&self, ty: &'ll Type) -> &'ll Value {
117 unsafe { llvm::LLVMRustInsertPrivateGlobal(self.llmod, ty) }
120 /// Gets declared value by name.
121 pub fn get_declared_value(&self, name: &str) -> Option<&'ll Value> {
122 debug!("get_declared_value(name={:?})", name);
123 unsafe { llvm::LLVMRustGetNamedValue(self.llmod, name.as_ptr().cast(), name.len()) }
126 /// Gets defined or externally defined (AvailableExternally linkage) value by
128 pub fn get_defined_value(&self, name: &str) -> Option<&'ll Value> {
129 self.get_declared_value(name).and_then(|val| {
130 let declaration = unsafe { llvm::LLVMIsDeclaration(val) != 0 };
131 if !declaration { Some(val) } else { None }