Implement m_const_expr matcher function

Author: AmrDeveloper

docs/matchers/constants.md

@@ -2,6 +2,7 @@
 
 |    Function    |       Parameters        |   Return    |                           Description                            |
 | :------------: | :---------------------: | :---------: | :--------------------------------------------------------------: |
+|  m_const_expr  |                         | InstMatcher |           Build Inst Matcher that match constants expr           |
 |  m_const_num   |                         | InstMatcher |       Build Inst Matcher that match constants number value       |
 |  m_const_int   |                         | InstMatcher |        Build Inst Matcher that match constants int value         |
 |     m_zero     |                         | InstMatcher |     Build Inst Matcher that match constants int with value 0     |

src/functions/matchers/constants.rs

@@ -8,13 +8,16 @@ use gitql_core::values::Value;
 use crate::functions::matcher_signature_without_parameters;
 use crate::ir::types::InstMatcherType;
 use crate::ir::values::InstMatcherValue;
+use crate::matchers::constants::ConstExprMatcher;
 use crate::matchers::constants::ConstFloatMatcher;
 use crate::matchers::constants::ConstIntMatcher;
 use crate::matchers::constants::ConstNumberMatcher;
 use crate::matchers::constants::ConstPointerNullMatcher;
 
 #[inline(always)]
 pub fn register_constants_matchers_functions(map: &mut HashMap<&'static str, StandardFunction>) {
+    map.insert("m_const_expr", match_const_expr_inst);
+
     map.insert("m_const_num", match_const_num_inst);
     map.insert("m_const_int", match_const_int_inst);
     map.insert("m_zero", match_const_zero_inst);
@@ -29,6 +32,7 @@ pub fn register_constants_matchers_functions(map: &mut HashMap<&'static str, Sta
 
 #[inline(always)]
 pub fn register_constants_matchers_function_signatures(map: &mut HashMap<&'static str, Signature>) {
+    map.insert("m_const_expr", matcher_signature_without_parameters());
     map.insert("m_const_num", matcher_signature_without_parameters());
     map.insert("m_const_int", matcher_signature_without_parameters());
     map.insert("m_zero", matcher_signature_without_parameters());
@@ -54,6 +58,11 @@ pub fn register_constants_matchers_function_signatures(map: &mut HashMap<&'stati
     map.insert("m_const_null", matcher_signature_without_parameters());
 }
 
+fn match_const_expr_inst(_values: &[Box<dyn Value>]) -> Box<dyn Value> {
+    let matcher = Box::new(ConstExprMatcher);
+    Box::new(InstMatcherValue { matcher })
+}
+
 fn match_const_num_inst(_values: &[Box<dyn Value>]) -> Box<dyn Value> {
     let matcher = Box::new(ConstNumberMatcher);
     Box::new(InstMatcherValue { matcher })

src/matchers/constants.rs

@@ -1,12 +1,23 @@
 use inkwell::llvm_sys::core::LLVMConstIntGetSExtValue;
 use inkwell::llvm_sys::core::LLVMGetValueKind;
+use inkwell::llvm_sys::core::LLVMIsAConstantExpr;
 use inkwell::llvm_sys::core::LLVMIsAConstantFP;
 use inkwell::llvm_sys::core::LLVMIsAConstantInt;
 use inkwell::llvm_sys::prelude::LLVMValueRef;
 use inkwell::llvm_sys::LLVMValueKind;
 
 use super::Matcher;
 
+/// Return instruction matcher to check if current value is a constants expr
+#[derive(Clone)]
+pub struct ConstExprMatcher;
+
+impl Matcher<LLVMValueRef> for ConstExprMatcher {
+    fn is_match(&self, instruction: &LLVMValueRef) -> bool {
+        unsafe { !LLVMIsAConstantExpr(*instruction).is_null() }
+    }
+}
+
 #[derive(Clone)]
 enum ConstIntMatcherCondition {
     Specific(i64),