remove mAbsI, absInt etc

compiler/ast.nim

@@ -607,7 +607,8 @@ var
     ## might exclude {tfGcSafe, tfNoSideEffect}.
 
 type
-  TMagic* = enum # symbols that require compiler magic:
+  TMagic* = enum # Symbols that require compiler magic.
+                 # These can be removed or renamed if needed.
     mNone,
     mDefined, mDeclared, mDeclaredInScope, mCompiles, mArrGet, mArrPut, mAsgn,
     mLow, mHigh, mSizeOf, mAlignOf, mOffsetOf, mTypeTrait,
@@ -633,7 +634,7 @@ type
     mEqB, mLeB, mLtB,
     mEqRef, mLePtr, mLtPtr,
     mXor, mEqCString, mEqProc,
-    mUnaryMinusI, mUnaryMinusI64, mAbsI, mNot,
+    mUnaryMinusI, mUnaryMinusI64, mNot,
     mUnaryPlusI, mBitnotI,
     mUnaryPlusF64, mUnaryMinusF64,
     mCharToStr, mBoolToStr, mIntToStr, mInt64ToStr, mFloatToStr, mCStrToStr,
@@ -702,7 +703,7 @@ const
     mEqCh, mLeCh, mLtCh,
     mEqB, mLeB, mLtB,
     mEqRef, mEqProc, mLePtr, mLtPtr, mEqCString, mXor,
-    mUnaryMinusI, mUnaryMinusI64, mAbsI, mNot, mUnaryPlusI, mBitnotI,
+    mUnaryMinusI, mUnaryMinusI64, mNot, mUnaryPlusI, mBitnotI,
     mUnaryPlusF64, mUnaryMinusF64,
     mCharToStr, mBoolToStr, mIntToStr, mInt64ToStr, mFloatToStr, mCStrToStr,
     mStrToStr, mEnumToStr,

compiler/ccgexprs.nim

@@ -601,8 +601,6 @@ proc unaryArithOverflow(p: BProc, e: PNode, d: var TLoc, m: TMagic) =
     putIntoDest(p, d, e, "((NI$2)-($1))" % [rdLoc(a), rope(getSize(p.config, t) * 8)])
   of mUnaryMinusI64:
     putIntoDest(p, d, e, "-($1)" % [rdLoc(a)])
-  of mAbsI:
-    putIntoDest(p, d, e, "($1 > 0? ($1) : -($1))" % [rdLoc(a)])
   else:
     assert(false, $m)
 
@@ -2249,7 +2247,7 @@ proc genMagicExpr(p: BProc, e: PNode, d: var TLoc, op: TMagic) =
   case op
   of mOr, mAnd: genAndOr(p, e, d, op)
   of mNot..mUnaryMinusF64: unaryArith(p, e, d, op)
-  of mUnaryMinusI..mAbsI: unaryArithOverflow(p, e, d, op)
+  of mUnaryMinusI..mUnaryMinusI64: unaryArithOverflow(p, e, d, op)
   of mAddF64..mDivF64: binaryFloatArith(p, e, d, op)
   of mShrI..mXor: binaryArith(p, e, d, op)
   of mEqProc: genEqProc(p, e, d)

compiler/jsgen.nim

@@ -425,7 +425,6 @@ const # magic checked op; magic unchecked op;
     mEqProc: ["", ""],
     mUnaryMinusI: ["negInt", ""],
     mUnaryMinusI64: ["negInt64", ""],
-    mAbsI: ["absInt", ""],
     mNot: ["", ""],
     mUnaryPlusI: ["", ""],
     mBitnotI: ["", ""],
@@ -647,7 +646,6 @@ proc arithAux(p: PProc, n: PNode, r: var TCompRes, op: TMagic) =
   of mEqProc: applyFormat("($1 == $2)", "($1 == $2)")
   of mUnaryMinusI: applyFormat("negInt($1)", "-($1)")
   of mUnaryMinusI64: applyFormat("negInt64($1)", "-($1)")
-  of mAbsI: applyFormat("absInt($1)", "Math.abs($1)")
   of mNot: applyFormat("!($1)", "!($1)")
   of mUnaryPlusI: applyFormat("+($1)", "+($1)")
   of mBitnotI: applyFormat("~($1)", "~($1)")

