test_bool.py 12 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253
  1. import unittest
  2. from modelverse_kernel.main import ModelverseKernel
  3. from utils import execute_until_finished, MvSWrapper, get_inst, get_phase, get_returnvalue, get_phase_ref, read_primitive_interfaces
  4. class TestBool(unittest.TestCase):
  5. def setUp(self):
  6. self.mvs = MvSWrapper()
  7. self.root = self.mvs.execute("RR", [])[0]
  8. self.mvk = ModelverseKernel(self.root)
  9. self.user_root = self.mvs.execute("CN", [])[0]
  10. self.user_frame = self.mvs.execute("CN", [])[0]
  11. self.symbols = self.mvs.execute("CN", [])[0]
  12. self.evalstack = self.mvs.execute("CN", [])[0]
  13. self.returnvalue = self.mvs.execute("CN", [])[0]
  14. self.phase = self.mvs.execute("CNV", ["init"])[0]
  15. self.mvs.execute("CD", [self.root, "user_1", self.user_root])
  16. self.mvs.execute("CD", [self.user_root, "frame", self.user_frame])
  17. self.mvs.execute("CD", [self.user_frame, "symbols", self.symbols])
  18. self.mvs.execute("CD", [self.user_frame, "evalstack", self.evalstack])
  19. self.mvs.execute("CD", [self.user_frame, "phase", self.phase])
  20. self.mvs.execute("CD", [self.user_frame, "returnvalue", self.returnvalue])
  21. execute_until_finished(self.mvk, self.mvs, "load_primitives", [])
  22. self.primitives = read_primitive_interfaces(self.root, self.mvs)
  23. def test_and_T_T(self):
  24. self.helper_primitives_2_params("bool_and", True, True, True)
  25. def test_and_T_F(self):
  26. self.helper_primitives_2_params("bool_and", True, False, False)
  27. def test_and_F_T(self):
  28. self.helper_primitives_2_params("bool_and", False, True, False)
  29. def test_and_F_F(self):
  30. self.helper_primitives_2_params("bool_and", False, False, False)
  31. def test_or_T_T(self):
  32. self.helper_primitives_2_params("bool_or", True, True, True)
  33. def test_or_T_F(self):
  34. self.helper_primitives_2_params("bool_or", True, False, True)
  35. def test_or_F_T(self):
  36. self.helper_primitives_2_params("bool_or", False, True, True)
  37. def test_or_F_F(self):
  38. self.helper_primitives_2_params("bool_or", False, False, False)
  39. def test_not_T(self):
  40. self.helper_primitives_1_params("bool_not", True, False)
  41. def test_not_F(self):
  42. self.helper_primitives_1_params("bool_not", False, True)
  43. def test_eq_T_T(self):
  44. self.helper_primitives_2_params("value_eq", True, True, True)
  45. def test_eq_T_F(self):
  46. self.helper_primitives_2_params("value_eq", True, False, False)
  47. def test_eq_F_T(self):
  48. self.helper_primitives_2_params("value_eq", False, True, False)
  49. def test_eq_F_F(self):
  50. self.helper_primitives_2_params("value_eq", False, False, True)
  51. def test_neq_T_T(self):
  52. self.helper_primitives_2_params("value_neq", True, True, False)
  53. def test_neq_T_F(self):
  54. self.helper_primitives_2_params("value_neq", True, False, True)
  55. def test_neq_F_T(self):
  56. self.helper_primitives_2_params("value_neq", False, True, True)
  57. def test_neq_F_F(self):
  58. self.helper_primitives_2_params("value_neq", False, False, False)
  59. def helper_primitives_2_params(self, operation, a, b, result):
  60. self.actual_arg_a = self.mvs.execute("CN", [])[0]
  61. self.actual_arg_b = self.mvs.execute("CN", [])[0]
  62. self.inst = self.mvs.execute("CNV", [{"value":"call"}])[0]
  63. self.const_a = self.mvs.execute("CNV", [{"value":"constant"}])[0]
  64. self.const_b = self.mvs.execute("CNV", [{"value":"constant"}])[0]
  65. self.const_c = self.mvs.execute("CNV", [{"value":"constant"}])[0]
  66. self.const_first = self.mvs.execute("CNV", [{"value":"constant"}])[0]
  67. self.const_second = self.mvs.execute("CNV", [{"value":"constant"}])[0]
  68. self.value_a = self.mvs.execute("CNV", ["a"])[0]
  69. self.value_b = self.mvs.execute("CNV", ["b"])[0]
  70. self.value_c = self.mvs.execute("CNV", ["c"])[0]
  71. self.value_first = self.mvs.execute("CNV", [a])[0]
  72. self.value_second = self.mvs.execute("CNV", [b])[0]
  73. self.mvs.execute("CD", [self.user_frame, "IP", self.inst])
  74. self.const_func = self.mvs.execute("CNV", [{"value":"constant"}])[0]
  75. self.mvs.execute("CD", [self.inst, "func", self.const_func])
  76. self.mvs.execute("CD", [self.const_func, "node", self.primitives[operation]])
  77. self.mvs.execute("CD", [self.inst, "next", self.const_c])
  78. self.mvs.execute("CD", [self.inst, "params", self.actual_arg_a])
  79. self.mvs.execute("CD", [self.actual_arg_a, "next_param", self.actual_arg_b])
  80. self.mvs.execute("CD", [self.inst, "last_param", self.actual_arg_b])
  81. self.mvs.execute("CD", [self.actual_arg_a, "value", self.const_first])
  82. self.mvs.execute("CD", [self.actual_arg_b, "value", self.const_second])
  83. self.mvs.execute("CD", [self.actual_arg_a, "name", self.value_a])
  84. self.mvs.execute("CD", [self.actual_arg_b, "name", self.value_b])
  85. self.mvs.execute("CD", [self.const_a, "node", self.value_a])
  86. self.mvs.execute("CD", [self.const_b, "node", self.value_b])
  87. self.mvs.execute("CD", [self.const_c, "node", self.value_c])
  88. self.mvs.execute("CD", [self.const_first, "node", self.value_first])
  89. self.mvs.execute("CD", [self.const_second, "node", self.value_second])
  90. ### Execute rules
  91. self.assertEquals(get_inst(self.root, self.mvs), "call")
  92. self.assertEquals(get_phase(self.root, self.mvs), "init")
  93. execute_until_finished(self.mvk, self.mvs)
  94. self.assertEquals(get_inst(self.root, self.mvs), "constant")
  95. self.assertEquals(get_phase(self.root, self.mvs), "init")
  96. execute_until_finished(self.mvk, self.mvs)
  97. self.assertEquals(get_inst(self.root, self.mvs), "constant")
  98. self.assertEquals(get_phase(self.root, self.mvs), "finish")
  99. execute_until_finished(self.mvk, self.mvs)
  100. self.assertEquals(get_inst(self.root, self.mvs), "call")
  101. self.assertEquals(get_phase_ref(self.root, self.mvs), self.actual_arg_a)
  102. execute_until_finished(self.mvk, self.mvs)
  103. self.assertEquals(get_inst(self.root, self.mvs), "constant")
  104. self.assertEquals(get_phase(self.root, self.mvs), "init")
  105. execute_until_finished(self.mvk, self.mvs)
  106. self.assertEquals(get_inst(self.root, self.mvs), "constant")
  107. self.assertEquals(get_phase(self.root, self.mvs), "finish")
  108. self.assertEquals(get_returnvalue(self.root, self.mvs), a)
  109. execute_until_finished(self.mvk, self.mvs)
  110. self.assertEquals(get_inst(self.root, self.mvs), "call")
  111. self.assertEquals(get_phase_ref(self.root, self.mvs), self.actual_arg_b)
  112. execute_until_finished(self.mvk, self.mvs)
  113. self.assertEquals(get_inst(self.root, self.mvs), "constant")
  114. self.assertEquals(get_phase(self.root, self.mvs), "init")
  115. execute_until_finished(self.mvk, self.mvs)
  116. self.assertEquals(get_inst(self.root, self.mvs), "constant")
  117. self.assertEquals(get_phase(self.root, self.mvs), "finish")
  118. self.assertEquals(get_returnvalue(self.root, self.mvs), b)
  119. execute_until_finished(self.mvk, self.mvs)
  120. self.assertEquals(get_inst(self.root, self.mvs), "call")
  121. self.assertEquals(get_phase(self.root, self.mvs), "call")
  122. execute_until_finished(self.mvk, self.mvs)
  123. # Body points to empty instruction, as it is a primitive
  124. self.assertEquals(get_phase(self.root, self.mvs), "init")
  125. execute_until_finished(self.mvk, self.mvs)
  126. # This will have triggered the primitive, so now we are back where we left off
  127. # Just check whether or not the correct value is in the returnvalue to be used
  128. self.assertEquals(get_inst(self.root, self.mvs), "call")
  129. self.assertEquals(get_phase(self.root, self.mvs), "finish")
  130. self.assertEquals(get_returnvalue(self.root, self.mvs), result)
  131. execute_until_finished(self.mvk, self.mvs)
  132. self.assertEquals(get_inst(self.root, self.mvs), "constant")
  133. self.assertEquals(get_phase(self.root, self.mvs), "init")
  134. execute_until_finished(self.mvk, self.mvs)
  135. self.assertEquals(get_inst(self.root, self.mvs), "constant")
  136. self.assertEquals(get_phase(self.root, self.mvs), "finish")
  137. self.assertEquals(get_returnvalue(self.root, self.mvs), "c")
  138. def helper_primitives_1_params(self, operation, a, result):
  139. self.actual_arg_a = self.mvs.execute("CN", [])[0]
  140. self.inst = self.mvs.execute("CNV", [{"value":"call"}])[0]
  141. self.const_a = self.mvs.execute("CNV", [{"value":"constant"}])[0]
  142. self.const_b = self.mvs.execute("CNV", [{"value":"constant"}])[0]
  143. self.const_c = self.mvs.execute("CNV", [{"value":"constant"}])[0]
  144. self.const_first = self.mvs.execute("CNV", [{"value":"constant"}])[0]
  145. self.value_a = self.mvs.execute("CNV", ["a"])[0]
  146. self.value_b = self.mvs.execute("CNV", ["b"])[0]
  147. self.value_c = self.mvs.execute("CNV", ["c"])[0]
  148. self.value_first = self.mvs.execute("CNV", [a])[0]
  149. self.mvs.execute("CD", [self.user_frame, "IP", self.inst])
  150. self.const_func = self.mvs.execute("CNV", [{"value":"constant"}])[0]
  151. self.mvs.execute("CD", [self.inst, "func", self.const_func])
  152. self.mvs.execute("CD", [self.const_func, "node", self.primitives[operation]])
  153. self.mvs.execute("CD", [self.inst, "next", self.const_c])
  154. self.mvs.execute("CD", [self.inst, "params", self.actual_arg_a])
  155. self.mvs.execute("CD", [self.inst, "last_param", self.actual_arg_a])
  156. self.mvs.execute("CD", [self.actual_arg_a, "value", self.const_first])
  157. self.mvs.execute("CD", [self.actual_arg_a, "name", self.value_a])
  158. self.mvs.execute("CD", [self.const_a, "node", self.value_a])
  159. self.mvs.execute("CD", [self.const_b, "node", self.value_b])
  160. self.mvs.execute("CD", [self.const_c, "node", self.value_c])
  161. self.mvs.execute("CD", [self.const_first, "node", self.value_first])
  162. ### Execute rules
  163. self.assertEquals(get_inst(self.root, self.mvs), "call")
  164. self.assertEquals(get_phase(self.root, self.mvs), "init")
  165. execute_until_finished(self.mvk, self.mvs)
  166. self.assertEquals(get_inst(self.root, self.mvs), "constant")
  167. self.assertEquals(get_phase(self.root, self.mvs), "init")
  168. execute_until_finished(self.mvk, self.mvs)
  169. self.assertEquals(get_inst(self.root, self.mvs), "constant")
  170. self.assertEquals(get_phase(self.root, self.mvs), "finish")
  171. execute_until_finished(self.mvk, self.mvs)
  172. self.assertEquals(get_inst(self.root, self.mvs), "call")
  173. self.assertEquals(get_phase_ref(self.root, self.mvs), self.actual_arg_a)
  174. execute_until_finished(self.mvk, self.mvs)
  175. self.assertEquals(get_inst(self.root, self.mvs), "constant")
  176. self.assertEquals(get_phase(self.root, self.mvs), "init")
  177. execute_until_finished(self.mvk, self.mvs)
  178. self.assertEquals(get_inst(self.root, self.mvs), "constant")
  179. self.assertEquals(get_phase(self.root, self.mvs), "finish")
  180. execute_until_finished(self.mvk, self.mvs)
  181. self.assertEquals(get_inst(self.root, self.mvs), "call")
  182. self.assertEquals(get_phase(self.root, self.mvs), "call")
  183. execute_until_finished(self.mvk, self.mvs)
  184. # Body points to empty instruction, as it is a primitive
  185. self.assertEquals(get_phase(self.root, self.mvs), "init")
  186. execute_until_finished(self.mvk, self.mvs)
  187. # This will have triggered the primitive, so now we are back where we left off
  188. # Just check whether or not the correct value is in the returnvalue to be used
  189. self.assertEquals(get_inst(self.root, self.mvs), "call")
  190. self.assertEquals(get_phase(self.root, self.mvs), "finish")
  191. self.assertEquals(get_returnvalue(self.root, self.mvs), result)
  192. execute_until_finished(self.mvk, self.mvs)
  193. self.assertEquals(get_inst(self.root, self.mvs), "constant")
  194. self.assertEquals(get_phase(self.root, self.mvs), "init")
  195. execute_until_finished(self.mvk, self.mvs)
  196. self.assertEquals(get_inst(self.root, self.mvs), "constant")
  197. self.assertEquals(get_phase(self.root, self.mvs), "finish")
  198. self.assertEquals(get_returnvalue(self.root, self.mvs), "c")