Added protobuf support

[com/gs-lite.git] / cfg / external_fcns.def

diff --git a/cfg/external_fcns.def b/cfg/external_fcns.def
index 0bb58f7..43f3839 100644 (file)
--- a/cfg/external_fcns.def
+++ b/cfg/external_fcns.def
@@ -19,6 +19,15 @@
         IP FUN [LFTA_LEGAL, COST FREE] UMIN (IP,IP);
         IP FUN [LFTA_LEGAL, COST FREE] UMAX (IP,IP);
    
+///////////////////////////////////////////////////////////
+//          conditional functions
+///////////////////////////////////////////////////////////
+
+       uint FUN [LFTA_LEGAL, COST FREE] EQ (uint, uint);
+       uint FUN [LFTA_LEGAL, COST FREE] GEQ (uint, uint);
+       uint FUN [LFTA_LEGAL, COST FREE] LEQ (uint, uint);
+
+
 ///////////////////////////////////////////////////////////
 //          Function for regex matching
 ///////////////////////////////////////////////////////////
@@ -180,4 +189,4 @@ uint FUN [LFTA_LEGAL, COST EXPENSIVE]
        string UDAF [RUNNING, SUBAGGR running_array_aggr_lfta, SUPERAGGR running_array_aggr_hfta] running_array_aggr string (uint);
        string UDAF [RUNNING] running_array_aggr_hfta string (string);
        string UDAF [RUNNING] running_array_aggr_lfta fstring17 (uint);
-       
\ No newline at end of file
+