compiler/semfold.nim

@@ -138,7 +138,6 @@ proc evalOp(m: TMagic, n, a, b, c: PNode; g: ModuleGraph): PNode =
       result = newIntNodeT(toInt128(a.len), n, g)
   of mUnaryPlusI, mUnaryPlusF64: result = a # throw `+` away
   # XXX: Hides overflow/underflow
-  of mAbsI: result = foldAbs(getInt(a), n, g)
   of mSucc: result = foldAdd(getOrdValue(a), getInt(b), n, g)
   of mPred: result = foldSub(getOrdValue(a), getInt(b), n, g)
   of mAddI: result = foldAdd(getInt(a), getInt(b), n, g)

compiler/vmgen.nim

@@ -1310,7 +1310,7 @@ proc genMagic(c: PCtx; n: PNode; dest: var TDest; m: TMagic) =
     if dest < 0: dest = c.getTemp(n.typ)
     c.gABC(n, opcCallSite, dest)
   of mNGenSym: genBinaryABC(c, n, dest, opcGenSym)
-  of mMinI, mMaxI, mAbsI, mDotDot:
+  of mMinI, mMaxI, mDotDot:
     c.genCall(n, dest)
   of mExpandToAst:
     if n.len != 2:

lib/system/arithm.nim

@@ -130,12 +130,6 @@ proc negInt64(a: int64): int64 {.compilerproc, inline.} =
   if a != low(int64): return -a
   raiseOverflow()
 
-proc absInt64(a: int64): int64 {.compilerproc, inline.} =
-  if a != low(int64):
-    if a >= 0: return a
-    else: return -a
-  raiseOverflow()
-
 proc divInt64(a, b: int64): int64 {.compilerproc, inline.} =
   if b == int64(0):
     raiseDivByZero()
@@ -148,12 +142,6 @@ proc modInt64(a, b: int64): int64 {.compilerproc, inline.} =
     raiseDivByZero()
   return a mod b
 
-proc absInt(a: int): int {.compilerproc, inline.} =
-  if a != low(int):
-    if a >= 0: return a
-    else: return -a
-  raiseOverflow()
-
 const
   asmVersion = defined(I386) and (defined(vcc) or defined(wcc) or
                defined(dmc) or defined(gcc) or defined(llvm_gcc))

lib/system/jssys.nim

@@ -508,12 +508,6 @@ proc nimFloatToString(a: float): cstring {.compilerproc.} =
     }
   """
 
-proc absInt(a: int): int {.compilerproc.} =
-  result = if a < 0: a*(-1) else: a
-
-proc absInt64(a: int64): int64 {.compilerproc.} =
-  result = if a < 0: a*(-1) else: a
-
 when not defined(nimNoZeroExtendMagic):
   proc ze*(a: int): int {.compilerproc.} =
     result = a

tests/stdlib/tsystem.nim

@@ -10,14 +10,18 @@ template disableVM(body): untyped =
   else: body
 
 template main() =
-  doAssert abs(0) == 0
-  doAssert abs(int.high) == int.high
-  doAssert abs(-3) == 3
-  disableVM: # xxx bug: in vm, we get an un-recoverable program abort.
-    when not defined(js): # xxx bug: these should raise in js
-      doAssertRaises(OverflowDefect): discard abs(int8.low)
-      doAssertRaises(OverflowDefect): discard abs(int32.low)
-      doAssertRaises(OverflowDefect): discard abs(int64.low)
+  block: # abs
+    doAssert abs(0) == 0
+    doAssert abs(int.high) == int.high
+    doAssert abs(-3) == 3
+    disableVM: # xxx bug: in vm, we get an un-recoverable program abort.
+      when not defined(js): # xxx bug: these should raise in js
+        doAssertRaises(OverflowDefect): discard abs(int8.low)
+        doAssertRaises(OverflowDefect): discard abs(int32.low)
+        doAssertRaises(OverflowDefect): discard abs(int64.low)
+
+    let a = low(int)
+    doAssertRaises(OverflowDefect): discard -a
 
 static: main()
 main()