Added constraint mapping

Author: madhav-madhusoodanan

crates/intrinsic-test/src/x86/constraint.rs

@@ -0,0 +1,20 @@
+use crate::common::constraint::Constraint;
+
+pub fn map_constraints(imm_type: &String) -> Option<Constraint> {
+    match imm_type.as_str() {
+        "_MM_FROUND" => Some(Constraint::Range(0..4)),
+        "_MM_INDEX_SCALE" => Some(Constraint::Set(vec![1, 2, 4, 8])),
+        "_MM_CMPINT" => Some(Constraint::Range(0..8)),
+        "_MM_REDUCE" => Some(Constraint::Range(0..8)),
+        "_MM_FROUND_SAE" => Some(Constraint::Range(0..8)),
+        "_MM_MANTISSA_NORM" => Some(Constraint::Range(0..4)),
+        "_MM_MANTISSA_NORM_ENUM" => Some(Constraint::Range(0..4)),
+        "_MM_MANTISSA_SIGN" => Some(Constraint::Range(0..3)),
+        "_MM_PERM" => Some(Constraint::Range(0..256)),
+        "_MM_PERM_ENUM" => Some(Constraint::Range(0..256)),
+        "_MM_CMPINT_ENUM" => Some(Constraint::Range(0..8)),
+        "_MM_ROUND_MODE" => Some(Constraint::Set(vec![0, 0x2000, 0x4000, 0x6000])),
+        "_CMP_" => Some(Constraint::Range(0..32)),
+        _ => None,
+    }
+}

crates/intrinsic-test/src/x86/mod.rs

@@ -1,4 +1,5 @@
 mod config;
+mod constraint;
 mod intrinsic;
 mod types;
 mod xml_parser;

crates/intrinsic-test/src/x86/xml_parser.rs

@@ -1,6 +1,7 @@
 use crate::common::argument::{Argument, ArgumentList};
 use crate::common::intrinsic::Intrinsic;
 use crate::common::intrinsic_helpers::TypeKind;
+use crate::x86::constraint::map_constraints;
 
 use serde::{Deserialize, Deserializer};
 use std::path::Path;
@@ -13,7 +14,7 @@ where
     D: Deserializer<'de>,
 {
     let s = String::deserialize(deserializer)?;
-    return s.as_str().parse::<u32>().or(Ok(0u16));
+    return s.as_str().parse::<u32>().or(Ok(0u32));
 }
 
 #[derive(Deserialize)]
@@ -38,14 +39,16 @@ struct XMLIntrinsic {
 
 #[derive(Deserialize)]
 pub struct Parameter {
+    #[serde(rename = "@varname")]
+    pub var_name: String,
     #[serde(rename = "@type")]
     pub type_data: String,
     #[serde(rename = "@etype", default)]
     pub etype: String,
     #[serde(rename = "@memwidth", default, deserialize_with = "string_to_u32")]
     pub memwidth: u32,
-    #[serde(rename = "@varname", default)]
-    pub var_name: String,
+    #[serde(rename = "@immtype", default)]
+    pub imm_type: String,
 }
 
 pub fn get_xml_intrinsics(
@@ -78,7 +81,7 @@ fn xml_to_intrinsic(
         if ty.is_err() {
             None
         } else {
-            let constraint = None;
+            let constraint = map_constraints(&param.imm_type);
             let arg = Argument::<X86IntrinsicType>::new(
                 i,
                 param.var_name.clone(),