Changeset: 36b23b775d4c for MonetDB URL: http://dev.monetdb.org/hg/MonetDB?cmd=changeset;node=36b23b775d4c Modified Files: monetdb5/modules/mal/calc.mal monetdb5/modules/mal/calc.mal.sh Branch: int128 Log Message:
added int128 / "hge" support in monetdb5/modules/mal/calc.mal* diffs (truncated from 2936 to 300 lines): diff --git a/monetdb5/modules/mal/calc.mal b/monetdb5/modules/mal/calc.mal --- a/monetdb5/modules/mal/calc.mal +++ b/monetdb5/modules/mal/calc.mal @@ -39,6 +39,10 @@ pattern iszero(v:lng) :bit address CMDvarISZERO comment "Unary check for zero of V"; +pattern iszero(v:hge) :bit +address CMDvarISZERO +comment "Unary check for zero of V"; + pattern iszero(v:flt) :bit address CMDvarISZERO comment "Unary check for zero of V"; @@ -76,6 +80,10 @@ pattern isnil(v:lng) :bit address CMDvarISNIL comment "Unary check for nil of V"; +pattern isnil(v:hge) :bit +address CMDvarISNIL +comment "Unary check for nil of V"; + pattern isnil(v:flt) :bit address CMDvarISNIL comment "Unary check for nil of V"; @@ -125,6 +133,10 @@ pattern isnotnil(v:lng) :bit address CMDvarISNOTNIL comment "Unary check for notnil of V"; +pattern isnotnil(v:hge) :bit +address CMDvarISNOTNIL +comment "Unary check for notnil of V"; + pattern isnotnil(v:flt) :bit address CMDvarISNOTNIL comment "Unary check for notnil of V"; @@ -170,6 +182,10 @@ pattern not(v:lng) :lng address CMDvarNOT comment "Unary bitwise not of V"; +pattern not(v:hge) :hge +address CMDvarNOT +comment "Unary bitwise not of V"; + pattern sign(v:bte) :bte address CMDvarSIGN @@ -191,6 +207,10 @@ pattern sign(v:lng) :bte address CMDvarSIGN comment "Unary sign (-1,0,1) of V"; +pattern sign(v:hge) :bte +address CMDvarSIGN +comment "Unary sign (-1,0,1) of V"; + pattern sign(v:flt) :bte address CMDvarSIGN comment "Unary sign (-1,0,1) of V"; @@ -220,6 +240,10 @@ pattern abs(v:lng) :lng address CMDvarABS comment "Unary absolute value of V"; +pattern abs(v:hge) :hge +address CMDvarABS +comment "Unary absolute value of V"; + pattern abs(v:flt) :flt address CMDvarABS comment "Unary absolute value of V"; @@ -249,6 +273,10 @@ pattern -(v:lng) :lng address CMDvarNEG comment "Unary negation of V"; +pattern -(v:hge) :hge +address CMDvarNEG +comment "Unary negation of V"; + pattern -(v:flt) :flt address CMDvarNEG comment "Unary negation of V"; @@ -278,6 +306,10 @@ pattern ++(v:lng) :lng address CMDvarINCR comment "Unary V + 1"; +pattern ++(v:hge) :hge +address CMDvarINCR +comment "Unary V + 1"; + pattern ++(v:flt) :flt address CMDvarINCR comment "Unary V + 1"; @@ -307,6 +339,10 @@ pattern --(v:lng) :lng address CMDvarDECR comment "Unary V - 1"; +pattern --(v:hge) :hge +address CMDvarDECR +comment "Unary V - 1"; + pattern --(v:flt) :flt address CMDvarDECR comment "Unary V - 1"; @@ -328,6 +364,14 @@ pattern +(v1:bte,v2:int) :lng address CMDvarADDsignal comment "Return V1 + V2, guarantee no overflow by returning larger type"; +pattern +(v1:bte,v2:wrd) :hge +address CMDvarADDsignal +comment "Return V1 + V2, guarantee no overflow by returning larger type"; + +pattern +(v1:bte,v2:lng) :hge +address CMDvarADDsignal +comment "Return V1 + V2, guarantee no overflow by returning larger type"; + pattern +(v1:bte,v2:flt) :dbl address CMDvarADDsignal comment "Return V1 + V2, guarantee no overflow by returning larger type"; @@ -344,6 +388,14 @@ pattern +(v1:sht,v2:int) :lng address CMDvarADDsignal comment "Return V1 + V2, guarantee no overflow by returning larger type"; +pattern +(v1:sht,v2:wrd) :hge +address CMDvarADDsignal +comment "Return V1 + V2, guarantee no overflow by returning larger type"; + +pattern +(v1:sht,v2:lng) :hge +address CMDvarADDsignal +comment "Return V1 + V2, guarantee no overflow by returning larger type"; + pattern +(v1:sht,v2:flt) :dbl address CMDvarADDsignal comment "Return V1 + V2, guarantee no overflow by returning larger type"; @@ -360,18 +412,70 @@ pattern +(v1:int,v2:int) :lng address CMDvarADDsignal comment "Return V1 + V2, guarantee no overflow by returning larger type"; +pattern +(v1:int,v2:wrd) :hge +address CMDvarADDsignal +comment "Return V1 + V2, guarantee no overflow by returning larger type"; + +pattern +(v1:int,v2:lng) :hge +address CMDvarADDsignal +comment "Return V1 + V2, guarantee no overflow by returning larger type"; + pattern +(v1:int,v2:flt) :dbl address CMDvarADDsignal comment "Return V1 + V2, guarantee no overflow by returning larger type"; +pattern +(v1:wrd,v2:bte) :hge +address CMDvarADDsignal +comment "Return V1 + V2, guarantee no overflow by returning larger type"; + +pattern +(v1:wrd,v2:sht) :hge +address CMDvarADDsignal +comment "Return V1 + V2, guarantee no overflow by returning larger type"; + +pattern +(v1:wrd,v2:int) :hge +address CMDvarADDsignal +comment "Return V1 + V2, guarantee no overflow by returning larger type"; + +pattern +(v1:wrd,v2:wrd) :hge +address CMDvarADDsignal +comment "Return V1 + V2, guarantee no overflow by returning larger type"; + +pattern +(v1:wrd,v2:lng) :hge +address CMDvarADDsignal +comment "Return V1 + V2, guarantee no overflow by returning larger type"; + pattern +(v1:wrd,v2:flt) :dbl address CMDvarADDsignal comment "Return V1 + V2, guarantee no overflow by returning larger type"; +pattern +(v1:lng,v2:bte) :hge +address CMDvarADDsignal +comment "Return V1 + V2, guarantee no overflow by returning larger type"; + +pattern +(v1:lng,v2:sht) :hge +address CMDvarADDsignal +comment "Return V1 + V2, guarantee no overflow by returning larger type"; + +pattern +(v1:lng,v2:int) :hge +address CMDvarADDsignal +comment "Return V1 + V2, guarantee no overflow by returning larger type"; + +pattern +(v1:lng,v2:wrd) :hge +address CMDvarADDsignal +comment "Return V1 + V2, guarantee no overflow by returning larger type"; + +pattern +(v1:lng,v2:lng) :hge +address CMDvarADDsignal +comment "Return V1 + V2, guarantee no overflow by returning larger type"; + pattern +(v1:lng,v2:flt) :dbl address CMDvarADDsignal comment "Return V1 + V2, guarantee no overflow by returning larger type"; +pattern +(v1:hge,v2:flt) :dbl +address CMDvarADDsignal +comment "Return V1 + V2, guarantee no overflow by returning larger type"; + pattern +(v1:flt,v2:bte) :dbl address CMDvarADDsignal comment "Return V1 + V2, guarantee no overflow by returning larger type"; @@ -392,6 +496,10 @@ pattern +(v1:flt,v2:lng) :dbl address CMDvarADDsignal comment "Return V1 + V2, guarantee no overflow by returning larger type"; +pattern +(v1:flt,v2:hge) :dbl +address CMDvarADDsignal +comment "Return V1 + V2, guarantee no overflow by returning larger type"; + pattern +(v1:flt,v2:flt) :dbl address CMDvarADDsignal comment "Return V1 + V2, guarantee no overflow by returning larger type"; @@ -409,6 +517,14 @@ pattern -(v1:bte,v2:int) :lng address CMDvarSUBsignal comment "Return V1 - V2, guarantee no overflow by returning larger type"; +pattern -(v1:bte,v2:wrd) :hge +address CMDvarSUBsignal +comment "Return V1 - V2, guarantee no overflow by returning larger type"; + +pattern -(v1:bte,v2:lng) :hge +address CMDvarSUBsignal +comment "Return V1 - V2, guarantee no overflow by returning larger type"; + pattern -(v1:bte,v2:flt) :dbl address CMDvarSUBsignal comment "Return V1 - V2, guarantee no overflow by returning larger type"; @@ -425,6 +541,14 @@ pattern -(v1:sht,v2:int) :lng address CMDvarSUBsignal comment "Return V1 - V2, guarantee no overflow by returning larger type"; +pattern -(v1:sht,v2:wrd) :hge +address CMDvarSUBsignal +comment "Return V1 - V2, guarantee no overflow by returning larger type"; + +pattern -(v1:sht,v2:lng) :hge +address CMDvarSUBsignal +comment "Return V1 - V2, guarantee no overflow by returning larger type"; + pattern -(v1:sht,v2:flt) :dbl address CMDvarSUBsignal comment "Return V1 - V2, guarantee no overflow by returning larger type"; @@ -441,18 +565,70 @@ pattern -(v1:int,v2:int) :lng address CMDvarSUBsignal comment "Return V1 - V2, guarantee no overflow by returning larger type"; +pattern -(v1:int,v2:wrd) :hge +address CMDvarSUBsignal +comment "Return V1 - V2, guarantee no overflow by returning larger type"; + +pattern -(v1:int,v2:lng) :hge +address CMDvarSUBsignal +comment "Return V1 - V2, guarantee no overflow by returning larger type"; + pattern -(v1:int,v2:flt) :dbl address CMDvarSUBsignal comment "Return V1 - V2, guarantee no overflow by returning larger type"; +pattern -(v1:wrd,v2:bte) :hge +address CMDvarSUBsignal +comment "Return V1 - V2, guarantee no overflow by returning larger type"; + +pattern -(v1:wrd,v2:sht) :hge +address CMDvarSUBsignal +comment "Return V1 - V2, guarantee no overflow by returning larger type"; + +pattern -(v1:wrd,v2:int) :hge +address CMDvarSUBsignal +comment "Return V1 - V2, guarantee no overflow by returning larger type"; + +pattern -(v1:wrd,v2:wrd) :hge +address CMDvarSUBsignal +comment "Return V1 - V2, guarantee no overflow by returning larger type"; + +pattern -(v1:wrd,v2:lng) :hge +address CMDvarSUBsignal +comment "Return V1 - V2, guarantee no overflow by returning larger type"; + pattern -(v1:wrd,v2:flt) :dbl address CMDvarSUBsignal comment "Return V1 - V2, guarantee no overflow by returning larger type"; +pattern -(v1:lng,v2:bte) :hge +address CMDvarSUBsignal +comment "Return V1 - V2, guarantee no overflow by returning larger type"; + +pattern -(v1:lng,v2:sht) :hge +address CMDvarSUBsignal +comment "Return V1 - V2, guarantee no overflow by returning larger type"; + +pattern -(v1:lng,v2:int) :hge +address CMDvarSUBsignal +comment "Return V1 - V2, guarantee no overflow by returning larger type"; + +pattern -(v1:lng,v2:wrd) :hge +address CMDvarSUBsignal +comment "Return V1 - V2, guarantee no overflow by returning larger type"; + _______________________________________________ checkin-list mailing list [email protected] http://mail.monetdb.org/mailman/listinfo/checkin-list
