Implement m_const_num Matcher function

Author: AmrDeveloper

docs/matchers/constants.md

@@ -2,6 +2,7 @@
 
 |    Function    |       Parameters        |   Return    |                           Description                            |
 | :------------: | :---------------------: | :---------: | :--------------------------------------------------------------: |
+|  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     |
 |     m_one      |                         | InstMatcher |     Build Inst Matcher that match constants int with value 1     |

src/functions/matchers/constants.rs

@@ -10,10 +10,12 @@ use crate::ir::types::InstMatcherType;
 use crate::ir::values::InstMatcherValue;
 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_num", match_const_num_inst);
     map.insert("m_const_int", match_const_int_inst);
     map.insert("m_zero", match_const_zero_inst);
     map.insert("m_one", match_const_one_inst);
@@ -27,6 +29,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_num", matcher_signature_without_parameters());
     map.insert("m_const_int", matcher_signature_without_parameters());
     map.insert("m_zero", matcher_signature_without_parameters());
     map.insert("m_one", matcher_signature_without_parameters());
@@ -51,6 +54,11 @@ pub fn register_constants_matchers_function_signatures(map: &mut HashMap<&'stati
     map.insert("m_const_null", matcher_signature_without_parameters());
 }
 
+fn match_const_num_inst(_values: &[Box<dyn Value>]) -> Box<dyn Value> {
+    let matcher = Box::new(ConstNumberMatcher);
+    Box::new(InstMatcherValue { matcher })
+}
+
 fn match_const_int_inst(_values: &[Box<dyn Value>]) -> Box<dyn Value> {
     let matcher = Box::new(ConstIntMatcher::create_const_int());
     Box::new(InstMatcherValue { matcher })

src/matchers/constants.rs

@@ -1,4 +1,7 @@
-use inkwell::llvm_sys::core::{LLVMConstIntGetSExtValue, LLVMGetValueKind, LLVMIsAConstantInt};
+use inkwell::llvm_sys::core::LLVMConstIntGetSExtValue;
+use inkwell::llvm_sys::core::LLVMGetValueKind;
+use inkwell::llvm_sys::core::LLVMIsAConstantFP;
+use inkwell::llvm_sys::core::LLVMIsAConstantInt;
 use inkwell::llvm_sys::prelude::LLVMValueRef;
 use inkwell::llvm_sys::LLVMValueKind;
 
@@ -94,11 +97,22 @@ impl Matcher<LLVMValueRef> for ConstFloatMatcher {
 pub struct ConstPointerNullMatcher;
 
 impl Matcher<LLVMValueRef> for ConstPointerNullMatcher {
+    #[allow(clippy::not_unsafe_ptr_arg_deref)]
+    fn is_match(&self, instruction: &LLVMValueRef) -> bool {
+        unsafe { !LLVMIsAConstantFP(*instruction).is_null() }
+    }
+}
+
+/// Return instruction matcher to check if current value is a constants number
+#[derive(Clone)]
+pub struct ConstNumberMatcher;
+
+impl Matcher<LLVMValueRef> for ConstNumberMatcher {
     #[allow(clippy::not_unsafe_ptr_arg_deref)]
     fn is_match(&self, instruction: &LLVMValueRef) -> bool {
         unsafe {
-            let value_kind = LLVMGetValueKind(*instruction);
-            value_kind == LLVMValueKind::LLVMConstantPointerNullValueKind
+            !LLVMIsAConstantInt(*instruction).is_null()
+                || !LLVMIsAConstantFP(*instruction).is_null()
         }
     }
 }