|
@@ -282,6 +282,20 @@ MISC_INTRINSICS = {
|
|
|
}
|
|
|
|
|
|
MISC_CFG_INTRINSICS = {
|
|
|
+ # Reference equality
|
|
|
+ 'element_eq' :
|
|
|
+ lambda original_def, a, b:
|
|
|
+ original_def.redefine(
|
|
|
+ cfg_ir.CreateNode(
|
|
|
+ original_def.insert_before(
|
|
|
+ cfg_ir.Binary(a, '==', b)))),
|
|
|
+ 'element_neq' :
|
|
|
+ lambda original_def, a, b:
|
|
|
+ original_def.redefine(
|
|
|
+ cfg_ir.CreateNode(
|
|
|
+ original_def.insert_before(
|
|
|
+ cfg_ir.Binary(a, '!=', b)))),
|
|
|
+
|
|
|
# State creation
|
|
|
'create_node' :
|
|
|
lambda original_def:
|