xref: /illumos-gate/usr/src/tools/smatch/src/validation/linear/cast-constant-to-float.c (revision 66582b606a8194f7f3ba5b3a3a6dca5b0d346361)
1 typedef unsigned int uint;
2 typedef unsigned long ulong;
3 
4 double f1(void) { return -1; }
5 double f2(void) { return (double)-1; }
6 double f3(void) { return -1.0; }
7 
8 /*
9  * check-name: cast-constant-to-float
10  * check-command: test-linearize -Wno-decl $file
11  *
12  * check-output-start
13 f1:
14 .L0:
15 	<entry-point>
16 	setfval.64  %r1 <- -1.000000e+00
17 	ret.64      %r1
18 
19 
20 f2:
21 .L2:
22 	<entry-point>
23 	setfval.64  %r3 <- -1.000000e+00
24 	ret.64      %r3
25 
26 
27 f3:
28 .L4:
29 	<entry-point>
30 	setfval.64  %r5 <- -1.000000e+00
31 	ret.64      %r5
32 
33 
34  * check-output-end
35  */
36