Carp/test/safe_arithmetic.carp

(windows-only ; safe arithmetic does not currently work on windows
  (quit))

(load "Test.carp")
(load "SafeInt.carp")

(use-all Bool Int Long Test)

(def i 1)
(def l 1l)

(defn return-res-int [f a b]
  (let [c 0
        _ false]
    (do
      (set! _ (f a b &c))
      c)))

(defn return-res-long [f a b]
  (let [c 0l
        _ false]
    (do
      (set! _ (f a b &c))
      c)))

(deftest test
  (assert-equal test
                false
                (safe-add 1 2 &i)
                "safe-add is false without overflow")
  (assert-equal test
                3
                (return-res-int safe-add 1 2)
                "safe-add really adds")
  (assert-equal test
                true
                (safe-add 1000000000 2000000000 &i)
                "safe-add is true with overflow")
  (assert-equal test
                false
                (safe-sub 1 2 &i)
                "safe-sub is false without overflow")
  (assert-equal test
                -1
                (return-res-int safe-sub 1 2)
                "safe-sub really subs")
  (assert-equal test
                true
                (safe-sub -1000000000 2000000000 &i)
                "safe-sub is true with overflow")
  (assert-equal test
                false
                (safe-mul 1 2 &i)
                "safe-mul is false without overflow")
  (assert-equal test
                4
                (return-res-int safe-mul 2 2)
                "safe-mul really muls")
  (assert-equal test
                true
                (safe-mul 1000000000 2000000000 &i)
                "safe-mul is true with overflow")
  (assert-equal test
                false
                (safe-add 1l 2l &l)
                "safe-add is false without overflow")
  (assert-equal test
                3l
                (return-res-long safe-add 1l 2l)
                "safe-add really adds")
  (assert-equal test
                true
                (safe-add 9000000000000000000l 2000000000000000000l &l)
                "safe-add is true with overflow")
  (assert-equal test
                false
                (safe-sub 1l 2l &l)
                "safe-sub is false without overflow")
  (assert-equal test
                -1l
                (return-res-long safe-sub 1l 2l)
                "safe-sub really subs")
  (assert-equal test
                true
                (safe-sub 9000000000000000000l -2000000000000000000l &l)
                "safe-sub is true with overflow")
  (assert-equal test
                false
                (safe-mul 1l 2l &l)
                "safe-mul is false without overflow")
  (assert-equal test
                4l
                (return-res-long safe-mul 2l 2l)
                "safe-mul really muls")
  (assert-equal test
                true
                (safe-mul 9000000000000000000l 2000000000000000000l &l)
                "safe-mul is true with overflow"))