処理が異常に遅い原因はわかりますか？

質問

• 久しぶりに、(perlのXSのために）C言語を組んでみましたが、以下のコードが、異常に遅いようでした。
• 例えでいえば、同じことをする数文字のperlの正規表現処理の数１００倍の時間がかかっていました。
• どこが、原因でしょうか？以下のコードは、きちんと爆速で動作してくれます。

回答No.2

wormhole

＞例えでいえば、同じことをする数文字のperlの正規表現処理の数１００倍の時間がかかっていました。

正規表現そのものには文字列コピーのような機能はないですけど具体的にはどんな処理なんでしょう？

またgccのバージョンも書かれた方がよいかと思います。
FreeBSD 9のgcc 4.7.3だと

void func1(char *d, char *s, int n)
{
for (int i = 0; i < n; i++) {
*d++ = *s++;
}
}

void func2(char *d, char *s, int n)
{
for (int i = 0; i < n; i++) {
}
}

void func3(char *d, char *s)
{
for (;*d++ = *s++;) {
}
}

で出力されるコードはこんな感じです。

.text
.p2align 4,,15
.globl func1
.type func1, @function
func1:
.LFB0:
.cfi_startproc
xorl %eax, %eax
testl %edx, %edx
jle .L1
.p2align 4,,10
.L5:
movzbl (%rsi,%rax), %ecx
movb %cl, (%rdi,%rax)
addq $1, %rax
cmpl %eax, %edx
jg .L5
.L1:
rep
ret
.cfi_endproc
.LFE0:
.size func1, .-func1
.p2align 4,,15
.globl func2
.type func2, @function
func2:
.LFB1:
.cfi_startproc
rep
ret
.cfi_endproc
.LFE1:
.size func2, .-func2
.p2align 4,,15
.globl func3
.type func3, @function
func3:
.LFB2:
.cfi_startproc
.p2align 4,,10
.L10:
movzbl (%rsi), %eax
addq $1, %rsi
movb %al, (%rdi)
addq $1, %rdi
testb %al, %al
jne .L10
rep
ret
.cfi_endproc
.LFE2:
.size func3, .-func3

ほぼ#1の方のおっしゃってる通りですね。

お礼

ありがとうございます。

アセンブラリストを出してから、時間とれなくなってしまいました。。汗

FreeBSDのシステムコンパイラ gcc4.2ですと、-O2でも-O3でも
この回答の2倍以上程度のコードになってしまっているようですが、
gcc4.8、4.7.3を試したら、それなりの速度に戻ってくれました。

また、わずかながら、gccよりもllvm-gccのが速い感じもしています。