t_arith.sh revision 313498
1# $NetBSD: t_arith.sh,v 1.5 2016/05/12 14:25:11 kre Exp $ 2# 3# Copyright (c) 2016 The NetBSD Foundation, Inc. 4# All rights reserved. 5# 6# Redistribution and use in source and binary forms, with or without 7# modification, are permitted provided that the following conditions 8# are met: 9# 1. Redistributions of source code must retain the above copyright 10# notice, this list of conditions and the following disclaimer. 11# 2. Redistributions in binary form must reproduce the above copyright 12# notice, this list of conditions and the following disclaimer in the 13# documentation and/or other materials provided with the distribution. 14# 15# THIS SOFTWARE IS PROVIDED BY THE NETBSD FOUNDATION, INC. AND CONTRIBUTORS 16# ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED 17# TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR 18# PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE FOUNDATION OR CONTRIBUTORS 19# BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR 20# CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF 21# SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS 22# INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN 23# CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) 24# ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE 25# POSSIBILITY OF SUCH DAMAGE. 26# 27# the implementation of "sh" to test 28: ${TEST_SH:="/bin/sh"} 29 30# Requirement is to support at least "signed long" whatever that means 31# (number of bits in "long" is not specified - but should be at least 32). 32 33# These tests use -o inline:"..." rather than -o match:'...' as we have 34# only digits to examine, and it is good to be sure that 1 + 1 really gives 2 35# and that 42 or 123 don't look like success because there is a 2 in them. 36 37ARITH_BITS='?' 38discover_range() 39{ 40 # cannot use arithmetic "test" operators, range of test in 41 # ATF_SHELL (or even TEST_SH) might not be as big as that 42 # supported by $(( )) in TEST_SH 43 44 if ! ${TEST_SH} -c ': $(( 0x10000 ))' 2>/dev/null 45 then 46 # 16 bits or less, or hex unsupported, just give up... 47 return 48 fi 49 test $( ${TEST_SH} -c 'echo $(( 0x1FFFF ))' ) = 131071 || return 50 51 # when attempting to exceed the number of available bits 52 # the shell may react in any of 3 (rational) ways 53 # 1. syntax error (maybe even core dump...) and fail 54 # 2. represent a positive number input as negative value 55 # 3. keep the number positive, but not the value expected 56 # (perhaps pegged at the max possible value) 57 # any of those may be accompanied by a message to stderr 58 59 # Must check all 3 possibilities for each plausible size 60 # Tests do not use 0x8000... because that value can have weird 61 # other side effects that are not relevant to discover here. 62 # But we do want to try and force the sign bit set. 63 64 if ! ${TEST_SH} -c ': $(( 0xC0000000 ))' 2>/dev/null 65 then 66 # proobably shell detected overflow and complained 67 ARITH_BITS=32 68 return 69 fi 70 if ${TEST_SH} 2>/dev/null \ 71 -c 'case $(( 0xC0000000 )); in (-*) exit 0;; esac; exit 1' 72 then 73 ARITH_BITS=32 74 return 75 fi 76 if ${TEST_SH} -c '[ $(( 0xC0000000 )) != 3221225472 ]' 2>/dev/null 77 then 78 ARITH_BITS=32 79 return 80 fi 81 82 if ! ${TEST_SH} -c ': $(( 0xC000000000000000 ))' 2>/dev/null 83 then 84 ARITH_BITS=64 85 return 86 fi 87 if ${TEST_SH} 2>/dev/null \ 88 -c 'case $(( 0xC000000000000000 )); in (-*) exit 0;; esac; exit 1' 89 then 90 ARITH_BITS=64 91 return 92 fi 93 if ${TEST_SH} 2>/dev/null \ 94 -c '[ $((0xC000000000000000)) != 13835058055282163712 ]' 95 then 96 ARITH_BITS=64 97 return 98 fi 99 100 if ${TEST_SH} 2>/dev/null -c \ 101 '[ $((0x123456781234567812345678)) = 5634002657842756053938493048 ]' 102 then 103 # just assume... (for now anyway, revisit when it happens...) 104 ARITH_BITS=96 105 return 106 fi 107} 108 109atf_test_case constants 110constants_head() 111{ 112 atf_set "descr" "Tests that arithmetic expansion can handle constants" 113} 114constants_body() 115{ 116 atf_check -s exit:0 -o inline:'1\n' -e empty ${TEST_SH} -c \ 117 'echo $(( 1 ))' 118 atf_check -s exit:0 -o inline:'0\n' -e empty ${TEST_SH} -c \ 119 'echo $(( 0 ))' 120 atf_check -s exit:0 -o inline:'0\n' -e empty ${TEST_SH} -c \ 121 'echo $((0x0))' 122 123 # atf_expect_fail "PR bin/50959" 124 atf_check -s exit:0 -o inline:'0\n' -e empty ${TEST_SH} -c \ 125 'echo $((0X0))' 126 # atf_expect_pass 127 128 atf_check -s exit:0 -o inline:'0\n' -e empty ${TEST_SH} -c \ 129 'echo $((000))' 130 131 atf_check -s exit:0 -o inline:'1\n' -e empty \ 132 ${TEST_SH} -c 'echo $(( 000000001 ))' 133 atf_check -s exit:0 -o inline:'0\n' -e empty \ 134 ${TEST_SH} -c 'echo $(( 0x000000 ))' 135 136 atf_check -s exit:0 -o inline:'99999\n' -e empty \ 137 ${TEST_SH} -c 'echo $((99999))' 138 139 [ ${ARITH_BITS} -gt 44 ] && 140 atf_check -s exit:0 -o inline:'9191919191919\n' -e empty \ 141 ${TEST_SH} -c 'echo $((9191919191919))' 142 143 atf_check -s exit:0 -o inline:'13\n' -e empty ${TEST_SH} -c \ 144 'echo $(( 0xD ))' 145 atf_check -s exit:0 -o inline:'11\n' -e empty ${TEST_SH} -c \ 146 'echo $(( 013 ))' 147 atf_check -s exit:0 -o inline:'7\n' -e empty ${TEST_SH} -c \ 148 'x=7;echo $(($x))' 149 atf_check -s exit:0 -o inline:'9\n' -e empty ${TEST_SH} -c \ 150 'x=9;echo $((x))' 151 152 atf_check -s exit:0 -o inline:'11\n' -e empty \ 153 ${TEST_SH} -c 'x=0xB; echo $(( $x ))' 154 atf_check -s exit:0 -o inline:'27\n' -e empty \ 155 ${TEST_SH} -c 'x=0X1B; echo $(( x ))' 156 atf_check -s exit:0 -o inline:'27\n' -e empty \ 157 ${TEST_SH} -c 'X=033; echo $(( $X ))' 158 atf_check -s exit:0 -o inline:'219\n' -e empty \ 159 ${TEST_SH} -c 'X=0333; echo $(( X ))' 160 atf_check -s exit:0 -o inline:'0\n' -e empty \ 161 ${TEST_SH} -c 'NULL=; echo $(( NULL ))' 162 163 # Not clear if this is 0, nothing, or an error, so omit for now 164 # atf_check -s exit:0 -o inline:'0\n' -e empty \ 165 # ${TEST_SH} -c 'echo $(( ))' 166 167 # not clear whether this should return 0 or an error, so omit for now 168 # atf_check -s exit:0 -o inline:'0\n' -e empty \ 169 # ${TEST_SH} -c 'echo $(( UNDEFINED_VAR ))' 170} 171 172 173atf_test_case do_unary_plus 174do_unary_plus_head() 175{ 176 atf_set "descr" "Tests that unary plus works as expected" 177} 178do_unary_plus_body() 179{ 180 atf_check -s exit:0 -o inline:'0\n' -e empty ${TEST_SH} -c \ 181 'echo $(( +0 ))' 182 atf_check -s exit:0 -o inline:'1\n' -e empty ${TEST_SH} -c \ 183 'echo $(( +1 ))' 184 atf_check -s exit:0 -o inline:'6\n' -e empty ${TEST_SH} -c \ 185 'echo $(( + 6 ))' 186 atf_check -s exit:0 -o inline:'4321\n' -e empty ${TEST_SH} -c \ 187 'echo $(( + 4321 ))' 188 atf_check -s exit:0 -o inline:'17185\n' -e empty ${TEST_SH} -c \ 189 'echo $(( + 0x4321 ))' 190} 191 192atf_test_case do_unary_minus 193do_unary_minus_head() 194{ 195 atf_set "descr" "Tests that unary minus works as expected" 196} 197do_unary_minus_body() 198{ 199 atf_check -s exit:0 -o inline:'-1\n' -e empty ${TEST_SH} -c \ 200 'echo $(( -1 ))' 201 atf_check -s exit:0 -o inline:'0\n' -e empty ${TEST_SH} -c \ 202 'echo $(( - 0 ))' 203 atf_check -s exit:0 -o inline:'-1\n' -e empty ${TEST_SH} -c \ 204 'echo $(( - 1 ))' 205 atf_check -s exit:0 -o inline:'-6\n' -e empty ${TEST_SH} -c \ 206 'echo $(( - 6 ))' 207 atf_check -s exit:0 -o inline:'-4321\n' -e empty ${TEST_SH} -c \ 208 'echo $(( - 4321 ))' 209 atf_check -s exit:0 -o inline:'-2257\n' -e empty ${TEST_SH} -c \ 210 'echo $(( - 04321 ))' 211 atf_check -s exit:0 -o inline:'-7\n' -e empty ${TEST_SH} -c \ 212 'echo $((-7))' 213} 214 215atf_test_case do_unary_not 216do_unary_not_head() 217{ 218 atf_set "descr" "Tests that unary not (boolean) works as expected" 219} 220do_unary_not_body() 221{ 222 atf_check -s exit:0 -o inline:'0\n' -e empty ${TEST_SH} -c \ 223 'echo $(( ! 1 ))' 224 atf_check -s exit:0 -o inline:'1\n' -e empty ${TEST_SH} -c \ 225 'echo $(( ! 0 ))' 226 227 atf_check -s exit:0 -o inline:'0\n' -e empty ${TEST_SH} -c \ 228 'echo $(( !1234 ))' 229 atf_check -s exit:0 -o inline:'0\n' -e empty ${TEST_SH} -c \ 230 'echo $(( !0xFFFF ))' 231 atf_check -s exit:0 -o inline:'1\n' -e empty ${TEST_SH} -c \ 232 'echo $(( ! 000000 ))' 233} 234 235atf_test_case do_unary_tilde 236do_unary_tilde_head() 237{ 238 atf_set "descr" "Tests that unary not (bitwise) works as expected" 239} 240do_unary_tilde_body() 241{ 242 # definitely 2's complement arithmetic here... 243 244 atf_check -s exit:0 -o inline:'-1\n' -e empty ${TEST_SH} -c \ 245 'echo $(( ~ 0 ))' 246 atf_check -s exit:0 -o inline:'-2\n' -e empty ${TEST_SH} -c \ 247 'echo $(( ~ 1 ))' 248 249 atf_check -s exit:0 -o inline:'-1235\n' -e empty ${TEST_SH} -c \ 250 'echo $(( ~1234 ))' 251 atf_check -s exit:0 -o inline:'-256\n' -e empty ${TEST_SH} -c \ 252 'echo $(( ~0xFF ))' 253} 254 255atf_test_case elementary_add 256elementary_add_head() 257{ 258 atf_set "descr" "Tests that simple addition works as expected" 259} 260elementary_add_body() 261{ 262 # some of these tests actually test unary ops & op precedence... 263 264 atf_check -s exit:0 -o inline:'0\n' -e empty ${TEST_SH} -c \ 265 'echo $(( 0 + 0 ))' 266 atf_check -s exit:0 -o inline:'1\n' -e empty ${TEST_SH} -c \ 267 'echo $(( 1 + 0 ))' 268 atf_check -s exit:0 -o inline:'1\n' -e empty ${TEST_SH} -c \ 269 'echo $(( 0 + 1 ))' 270 atf_check -s exit:0 -o inline:'2\n' -e empty ${TEST_SH} -c \ 271 'echo $(( 1 + 1 ))' 272 atf_check -s exit:0 -o inline:'10\n' -e empty ${TEST_SH} -c \ 273 'echo $(( 4 + 6 ))' 274 atf_check -s exit:0 -o inline:'10\n' -e empty ${TEST_SH} -c \ 275 'echo $(( 6 + 4 ))' 276 atf_check -s exit:0 -o inline:'5555\n' -e empty ${TEST_SH} -c \ 277 'echo $(( 1234 + 4321 ))' 278 atf_check -s exit:0 -o inline:'3333\n' -e empty ${TEST_SH} -c \ 279 'echo $((1111+2222))' 280 atf_check -s exit:0 -o inline:'5555\n' -e empty ${TEST_SH} -c \ 281 'echo $((+3333+2222))' 282 atf_check -s exit:0 -o inline:'7777\n' -e empty ${TEST_SH} -c \ 283 'echo $((+3333 + +4444))' 284 atf_check -s exit:0 -o inline:'-7777\n' -e empty ${TEST_SH} -c \ 285 'echo -$((+4125+ +3652))' 286} 287 288atf_test_case elementary_sub 289elementary_sub_head() 290{ 291 atf_set "descr" "Tests that simple subtraction works as expected" 292} 293elementary_sub_body() 294{ 295 atf_check -s exit:0 -o inline:'0\n' -e empty ${TEST_SH} -c \ 296 'echo $(( 0 - 0 ))' 297 atf_check -s exit:0 -o inline:'1\n' -e empty ${TEST_SH} -c \ 298 'echo $(( 1 - 0 ))' 299 atf_check -s exit:0 -o inline:'0\n' -e empty ${TEST_SH} -c \ 300 'echo $(( 1 - 1 ))' 301 atf_check -s exit:0 -o inline:'-1\n' -e empty ${TEST_SH} -c \ 302 'echo $(( 0 - 1 ))' 303 atf_check -s exit:0 -o inline:'488\n' -e empty ${TEST_SH} -c \ 304 'echo $(( 1066 - 578 ))' 305 atf_check -s exit:0 -o inline:'-3662\n' -e empty ${TEST_SH} -c \ 306 'echo $(( 2016-5678 ))' 307 atf_check -s exit:0 -o inline:'-3662\n' -e empty ${TEST_SH} -c \ 308 'echo $(( 2016+-5678 ))' 309 atf_check -s exit:0 -o inline:'-3662\n' -e empty ${TEST_SH} -c \ 310 'echo $(( 2016-+5678 ))' 311 atf_check -s exit:0 -o inline:'-7694\n' -e empty ${TEST_SH} -c \ 312 'echo $(( -2016-5678 ))' 313 atf_check -s exit:0 -o inline:'--1\n' -e empty ${TEST_SH} -c \ 314 'echo -$(( -1018 - -1017 ))' 315} 316 317atf_test_case elementary_mul 318elementary_mul_head() 319{ 320 atf_set "descr" "Tests that simple multiplication works as expected" 321} 322elementary_mul_body() 323{ 324 atf_check -s exit:0 -o inline:'0\n' -e empty ${TEST_SH} -c \ 325 'echo $(( 0 * 0 ))' 326 atf_check -s exit:0 -o inline:'0\n' -e empty ${TEST_SH} -c \ 327 'echo $(( 1 * 0 ))' 328 atf_check -s exit:0 -o inline:'0\n' -e empty ${TEST_SH} -c \ 329 'echo $(( 0 * 1 ))' 330 atf_check -s exit:0 -o inline:'1\n' -e empty ${TEST_SH} -c \ 331 'echo $(( 1 * 1 ))' 332 atf_check -s exit:0 -o inline:'-1\n' -e empty ${TEST_SH} -c \ 333 'echo $(( -1 * 1 ))' 334 atf_check -s exit:0 -o inline:'-1\n' -e empty ${TEST_SH} -c \ 335 'echo $(( 1 * -1 ))' 336 atf_check -s exit:0 -o inline:'1\n' -e empty ${TEST_SH} -c \ 337 'echo $(( -1 * -1 ))' 338 atf_check -s exit:0 -o inline:'391\n' -e empty ${TEST_SH} -c \ 339 'echo $(( 17 * 23 ))' 340 atf_check -s exit:0 -o inline:'169\n' -e empty ${TEST_SH} -c \ 341 'echo $(( 13*13 ))' 342 atf_check -s exit:0 -o inline:'-11264\n' -e empty ${TEST_SH} -c \ 343 'echo $(( -11 *1024 ))' 344 atf_check -s exit:0 -o inline:'-16983\n' -e empty ${TEST_SH} -c \ 345 'echo $(( 17* -999 ))' 346 atf_check -s exit:0 -o inline:'9309\n' -e empty ${TEST_SH} -c \ 347 'echo $(( -29*-321 ))' 348} 349 350atf_test_case elementary_div 351elementary_div_head() 352{ 353 atf_set "descr" "Tests that simple division works as expected" 354} 355elementary_div_body() 356{ 357 atf_check -s exit:0 -o inline:'0\n' -e empty ${TEST_SH} -c \ 358 'echo $(( 0 / 1 ))' 359 atf_check -s exit:0 -o inline:'1\n' -e empty ${TEST_SH} -c \ 360 'echo $(( 1 / 1 ))' 361 test ${ARITH_BITS} -ge 38 && 362 atf_check -s exit:0 -o inline:'99999999999\n' -e empty \ 363 ${TEST_SH} -c 'echo $(( 99999999999 / 1 ))' 364 atf_check -s exit:0 -o inline:'2\n' -e empty ${TEST_SH} -c \ 365 'echo $(( 2 / 1 ))' 366 367 atf_check -s exit:0 -o inline:'3\n' -e empty ${TEST_SH} -c \ 368 'echo $(( 3 / 1 ))' 369 atf_check -s exit:0 -o inline:'1\n' -e empty ${TEST_SH} -c \ 370 'echo $(( 3 / 2 ))' 371 atf_check -s exit:0 -o inline:'1\n' -e empty ${TEST_SH} -c \ 372 'echo $(( 3 / 3 ))' 373 atf_check -s exit:0 -o inline:'0\n' -e empty ${TEST_SH} -c \ 374 'echo $(( 3 / 4 ))' 375 376 atf_check -s exit:0 -o inline:'173\n' -e empty ${TEST_SH} -c \ 377 'echo $(( 123456 / 713 ))' 378 atf_check -s exit:0 -o inline:'13\n' -e empty ${TEST_SH} -c \ 379 'echo $(( 169 / 13 ))' 380} 381 382atf_test_case elementary_rem 383elementary_rem_head() 384{ 385 atf_set "descr" "Tests that simple modulus works as expected" 386} 387elementary_rem_body() 388{ 389 atf_check -s exit:0 -o inline:'0\n' -e empty ${TEST_SH} -c \ 390 'echo $(( 0 % 1 ))' 391 atf_check -s exit:0 -o inline:'0\n' -e empty ${TEST_SH} -c \ 392 'echo $(( 1 % 1 ))' 393 atf_check -s exit:0 -o inline:'0\n' -e empty ${TEST_SH} -c \ 394 'echo $(( 2 % 1 ))' 395 atf_check -s exit:0 -o inline:'0\n' -e empty ${TEST_SH} -c \ 396 'echo $(( 9999 % 1 ))' 397 398 atf_check -s exit:0 -o inline:'0\n' -e empty ${TEST_SH} -c \ 399 'echo $(( 0 % 2 ))' 400 atf_check -s exit:0 -o inline:'1\n' -e empty ${TEST_SH} -c \ 401 'echo $(( 1 % 2 ))' 402 atf_check -s exit:0 -o inline:'0\n' -e empty ${TEST_SH} -c \ 403 'echo $(( 2 % 2 ))' 404 atf_check -s exit:0 -o inline:'1\n' -e empty ${TEST_SH} -c \ 405 'echo $(( 0xFFFF % 2 ))' 406 407 atf_check -s exit:0 -o inline:'0\n' -e empty ${TEST_SH} -c \ 408 'echo $(( 0 % 3 ))' 409 atf_check -s exit:0 -o inline:'1\n' -e empty ${TEST_SH} -c \ 410 'echo $(( 1 % 3 ))' 411 atf_check -s exit:0 -o inline:'2\n' -e empty ${TEST_SH} -c \ 412 'echo $(( 2 % 3 ))' 413 atf_check -s exit:0 -o inline:'0\n' -e empty ${TEST_SH} -c \ 414 'echo $(( 3 % 3 ))' 415 atf_check -s exit:0 -o inline:'0\n' -e empty ${TEST_SH} -c \ 416 'echo $(( 3123 % 3 ))' 417 418 atf_check -s exit:0 -o inline:'1\n' -e empty ${TEST_SH} -c \ 419 'echo $(( 9999 % 2 ))' 420 421 atf_check -s exit:0 -o inline:'107\n' -e empty ${TEST_SH} -c \ 422 'echo $(( 123456%173 ))' 423 atf_check -s exit:0 -o inline:'0\n' -e empty ${TEST_SH} -c \ 424 'echo $((169%13))' 425} 426 427atf_test_case elementary_shl 428elementary_shl_head() 429{ 430 atf_set "descr" "Tests that simple shift left works as expected" 431} 432elementary_shl_body() 433{ 434 atf_check -s exit:0 -o inline:'0\n' -e empty ${TEST_SH} -c \ 435 'echo $(( 0 << 0 ))' 436 atf_check -s exit:0 -o inline:'0\n' -e empty ${TEST_SH} -c \ 437 'echo $(( 0 << 1 ))' 438 atf_check -s exit:0 -o inline:'0\n' -e empty ${TEST_SH} -c \ 439 'echo $(( 0 << 17 ))' 440 441 atf_check -s exit:0 -o inline:'1\n' -e empty ${TEST_SH} -c \ 442 'echo $(( 1 << 0 ))' 443 atf_check -s exit:0 -o inline:'2\n' -e empty ${TEST_SH} -c \ 444 'echo $(( 1 << 1 ))' 445 atf_check -s exit:0 -o inline:'131072\n' -e empty ${TEST_SH} -c \ 446 'echo $(( 1 << 17 ))' 447 448 atf_check -s exit:0 -o inline:'2021161080\n' -e empty ${TEST_SH} -c \ 449 'echo $(( 0x3C3C3C3C << 1 ))' 450 451 test "${ARITH_BITS}" -ge 40 && 452 atf_check -s exit:0 -o inline:'129354309120\n' -e empty \ 453 ${TEST_SH} -c 'echo $(( 0x3C3C3C3C << 7 ))' 454 test "${ARITH_BITS}" -ge 72 && 455 atf_check -s exit:0 -o inline:'1111145054534149079040\n' \ 456 -e empty ${TEST_SH} -c 'echo $(( 0x3C3C3C3C << 40 ))' 457 458 return 0 459} 460 461atf_test_case elementary_shr 462elementary_shr_head() 463{ 464 atf_set "descr" "Tests that simple shift right works as expected" 465} 466elementary_shr_body() 467{ 468 atf_check -s exit:0 -o inline:'0\n' -e empty ${TEST_SH} -c \ 469 'echo $(( 0 >> 0 ))' 470 atf_check -s exit:0 -o inline:'0\n' -e empty ${TEST_SH} -c \ 471 'echo $(( 0 >> 1 ))' 472 atf_check -s exit:0 -o inline:'0\n' -e empty ${TEST_SH} -c \ 473 'echo $(( 0 >> 17 ))' 474 475 atf_check -s exit:0 -o inline:'1\n' -e empty ${TEST_SH} -c \ 476 'echo $(( 1 >> 0 ))' 477 atf_check -s exit:0 -o inline:'0\n' -e empty ${TEST_SH} -c \ 478 'echo $(( 1 >> 1 ))' 479 atf_check -s exit:0 -o inline:'1\n' -e empty ${TEST_SH} -c \ 480 'echo $(( 2 >> 1 ))' 481 atf_check -s exit:0 -o inline:'1\n' -e empty ${TEST_SH} -c \ 482 'echo $(( 3 >> 1 ))' 483 484 atf_check -s exit:0 -o inline:'4\n' -e empty ${TEST_SH} -c \ 485 'echo $(( 0x10 >> 2 ))' 486 atf_check -s exit:0 -o inline:'4\n' -e empty ${TEST_SH} -c \ 487 'echo $(( 022 >> 2 ))' 488 489 atf_check -s exit:0 -o inline:'1\n' -e empty ${TEST_SH} -c \ 490 'echo $(( 131072 >> 17 ))' 491 492 test ${ARITH_BITS} -ge 40 && 493 atf_check -s exit:0 -o inline:'8\n' -e empty ${TEST_SH} -c \ 494 'echo $(( 0x4000000000 >> 35 ))' 495 test ${ARITH_BITS} -ge 80 && 496 atf_check -s exit:0 -o inline:'4464\n' -e empty ${TEST_SH} -c \ 497 'echo $(( 0x93400FACE005C871000 >> 64 ))' 498 499 return 0 500} 501 502atf_test_case elementary_eq 503elementary_eq_head() 504{ 505 atf_set "descr" "Tests that simple equality test works as expected" 506} 507elementary_eq_body() 508{ 509 atf_check -s exit:0 -o inline:'1\n' -e empty ${TEST_SH} -c \ 510 'echo $(( 0 == 0 ))' 511 atf_check -s exit:0 -o inline:'1\n' -e empty ${TEST_SH} -c \ 512 'echo $(( 0 == 0000 ))' 513 atf_check -s exit:0 -o inline:'1\n' -e empty ${TEST_SH} -c \ 514 'echo $(( 0 == 0x00 ))' 515 atf_check -s exit:0 -o inline:'1\n' -e empty ${TEST_SH} -c \ 516 'echo $(( 1 == 1 ))' 517 atf_check -s exit:0 -o inline:'1\n' -e empty ${TEST_SH} -c \ 518 'X=30; Y=0x1E; echo $(( X == Y ))' 519 atf_check -s exit:0 -o inline:'1\n' -e empty ${TEST_SH} -c \ 520 'echo $(( 0x1234 == 4660 ))' 521 atf_check -s exit:0 -o inline:'1\n' -e empty ${TEST_SH} -c \ 522 'echo $(( 0x1234 == 011064 ))' 523 524 atf_check -s exit:0 -o inline:'0\n' -e empty ${TEST_SH} -c \ 525 'echo $(( 0 == 1 ))' 526 atf_check -s exit:0 -o inline:'0\n' -e empty ${TEST_SH} -c \ 527 'echo $(( 0 == 0000000000000001 ))' 528 atf_check -s exit:0 -o inline:'0\n' -e empty ${TEST_SH} -c \ 529 'echo $(( 0 == 0x10000000000000 ))' 530 atf_check -s exit:0 -o inline:'0\n' -e empty ${TEST_SH} -c \ 531 'echo $(( 1 == 2 ))' 532 atf_check -s exit:0 -o inline:'0\n' -e empty ${TEST_SH} -c \ 533 'X=3; Y=7; echo $(( X == Y ))' 534 atf_check -s exit:0 -o inline:'0\n' -e empty ${TEST_SH} -c \ 535 'echo $(( 1234 == 0x4660 ))' 536 atf_check -s exit:0 -o inline:'0\n' -e empty ${TEST_SH} -c \ 537 'echo $(( 01234 == 0x11064 ))' 538} 539atf_test_case elementary_ne 540elementary_ne_head() 541{ 542 atf_set "descr" "Tests that simple inequality test works as expected" 543} 544elementary_ne_body() 545{ 546 atf_check -s exit:0 -o inline:'1\n' -e empty ${TEST_SH} -c \ 547 'echo $(( 1 != 0 ))' 548 atf_check -s exit:0 -o inline:'1\n' -e empty ${TEST_SH} -c \ 549 'echo $(( 0x71 != 17 ))' 550 atf_check -s exit:0 -o inline:'1\n' -e empty ${TEST_SH} -c \ 551 'echo $(( 1234 != 01234 ))' 552 atf_check -s exit:0 -o inline:'1\n' -e empty ${TEST_SH} -c \ 553 'echo $(( 0x1234 != 01234 ))' 554 atf_check -s exit:0 -o inline:'1\n' -e empty ${TEST_SH} -c \ 555 'X=3; echo $(( X != 0 ))' 556 atf_check -s exit:0 -o inline:'1\n' -e empty ${TEST_SH} -c \ 557 'X=3; Y=0x11; echo $(( X != Y ))' 558 559 atf_check -s exit:0 -o inline:'0\n' -e empty ${TEST_SH} -c \ 560 'echo $(( 3 != 3 ))' 561 atf_check -s exit:0 -o inline:'0\n' -e empty ${TEST_SH} -c \ 562 'echo $(( 0 != 0x0 ))' 563 atf_check -s exit:0 -o inline:'0\n' -e empty ${TEST_SH} -c \ 564 'echo $(( 0xA != 012 ))' 565 atf_check -s exit:0 -o inline:'0\n' -e empty ${TEST_SH} -c \ 566 'X=1; echo $(( X != 1 ))' 567 atf_check -s exit:0 -o inline:'0\n' -e empty ${TEST_SH} -c \ 568 'X=0xC; Y=014; echo $(( X != Y ))' 569} 570atf_test_case elementary_lt 571elementary_lt_head() 572{ 573 atf_set "descr" "Tests that simple less than test works as expected" 574} 575elementary_lt_body() 576{ 577 atf_check -s exit:0 -o inline:'1\n' -e empty ${TEST_SH} -c \ 578 'echo $(( 0 < 1 ))' 579 atf_check -s exit:0 -o inline:'1\n' -e empty ${TEST_SH} -c \ 580 'echo $(( -1 < 0 ))' 581 atf_check -s exit:0 -o inline:'1\n' -e empty ${TEST_SH} -c \ 582 'echo $(( 0 < 10 ))' 583 atf_check -s exit:0 -o inline:'1\n' -e empty ${TEST_SH} -c \ 584 'echo $(( 100 < 101 ))' 585 atf_check -s exit:0 -o inline:'1\n' -e empty ${TEST_SH} -c \ 586 'echo $(( 0xA1 < 200 ))' 587 588 atf_check -s exit:0 -o inline:'0\n' -e empty ${TEST_SH} -c \ 589 'echo $(( 0 < 0 ))' 590 atf_check -s exit:0 -o inline:'0\n' -e empty ${TEST_SH} -c \ 591 'echo $(( 1 < 0 ))' 592 593 test ${ARITH_BITS} -ge 40 && 594 atf_check -s exit:0 -o inline:'1\n' -e empty ${TEST_SH} -c \ 595 'echo $(( 0x1BEEFF00D < 0x1FACECAFE ))' 596 597 return 0 598} 599atf_test_case elementary_le 600elementary_le_head() 601{ 602 atf_set "descr" "Tests that simple less or equal test works as expected" 603} 604elementary_le_body() 605{ 606 atf_check -s exit:0 -o inline:'1\n' -e empty ${TEST_SH} -c \ 607 'echo $(( 0 <= 1 ))' 608 atf_check -s exit:0 -o inline:'1\n' -e empty ${TEST_SH} -c \ 609 'echo $(( -1 <= 0 ))' 610 atf_check -s exit:0 -o inline:'1\n' -e empty ${TEST_SH} -c \ 611 'echo $(( 0 <= 0 ))' 612 atf_check -s exit:0 -o inline:'1\n' -e empty ${TEST_SH} -c \ 613 'echo $(( 0 <= 10 ))' 614 atf_check -s exit:0 -o inline:'1\n' -e empty ${TEST_SH} -c \ 615 'echo $(( 100 <= 101 ))' 616 atf_check -s exit:0 -o inline:'1\n' -e empty ${TEST_SH} -c \ 617 'echo $(( 0xA1 <= 161 ))' 618 619 atf_check -s exit:0 -o inline:'0\n' -e empty ${TEST_SH} -c \ 620 'echo $(( 1 <= 0 ))' 621 atf_check -s exit:0 -o inline:'0\n' -e empty ${TEST_SH} -c \ 622 'echo $(( -100 <= -200 ))' 623 624 test ${ARITH_BITS} -ge 40 && 625 atf_check -s exit:0 -o inline:'1\n' -e empty ${TEST_SH} -c \ 626 'cost=; AUD=; echo $(( $cost 0x2FEEDBABE <= $AUD 12866927294 ))' 627 628 return 0 629} 630atf_test_case elementary_gt 631elementary_gt_head() 632{ 633 atf_set "descr" "Tests that simple greater than works as expected" 634} 635elementary_gt_body() 636{ 637 atf_check -s exit:0 -o inline:'1\n' -e empty ${TEST_SH} -c \ 638 'echo $(( 1 > 0 ))' 639 atf_check -s exit:0 -o inline:'1\n' -e empty ${TEST_SH} -c \ 640 'echo $(( 1 > -1 ))' 641 atf_check -s exit:0 -o inline:'1\n' -e empty ${TEST_SH} -c \ 642 'echo $(( 11 > 012 ))' 643 644 # atf_expect_fail "PR bin/50959" 645 atf_check -s exit:0 -o inline:'1\n' -e empty ${TEST_SH} -c \ 646 'echo $(( 2147483647 > 0X7FFFFF0 ))' 647 # atf_expect_pass 648 649 test ${ARITH_BITS} -gt 32 && 650 atf_check -s exit:0 -o inline:'1\n' -e empty ${TEST_SH} -c \ 651 'echo $(( 0x80000000 > 0x7FFFFFFF ))' 652 653 atf_check -s exit:0 -o inline:'0\n' -e empty ${TEST_SH} -c \ 654 'echo $(( 0 > 0 ))' 655 atf_check -s exit:0 -o inline:'0\n' -e empty ${TEST_SH} -c \ 656 'echo $(( 0 > 1 ))' 657 atf_check -s exit:0 -o inline:'0\n' -e empty ${TEST_SH} -c \ 658 'echo $(( -1 > 0 ))' 659 atf_check -s exit:0 -o inline:'0\n' -e empty ${TEST_SH} -c \ 660 'echo $(( 0 > 10 ))' 661 atf_check -s exit:0 -o inline:'0\n' -e empty ${TEST_SH} -c \ 662 'echo $(( 2015 > 2016 ))' 663 atf_check -s exit:0 -o inline:'0\n' -e empty ${TEST_SH} -c \ 664 'echo $(( 0xA1 > 200 ))' 665 666 test ${ARITH_BITS} -ge 44 && 667 atf_check -s exit:0 -o inline:'1\n' -e empty ${TEST_SH} -c \ 668 'echo $(( 0x7F07F07F0 > 34099628014 ))' 669 670 return 0 671} 672atf_test_case elementary_ge 673elementary_ge_head() 674{ 675 atf_set "descr" "Tests that simple greater or equal works as expected" 676} 677elementary_ge_body() 678{ 679 atf_check -s exit:0 -o inline:'1\n' -e empty ${TEST_SH} -c \ 680 'echo $(( 0 >= 0 ))' 681 atf_check -s exit:0 -o inline:'1\n' -e empty ${TEST_SH} -c \ 682 'echo $(( 1 >= 0 ))' 683 atf_check -s exit:0 -o inline:'1\n' -e empty ${TEST_SH} -c \ 684 'echo $(( -100 >= -101 ))' 685 686 atf_check -s exit:0 -o inline:'0\n' -e empty ${TEST_SH} -c \ 687 'echo $(( -1 >= 0 ))' 688} 689 690atf_test_case fiddle_bits_and 691fiddle_bits_and_head() 692{ 693 atf_set "descr" "Test bitwise and operations in arithmetic expressions" 694} 695fiddle_bits_and_body() 696{ 697 atf_check -s exit:0 -o inline:'0\n' -e empty ${TEST_SH} -c \ 698 'echo $(( 0 & 0 ))' 699 atf_check -s exit:0 -o inline:'0\n' -e empty ${TEST_SH} -c \ 700 'echo $(( 1 & 0 ))' 701 atf_check -s exit:0 -o inline:'0\n' -e empty ${TEST_SH} -c \ 702 'echo $(( 0 & 1 ))' 703 atf_check -s exit:0 -o inline:'1\n' -e empty ${TEST_SH} -c \ 704 'echo $(( 1 & 1 ))' 705 706 atf_check -s exit:0 -o inline:'255\n' -e empty ${TEST_SH} -c \ 707 'echo $(( 0xFF & 0xFF ))' 708 atf_check -s exit:0 -o inline:'255\n' -e empty ${TEST_SH} -c \ 709 'echo $(( 0xFFFF & 0377 ))' 710 711 test "${ARITH_BITS}" -ge 48 && 712 atf_check -s exit:0 -o inline:'70377641607203\n' -e empty \ 713 ${TEST_SH} -c 'echo $(( 0x5432FEDC0123 & 0x42871357BAB3 ))' 714 715 return 0 716} 717atf_test_case fiddle_bits_or 718fiddle_bits_or_head() 719{ 720 atf_set "descr" "Test bitwise or operations in arithmetic expressions" 721} 722fiddle_bits_or_body() 723{ 724 atf_check -s exit:0 -o inline:'0\n' -e empty ${TEST_SH} -c \ 725 'echo $(( 0 | 0 ))' 726 atf_check -s exit:0 -o inline:'1\n' -e empty ${TEST_SH} -c \ 727 'echo $(( 1 | 0 ))' 728 atf_check -s exit:0 -o inline:'1\n' -e empty ${TEST_SH} -c \ 729 'echo $(( 0 | 1 ))' 730 atf_check -s exit:0 -o inline:'1\n' -e empty ${TEST_SH} -c \ 731 'echo $(( 1 | 1 ))' 732 733 atf_check -s exit:0 -o inline:'4369\n' -e empty ${TEST_SH} -c \ 734 'echo $(( 0x1111 | 0x1111 ))' 735 atf_check -s exit:0 -o inline:'255\n' -e empty ${TEST_SH} -c \ 736 'echo $(( 0xAA | 0125 ))' 737 738 test "${ARITH_BITS}" -ge 48 && 739 atf_check -s exit:0 -o inline:'95348271856563\n' -e empty \ 740 ${TEST_SH} -c 'echo $(( 0x5432FEDC0123 | 0x42871357BAB3 ))' 741 742 return 0 743} 744atf_test_case fiddle_bits_xor 745fiddle_bits_xor_head() 746{ 747 atf_set "descr" "Test bitwise xor operations in arithmetic expressions" 748} 749fiddle_bits_xor_body() 750{ 751 atf_check -s exit:0 -o inline:'0\n' -e empty ${TEST_SH} -c \ 752 'echo $(( 0 ^ 0 ))' 753 atf_check -s exit:0 -o inline:'1\n' -e empty ${TEST_SH} -c \ 754 'echo $(( 1 ^ 0 ))' 755 atf_check -s exit:0 -o inline:'1\n' -e empty ${TEST_SH} -c \ 756 'echo $(( 0 ^ 1 ))' 757 atf_check -s exit:0 -o inline:'0\n' -e empty ${TEST_SH} -c \ 758 'echo $(( 1 ^ 1 ))' 759 760 atf_check -s exit:0 -o inline:'255\n' -e empty ${TEST_SH} -c \ 761 'echo $(( 0xF0 ^ 0x0F ))' 762 atf_check -s exit:0 -o inline:'15\n' -e empty ${TEST_SH} -c \ 763 'echo $(( 0xF0 ^ 0xFF ))' 764 765 test "${ARITH_BITS}" -ge 48 && 766 atf_check -s exit:0 -o inline:'24970630249360\n' -e empty \ 767 ${TEST_SH} -c 'echo $(( 0x5432FEDC0123 ^ 0x42871357BAB3 ))' 768 769 return 0 770} 771 772atf_test_case logical_and 773logical_and_head() 774{ 775 atf_set "descr" "Test logical and operations in arithmetic expressions" 776} 777logical_and_body() 778{ 779 # cannot test short-circuit eval until sh implements side effects... 780 781 atf_check -s exit:0 -o inline:'0\n' -e empty ${TEST_SH} -c \ 782 'echo $(( 0 && 0 ))' 783 atf_check -s exit:0 -o inline:'0\n' -e empty ${TEST_SH} -c \ 784 'echo $(( 1 && 0 ))' 785 atf_check -s exit:0 -o inline:'0\n' -e empty ${TEST_SH} -c \ 786 'echo $(( 0 && 1 ))' 787 atf_check -s exit:0 -o inline:'1\n' -e empty ${TEST_SH} -c \ 788 'echo $(( 1 && 1 ))' 789 790 # atf_expect_fail "PR bin/50960" 791 atf_check -s exit:0 -o inline:'1\n' -e empty ${TEST_SH} -c \ 792 'echo $(( 0x1111 && 01234 ))' 793 atf_check -s exit:0 -o inline:'1\n' -e empty ${TEST_SH} -c \ 794 'echo $(( 0xFFFF && 0xF0F0 ))' 795} 796atf_test_case logical_or 797logical_or_head() 798{ 799 atf_set "descr" "Test logical or operations in arithmetic expressions" 800} 801logical_or_body() 802{ 803 # cannot test short-circuit eval until sh implements side effects... 804 805 atf_check -s exit:0 -o inline:'0\n' -e empty ${TEST_SH} -c \ 806 'echo $(( 0 || 0 ))' 807 atf_check -s exit:0 -o inline:'1\n' -e empty ${TEST_SH} -c \ 808 'echo $(( 1 || 0 ))' 809 atf_check -s exit:0 -o inline:'1\n' -e empty ${TEST_SH} -c \ 810 'echo $(( 0 || 1 ))' 811 atf_check -s exit:0 -o inline:'1\n' -e empty ${TEST_SH} -c \ 812 'echo $(( 1 || 1 ))' 813 814 # atf_expect_fail "PR bin/50960" 815 atf_check -s exit:0 -o inline:'1\n' -e empty ${TEST_SH} -c \ 816 'echo $(( 0x1111 || 01234 ))' 817 atf_check -s exit:0 -o inline:'1\n' -e empty ${TEST_SH} -c \ 818 'echo $(( 0x33 || 0xF0F0 ))' 819} 820 821atf_test_case make_selection 822make_selection_head() 823{ 824 atf_set "descr" "Test ?: operator in arithmetic expressions" 825} 826make_selection_body() 827{ 828 # atf_expect_fail "PR bin/50958" 829 830 atf_check -s exit:0 -o inline:'3\n' -e empty ${TEST_SH} -c \ 831 'echo $(( 0 ? 2 : 3 ))' 832 atf_check -s exit:0 -o inline:'2\n' -e empty ${TEST_SH} -c \ 833 'echo $(( 1 ? 2 : 3 ))' 834 835 atf_check -s exit:0 -o inline:'111\n' -e empty ${TEST_SH} -c \ 836 'echo $(( 0x1234 ? 111 : 222 ))' 837 838 atf_check -s exit:0 -o inline:'-1\n' -e empty ${TEST_SH} -c \ 839 'echo $(( 1 < 2 ? -1 : 1 > 2 ? 1 : 0 ))' 840 atf_check -s exit:0 -o inline:'0\n' -e empty ${TEST_SH} -c \ 841 'echo $(( 1 < 1 ? -1 : 1 > 1 ? 1 : 0 ))' 842 atf_check -s exit:0 -o inline:'1\n' -e empty ${TEST_SH} -c \ 843 'echo $(( 2 < 1 ? -1 : 2 > 1 ? 1 : 0 ))' 844} 845 846atf_test_case operator_precedence 847operator_precedence_head() 848{ 849 atf_set "descr" "Test operator precedence without parentheses" 850} 851operator_precedence_body() 852{ 853 # NB: apart from $(( )) ** NO ** parentheses in the expressions. 854 855 atf_check -s exit:0 -o inline:'6\n' -e empty ${TEST_SH} -c \ 856 'echo $(( 1 + 2 + 3 ))' 857 atf_check -s exit:0 -o inline:'2\n' -e empty ${TEST_SH} -c \ 858 'echo $(( 1 - 2 + 3 ))' 859 atf_check -s exit:0 -o inline:'0\n' -e empty ${TEST_SH} -c \ 860 'echo $(( 3 - 2 - 1 ))' 861 atf_check -s exit:0 -o inline:'2\n' -e empty ${TEST_SH} -c \ 862 'echo $(( 3 - 2 + 1 ))' 863 864 atf_check -s exit:0 -o inline:'-1\n' -e empty ${TEST_SH} -c \ 865 'echo $(( - 2 + 1 ))' 866 atf_check -s exit:0 -o inline:'1\n' -e empty ${TEST_SH} -c \ 867 'echo $(( 2 + -1 ))' 868 869 atf_check -s exit:0 -o inline:'1\n' -e empty ${TEST_SH} -c \ 870 'echo $(( ! 2 + 1 ))' 871 atf_check -s exit:0 -o inline:'2\n' -e empty ${TEST_SH} -c \ 872 'echo $(( 2 + !1 ))' 873 874 atf_check -s exit:0 -o inline:'8\n' -e empty ${TEST_SH} -c \ 875 'echo $(( 3 * 2 + 2 ))' 876 atf_check -s exit:0 -o inline:'7\n' -e empty ${TEST_SH} -c \ 877 'echo $(( 3 + 2 * 2 ))' 878 atf_check -s exit:0 -o inline:'12\n' -e empty ${TEST_SH} -c \ 879 'echo $(( 3 * 2 * 2 ))' 880 881 atf_check -s exit:0 -o inline:'5\n' -e empty ${TEST_SH} -c \ 882 'echo $(( 9 / 3 + 2 ))' 883 atf_check -s exit:0 -o inline:'10\n' -e empty ${TEST_SH} -c \ 884 'echo $(( 9 + 3 / 2 ))' 885 atf_check -s exit:0 -o inline:'1\n' -e empty ${TEST_SH} -c \ 886 'echo $(( 9 / 3 / 2 ))' 887 888 atf_check -s exit:0 -o inline:'72\n' -e empty ${TEST_SH} -c \ 889 'echo $(( 9 << 1 + 2 ))' 890 atf_check -s exit:0 -o inline:'48\n' -e empty ${TEST_SH} -c \ 891 'echo $(( 9 + 3 << 2 ))' 892 atf_check -s exit:0 -o inline:'288\n' -e empty ${TEST_SH} -c \ 893 'echo $(( 9 << 3 << 2 ))' 894 895 atf_check -s exit:0 -o inline:'1\n' -e empty ${TEST_SH} -c \ 896 'echo $(( 9 >> 1 + 2 ))' 897 atf_check -s exit:0 -o inline:'3\n' -e empty ${TEST_SH} -c \ 898 'echo $(( 9 + 3 >> 2 ))' 899 atf_check -s exit:0 -o inline:'1\n' -e empty ${TEST_SH} -c \ 900 'echo $(( 19 >> 3 >> 1 ))' 901 902 atf_check -s exit:0 -o inline:'4\n' -e empty ${TEST_SH} -c \ 903 'echo $(( 19 >> 3 << 1 ))' 904 atf_check -s exit:0 -o inline:'76\n' -e empty ${TEST_SH} -c \ 905 'echo $(( 19 << 3 >> 1 ))' 906 907 atf_check -s exit:0 -o inline:'1\n' -e empty ${TEST_SH} -c \ 908 'echo $(( 2 + 3 < 3 * 2 ))' 909 atf_check -s exit:0 -o inline:'1\n' -e empty ${TEST_SH} -c \ 910 'echo $(( 2 << 3 >= 3 << 2 ))' 911 912 # sh inherits C's crazy operator precedence... 913 914 atf_check -s exit:0 -o inline:'1\n' -e empty ${TEST_SH} -c \ 915 'echo $(( 0xfD & 0xF == 0xF ))' 916} 917 918parentheses_head() 919{ 920 atf_set "descr" "Test use of () to group sub-expressions" 921} 922parentheses_body() 923{ 924 atf_check -s exit:0 -o inline:'6\n' -e empty ${TEST_SH} -c \ 925 'echo $(( (1 + 2) + 3 ))' 926 atf_check -s exit:0 -o inline:'-4\n' -e empty ${TEST_SH} -c \ 927 'echo $(( 1 - (2 + 3) ))' 928 atf_check -s exit:0 -o inline:'2\n' -e empty ${TEST_SH} -c \ 929 'echo $(( 3 - (2 - 1) ))' 930 atf_check -s exit:0 -o inline:'0\n' -e empty ${TEST_SH} -c \ 931 'echo $(( 3 - ( 2 + 1 ) ))' 932 933 atf_check -s exit:0 -o inline:'-3\n' -e empty ${TEST_SH} -c \ 934 'echo $(( - (2 + 1) ))' 935 936 atf_check -s exit:0 -o inline:'0\n' -e empty ${TEST_SH} -c \ 937 'echo $(( ! (2 + 1) ))' 938 939 atf_check -s exit:0 -o inline:'12\n' -e empty ${TEST_SH} -c \ 940 'echo $(( 3 * (2 + 2) ))' 941 atf_check -s exit:0 -o inline:'10\n' -e empty ${TEST_SH} -c \ 942 'echo $(( (3 + 2) * 2 ))' 943 atf_check -s exit:0 -o inline:'12\n' -e empty ${TEST_SH} -c \ 944 'echo $(( 3 * (2 * 2) ))' 945 946 atf_check -s exit:0 -o inline:'1\n' -e empty ${TEST_SH} -c \ 947 'echo $(( 9 / (3 + 2) ))' 948 atf_check -s exit:0 -o inline:'6\n' -e empty ${TEST_SH} -c \ 949 'echo $(( ( 9 + 3 ) / 2 ))' 950 atf_check -s exit:0 -o inline:'9\n' -e empty ${TEST_SH} -c \ 951 'echo $(( 9 / ( 3 / 2 ) ))' 952 953 atf_check -s exit:0 -o inline:'20\n' -e empty ${TEST_SH} -c \ 954 'echo $(( ( 9 << 1 ) + 2 ))' 955 atf_check -s exit:0 -o inline:'21\n' -e empty ${TEST_SH} -c \ 956 'echo $(( 9 + (3 << 2) ))' 957 atf_check -s exit:0 -o inline:'36864\n' -e empty ${TEST_SH} -c \ 958 'echo $(( 9 << (3 << 2) ))' 959 960 atf_check -s exit:0 -o inline:'6\n' -e empty ${TEST_SH} -c \ 961 'echo $(( (9 >> 1) + 2 ))' 962 atf_check -s exit:0 -o inline:'9\n' -e empty ${TEST_SH} -c \ 963 'echo $(( 9 + (3 >> 2) ))' 964 atf_check -s exit:0 -o inline:'9\n' -e empty ${TEST_SH} -c \ 965 'echo $(( 19 >> (3 >> 1) ))' 966 967 atf_check -s exit:0 -o inline:'0\n' -e empty ${TEST_SH} -c \ 968 'echo $(( 19 >> (3 << 1) ))' 969 atf_check -s exit:0 -o inline:'38\n' -e empty ${TEST_SH} -c \ 970 'echo $(( 19 << (3 >> 1) ))' 971 972 atf_check -s exit:0 -o inline:'2\n' -e empty ${TEST_SH} -c \ 973 'echo $(( 2 + (3 < 3) * 2 ))' 974 atf_check -s exit:0 -o inline:'32\n' -e empty ${TEST_SH} -c \ 975 'echo $(( 2 << ((3 >= 3) << 2) ))' 976 977 # sh inherits C's crazy operator precedence... 978 979 atf_check -s exit:0 -o inline:'0\n' -e empty ${TEST_SH} -c \ 980 'echo $(( (0xfD & 0xF) == 0xF ))' 981} 982 983atf_test_case arithmetic_fails 984arithmetic_fails_head() 985{ 986 atf_set "descr" "Dummy test to force failure" 987} 988arithmetic_fails_body() 989{ 990 atf_fail "Cannot estimate number of bits supported by $(( ))" 991} 992 993atf_init_test_cases() { 994 995 discover_range 996 997 test "${ARITH_BITS}" = '?' && { 998 atf_add_test_case arithmetic_fails 999 return 0 1000 } 1001 1002 # odd names are to get atf's sort order semi-rational 1003 1004 atf_add_test_case constants 1005 atf_add_test_case do_unary_plus 1006 atf_add_test_case do_unary_minus 1007 atf_add_test_case do_unary_not 1008 atf_add_test_case do_unary_tilde 1009 atf_add_test_case elementary_add 1010 atf_add_test_case elementary_sub 1011 atf_add_test_case elementary_mul 1012 atf_add_test_case elementary_div 1013 atf_add_test_case elementary_rem 1014 atf_add_test_case elementary_shl 1015 atf_add_test_case elementary_shr 1016 atf_add_test_case elementary_eq 1017 atf_add_test_case elementary_ne 1018 atf_add_test_case elementary_lt 1019 atf_add_test_case elementary_le 1020 atf_add_test_case elementary_gt 1021 atf_add_test_case elementary_ge 1022 atf_add_test_case fiddle_bits_and 1023 atf_add_test_case fiddle_bits_or 1024 atf_add_test_case fiddle_bits_xor 1025 atf_add_test_case logical_and 1026 atf_add_test_case logical_or 1027 atf_add_test_case make_selection 1028 atf_add_test_case operator_precedence 1029 atf_add_test_case parentheses 1030 # atf_add_test_case progressive # build up big expr 1031 # atf_add_test_case test_errors # erroneous input 1032 # atf_add_test_case torture # hard stuff (if there is any) 1033 # atf_add_test_case var_assign # assignment ops 1034 # atf_add_test_case vulgarity # truly evil inputs (syntax in vars...) 1035} 1036