Вышло обновление для Corman Lisp 3.02

Welcome to Clozure Common Lisp Version 1.10  (LinuxX8664)!

CCL is developed and maintained by Clozure Associates. For more information
about CCL visit http://ccl.clozure.com.  To enquire about Clozure's Common Lisp
consulting services e-mail info@clozure.com or visit http://www.clozure.com.

? (time (loop for i from 1 to 1000000000 sum i))
(LOOP FOR I FROM 1 TO 1000000000 SUM I)
took 2,271,578 microseconds (2.271578 seconds) to run.
During that period, and with 6 available CPU cores,
     2,256,000 microseconds (2.256000 seconds) were spent in user mode
             0 microseconds (0.000000 seconds) were spent in system mode
500000000500000000

monk@veles:~$ racket
Welcome to Racket v6.1.1.
> (time (for/sum ([i (in-range 1000000001)]) i))

cpu time: 4828 real time: 4832 gc time: 0
500000000500000000
>
monk@veles:~$ sbcl
This is SBCL 1.2.11.debian, an implementation of ANSI Common Lisp.
More information about SBCL is available at <http://www.sbcl.org/>.

SBCL is free software, provided as is, with absolutely no warranty.
It is mostly in the public domain; some portions are provided under
BSD-style licenses.  See the CREDITS and COPYING files in the
distribution for more information.
* (time (loop for i from 1 to 1000000000 sum i))

Evaluation took:
  5.049 seconds of real time
  5.036000 seconds of total run time (5.036000 user, 0.000000 system)
  99.74% CPU
  9,069,172,508 processor cycles
  0 bytes consed

500000000500000000
* monk@veles:~$ uname -a
Linux veles 3.16.0-4-amd64 #1 SMP Debian 3.16.7-ckt9-3 (2015-04-23) x86_64 GNU/Linux
monk@veles:~$ cat /proc/cpuinfo
processor       : 0
vendor_id       : GenuineIntel
cpu family      : 6
model           : 58
model name      : Intel(R) Celeron(R) CPU 1037U @ 1.80GHz

* (time (loop for i from 1 to 10000000000 sum i))

Evaluation took:
  442.352 seconds of real time
  441.832000 seconds of total run time (440.688000 user, 1.144000 system)
  [ Run times consist of 30.912 seconds GC time, and 410.920 seconds non-GC time. ]
  99.88% CPU
  794,430,096,072 processor cycles
  334,223,993,248 bytes consed

