usr.bin/dc/tests/bcode.sh

   1 # SPDX-License-Identifier: BSD-2-Clause-FreeBSD
   2 #
   3 # Copyright (c) 2017 Alan Somers
   4 #
   5 # Redistribution and use in source and binary forms, with or without
   6 # modification, are permitted provided that the following conditions
   7 # are met:
   8 # 1. Redistributions of source code must retain the above copyright
   9 #    notice, this list of conditions and the following disclaimer.
  10 # 2. Redistributions in binary form must reproduce the above copyright
  11 #    notice, this list of conditions and the following disclaimer in the
  12 #    documentation and/or other materials provided with the distribution.
  13 #
  14 # THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND
  15 # ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
  16 # IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
  17 # ARE DISCLAIMED.  IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
  18 # FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
  19 # DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
  20 # OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
  21 # HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
  22 # LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
  23 # OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
  24 # SUCH DAMAGE.
  25 #
  26 # $FreeBSD$
  27
  28 atf_test_case bmod
  29 bmod_head()
  30 {
  31         atf_set "descr" "Tests the remainder % operator"
  32 }
  33 bmod_body()
  34 {
  35         cat > input.dc << EOF
  36 0 3 % p         # basic usage
  37 1 3 % p
  38 2 3 % p
  39 3 3 % p
  40 4 3 % p
  41 _1 3 % p        # negative dividends work like a remainder, not a modulo
  42 1 _3 % p        # negative divisors use the divisor's absolute value
  43 1k              # fractional remainders
  44 5 3 % p
  45 6 5 % p
  46 5.4 3 % p
  47 _.1 3 % p
  48 1.1 _3 % p
  49 1 .3 % p
  50 EOF
  51         dc input.dc > output.txt
  52         cat > expect.txt << EOF
  53 0
  54 1
  55 2
  56 0
  57 1
  58 -1
  59 1
  60 2
  61 1
  62 2.4
  63 -.1
  64 1.1
  65 .1
  66 EOF
  67         atf_check cmp expect.txt output.txt
  68 }
  69
  70 atf_test_case bmod_by_zero
  71 bmod_by_zero_head()
  72 {
  73         atf_set "descr" "remaindering by zero should print a warning"
  74 }
  75 bmod_by_zero_body()
  76 {
  77         atf_check -e match:"remainder by zero" dc -e '1 0 %'
  78 }
  79
  80 atf_test_case bdivmod
  81 bdivmod_head()
  82 {
  83         atf_set "descr" "Tests the divide and modulo ~ operator"
  84 }
  85 bdivmod_body()
  86 {
  87         cat > input.dc << EOF
  88 0 3 ~ n32Pp     # basic usage
  89 1 3 ~ n32Pp
  90 2 3 ~ n32Pp
  91 3 3 ~ n32Pp
  92 4 3 ~ n32Pp
  93 _1 3 ~ n32Pp    # negative dividends work like a remainder, not a modulo
  94 _4 3 ~ n32Pp    # sign of quotient and divisor must agree
  95 1 _3 ~ n32Pp    # negative divisors use the divisor's absolute value
  96 1k              # fractional remainders
  97 5 3 ~ n32Pp
  98 6 5 ~ n32Pp
  99 5.4 3 ~ n32Pp
 100 _.1 3 ~ n32Pp
 101 1.1 _3 ~ n32Pp
 102 1 .3 ~ n32Pp
 103 4k
 104 .01 .003 ~ n32Pp        # divmod quotient always has scale=0
 105 EOF
 106         dc input.dc > output.txt
 107         cat > expect.txt << EOF
 108 0 0
 109 1 0
 110 2 0
 111 0 1
 112 1 1
 113 -1 0
 114 -1 -1
 115 1 0
 116 2 1.6
 117 1 1.2
 118 2.4 1.8
 119 -.1 0.0
 120 1.1 -.3
 121 .1 3.3
 122 .001 3.3333
 123 EOF
 124         atf_check cmp expect.txt output.txt
 125 }
 126
 127 atf_test_case bdivmod_by_zero
 128 bdivmod_by_zero_head()
 129 {
 130         atf_set "descr" "divmodding by zero should print a warning"
 131 }
 132 bdivmod_by_zero_body()
 133 {
 134         atf_check -e match:"divide by zero" dc -e '1 0 ~'
 135 }
 136
 137 atf_init_test_cases()
 138 {
 139         atf_add_test_case bmod
 140         atf_add_test_case bmod_by_zero
 141         atf_add_test_case bdivmod
 142         atf_add_test_case bdivmod_by_zero
 143 }