Add intrinsic_name to get plain intrinsic name

Author: adpaco-aws

compiler/rustc_smir/src/rustc_smir/context.rs

@@ -587,6 +587,13 @@ impl<'tcx> Context for TablesWrapper<'tcx> {
         }
     }
 
+    fn intrinsic_name(&self, def: InstanceDef) -> Option<Symbol> {
+        let tables = self.0.borrow_mut();
+        let instance = tables.instances[def];
+        let name = tables.tcx.intrinsic(instance.def_id())?;
+        Some(name.to_string())
+    }
+
     fn ty_layout(&self, ty: Ty) -> Result<Layout, Error> {
         let mut tables = self.0.borrow_mut();
         let tcx = tables.tcx;

compiler/stable_mir/src/compiler_interface.rs

@@ -183,6 +183,7 @@ pub trait Context {
     fn vtable_allocation(&self, global_alloc: &GlobalAlloc) -> Option<AllocId>;
     fn krate(&self, def_id: DefId) -> Crate;
     fn instance_name(&self, def: InstanceDef, trimmed: bool) -> Symbol;
+    fn intrinsic_name(&self, def: InstanceDef) -> Option<Symbol>;
 
     /// Return information about the target machine.
     fn target_info(&self) -> MachineInfo;

compiler/stable_mir/src/mir/mono.rs

@@ -90,6 +90,10 @@ impl Instance {
         with(|context| context.instance_name(self.def, true))
     }
 
+    pub fn intrinsic_name(&self) -> Option<Symbol> {
+        with(|context| context.intrinsic_name(self.def))
+    }
+
     /// Resolve an instance starting from a function definition and generic arguments.
     pub fn resolve(def: FnDef, args: &GenericArgs) -> Result<Instance, crate::Error> {
         with(|context| {