Implement m_alloca_exception and m_free_exception matchers

Author: AmrDeveloper

docs/matchers/exceptions.md

@@ -1,10 +1,12 @@
 ### Exceptions Instructions Matchers functions
 
-|   Function   | Parameters |   Return    |                        Description                         |
-| :----------: | :--------: | :---------: | :--------------------------------------------------------: |
-|   m_invoke   |            | InstMatcher |      Build Inst Matcher that match invoke Instruction      |
-| m_landingpad |            | InstMatcher |    Build Inst Matcher that match landingpad Instruction    |
-|   m_resume   |            | InstMatcher |      Build Inst Matcher that match resume Instruction      |
-|   m_throw    |            | InstMatcher |    Build Inst Matcher that match call to `__cxa_throw`     |
-|  m_rethrow   |            | InstMatcher |   Build Inst Matcher that match call to `__cxa_rethrow`    |
-| m_eh_typeid  |            | InstMatcher | Build Inst Matcher that match call to `llvm.eh.typeid.for` |
+|      Function      | Parameters |   Return    |                           Description                            |
+| :----------------: | :--------: | :---------: | :--------------------------------------------------------------: |
+|      m_invoke      |            | InstMatcher |         Build Inst Matcher that match invoke Instruction         |
+|    m_landingpad    |            | InstMatcher |       Build Inst Matcher that match landingpad Instruction       |
+|      m_resume      |            | InstMatcher |         Build Inst Matcher that match resume Instruction         |
+|      m_throw       |            | InstMatcher |       Build Inst Matcher that match call to `__cxa_throw`        |
+|     m_rethrow      |            | InstMatcher |      Build Inst Matcher that match call to `__cxa_rethrow`       |
+|    m_eh_typeid     |            | InstMatcher |    Build Inst Matcher that match call to `llvm.eh.typeid.for`    |
+| m_alloca_exception |            | InstMatcher | Build Inst Matcher that match call to `__cxa_allocate_exception` |
+|  m_free_exception  |            | InstMatcher |   Build Inst Matcher that match call to `__cxa_free_exception`   |

src/functions/matchers/exception.rs

@@ -2,7 +2,9 @@ use std::collections::HashMap;
 
 use crate::ir::types::InstMatcherType;
 use crate::ir::values::InstMatcherValue;
+use crate::matchers::exception::AllocaExceptionInstMatcher;
 use crate::matchers::exception::EHTypeIdInstMatcher;
+use crate::matchers::exception::FreeExceptionInstMatcher;
 use crate::matchers::exception::InvokeInstMatcher;
 use crate::matchers::exception::LandingPadInstMatcher;
 use crate::matchers::exception::ResumeInstMatcher;
@@ -23,6 +25,8 @@ pub fn register_exception_inst_matchers_functions(
     map.insert("m_throw", match_throw_inst);
     map.insert("m_rethrow", match_rethrow_inst);
     map.insert("m_eh_typeid", match_eh_typeid_inst);
+    map.insert("m_alloca_exception", match_alloca_exception_inst);
+    map.insert("m_free_exception", match_free_exception_inst);
 }
 
 #[inline(always)]
@@ -76,6 +80,22 @@ pub fn register_exception_inst_matchers_function_signatures(
             return_type: Box::new(InstMatcherType),
         },
     );
+
+    map.insert(
+        "m_alloca_exception",
+        Signature {
+            parameters: vec![],
+            return_type: Box::new(InstMatcherType),
+        },
+    );
+
+    map.insert(
+        "m_free_exception",
+        Signature {
+            parameters: vec![],
+            return_type: Box::new(InstMatcherType),
+        },
+    );
 }
 
 fn match_invoke_inst(_values: &[Box<dyn Value>]) -> Box<dyn Value> {
@@ -107,3 +127,13 @@ fn match_eh_typeid_inst(_values: &[Box<dyn Value>]) -> Box<dyn Value> {
     let matcher = Box::new(EHTypeIdInstMatcher);
     Box::new(InstMatcherValue { matcher })
 }
+
+fn match_alloca_exception_inst(_values: &[Box<dyn Value>]) -> Box<dyn Value> {
+    let matcher = Box::new(AllocaExceptionInstMatcher);
+    Box::new(InstMatcherValue { matcher })
+}
+
+fn match_free_exception_inst(_values: &[Box<dyn Value>]) -> Box<dyn Value> {
+    let matcher = Box::new(FreeExceptionInstMatcher);
+    Box::new(InstMatcherValue { matcher })
+}

src/matchers/exception.rs

@@ -63,3 +63,21 @@ impl Matcher<LLVMValueRef> for EHTypeIdInstMatcher {
         is_call_base_inst_with_specific_name(instruction, "llvm.eh.typeid.for.p0")
     }
 }
+
+#[derive(Clone)]
+pub struct AllocaExceptionInstMatcher;
+
+impl Matcher<LLVMValueRef> for AllocaExceptionInstMatcher {
+    fn is_match(&self, instruction: &LLVMValueRef) -> bool {
+        is_call_base_inst_with_specific_name(instruction, "__cxa_allocate_exception")
+    }
+}
+
+#[derive(Clone)]
+pub struct FreeExceptionInstMatcher;
+
+impl Matcher<LLVMValueRef> for FreeExceptionInstMatcher {
+    fn is_match(&self, instruction: &LLVMValueRef) -> bool {
+        is_call_base_inst_with_specific_name(instruction, "__cxa_free_exception")
+    }
+}