|
@@ -1 +1,31 @@
|
|
|
|
|
+(** Convert boolean operations to equivalent operations on different CiviC data
|
|
|
|
|
+ types. *)
|
|
|
|
|
+
|
|
|
|
|
+(** This phase transforms operations on boolean values to equivalent operations
|
|
|
|
|
+ no different data types. This transformation is necessary, because the CiviC
|
|
|
|
|
+ VM does not define some operations for boolean arguments.
|
|
|
|
|
+
|
|
|
|
|
+ This phase also handles the first step of short-circuit evaluation, by
|
|
|
|
|
+ transforming conjunction and disjunction operators into conditional
|
|
|
|
|
+ operations of the form [a ? b : c]. This operation is supported by the
|
|
|
|
|
+ assembly phase, which handles them similarly to if-else statements. The
|
|
|
|
|
+ benefit of using conditional operations, is that thiese are still
|
|
|
|
|
+ expressions. A transformation into actual if-else statements would retuire
|
|
|
|
|
+ adding additional statements, which creates other problems which we will not
|
|
|
|
|
+ discuss here.
|
|
|
|
|
+
|
|
|
|
|
+ The applied transformations are as follows:
|
|
|
|
|
+{v b1 == b2 ==> (int)b1 == (int)b2
|
|
|
|
|
+b1 != b2 ==> (int)b1 != (int)b2
|
|
|
|
|
+b1 && b2 ==> b1 ? b2 : false
|
|
|
|
|
+b1 || b2 ==> b1 ? true : b2
|
|
|
|
|
+b1 + b2 ==> (bool)((int)b1 + (int)b2)
|
|
|
|
|
+b1 * b2 ==> (bool)((int)b1 * (int)b2)
|
|
|
|
|
+(bool)i ==> i != 0
|
|
|
|
|
+(bool)f ==> f != 0.0
|
|
|
|
|
+(int)b1 ==> b1 ? 1 : 0
|
|
|
|
|
+(float)b1 ==> b1 ? 1.0 : 0.0 v}
|
|
|
|
|
+ *)
|
|
|
|
|
+
|
|
|
|
|
+(** Main phase function, called by {!Main}. *)
|
|
|
val phase : Main.phase_func
|
|
val phase : Main.phase_func
|
Taddeus Kroes