1use crate::*;
2use mech_core::*;
3#[cfg(feature = "matrix")]
4use mech_core::matrix::Matrix;
5
6macro_rules! eq_scalar_lhs_op {
9 ($lhs:expr, $rhs:expr, $out:expr) => {
10 unsafe {
11 for i in 0..(*$lhs).len() {
12 (&mut (*$out))[i] = (&(*$lhs))[i] == (*$rhs);
13 }}};}
14
15macro_rules! eq_scalar_rhs_op {
16 ($lhs:expr, $rhs:expr, $out:expr) => {
17 unsafe {
18 for i in 0..(*$rhs).len() {
19 (&mut (*$out))[i] = (*$lhs) == (&(*$rhs))[i];
20 }}};}
21
22macro_rules! eq_vec_op {
23 ($lhs:expr, $rhs:expr, $out:expr) => {
24 unsafe {
25 for i in 0..(*$lhs).len() {
26 (&mut (*$out))[i] = (&(*$lhs))[i] == (&(*$rhs))[i];
27 }}};}
28
29macro_rules! eq_op {
30 ($lhs:expr, $rhs:expr, $out:expr) => {
31 unsafe {
32 (*$out) = (*$lhs) == (*$rhs);
33 }};}
34
35macro_rules! eq_mat_vec_op {
36 ($lhs:expr, $rhs:expr, $out:expr) => {
37 unsafe {
38 let mut out_deref = &mut (*$out);
39 let lhs_deref = &(*$lhs);
40 let rhs_deref = &(*$rhs);
41 for (mut col, lhs_col) in out_deref.column_iter_mut().zip(lhs_deref.column_iter()) {
42 for i in 0..col.len() {
43 col[i] = lhs_col[i] == rhs_deref[i];
44 }
45 }
46 }
47 };}
48
49macro_rules! eq_vec_mat_op {
50 ($lhs:expr, $rhs:expr, $out:expr) => {
51 unsafe {
52 let mut out_deref = &mut (*$out);
53 let lhs_deref = &(*$lhs);
54 let rhs_deref = &(*$rhs);
55 for (mut col, rhs_col) in out_deref.column_iter_mut().zip(rhs_deref.column_iter()) {
56 for i in 0..col.len() {
57 col[i] = lhs_deref[i] == rhs_col[i];
58 }
59 }
60 }
61 };}
62
63macro_rules! eq_mat_row_op {
64 ($lhs:expr, $rhs:expr, $out:expr) => {
65 unsafe {
66 let mut out_deref = &mut (*$out);
67 let lhs_deref = &(*$lhs);
68 let rhs_deref = &(*$rhs);
69 for (mut row, lhs_row) in out_deref.row_iter_mut().zip(lhs_deref.row_iter()) {
70 for i in 0..row.len() {
71 row[i] = lhs_row[i] == rhs_deref[i];
72 }
73 }
74 }
75 };}
76
77macro_rules! eq_row_mat_op {
78 ($lhs:expr, $rhs:expr, $out:expr) => {
79 unsafe {
80 let mut out_deref = &mut (*$out);
81 let lhs_deref = &(*$lhs);
82 let rhs_deref = &(*$rhs);
83 for (mut row, rhs_row) in out_deref.row_iter_mut().zip(rhs_deref.row_iter()) {
84 for i in 0..row.len() {
85 row[i] = lhs_deref[i] == rhs_row[i];
86 }
87 }
88 }
89 };}
90
91impl_compare_fxns!(EQ);
92
93#[cfg(feature = "table")]
94#[derive(Debug)]
95pub struct TableEq {
96 pub lhs: Ref<MechTable>,
97 pub rhs: Ref<MechTable>,
98 pub out: Ref<bool>,
99}
100impl MechFunctionFactory for TableEq {
101 fn new(args: FunctionArgs) -> MResult<Box<dyn MechFunction>> {
102 match args {
103 FunctionArgs::Binary(out, arg1, arg2) => {
104 let lhs: Ref<MechTable> = unsafe { arg1.as_unchecked() }.clone();
105 let rhs: Ref<MechTable> = unsafe { arg2.as_unchecked() }.clone();
106 let out: Ref<bool> = unsafe { out.as_unchecked() }.clone();
107 Ok(Box::new(TableEq { lhs, rhs, out }))
108 }
109 _ => Err(MechError2::new(
110 IncorrectNumberOfArguments { expected: 2, found: args.len() },
111 None
112 ).with_compiler_loc()
113 ),
114 }
115 }
116}
117#[cfg(feature = "table")]
118impl MechFunctionImpl for TableEq {
119 fn solve(&self) {
120 let lhs_ptr = self.lhs.as_ptr();
121 let rhs_ptr = self.rhs.as_ptr();
122 let mut out_ptr = self.out.as_mut_ptr();
123 unsafe {
124 *out_ptr = (*lhs_ptr) == (*rhs_ptr);
125 }
126 }
127 fn out(&self) -> Value { self.out.to_value() }
128 fn to_string(&self) -> String { format!("{:#?}", self) }
129}
130#[cfg(feature = "table")]
131#[cfg(feature = "compiler")]
132impl MechFunctionCompiler for TableEq {
133 fn compile(&self, ctx: &mut CompileCtx) -> MResult<Register> {
134 let name = format!("TableEq");
135 compile_binop!(name, self.out, self.lhs, self.rhs, ctx, FeatureFlag::Builtin(FeatureKind::Table));
136 }
137}
138
139fn impl_eq_fxn(lhs_value: Value, rhs_value: Value) -> MResult<Box<dyn MechFunction>> {
140 match (&lhs_value, &rhs_value) {
141 #[cfg(all(feature = "table"))]
142 (Value::Table(lhs), Value::Table(rhs)) => {
143 println!("Registering TableEq");
144 register_descriptor! {
145 FunctionDescriptor {
146 name: "TableEq",
147 ptr: TableEq::new,
148 }
149 }
150 return Ok(Box::new(TableEq{lhs: lhs.clone(), rhs: rhs.clone(), out: Ref::new(false) }));
151 }
152 _ => (),
153 }
154 impl_binop_match_arms!(
155 EQ,
156 register_fxn_descriptor_inner,
157 (lhs_value, rhs_value),
158 Bool, bool, "bool";
159 I8, bool, "i8";
160 I16, bool, "i16";
161 I32, bool, "i32";
162 I64, bool, "i64";
163 I128, bool, "i128";
164 U8, bool, "u8";
165 U16, bool, "u16";
166 U32, bool, "u32";
167 U64, bool, "u64";
168 U128, bool, "u128";
169 F32, bool, "f32";
170 F64, bool, "f64";
171 String, bool, "string";
172 R64, bool, "rational";
173 C64, bool, "complex";
174 )
175}
176
177impl_mech_binop_fxn!(CompareEqual,impl_eq_fxn,"compare/eq");