xref: /titanic_41/usr/src/lib/libshell/common/tests/arith.sh (revision a62774df315360f02521d6470eab7d5080137dad) 
1########################################################################
2#                                                                      #
3#               This software is part of the ast package               #
4#          Copyright (c) 1982-2008 AT&T Intellectual Property          #
5#                      and is licensed under the                       #
6#                  Common Public License, Version 1.0                  #
7#                    by AT&T Intellectual Property                     #
8#                                                                      #
9#                A copy of the License is available at                 #
10#            http://www.opensource.org/licenses/cpl1.0.txt             #
11#         (with md5 checksum 059e8cd6165cb4c31e351f2b69388fd9)         #
12#                                                                      #
13#              Information and Software Systems Research               #
14#                            AT&T Research                             #
15#                           Florham Park NJ                            #
16#                                                                      #
17#                  David Korn <dgk@research.att.com>                   #
18#                                                                      #
19########################################################################
20function err_exit
21{
22	print -u2 -n "\t"
23	print -u2 -r ${Command}[$1]: "${@:2}"
24	let Errors+=1
25}
26alias err_exit='err_exit $LINENO'
27
28Command=${0##*/}
29trap '' FPE # NOTE: osf.alpha requires this (no ieee math)
30integer Errors=0
31integer x=1 y=2 z=3
32if	(( 2+2 != 4 ))
33then	err_exit 2+2!=4
34fi
35if	((x+y!=z))
36then	err_exit x+y!=z
37fi
38if	(($x+$y!=$z))
39then	err_exit $x+$y!=$z
40fi
41if	(((x|y)!=z))
42then	err_exit "(x|y)!=z"
43fi
44if	((y >= z))
45then	err_exit "y>=z"
46fi
47if	((y+3 != z+2))
48then	err_exit "y+3!=z+2"
49fi
50if	((y<<2 != 1<<3))
51then	err_exit "y<<2!=1<<3"
52fi
53if	((133%10 != 3))
54then	err_exit "133%10!=3"
55	if	(( 2.5 != 2.5 ))
56	then	err_exit 2.5!=2.5
57	fi
58fi
59d=0
60((d || 1)) || err_exit 'd=0; ((d||1))'
61if	(( d++!=0))
62then	err_exit "d++!=0"
63fi
64if	(( --d!=0))
65then	err_exit "--d!=0"
66fi
67if	(( (d++,6)!=6 && d!=1))
68then	err_exit '(d++,6)!=6 && d!=1'
69fi
70d=0
71if	(( (1?2+1:3*4+d++)!=3 || d!=0))
72then	err_exit '(1?2+1:3*4+d++) !=3'
73fi
74for	((i=0; i < 20; i++))
75do	:
76done
77if	(( i != 20))
78then	err_exit 'for (( expr)) failed'
79fi
80for	((i=0; i < 20; i++)); do	: ; done
81if	(( i != 20))
82then	err_exit 'for (( expr));... failed'
83fi
84for	((i=0; i < 20; i++)) do	: ; done
85if	(( i != 20))
86then	err_exit 'for (( expr))... failed'
87fi
88if	(( (i?0:1) ))
89then	err_exit '(( (i?0:1) )) failed'
90fi
91if	(( (1 || 1 && 0) != 1 ))
92then	err_exit '( (1 || 1 && 0) != 1) failed'
93fi
94if	(( (_=1)+(_x=0)-_ ))
95then	err_exit '(_=1)+(_x=0)-_ failed'
96fi
97if	((  (3^6) != 5))
98then	err_exit '((3^6) != 5) failed'
99fi
100integer x=1
101if	(( (x=-x) != -1 ))
102then	err_exit '(x=-x) != -1 failed'
103fi
104i=2
105if	(( 1$(($i))3 != 123 ))
106then	err_exit ' 1$(($i))3 failed'
107fi
108((pi=4*atan(1.)))
109point=(
110	float x
111	float y
112)
113(( point.x = cos(pi/6), point.y = sin(pi/6) ))
114if	(( point.x*point.x + point.y*point.y > 1.01 ))
115then	err_exit 'cos*cos +sin*sin > 1.01'
116fi
117if	(( point.x*point.x + point.y*point.y < .99 ))
118then	err_exit 'cos*cos +sin*sin < .99'
119fi
120if [[ $((y=x=1.5)) != 1 ]]
121then	err_exit 'typecast not working in arithmetic evaluation'
122fi
123typeset -E x=1.5
124( ((x++))  ) 2>/dev/null
125if [[ $? == 0 ]]
126then	err_exit 'postincrement of floating point allowed'
127fi
128( ((++x))  ) 2>/dev/null
129if [[ $? == 0 ]]
130then	err_exit 'preincrement of floating point allowed'
131fi
132x=1.5
133( ((x%1.1))  ) 2>/dev/null
134if [[ $? == 0 ]]
135then	err_exit 'floating point allowed with % operator'
136fi
137x=.125
138if	[[ $(( 4 * x/2 )) != 0.25 ]]
139then	err_exit '(( 4 * x/2 )) is not 0.25, with x=.125'
140fi
141if	[[ $(( pow(2,3) )) != 8 ]]
142then	err_exit '$(( pow(2,3) )) != 8'
143fi
144( [[ $(( pow(2,(3)) )) == 8 ]] ) 2> /dev/null
145if	(( $? ))
146then	err_exit '$(( pow(2,(3)) )) != 8'
147fi
148unset x
149integer x=1; integer x=1
150if	[[ $x != 1 ]]
151then	err_exit 'two consecutive integer x=1 not working'
152fi
153unset z
154{ z=$(typeset -RZ2 z2; (( z2 = 8 )); print $z2) ;} 2>/dev/null
155if [[ $z != "08" ]]
156then	err_exit "typeset -RZ2 leading 0 decimal not working [z=$z]"
157fi
158{ z=$(typeset -RZ3 z3; (( z3 = 8 )); print $z3) ;} 2>/dev/null
159if [[ $z != "008" ]]
160then	err_exit "typeset -RZ3 leading 0 decimal not working [z=$z]"
161fi
162unset z
163typeset -Z3 z=010
164(( z=z+1))
165if	[[ $z != 011 ]]
166then	err_exit "leading 0's in -Z not treated as decimal"
167fi
168unset x
169integer x=0
170if	[[ $((x+=1)) != 1  ]] || ((x!=1))
171then	err_exit "+= not working"
172	x=1
173fi
174x=1
175if	[[ $((x*=5)) != 5  ]] || ((x!=5))
176then	err_exit "*= not working"
177	x=5
178fi
179if	[[ $((x%=4)) != 1  ]] || ((x!=1))
180then	err_exit "%= not working"
181	x=1
182fi
183if	[[ $((x|=6)) != 7  ]] || ((x!=7))
184then	err_exit "|= not working"
185	x=7
186fi
187if	[[ $((x&=5)) != 5  ]] || ((x!=5))
188then	err_exit "&= not working"
189	x=5
190fi
191function newscope
192{
193	float x=1.5
194	(( x += 1 ))
195	print -r -- $x
196}
197if	[[ $(newscope) != 2.5 ]]
198then	err_exit "arithmetic using wrong scope"
199fi
200unset x
201integer y[3]=9 y[4]=2 i=3
202(( x = y[3] + y[4] ))
203if	[[ $x != 11 ]]
204then	err_exit "constant index array arithmetic failure"
205fi
206(( x = $empty y[3] + y[4] ))
207if	[[ $x != 11 ]]
208then	err_exit "empty constant index array arithmetic failure"
209fi
210(( x = y[i] + y[i+1] ))
211if	[[ $x != 11 ]]
212then	err_exit "variable subscript index array arithmetic failure"
213fi
214integer a[5]=3 a[2]=4
215(( x = y[a[5]] + y[a[2]] ))
216if	[[ $x != 11 ]]
217then	err_exit "nested subscript index array arithmetic failure"
218fi
219unset y
220typeset -Ai y
221y[three]=9 y[four]=2
222three=four
223four=three
224(( x = y[three] + y[four] ))
225if	[[ $x != 11 ]]
226then	err_exit "constant associative array arithmetic failure"
227fi
228(( x = y[$three] + y[$four] ))
229if	[[ $x != 11 ]]
230then	err_exit "variable subscript associative array arithmetic failure"
231fi
232$SHELL -nc '((a = 1))' 2> /dev/null || err_exit "sh -n fails with arithmetic"
233$SHELL -nc '((a.b++))' 2> /dev/null || err_exit "sh -n fails with arithmetic2"
234unset z
235float z=7.5
236if	{ (( z%2 != 1));} 2> /dev/null
237then	err_exit '% not working on floating point'
238fi
239chr=(a ' ' '=' '\r' '\n' '\\' '\"' '$' "\\'" '[' ']' '(' ')' '<' '\xab' '\040' '`' '{' '}' '*' '\E')
240if	(('a' == 97))
241then	val=(97 32  61 13 10 92 34 36 39 91 93 40 41 60 171 32 96 123 125 42 27)
242else	val=(129 64 126 13 21 224 127 91 125 173 189 77 93 76 171 32 121 192 208 92 39 21)
243fi
244q=0
245for ((i=0; i < ${#chr[@]}; i++))
246do	if	(( '${chr[i]}' != ${val[i]} ))
247	then	err_exit "(( '${chr[i]}'  !=  ${val[i]} ))"
248	fi
249	if	[[ $(( '${chr[i]}' )) != ${val[i]} ]]
250	then	err_exit "(( '${chr[i]}' )) !=  ${val[i]}"
251	fi
252	if	[[ $(( L'${chr[i]}' )) != ${val[i]} ]]
253	then	err_exit "(( '${chr[i]}' )) !=  ${val[i]}"
254	fi
255	if	eval '((' "'${chr[i]}'" != ${val[i]} '))'
256	then	err_exit "eval (( '${chr[i]}'  !=  ${val[i]} ))"
257	fi
258	if	eval '((' "'${chr[i]}'" != ${val[i]} ' + $q ))'
259	then	err_exit "eval (( '${chr[i]}'  !=  ${val[i]} ))"
260	fi
261done
262unset x
263typeset -ui x=4294967293
264[[ $x != 4294967293 ]]  && err_exit "unsigned integers not working"
265x=32767
266x=x+1
267[[ $x != 32768 ]]  && err_exit "unsigned integer addition not working"
268unset x
269float x=99999999999999999999999999
270if	(( x < 1e20 ))
271then	err_exit 'large integer constants not working'
272fi
273unset x  y
274function foobar
275{
276	nameref x=$1
277	(( x +=1 ))
278	print $x
279}
280x=0 y=4
281if	[[ $(foobar y) != 5 ]]
282then	err_exit 'name references in arithmetic statements in functions broken'
283fi
284if	(( 2**3 != pow(2,3) ))
285then	err_exit '2**3 not working'
286fi
287if	(( 2**3*2 != pow(2,3)*2 ))
288then	err_exit '2**3*2 not working'
289fi
290if	(( 4**3**2 != pow(4,pow(3,2)) ))
291then	err_exit '4**3**2 not working'
292fi
293if	(( (4**3)**2 != pow(pow(4,3),2) ))
294then	err_exit '(4**3)**2 not working'
295fi
296typeset -Z3 x=11
297typeset -i x
298if	(( x != 11 ))
299then	err_exit '-Z3 not treated as decimal'
300fi
301unset x
302typeset -ui x=-1
303(( x >= 0 )) || err_exit 'unsigned integer not working'
304(( $x >= 0 )) || err_exit 'unsigned integer not working as $x'
305unset x
306typeset -ui42 x=50
307if	[[ $x != 42#18 ]]
308then	err_exit 'display of unsigned integers in non-decimal bases wrong'
309fi
310$SHELL -c 'i=0;(( ofiles[i] != -1 && (ofiles[i] < mins || mins == -1) ));exit 0' 2> /dev/null || err_exit 'lexical error with arithemtic expression'
311$SHELL -c '(( +1 == 1))' 2> /dev/null || err_exit 'unary + not working'
312typeset -E20 val=123.01234567890
313[[ $val == 123.0123456789 ]] || err_exit "rounding error val=$val"
314if	[[ $(print x$((10))=foo) != x10=foo ]]
315then	err_exit 'parsing error with x$((10))=foo'
316fi
317$SHELL -c 'typeset x$((10))=foo' 2> /dev/null || err_exit 'typeset x$((10)) parse error'
318unset x
319x=$(( exp(log(2.0)) ))
320(( x > 1.999 && x < 2.001 )) || err_exit 'composite functions not working'
321unset x y n
322typeset -Z8 x=0 y=0
323integer n
324for	(( n=0; n < 20; n++ ))
325do	let "x = $x+1"
326	(( y = $y+1 ))
327done
328(( x == n ))  || err_exit 'let with zero filled fields not working'
329(( y == n ))  || err_exit '((...)) with zero filled fields not working'
330typeset -RZ3 x=10
331[[ $(($x)) == 10 && $((1$x)) == 1010 ]] || err_exit 'zero filled fields not preserving leading zeros'
332unset y
333[[ $(let y=$x;print $y) == 10 && $(let y=1$x;print $y) == 1010 ]] || err_exit 'zero filled fields not preserving leading zeros with let'
334unset i ip ipx
335typeset -i hex=( 172 30 18 1)
336typeset -iu ip=0 ipx=0
337integer i
338for	((i=0; i < 4; i++))
339do	(( ip =  (ip<<8) | hex[i]))
340done
341for ((i=0; i < 4; i++))
342do	(( ipx = ip % 256 ))
343	(( ip /= 256 ))
344	(( ipx != hex[3-i] )) && err_exit "hex digit $((3-i)) not correct"
345done
346unset x
347x=010
348(( x == 8 )) || err_exit 'leading zeros not treated as octal arithmetic'
349(( $x == 8 )) || err_exit 'leading zeros not treated as octal arithmetic with $x'
350unset x
351typeset -Z x=010
352(( x == 10 )) || err_exit 'leading zeros not ignored for arithmetic'
353(( $x == 10 )) || err_exit 'leading zeros not ignored for arithmetic with $x'
354typeset -i i=x
355(( i == 10 )) || err_exit 'leading zeros not ignored for arithmetic assignment'
356(( ${x:0:1} == 0 )) || err_exit 'leading zero should not be stripped for x:a:b'
357c010=3
358(( c$x  == 3 )) || err_exit 'leading zero with variable should not be stripped'
359[[ $( ($SHELL -c '((++1))' 2>&1)2>/dev/null ) == *lvalue* ]] || err_exit "((++1)) not generating error message"
360i=2
361(( "22" == 22 )) || err_exit "double quoted constants fail"
362(( "2$i" == 22 )) || err_exit "double quoted variables fail"
363(( "18+$i+2" == 22 )) || err_exit "double quoted expressions fail"
364# 04-04-28 bug fix
365unset i; typeset -i i=01-2
366(( i == -1 )) || err_exit "01-2 is not -1"
367
368trap 'rm -f /tmp/script$$ /tmp/data$$.[12]' EXIT
369cat > /tmp/script$$ <<-\!
370tests=$*
371typeset -A blop
372function blop.get
373{
374	.sh.value=777
375}
376function mkobj
377{
378	nameref obj=$1
379	obj=()
380	[[ $tests == *1* ]] && {
381		(( obj.foo = 1 ))
382		(( obj.bar = 2 ))
383		(( obj.baz = obj.foo + obj.bar ))	# ok
384		echo $obj
385	}
386	[[ $tests == *2* ]] && {
387		(( obj.faz = faz = obj.foo + obj.bar ))	# ok
388		echo $obj
389	}
390	[[ $tests == *3* ]] && {
391		# case 3, 'active' variable involved, w/ intermediate variable
392		(( obj.foz = foz = ${blop[1]} ))	# coredump
393		echo $obj
394	}
395	[[ $tests == *4* ]] && {
396		# case 4, 'active' variable, in two steps
397		(( foz = ${blop[1]} ))	# ok
398		(( obj.foz = foz ))		# ok
399		echo $obj
400	}
401	[[ $tests == *5* ]] && {
402		# case 5, 'active' variable involved, w/o intermediate variable
403		(( obj.fuz = ${blop[1]} ))	# coredump
404		echo $obj
405	}
406	[[ $tests == *6* ]] && {
407		echo $(( obj.baz = obj.foo + obj.bar ))	# coredump
408	}
409	[[ $tests == *7* ]] && {
410		echo $(( obj.foo + obj.bar ))	# coredump
411	}
412}
413mkobj bla
414!
415chmod +x /tmp/script$$
416[[ $(/tmp/script$$ 1) != '( bar=2 baz=3 foo=1 )' ]] 2>/dev/null && err_exit 'compound var arithmetic failed'
417[[ $(/tmp/script$$ 2) != '( faz=0 )' ]] 2>/dev/null && err_exit 'compound var arithmetic failed'
418[[ $(/tmp/script$$ 3) != '( foz=777 )' ]] 2>/dev/null && err_exit 'compound var arithmetic failed'
419[[ $(/tmp/script$$ 4) != '( foz=777 )' ]] 2>/dev/null && err_exit 'compound var arithmetic failed'
420[[ $(/tmp/script$$ 5) != '( fuz=777 )' ]] 2>/dev/null && err_exit 'compound var arithmetic failed'
421[[ $(/tmp/script$$ 6) != '0' ]] 2>/dev/null && err_exit 'compound var arithmetic failed'
422[[ $(/tmp/script$$ 7) != '0' ]] 2>/dev/null && err_exit 'compound var arithmetic failed'
423unset foo
424typeset -F1 foo=123456789.19
425[[ $foo == 123456789.2 ]] || err_exit 'typeset -F1 not working correctly'
426
427# divide by zero
428
429for expr in '1/(1/2)' '8%(1/2)' '8%(1.0/2)'
430do	[[ $( ( $SHELL -c "( (($expr)) )  || print ok" ) 2>/dev/null ) == ok ]] || err_exit "divide by zero not trapped: $expr"
431done
432
433for expr in '1/(1.0/2)' '1/(1/2.0)'
434do	[[ $( ( $SHELL -c "( print -r -- \$(($expr)) )" ) 2>/dev/null ) == 2 ]] || err_exit "invalid value for: $expr"
435done
436[[ $((5||0)) == 1 ]] || err_exit '$((5||0))'" == $((5||0)) should be 1"
437$SHELL -c 'integer x=3 y=2; (( (y += x += 2) == 7  && x==5))' 2> /dev/null || err_exit '((y += x += 2)) not working'
438$SHELL -c 'b=0; [[ $((b?a=1:b=9)) == 9 ]]' 2> /dev/null || err_exit 'b?a=1:b=9 not working'
439unset x
440(( x = 4*atan(1.0) ))
441[[ $x == "$((x))" ]] || err_exit  '$x !- $((x)) when x is pi'
442$SHELL -c  "[[  ${x//./} == {14,100}(\d) ]]" 2> /dev/null || err_exit 'pi has less than 14 significant places'
443if	(( Inf+1 == Inf ))
444then	set \
445		Inf		inf	\
446		-Inf		-inf	\
447		Nan		nan	\
448		-Nan		-nan	\
449		1.0/0.0		inf
450	while	(( $# >= 2 ))
451	do	x=$(printf "%g\n" $(($1)))
452		[[ $x == $2 ]] || err_exit "printf '%g\\n' \$(($1)) failed -- expected $2, got $x"
453		x=$(printf "%g\n" $1)
454		[[ $x == $2 ]] || err_exit "printf '%g\\n' $1 failed -- expected $2, got $x"
455		x=$(printf -- $(($1)))
456		[[ $x == $2 ]] || err_exit "print -- \$(($1)) failed -- expected $2, got $x"
457		shift 2
458	done
459	(( 1.0/0.0 == Inf )) || err_exit '1.0/0.0 != Inf'
460	[[ $(print -- $((0.0/0.0))) == ?(-)nan ]] || err_exit '0.0/0.0 != NaN'
461	(( Inf*Inf == Inf )) || err_exit 'Inf*Inf != Inf'
462	(( NaN != NaN )) || err_exit 'NaN == NaN'
463	(( -5*Inf == -Inf )) || err_exit '-5*Inf != -Inf'
464	[[ $(print -- $((sqrt(-1.0)))) == ?(-)nan ]]|| err_exit 'sqrt(-1.0) != NaN'
465	(( pow(1.0,Inf) == 1.0 )) || err_exit 'pow(1.0,Inf) != 1.0'
466	(( pow(Inf,0.0) == 1.0 )) || err_exit 'pow(Inf,0.0) != 1.0'
467	[[ $(print -- $((NaN/Inf))) == ?(-)nan ]] || err_exit 'NaN/Inf != NaN'
468	(( 4.0/Inf == 0.0 )) || err_exit '4.0/Inf != 0.0'
469else	err_exit 'Inf and NaN not working'
470fi
471unset x y n r
472n=14.555
473float x=$n y
474y=$(printf "%a" x)
475r=$y
476[[ $r == $n ]] || err_exit "output of printf %a not self preserving -- expected $x, got $y"
477unset x y r
478x=-0
479y=$(printf "%g %g %g %g %g %g\n" -0. -0 $((-0)) x $x $((x)))
480r="-0 -0 -0 -0 -0 -0"
481[[ $y == "$r" ]] || err_exit "-0 vs -0.0 inconsistency -- expected '$r', got '$y'"
482$SHELL -c '(( x=));:' 2> /dev/null && err_exit '((x=)) should be an error'
483$SHELL -c '(( x+=));:' 2> /dev/null && err_exit '((x+=)) should be an error'
484$SHELL -c '(( x=+));:' 2> /dev/null && err_exit '((x=+)) should be an error'
485$SHELL -c 'x=();x.arr[0]=(z=3); ((x.arr[0].z=2))' 2> /dev/null || err_exit '(((x.arr[0].z=2)) should not be an error'
486exit $((Errors))
487