Implement m_range_int Matcher

Author: AmrDeveloper

docs/matchers/constants.md

@@ -1,11 +1,12 @@
 ### Constants Instructions Matchers functions
 
-|    Function    |  Parameters  |   Return    |                           Description                            |
-| :------------: | :----------: | :---------: | :--------------------------------------------------------------: |
-|  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     |
-|    m_power2    |              | InstMatcher | Build Inst Matcher that match constants int if it's power of two |
-| m_specific_int | (value: Int) | InstMatcher |    Build Inst Matcher that match specific constants int value    |
-|   m_const_fp   |              | InstMatcher |       Build Inst Matcher that match constants float value        |
-|  m_const_null  |              | InstMatcher |       Build Inst Matcher that match constants pointer null       |
+|    Function    |       Parameters        |   Return    |                           Description                            |
+| :------------: | :---------------------: | :---------: | :--------------------------------------------------------------: |
+|  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     |
+|    m_power2    |                         | InstMatcher | Build Inst Matcher that match constants int if it's power of two |
+| m_specific_int |      (value: Int)       | InstMatcher |    Build Inst Matcher that match specific constants int value    |
+|  m_range_int   | (start: Int, end : Int) | InstMatcher |   Build Inst Matcher that match a range of constants int value   |
+|   m_const_fp   |                         | InstMatcher |       Build Inst Matcher that match constants float value        |
+|  m_const_null  |                         | InstMatcher |       Build Inst Matcher that match constants pointer null       |

src/functions/matchers/constants.rs

@@ -19,6 +19,7 @@ pub fn register_constants_matchers_functions(map: &mut HashMap<&'static str, Sta
     map.insert("m_one", match_const_one_inst);
     map.insert("m_power2", match_const_power_of_two_inst);
     map.insert("m_specific_int", match_const_specific_int_inst);
+    map.insert("m_range_int", match_range_int_inst);
 
     map.insert("m_const_fp", match_const_fp_inst);
     map.insert("m_const_null", match_const_null_inst);
@@ -38,6 +39,14 @@ pub fn register_constants_matchers_function_signatures(map: &mut HashMap<&'stati
         },
     );
 
+    map.insert(
+        "m_range_int",
+        Signature {
+            parameters: vec![Box::new(IntType), Box::new(IntType)],
+            return_type: Box::new(InstMatcherType),
+        },
+    );
+
     map.insert("m_const_fp", matcher_signature_without_parameters());
     map.insert("m_const_null", matcher_signature_without_parameters());
 }
@@ -68,6 +77,13 @@ fn match_const_specific_int_inst(values: &[Box<dyn Value>]) -> Box<dyn Value> {
     Box::new(InstMatcherValue { matcher })
 }
 
+fn match_range_int_inst(values: &[Box<dyn Value>]) -> Box<dyn Value> {
+    let range_start = values[0].as_int().unwrap();
+    let range_end = values[1].as_int().unwrap();
+    let matcher = Box::new(ConstIntMatcher::create_range_int(range_start, range_end));
+    Box::new(InstMatcherValue { matcher })
+}
+
 fn match_const_fp_inst(_values: &[Box<dyn Value>]) -> Box<dyn Value> {
     let matcher = Box::new(ConstFloatMatcher);
     Box::new(InstMatcherValue { matcher })

src/matchers/constants.rs

@@ -7,6 +7,7 @@ use super::Matcher;
 #[derive(Clone)]
 enum ConstIntMatcherCondition {
     Specific(i64),
+    InRange(i64, i64),
     PowerOfTwo,
 }
 
@@ -33,6 +34,12 @@ impl ConstIntMatcher {
         }
     }
 
+    pub fn create_range_int(start: i64, end: i64) -> Self {
+        ConstIntMatcher {
+            condition: Some(ConstIntMatcherCondition::InRange(start, end)),
+        }
+    }
+
     pub fn create_one() -> Self {
         ConstIntMatcher {
             condition: Some(ConstIntMatcherCondition::Specific(1)),
@@ -59,6 +66,7 @@ impl Matcher<LLVMValueRef> for ConstIntMatcher {
                 return match matcher_condition {
                     ConstIntMatcherCondition::Specific(value) => si64_value == *value,
                     ConstIntMatcherCondition::PowerOfTwo => (si64_value & (si64_value - 1)) != 0,
+                    ConstIntMatcherCondition::InRange(s, e) => si64_value >= *s || si64_value <= *e,
                 };
             }