Not sure what is so interesting here. Why shouldn't 0. produce 0.0 or 1. produce 1.0?Rebel wrote:Hi,kingliveson wrote: This is telling given his affiliation with Rybka. And true, there was no new evidence presented in the opinion piece, or by Mr. Schröder. At this point, nothing short of releasing the source code could exoneration Rybka.
http://www.top-5000.nl/evidence.htm#C6
I think that:
is quite interesting.Code: Select all
Compile the following code with any of the MS compilers. static int T=1; void main() { if (T >= 0.) T=5; } It will produce the same code as 0.0
Also the PST's
http://www.top-5000.nl/pst.htm
For starters
GAS LISTING /tmp/cczl8t1E.s page 1
1 .file "float.c"
2 .text
3 .Ltext0:
4 .globl main
6 main:
7 .LFB0:
8 .file 1 "float.c"
1:float.c **** #include <stdio.h>
2:float.c ****
3:float.c **** void main()
4:float.c **** {
9 .loc 1 4 0
10 .cfi_startproc
11 0000 55 pushq %rbp
12 .LCFI0:
13 .cfi_def_cfa_offset 16
14 .cfi_offset 6, -16
15 0001 4889E5 movq %rsp, %rbp
16 .LCFI1:
17 .cfi_def_cfa_register 6
5:float.c **** int i = 1;
18 .loc 1 5 0
19 0004 C745FC01 movl $1, -4(%rbp)
19 000000
6:float.c **** if (i >= 0.);
20 .loc 1 6 0
21 000b F20F2A45 cvtsi2sd -4(%rbp), %xmm0
21 FC
22 0010 660F57C9 xorpd %xmm1, %xmm1
23 0014 660F2EC1 ucomisd %xmm1, %xmm0
7:float.c **** }...
24 .loc 1 7 0
25 0018 5D popq %rbp
26 .LCFI2:
27 .cfi_def_cfa 7, 8
28 0019 C3 ret
29 .cfi_endproc
30 .LFE0:
32 .Letext0:
245 0000 6F737077 .string "ospwG"
245 4700
246 .section .note.GNU-stack,"",@progbits
GAS LISTING /tmp/cczl8t1E.s page 2
DEFINED SYMBOLS
*ABS*:0000000000000000 float.c
/tmp/cczl8t1E.s:6 .text:0000000000000000 main
NO UNDEFINED SYMBOLS
GAS LISTING /tmp/cc4Zmfeb.s page 1
1 .file "int.c"
2 .text
3 .Ltext0:
4 .globl main
6 main:
7 .LFB0:
8 .file 1 "int.c"
1:int.c **** #include <stdio.h>
2:int.c ****
3:int.c **** void main()
4:int.c **** {
9 .loc 1 4 0
10 .cfi_startproc
11 0000 55 pushq %rbp
12 .LCFI0:
13 .cfi_def_cfa_offset 16
14 .cfi_offset 6, -16
15 0001 4889E5 movq %rsp, %rbp
16 .LCFI1:
17 .cfi_def_cfa_register 6
5:int.c **** int i = 1;
18 .loc 1 5 0
19 0004 C745FC01 movl $1, -4(%rbp)
19 000000
6:int.c **** if (i >= 0);
7:int.c **** }...
20 .loc 1 7 0
21 000b 5D popq %rbp
22 .LCFI2:
23 .cfi_def_cfa 7, 8
24 000c C3 ret
25 .cfi_endproc
26 .LFE0:
28 .Letext0:
241 0000 6F737077 .string "ospwG"
241 4700
242 .section .note.GNU-stack,"",@progbits
GAS LISTING /tmp/cc4Zmfeb.s page 2
DEFINED SYMBOLS
*ABS*:0000000000000000 int.c
/tmp/cc4Zmfeb.s:6 .text:0000000000000000 main
NO UNDEFINED SYMBOLS