Traitified IntrinsicCallMethods

Author: denismerigoux

src/librustc_codegen_llvm/base.rs

@@ -73,9 +73,7 @@ use rustc_data_structures::small_c_str::SmallCStr;
 use rustc_data_structures::sync::Lrc;
 use rustc_data_structures::indexed_vec::Idx;
 
-use interfaces::{
-    BuilderMethods, ConstMethods, BaseTypeMethods, DerivedTypeMethods, DerivedIntrinsicMethods,
-};
+use interfaces::*;
 
 use std::any::Any;
 use std::cmp;

src/librustc_codegen_llvm/builder.rs

@@ -19,10 +19,7 @@ use rustc::ty::TyCtxt;
 use rustc::ty::layout::{Align, Size};
 use rustc::session::{config, Session};
 use rustc_data_structures::small_c_str::SmallCStr;
-use interfaces::{
-    Backend,
-    BuilderMethods, ConstMethods, BaseTypeMethods, DerivedTypeMethods, DerivedIntrinsicMethods,
-};
+use interfaces::*;
 use syntax;
 
 use std::borrow::Cow;
@@ -59,16 +56,11 @@ bitflags! {
     }
 }
 
-impl Backend for Builder<'a, 'll, 'tcx>  {
-    type Value = &'ll Value;
-    type BasicBlock = &'ll BasicBlock;
-    type Type = &'ll Type;
-    type Context = &'ll llvm::Context;
+impl HasCodegen for Builder<'a, 'll, 'tcx> {
+    type CodegenCx = CodegenCx<'ll, 'tcx>;
 }
 
 impl BuilderMethods<'a, 'tcx> for Builder<'a, 'll, 'tcx> {
-    type CodegenCx = CodegenCx<'ll, 'tcx>;
-
     fn new_block<'b>(
         cx: &'a CodegenCx<'ll, 'tcx>,
         llfn: &'ll Value,

src/librustc_codegen_llvm/context.rs

@@ -23,8 +23,7 @@ use value::Value;
 use monomorphize::partitioning::CodegenUnit;
 use type_::Type;
 use type_of::PointeeInfo;
-use interfaces::{BaseTypeMethods, DerivedTypeMethods,
-    IntrinsicMethods, BaseIntrinsicMethods, DerivedIntrinsicMethods};
+use interfaces::{BaseTypeMethods, DerivedTypeMethods, IntrinsicDeclarationMethods};
 
 use rustc_data_structures::base_n;
 use rustc_data_structures::small_c_str::SmallCStr;
@@ -323,9 +322,7 @@ impl<'b, 'tcx> CodegenCx<'b, 'tcx> {
     }
 }
 
-impl BaseIntrinsicMethods for CodegenCx<'_, '_> {}
-
-impl DerivedIntrinsicMethods for CodegenCx<'b, 'tcx> {
+impl IntrinsicDeclarationMethods for CodegenCx<'b, 'tcx> {
     fn get_intrinsic(&self, key: &str) -> &'b Value {
         if let Some(v) = self.intrinsics.borrow().get(key).cloned() {
             return v;
@@ -647,8 +644,6 @@ impl DerivedIntrinsicMethods for CodegenCx<'b, 'tcx> {
     }
 }
 
-impl IntrinsicMethods for CodegenCx<'a, 'tcx> {}
-
 impl<'b, 'tcx> CodegenCx<'b, 'tcx> {
     /// Generate a new symbol name with the given prefix. This symbol name must
     /// only be used for definitions with `internal` or `private` linkage.

src/librustc_codegen_llvm/interfaces/builder.rs

@@ -17,21 +17,29 @@ use builder::MemFlags;
 use super::backend::Backend;
 use super::type_::TypeMethods;
 use super::consts::ConstMethods;
-use super::intrinsic::IntrinsicMethods;
+use super::intrinsic::IntrinsicDeclarationMethods;
 
 use std::borrow::Cow;
 use std::ops::Range;
 use syntax::ast::AsmDialect;
 
-
-pub trait BuilderMethods<'a, 'tcx: 'a>: Backend {
-    type CodegenCx: 'a + TypeMethods + ConstMethods + IntrinsicMethods + Backend<
+pub trait HasCodegen: Backend {
+    type CodegenCx: TypeMethods + ConstMethods + IntrinsicDeclarationMethods + Backend<
         Value = Self::Value,
         BasicBlock = Self::BasicBlock,
         Type = Self::Type,
         Context = Self::Context,
     >;
+}
+
+impl<T: HasCodegen> Backend for T {
+    type Value = <T::CodegenCx as Backend>::Value;
+    type BasicBlock = <T::CodegenCx as Backend>::BasicBlock;
+    type Type = <T::CodegenCx as Backend>::Type;
+    type Context = <T::CodegenCx as Backend>::Context;
+}
 
+pub trait BuilderMethods<'a, 'tcx: 'a>: HasCodegen {
     fn new_block<'b>(
         cx: &'a Self::CodegenCx,
         llfn: Self::Value,

src/librustc_codegen_llvm/interfaces/intrinsic.rs

@@ -9,17 +9,27 @@
 // except according to those terms.
 
 use super::backend::Backend;
+use super::builder::HasCodegen;
+use mir::operand::OperandRef;
+use rustc::ty::Ty;
+use abi::FnType;
+use syntax_pos::Span;
 
-pub trait BaseIntrinsicMethods: Backend {
-
+pub trait IntrinsicCallMethods<'a, 'tcx: 'a>: HasCodegen {
+    fn codegen_intrinsic_call(
+        &self,
+        callee_ty: Ty<'tcx>,
+        fn_ty: &FnType<'tcx, Ty<'tcx>>,
+        args: &[OperandRef<'tcx, Self::Value>],
+        llresult: Self::Value,
+        span: Span,
+    );
 }
 
-pub trait DerivedIntrinsicMethods: Backend {
+pub trait IntrinsicDeclarationMethods: Backend {
     fn get_intrinsic(&self, key: &str) -> Self::Value;
     fn declare_intrinsic(
         &self,
         key: &str
     ) -> Option<Self::Value>;
 }
-
-pub trait IntrinsicMethods: BaseIntrinsicMethods + DerivedIntrinsicMethods {}

src/librustc_codegen_llvm/interfaces/mod.rs

@@ -15,9 +15,9 @@ mod type_;
 mod intrinsic;
 mod statics;
 
-pub use self::builder::BuilderMethods;
+pub use self::builder::{BuilderMethods, HasCodegen};
 pub use self::backend::Backend;
 pub use self::consts::ConstMethods;
 pub use self::type_::{TypeMethods, BaseTypeMethods, DerivedTypeMethods};
-pub use self::intrinsic::{IntrinsicMethods, BaseIntrinsicMethods, DerivedIntrinsicMethods};
+pub use self::intrinsic::{IntrinsicCallMethods, IntrinsicDeclarationMethods};
 pub use self::statics::StaticMethods;