| 12345678910111213141516171819202122232425262728293031 |
- (** Convert boolean operations to equivalent operations on different CiviC data
- types. *)
- (** This phase transforms operations on boolean values to equivalent operations
- on 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
|