CL-USER> (defun test () (loop for i from 1 to 1000000000 sum i))
TEST
CL-USER> (disassemble #'test)
; disassembly for TEST
; Size: 78 bytes. Origin: #x10060C8A24
; 24:       498B4C2460       MOV RCX, [R12+96]                ; thread.binding-stack-pointer
                                                              ; no-arg-parsing entry point
; 29:       48894DF8         MOV [RBP-8], RCX
; 2D:       BB02000000       MOV EBX, 2
; 32:       31C9             XOR ECX, ECX
; 34:       EB28             JMP L1
; 36:       660F1F840000000000 NOP
; 3F:       90               NOP
; 40: L0:   48895DF0         MOV [RBP-16], RBX
; 44:       488BD1           MOV RDX, RCX
; 47:       488BFB           MOV RDI, RBX
; 4A:       41BBC0010020     MOV R11D, 536871360              ; GENERIC-+
; 50:       41FFD3           CALL R11
; 53:       488BCA           MOV RCX, RDX
; 56:       488B5DF0         MOV RBX, [RBP-16]
; 5A:       4883C302         ADD RBX, 2
; 5E: L1:   4881FB00943577   CMP RBX, 2000000000
; 65:       7ED9             JLE L0
; 67:       488BD1           MOV RDX, RCX
; 6A:       488BE5           MOV RSP, RBP
; 6D:       F8               CLC
; 6E:       5D               POP RBP
; 6F:       C3               RET
; 70:       CC10             BREAK 16                         ; Invalid argument count trap

* (disassemble #'test)

; disassembly for TEST
; Size: 78 bytes. Origin: #x1005E14074
; 74:       498B4C2460       MOV RCX, [R12+96]                ; thread.binding-stack-pointer
                                                              ; no-arg-parsing entry point
; 79:       48894DF8         MOV [RBP-8], RCX
; 7D:       BB02000000       MOV EBX, 2
; 82:       31C9             XOR ECX, ECX
; 84:       EB28             JMP L1
; 86:       660F1F840000000000 NOP
; 8F:       90               NOP
; 90: L0:   48895DF0         MOV [RBP-16], RBX
; 94:       488BD1           MOV RDX, RCX
; 97:       488BFB           MOV RDI, RBX
; 9A:       41BBC0010020     MOV R11D, 536871360              ; GENERIC-+
; A0:       41FFD3           CALL R11
; A3:       488BCA           MOV RCX, RDX
; A6:       488B5DF0         MOV RBX, [RBP-16]
; AA:       4883C302         ADD RBX, 2
; AE: L1:   4881FB00943577   CMP RBX, 2000000000
; B5:       7ED9             JLE L0
; B7:       488BD1           MOV RDX, RCX
; BA:       488BE5           MOV RSP, RBP
; BD:       F8               CLC
; BE:       5D               POP RBP
; BF:       C3               RET
; C0:       CC10             BREAK 16                         ; Invalid argument count trap
NIL

$ sbcl
This is SBCL 1.2.11-1.fc22, an implementation of ANSI Common Lisp.
More information about SBCL is available at <http://www.sbcl.org/>.

SBCL is free software, provided as is, with absolutely no warranty.
It is mostly in the public domain; some portions are provided under
BSD-style licenses.  See the CREDITS and COPYING files in the
distribution for more information.
* (time (loop for i from 1 to 1000000000 sum i))

Evaluation took:
  4.201 seconds of real time
  4.199278 seconds of total run time (4.199278 user, 0.000000 system)
  99.95% CPU
  4,191,043,090 processor cycles
  0 bytes consed
  
500000000500000000

$ uname -a
Linux gravicappa 4.0.4-303.fc22.x86_64 #1 SMP Thu May 28 12:37:06 UTC 2015 x86_64 x86_64 x86_64 GNU/Linux

$ cat /proc/cpuinfo
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 61
model name	: Intel(R) Core(TM) M-5Y10c CPU @ 0.80GHz
stepping	: 4
microcode	: 0x18
cpu MHz		: 2000.156
cache size	: 4096 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 2
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf eagerfpu pni pclmulqdq dtes64 monitor ds_cpl vmx est tm2 ssse3 fma cx16 xtpr pdcm pcid sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch ida arat epb pln pts dtherm tpr_shadow vnmi flexpriority ept vpid fsgsbase tsc_adjust bmi1 avx2 smep bmi2 erms invpcid rdseed adx smap xsaveopt
bugs		:
bogomips	: 1995.41
clflush size	: 64
cache_alignment	: 64
address sizes	: 39 bits physical, 48 bits virtual
power management:

(defun sum (n)
  (declare (fixnum n) (optimize (speed 3) (safety 0)))
  (loop for i from 1 to n sum i into s fixnum))

(disassemble 'sum)
(time (sum 1000000000))
(quit)

; disassembly for SUM
; Size: 37 bytes. Origin: #x1002DD21A5
; A5:       B801000000       MOV EAX, 1                       ; no-arg-parsing entry point
; AA:       31C9             XOR ECX, ECX
; AC:       EB0C             JMP L1
; AE:       6690             NOP
; B0: L0:   488D1400         LEA RDX, [RAX+RAX]
; B4:       4801D1           ADD RCX, RDX
; B7:       48FFC0           INC RAX
; BA: L1:   4839D8           CMP RAX, RBX
; BD:       7EF1             JLE L0
; BF:       BA17001020       MOV EDX, 537919511
; C4:       488BE5           MOV RSP, RBP
; C7:       F8               CLC
; C8:       5D               POP RBP
; C9:       C3               RET
Evaluation took:
  0.503 seconds of real time
  0.503052 seconds of total run time (0.502880 user, 0.000172 system)
  100.00% CPU
  502,084,822 processor cycles
  0 bytes consed

#include <stdio.h>

unsigned long long foo(long to)
{
	unsigned long long s;
	long i;

	for (i = 1, s = 0; i <= to; i++)
		s += i;

	return s;
}

int main()
{
	printf("%lld\n", foo(1000000000));

	return 0;
}

$ gcc -o sum -O2 sum.c
$ objdump -S foo
...
0000000000400570 <foo>:
  400570:       48 85 ff                test   %rdi,%rdi
  400573:       7e 19                   jle    40058e <foo+0x1e>
  400575:       48 83 c7 01             add    $0x1,%rdi
  400579:       ba 01 00 00 00          mov    $0x1,%edx
  40057e:       31 c0                   xor    %eax,%eax
  400580:       48 01 d0                add    %rdx,%rax
  400583:       48 83 c2 01             add    $0x1,%rdx
  400587:       48 39 d7                cmp    %rdx,%rdi
  40058a:       75 f4                   jne    400580 <foo+0x10>
  40058c:       f3 c3                   repz retq 
  40058e:       31 c0                   xor    %eax,%eax
  400590:       c3                      retq   
  400591:       66 2e 0f 1f 84 00 00    nopw   %cs:0x0(%rax,%rax,1)
  400598:       00 00 00 
  40059b:       0f 1f 44 00 00          nopl   0x0(%rax,%rax,1)
...
$ perf stat ./sum
500000000500000000

 Performance counter stats for './sum':

          0.730554      task-clock (msec)         #    0.494 CPUs utilized          
                 0      context-switches          #    0.000 K/sec                  
                 1      cpu-migrations            #    0.001 M/sec                  
                47      page-faults               #    0.064 M/sec                  
           576,008      cycles                    #    0.788 GHz                    
                 0      stalled-cycles-frontend   #    0.00% frontend cycles idle   
                 0      stalled-cycles-backend    #    0.00% backend  cycles idle   
           473,790      instructions              #    0.82  insns per cycle        
            93,163      branches                  #  127.524 M/sec                  
             3,983      branch-misses             #    4.28% of all branches        

       0.001480047 seconds time elapsed

	movabsq	$500000000500000000, %rdx
	movl	$.LC3, %esi
	movl	$1, %edi
	xorl	%eax, %eax
	call	__printf_chk

(time (loop with i fixnum = 1 and s fixnum = 1 while (< i 1000000000) do (progn (incf i) (incf s i)) finally (return s)))