This is an archive of the discontinued LLVM Phabricator instance.

Differential D35830

[x86, CGP] reduce memcmp() expansion to 2 load pairs (PR33914)
ClosedPublic

Authored by RKSimon on Jul 25 2017, 3:46 AM.

Details

Reviewers
craig.topper
zvi
rnk
spatel
Commits
rG01884d242918: Merging r308986 and r308963: --------------------------------------------------…
rG18b97f78fe68: [X86][CGP] Reduce memcmp() expansion to 2 load pairs (PR33914)
rL309127: Merging r308986 and r308963:
rL308986: [X86][CGP] Reduce memcmp() expansion to 2 load pairs (PR33914)
Summary

D35067/rL308322 attempted to support up to 4 load pairs for memcmp inlining which resulted in some regressions for some optimized libc memcmp implementations (PR33914).

Until we can match these more optimal cases, this patch reduces the memcmp() expansion to a maximum of 2 load pairs (which matches what we do for -Os).

This patch should be considered for the 5.0.0 release branch as well

Diff Detail

Repository
rL LLVM

Event Timeline

RKSimon created this revision.Jul 25 2017, 3:46 AM
zvi edited edge metadata.Jul 25 2017, 5:42 AM

Thanks for the timely fix, Simon. Can you please wait another day or two until we get this tested?

RKSimon added a comment.Jul 25 2017, 5:50 AM
In D35830#819967, @zvi wrote:

Thanks for the timely fix, Simon. Can you please wait another day or two until we get this tested?

No problem, the only time constraint is the clang 5 release schedule.

zvi accepted this revision.Jul 25 2017, 8:10 AM

LGTM. Just got word this patch fixes the regression in our internal benchmark.
Would be great if this patch will be merged to the release branch.
Thanks!

This revision is now accepted and ready to land.Jul 25 2017, 8:10 AM
Closed by commit rL308986: [X86][CGP] Reduce memcmp() expansion to 2 load pairs (PR33914) (authored by RKSimon). · Explain WhyJul 25 2017, 10:05 AM
This revision was automatically updated to reflect the committed changes.

Revision Contents

PathSize
llvm/
trunk/
lib/
Target/
X86/
4 lines
test/
CodeGen/
X86/
410 lines
Transforms/
CodeGenPrepare/
X86/
1092 lines

Diff 108106

llvm/trunk/lib/Target/X86/X86ISelLowering.cpp

  • This file is larger than 256 KB, so syntax highlighting is disabled by default.
Show First 20 Lines • Show All 1,666 Lines • ▼ Show 20 Lines
MaxStoresPerMemsetOptSize = 8; MaxStoresPerMemsetOptSize = 8;
MaxStoresPerMemcpy = 8; // For @llvm.memcpy -> sequence of stores MaxStoresPerMemcpy = 8; // For @llvm.memcpy -> sequence of stores
MaxStoresPerMemcpyOptSize = 4; MaxStoresPerMemcpyOptSize = 4;
MaxStoresPerMemmove = 8; // For @llvm.memmove -> sequence of stores MaxStoresPerMemmove = 8; // For @llvm.memmove -> sequence of stores
MaxStoresPerMemmoveOptSize = 4; MaxStoresPerMemmoveOptSize = 4;
// TODO: These control memcmp expansion in CGP and could be raised higher, but // TODO: These control memcmp expansion in CGP and could be raised higher, but
// that needs to benchmarked and balanced with the potential use of vector // that needs to benchmarked and balanced with the potential use of vector
// load/store types (PR33329). // load/store types (PR33329, PR33914).
MaxLoadsPerMemcmp = 4; MaxLoadsPerMemcmp = 2;
MaxLoadsPerMemcmpOptSize = 2; MaxLoadsPerMemcmpOptSize = 2;
// Set loop alignment to 2^ExperimentalPrefLoopAlignment bytes (default: 2^4). // Set loop alignment to 2^ExperimentalPrefLoopAlignment bytes (default: 2^4).
setPrefLoopAlignment(ExperimentalPrefLoopAlignment); setPrefLoopAlignment(ExperimentalPrefLoopAlignment);
// An out-of-order CPU can speculatively execute past a predictable branch, // An out-of-order CPU can speculatively execute past a predictable branch,
// but a conditional move could be stalled by an expensive earlier operation. // but a conditional move could be stalled by an expensive earlier operation.
PredictableSelectIsExpensive = Subtarget.getSchedModel().isOutOfOrder(); PredictableSelectIsExpensive = Subtarget.getSchedModel().isOutOfOrder();
▲ Show 20 Lines • Show All 35,034 Lines • Show Last 20 Lines

llvm/trunk/test/CodeGen/X86/memcmp.ll

Show First 20 Lines • Show All 469 Lines • ▼ Show 20 Lines
; X64-NEXT: retq ; X64-NEXT: retq
%m = tail call i32 @memcmp(i8* %X, i8* getelementptr inbounds ([65 x i8], [65 x i8]* @.str, i32 0, i32 0), i64 8) nounwind %m = tail call i32 @memcmp(i8* %X, i8* getelementptr inbounds ([65 x i8], [65 x i8]* @.str, i32 0, i32 0), i64 8) nounwind
%c = icmp ne i32 %m, 0 %c = icmp ne i32 %m, 0
ret i1 %c ret i1 %c
} }
define i1 @length12_eq(i8* %X, i8* %Y) nounwind { define i1 @length12_eq(i8* %X, i8* %Y) nounwind {
; X86-LABEL: length12_eq: ; X86-LABEL: length12_eq:
; X86: # BB#0: # %loadbb ; X86: # BB#0:
; X86-NEXT: movl {{[0-9]+}}(%esp), %eax ; X86-NEXT: pushl $0
; X86-NEXT: movl {{[0-9]+}}(%esp), %ecx ; X86-NEXT: pushl $12
; X86-NEXT: movl (%ecx), %edx ; X86-NEXT: pushl {{[0-9]+}}(%esp)
; X86-NEXT: cmpl (%eax), %edx ; X86-NEXT: pushl {{[0-9]+}}(%esp)
; X86-NEXT: jne .LBB14_1 ; X86-NEXT: calll memcmp
; X86-NEXT: # BB#2: # %loadbb1 ; X86-NEXT: addl $16, %esp
; X86-NEXT: movl 4(%ecx), %edx ; X86-NEXT: testl %eax, %eax
; X86-NEXT: cmpl 4(%eax), %edx
; X86-NEXT: jne .LBB14_1
; X86-NEXT: # BB#3: # %loadbb2
; X86-NEXT: movl 8(%ecx), %edx
; X86-NEXT: xorl %ecx, %ecx
; X86-NEXT: cmpl 8(%eax), %edx
; X86-NEXT: je .LBB14_4
; X86-NEXT: .LBB14_1: # %res_block
; X86-NEXT: movl $1, %ecx
; X86-NEXT: .LBB14_4: # %endblock
; X86-NEXT: testl %ecx, %ecx
; X86-NEXT: setne %al ; X86-NEXT: setne %al
; X86-NEXT: retl ; X86-NEXT: retl
; ;
; X64-LABEL: length12_eq: ; X64-LABEL: length12_eq:
; X64: # BB#0: # %loadbb ; X64: # BB#0: # %loadbb
; X64-NEXT: movq (%rdi), %rax ; X64-NEXT: movq (%rdi), %rax
; X64-NEXT: cmpq (%rsi), %rax ; X64-NEXT: cmpq (%rsi), %rax
; X64-NEXT: jne .LBB14_1 ; X64-NEXT: jne .LBB14_1
Show All 10 Lines
; X64-NEXT: retq ; X64-NEXT: retq
%m = tail call i32 @memcmp(i8* %X, i8* %Y, i64 12) nounwind %m = tail call i32 @memcmp(i8* %X, i8* %Y, i64 12) nounwind
%c = icmp ne i32 %m, 0 %c = icmp ne i32 %m, 0
ret i1 %c ret i1 %c
} }
define i32 @length12(i8* %X, i8* %Y) nounwind { define i32 @length12(i8* %X, i8* %Y) nounwind {
; X86-LABEL: length12: ; X86-LABEL: length12:
; X86: # BB#0: # %loadbb ; X86: # BB#0:
; X86-NEXT: pushl %esi ; X86-NEXT: pushl $0
; X86-NEXT: movl {{[0-9]+}}(%esp), %eax ; X86-NEXT: pushl $12
; X86-NEXT: movl {{[0-9]+}}(%esp), %esi ; X86-NEXT: pushl {{[0-9]+}}(%esp)
; X86-NEXT: movl (%esi), %ecx ; X86-NEXT: pushl {{[0-9]+}}(%esp)
; X86-NEXT: movl (%eax), %edx ; X86-NEXT: calll memcmp
; X86-NEXT: bswapl %ecx ; X86-NEXT: addl $16, %esp
; X86-NEXT: bswapl %edx
; X86-NEXT: cmpl %edx, %ecx
; X86-NEXT: jne .LBB15_1
; X86-NEXT: # BB#2: # %loadbb1
; X86-NEXT: movl 4(%esi), %ecx
; X86-NEXT: movl 4(%eax), %edx
; X86-NEXT: bswapl %ecx
; X86-NEXT: bswapl %edx
; X86-NEXT: cmpl %edx, %ecx
; X86-NEXT: jne .LBB15_1
; X86-NEXT: # BB#3: # %loadbb2
; X86-NEXT: movl 8(%esi), %ecx
; X86-NEXT: movl 8(%eax), %edx
; X86-NEXT: bswapl %ecx
; X86-NEXT: bswapl %edx
; X86-NEXT: xorl %eax, %eax
; X86-NEXT: cmpl %edx, %ecx
; X86-NEXT: jne .LBB15_1
; X86-NEXT: # BB#4: # %endblock
; X86-NEXT: popl %esi
; X86-NEXT: retl
; X86-NEXT: .LBB15_1: # %res_block
; X86-NEXT: cmpl %edx, %ecx
; X86-NEXT: movl $-1, %ecx
; X86-NEXT: movl $1, %eax
; X86-NEXT: cmovbl %ecx, %eax
; X86-NEXT: popl %esi
; X86-NEXT: retl ; X86-NEXT: retl
; ;
; X64-LABEL: length12: ; X64-LABEL: length12:
; X64: # BB#0: # %loadbb ; X64: # BB#0: # %loadbb
; X64-NEXT: movq (%rdi), %rcx ; X64-NEXT: movq (%rdi), %rcx
; X64-NEXT: movq (%rsi), %rdx ; X64-NEXT: movq (%rsi), %rdx
; X64-NEXT: bswapq %rcx ; X64-NEXT: bswapq %rcx
; X64-NEXT: bswapq %rdx ; X64-NEXT: bswapq %rdx
Show All 18 Lines; X64-NEXT: retq
%m = tail call i32 @memcmp(i8* %X, i8* %Y, i64 12) nounwind %m = tail call i32 @memcmp(i8* %X, i8* %Y, i64 12) nounwind
ret i32 %m ret i32 %m
} }
; PR33329 - https://bugs.llvm.org/show_bug.cgi?id=33329 ; PR33329 - https://bugs.llvm.org/show_bug.cgi?id=33329
define i32 @length16(i8* %X, i8* %Y) nounwind { define i32 @length16(i8* %X, i8* %Y) nounwind {
; X86-LABEL: length16: ; X86-LABEL: length16:
; X86: # BB#0: # %loadbb ; X86: # BB#0:
; X86-NEXT: pushl %esi ; X86-NEXT: pushl $0
; X86-NEXT: movl {{[0-9]+}}(%esp), %eax ; X86-NEXT: pushl $16
; X86-NEXT: movl {{[0-9]+}}(%esp), %esi ; X86-NEXT: pushl {{[0-9]+}}(%esp)
; X86-NEXT: movl (%esi), %ecx ; X86-NEXT: pushl {{[0-9]+}}(%esp)
; X86-NEXT: movl (%eax), %edx ; X86-NEXT: calll memcmp
; X86-NEXT: bswapl %ecx ; X86-NEXT: addl $16, %esp
; X86-NEXT: bswapl %edx
; X86-NEXT: cmpl %edx, %ecx
; X86-NEXT: jne .LBB16_1
; X86-NEXT: # BB#2: # %loadbb1
; X86-NEXT: movl 4(%esi), %ecx
; X86-NEXT: movl 4(%eax), %edx
; X86-NEXT: bswapl %ecx
; X86-NEXT: bswapl %edx
; X86-NEXT: cmpl %edx, %ecx
; X86-NEXT: jne .LBB16_1
; X86-NEXT: # BB#3: # %loadbb2
; X86-NEXT: movl 8(%esi), %ecx
; X86-NEXT: movl 8(%eax), %edx
; X86-NEXT: bswapl %ecx
; X86-NEXT: bswapl %edx
; X86-NEXT: cmpl %edx, %ecx
; X86-NEXT: jne .LBB16_1
; X86-NEXT: # BB#4: # %loadbb3
; X86-NEXT: movl 12(%esi), %ecx
; X86-NEXT: movl 12(%eax), %edx
; X86-NEXT: bswapl %ecx
; X86-NEXT: bswapl %edx
; X86-NEXT: xorl %eax, %eax
; X86-NEXT: cmpl %edx, %ecx
; X86-NEXT: jne .LBB16_1
; X86-NEXT: # BB#5: # %endblock
; X86-NEXT: popl %esi
; X86-NEXT: retl
; X86-NEXT: .LBB16_1: # %res_block
; X86-NEXT: cmpl %edx, %ecx
; X86-NEXT: movl $-1, %ecx
; X86-NEXT: movl $1, %eax
; X86-NEXT: cmovbl %ecx, %eax
; X86-NEXT: popl %esi
; X86-NEXT: retl ; X86-NEXT: retl
; ;
; X64-LABEL: length16: ; X64-LABEL: length16:
; X64: # BB#0: # %loadbb ; X64: # BB#0: # %loadbb
; X64-NEXT: movq (%rdi), %rcx ; X64-NEXT: movq (%rdi), %rcx
; X64-NEXT: movq (%rsi), %rdx ; X64-NEXT: movq (%rsi), %rdx
; X64-NEXT: bswapq %rcx ; X64-NEXT: bswapq %rcx
; X64-NEXT: bswapq %rdx ; X64-NEXT: bswapq %rdx
Show All 15 Lines
; X64-NEXT: movl $1, %eax ; X64-NEXT: movl $1, %eax
; X64-NEXT: cmovbl %ecx, %eax ; X64-NEXT: cmovbl %ecx, %eax
; X64-NEXT: retq ; X64-NEXT: retq
%m = tail call i32 @memcmp(i8* %X, i8* %Y, i64 16) nounwind %m = tail call i32 @memcmp(i8* %X, i8* %Y, i64 16) nounwind
ret i32 %m ret i32 %m
} }
define i1 @length16_eq(i8* %x, i8* %y) nounwind { define i1 @length16_eq(i8* %x, i8* %y) nounwind {
; X86-LABEL: length16_eq: ; X86-NOSSE-LABEL: length16_eq:
; X86: # BB#0: # %loadbb ; X86-NOSSE: # BB#0:
; X86-NEXT: movl {{[0-9]+}}(%esp), %eax ; X86-NOSSE-NEXT: pushl $0
; X86-NEXT: movl {{[0-9]+}}(%esp), %ecx ; X86-NOSSE-NEXT: pushl $16
; X86-NEXT: movl (%ecx), %edx ; X86-NOSSE-NEXT: pushl {{[0-9]+}}(%esp)
; X86-NEXT: cmpl (%eax), %edx ; X86-NOSSE-NEXT: pushl {{[0-9]+}}(%esp)
; X86-NEXT: jne .LBB17_1 ; X86-NOSSE-NEXT: calll memcmp
; X86-NEXT: # BB#2: # %loadbb1 ; X86-NOSSE-NEXT: addl $16, %esp
; X86-NEXT: movl 4(%ecx), %edx ; X86-NOSSE-NEXT: testl %eax, %eax
; X86-NEXT: cmpl 4(%eax), %edx ; X86-NOSSE-NEXT: setne %al
; X86-NEXT: jne .LBB17_1 ; X86-NOSSE-NEXT: retl
; X86-NEXT: # BB#3: # %loadbb2 ;
; X86-NEXT: movl 8(%ecx), %edx ; X86-SSE2-LABEL: length16_eq:
; X86-NEXT: cmpl 8(%eax), %edx ; X86-SSE2: # BB#0:
; X86-NEXT: jne .LBB17_1 ; X86-SSE2-NEXT: movl {{[0-9]+}}(%esp), %eax
; X86-NEXT: # BB#4: # %loadbb3 ; X86-SSE2-NEXT: movl {{[0-9]+}}(%esp), %ecx
; X86-NEXT: movl 12(%ecx), %edx ; X86-SSE2-NEXT: movdqu (%ecx), %xmm0
; X86-NEXT: xorl %ecx, %ecx ; X86-SSE2-NEXT: movdqu (%eax), %xmm1
; X86-NEXT: cmpl 12(%eax), %edx ; X86-SSE2-NEXT: pcmpeqb %xmm0, %xmm1
; X86-NEXT: je .LBB17_5 ; X86-SSE2-NEXT: pmovmskb %xmm1, %eax
; X86-NEXT: .LBB17_1: # %res_block ; X86-SSE2-NEXT: cmpl $65535, %eax # imm = 0xFFFF
; X86-NEXT: movl $1, %ecx ; X86-SSE2-NEXT: setne %al
; X86-NEXT: .LBB17_5: # %endblock ; X86-SSE2-NEXT: retl
; X86-NEXT: testl %ecx, %ecx
; X86-NEXT: setne %al
; X86-NEXT: retl
; ;
; X64-LABEL: length16_eq: ; X64-LABEL: length16_eq:
; X64: # BB#0: # %loadbb ; X64: # BB#0: # %loadbb
; X64-NEXT: movq (%rdi), %rax ; X64-NEXT: movq (%rdi), %rax
; X64-NEXT: cmpq (%rsi), %rax ; X64-NEXT: cmpq (%rsi), %rax
; X64-NEXT: jne .LBB17_1 ; X64-NEXT: jne .LBB17_1
; X64-NEXT: # BB#2: # %loadbb1 ; X64-NEXT: # BB#2: # %loadbb1
; X64-NEXT: movq 8(%rdi), %rcx ; X64-NEXT: movq 8(%rdi), %rcx
; X64-NEXT: xorl %eax, %eax ; X64-NEXT: xorl %eax, %eax
; X64-NEXT: cmpq 8(%rsi), %rcx ; X64-NEXT: cmpq 8(%rsi), %rcx
; X64-NEXT: je .LBB17_3 ; X64-NEXT: je .LBB17_3
; X64-NEXT: .LBB17_1: # %res_block ; X64-NEXT: .LBB17_1: # %res_block
; X64-NEXT: movl $1, %eax ; X64-NEXT: movl $1, %eax
; X64-NEXT: .LBB17_3: # %endblock ; X64-NEXT: .LBB17_3: # %endblock
; X64-NEXT: testl %eax, %eax ; X64-NEXT: testl %eax, %eax
; X64-NEXT: setne %al ; X64-NEXT: setne %al
; X64-NEXT: retq ; X64-NEXT: retq
%call = tail call i32 @memcmp(i8* %x, i8* %y, i64 16) nounwind %call = tail call i32 @memcmp(i8* %x, i8* %y, i64 16) nounwind
%cmp = icmp ne i32 %call, 0 %cmp = icmp ne i32 %call, 0
ret i1 %cmp ret i1 %cmp
} }
define i1 @length16_eq_const(i8* %X) nounwind { define i1 @length16_eq_const(i8* %X) nounwind {
; X86-LABEL: length16_eq_const: ; X86-NOSSE-LABEL: length16_eq_const:
; X86: # BB#0: # %loadbb ; X86-NOSSE: # BB#0:
; X86-NEXT: movl {{[0-9]+}}(%esp), %eax ; X86-NOSSE-NEXT: pushl $0
; X86-NEXT: cmpl $858927408, (%eax) # imm = 0x33323130 ; X86-NOSSE-NEXT: pushl $16
; X86-NEXT: jne .LBB18_1 ; X86-NOSSE-NEXT: pushl $.L.str
; X86-NEXT: # BB#2: # %loadbb1 ; X86-NOSSE-NEXT: pushl {{[0-9]+}}(%esp)
; X86-NEXT: cmpl $926299444, 4(%eax) # imm = 0x37363534 ; X86-NOSSE-NEXT: calll memcmp
; X86-NEXT: jne .LBB18_1 ; X86-NOSSE-NEXT: addl $16, %esp
; X86-NEXT: # BB#3: # %loadbb2 ; X86-NOSSE-NEXT: testl %eax, %eax
; X86-NEXT: cmpl $825243960, 8(%eax) # imm = 0x31303938 ; X86-NOSSE-NEXT: sete %al
; X86-NEXT: jne .LBB18_1 ; X86-NOSSE-NEXT: retl
; X86-NEXT: # BB#4: # %loadbb3 ;
; X86-NEXT: xorl %ecx, %ecx ; X86-SSE2-LABEL: length16_eq_const:
; X86-NEXT: cmpl $892613426, 12(%eax) # imm = 0x35343332 ; X86-SSE2: # BB#0:
; X86-NEXT: je .LBB18_5 ; X86-SSE2-NEXT: movl {{[0-9]+}}(%esp), %eax
; X86-NEXT: .LBB18_1: # %res_block ; X86-SSE2-NEXT: movdqu (%eax), %xmm0
; X86-NEXT: movl $1, %ecx ; X86-SSE2-NEXT: pcmpeqb {{\.LCPI.*}}, %xmm0
; X86-NEXT: .LBB18_5: # %endblock ; X86-SSE2-NEXT: pmovmskb %xmm0, %eax
; X86-NEXT: testl %ecx, %ecx ; X86-SSE2-NEXT: cmpl $65535, %eax # imm = 0xFFFF
; X86-NEXT: sete %al ; X86-SSE2-NEXT: sete %al
; X86-NEXT: retl ; X86-SSE2-NEXT: retl
; ;
; X64-LABEL: length16_eq_const: ; X64-LABEL: length16_eq_const:
; X64: # BB#0: # %loadbb ; X64: # BB#0: # %loadbb
; X64-NEXT: movabsq $3978425819141910832, %rax # imm = 0x3736353433323130 ; X64-NEXT: movabsq $3978425819141910832, %rax # imm = 0x3736353433323130
; X64-NEXT: cmpq %rax, (%rdi) ; X64-NEXT: cmpq %rax, (%rdi)
; X64-NEXT: jne .LBB18_1 ; X64-NEXT: jne .LBB18_1
; X64-NEXT: # BB#2: # %loadbb1 ; X64-NEXT: # BB#2: # %loadbb1
; X64-NEXT: xorl %eax, %eax ; X64-NEXT: xorl %eax, %eax
Show All 20 Lines
; X86-NEXT: pushl $24 ; X86-NEXT: pushl $24
; X86-NEXT: pushl {{[0-9]+}}(%esp) ; X86-NEXT: pushl {{[0-9]+}}(%esp)
; X86-NEXT: pushl {{[0-9]+}}(%esp) ; X86-NEXT: pushl {{[0-9]+}}(%esp)
; X86-NEXT: calll memcmp ; X86-NEXT: calll memcmp
; X86-NEXT: addl $16, %esp ; X86-NEXT: addl $16, %esp
; X86-NEXT: retl ; X86-NEXT: retl
; ;
; X64-LABEL: length24: ; X64-LABEL: length24:
; X64: # BB#0: # %loadbb ; X64: # BB#0:
; X64-NEXT: movq (%rdi), %rcx ; X64-NEXT: movl $24, %edx
; X64-NEXT: movq (%rsi), %rdx ; X64-NEXT: jmp memcmp # TAILCALL
; X64-NEXT: bswapq %rcx
; X64-NEXT: bswapq %rdx
; X64-NEXT: cmpq %rdx, %rcx
; X64-NEXT: jne .LBB19_1
; X64-NEXT: # BB#2: # %loadbb1
; X64-NEXT: movq 8(%rdi), %rcx
; X64-NEXT: movq 8(%rsi), %rdx
; X64-NEXT: bswapq %rcx
; X64-NEXT: bswapq %rdx
; X64-NEXT: cmpq %rdx, %rcx
; X64-NEXT: jne .LBB19_1
; X64-NEXT: # BB#3: # %loadbb2
; X64-NEXT: movq 16(%rdi), %rcx
; X64-NEXT: movq 16(%rsi), %rdx
; X64-NEXT: bswapq %rcx
; X64-NEXT: bswapq %rdx
; X64-NEXT: xorl %eax, %eax
; X64-NEXT: cmpq %rdx, %rcx
; X64-NEXT: jne .LBB19_1
; X64-NEXT: # BB#4: # %endblock
; X64-NEXT: retq
; X64-NEXT: .LBB19_1: # %res_block
; X64-NEXT: cmpq %rdx, %rcx
; X64-NEXT: movl $-1, %ecx
; X64-NEXT: movl $1, %eax
; X64-NEXT: cmovbl %ecx, %eax
; X64-NEXT: retq
%m = tail call i32 @memcmp(i8* %X, i8* %Y, i64 24) nounwind %m = tail call i32 @memcmp(i8* %X, i8* %Y, i64 24) nounwind
ret i32 %m ret i32 %m
} }
define i1 @length24_eq(i8* %x, i8* %y) nounwind { define i1 @length24_eq(i8* %x, i8* %y) nounwind {
; X86-LABEL: length24_eq: ; X86-LABEL: length24_eq:
; X86: # BB#0: ; X86: # BB#0:
; X86-NEXT: pushl $0 ; X86-NEXT: pushl $0
; X86-NEXT: pushl $24 ; X86-NEXT: pushl $24
; X86-NEXT: pushl {{[0-9]+}}(%esp) ; X86-NEXT: pushl {{[0-9]+}}(%esp)
; X86-NEXT: pushl {{[0-9]+}}(%esp) ; X86-NEXT: pushl {{[0-9]+}}(%esp)
; X86-NEXT: calll memcmp ; X86-NEXT: calll memcmp
; X86-NEXT: addl $16, %esp ; X86-NEXT: addl $16, %esp
; X86-NEXT: testl %eax, %eax ; X86-NEXT: testl %eax, %eax
; X86-NEXT: sete %al ; X86-NEXT: sete %al
; X86-NEXT: retl ; X86-NEXT: retl
; ;
; X64-LABEL: length24_eq: ; X64-LABEL: length24_eq:
; X64: # BB#0: # %loadbb ; X64: # BB#0:
; X64-NEXT: movq (%rdi), %rax ; X64-NEXT: pushq %rax
; X64-NEXT: cmpq (%rsi), %rax ; X64-NEXT: movl $24, %edx
; X64-NEXT: jne .LBB20_1 ; X64-NEXT: callq memcmp
; X64-NEXT: # BB#2: # %loadbb1
; X64-NEXT: movq 8(%rdi), %rax
; X64-NEXT: cmpq 8(%rsi), %rax
; X64-NEXT: jne .LBB20_1
; X64-NEXT: # BB#3: # %loadbb2
; X64-NEXT: movq 16(%rdi), %rcx
; X64-NEXT: xorl %eax, %eax
; X64-NEXT: cmpq 16(%rsi), %rcx
; X64-NEXT: je .LBB20_4
; X64-NEXT: .LBB20_1: # %res_block
; X64-NEXT: movl $1, %eax
; X64-NEXT: .LBB20_4: # %endblock
; X64-NEXT: testl %eax, %eax ; X64-NEXT: testl %eax, %eax
; X64-NEXT: sete %al ; X64-NEXT: sete %al
; X64-NEXT: popq %rcx
; X64-NEXT: retq ; X64-NEXT: retq
%call = tail call i32 @memcmp(i8* %x, i8* %y, i64 24) nounwind %call = tail call i32 @memcmp(i8* %x, i8* %y, i64 24) nounwind
%cmp = icmp eq i32 %call, 0 %cmp = icmp eq i32 %call, 0
ret i1 %cmp ret i1 %cmp
} }
define i1 @length24_eq_const(i8* %X) nounwind { define i1 @length24_eq_const(i8* %X) nounwind {
; X86-LABEL: length24_eq_const: ; X86-LABEL: length24_eq_const:
; X86: # BB#0: ; X86: # BB#0:
; X86-NEXT: pushl $0 ; X86-NEXT: pushl $0
; X86-NEXT: pushl $24 ; X86-NEXT: pushl $24
; X86-NEXT: pushl $.L.str ; X86-NEXT: pushl $.L.str
; X86-NEXT: pushl {{[0-9]+}}(%esp) ; X86-NEXT: pushl {{[0-9]+}}(%esp)
; X86-NEXT: calll memcmp ; X86-NEXT: calll memcmp
; X86-NEXT: addl $16, %esp ; X86-NEXT: addl $16, %esp
; X86-NEXT: testl %eax, %eax ; X86-NEXT: testl %eax, %eax
; X86-NEXT: setne %al ; X86-NEXT: setne %al
; X86-NEXT: retl ; X86-NEXT: retl
; ;
; X64-LABEL: length24_eq_const: ; X64-LABEL: length24_eq_const:
; X64: # BB#0: # %loadbb ; X64: # BB#0:
; X64-NEXT: movabsq $3978425819141910832, %rax # imm = 0x3736353433323130 ; X64-NEXT: pushq %rax
; X64-NEXT: cmpq %rax, (%rdi) ; X64-NEXT: movl $.L.str, %esi
; X64-NEXT: jne .LBB21_1 ; X64-NEXT: movl $24, %edx
; X64-NEXT: # BB#2: # %loadbb1 ; X64-NEXT: callq memcmp
; X64-NEXT: movabsq $3833745473465760056, %rax # imm = 0x3534333231303938
; X64-NEXT: cmpq %rax, 8(%rdi)
; X64-NEXT: jne .LBB21_1
; X64-NEXT: # BB#3: # %loadbb2
; X64-NEXT: xorl %eax, %eax
; X64-NEXT: movabsq $3689065127958034230, %rcx # imm = 0x3332313039383736
; X64-NEXT: cmpq %rcx, 16(%rdi)
; X64-NEXT: je .LBB21_4
; X64-NEXT: .LBB21_1: # %res_block
; X64-NEXT: movl $1, %eax
; X64-NEXT: .LBB21_4: # %endblock
; X64-NEXT: testl %eax, %eax ; X64-NEXT: testl %eax, %eax
; X64-NEXT: setne %al ; X64-NEXT: setne %al
; X64-NEXT: popq %rcx
; X64-NEXT: retq ; X64-NEXT: retq
%m = tail call i32 @memcmp(i8* %X, i8* getelementptr inbounds ([65 x i8], [65 x i8]* @.str, i32 0, i32 0), i64 24) nounwind %m = tail call i32 @memcmp(i8* %X, i8* getelementptr inbounds ([65 x i8], [65 x i8]* @.str, i32 0, i32 0), i64 24) nounwind
%c = icmp ne i32 %m, 0 %c = icmp ne i32 %m, 0
ret i1 %c ret i1 %c
} }
define i32 @length32(i8* %X, i8* %Y) nounwind { define i32 @length32(i8* %X, i8* %Y) nounwind {
; X86-LABEL: length32: ; X86-LABEL: length32:
; X86: # BB#0: ; X86: # BB#0:
; X86-NEXT: pushl $0 ; X86-NEXT: pushl $0
; X86-NEXT: pushl $32 ; X86-NEXT: pushl $32
; X86-NEXT: pushl {{[0-9]+}}(%esp) ; X86-NEXT: pushl {{[0-9]+}}(%esp)
; X86-NEXT: pushl {{[0-9]+}}(%esp) ; X86-NEXT: pushl {{[0-9]+}}(%esp)
; X86-NEXT: calll memcmp ; X86-NEXT: calll memcmp
; X86-NEXT: addl $16, %esp ; X86-NEXT: addl $16, %esp
; X86-NEXT: retl ; X86-NEXT: retl
; ;
; X64-LABEL: length32: ; X64-LABEL: length32:
; X64: # BB#0: # %loadbb ; X64: # BB#0:
; X64-NEXT: movq (%rdi), %rcx ; X64-NEXT: movl $32, %edx
; X64-NEXT: movq (%rsi), %rdx ; X64-NEXT: jmp memcmp # TAILCALL
; X64-NEXT: bswapq %rcx
; X64-NEXT: bswapq %rdx
; X64-NEXT: cmpq %rdx, %rcx
; X64-NEXT: jne .LBB22_1
; X64-NEXT: # BB#2: # %loadbb1
; X64-NEXT: movq 8(%rdi), %rcx
; X64-NEXT: movq 8(%rsi), %rdx
; X64-NEXT: bswapq %rcx
; X64-NEXT: bswapq %rdx
; X64-NEXT: cmpq %rdx, %rcx
; X64-NEXT: jne .LBB22_1
; X64-NEXT: # BB#3: # %loadbb2
; X64-NEXT: movq 16(%rdi), %rcx
; X64-NEXT: movq 16(%rsi), %rdx
; X64-NEXT: bswapq %rcx
; X64-NEXT: bswapq %rdx
; X64-NEXT: cmpq %rdx, %rcx
; X64-NEXT: jne .LBB22_1
; X64-NEXT: # BB#4: # %loadbb3
; X64-NEXT: movq 24(%rdi), %rcx
; X64-NEXT: movq 24(%rsi), %rdx
; X64-NEXT: bswapq %rcx
; X64-NEXT: bswapq %rdx
; X64-NEXT: xorl %eax, %eax
; X64-NEXT: cmpq %rdx, %rcx
; X64-NEXT: jne .LBB22_1
; X64-NEXT: # BB#5: # %endblock
; X64-NEXT: retq
; X64-NEXT: .LBB22_1: # %res_block
; X64-NEXT: cmpq %rdx, %rcx
; X64-NEXT: movl $-1, %ecx
; X64-NEXT: movl $1, %eax
; X64-NEXT: cmovbl %ecx, %eax
; X64-NEXT: retq
%m = tail call i32 @memcmp(i8* %X, i8* %Y, i64 32) nounwind %m = tail call i32 @memcmp(i8* %X, i8* %Y, i64 32) nounwind
ret i32 %m ret i32 %m
} }
; PR33325 - https://bugs.llvm.org/show_bug.cgi?id=33325 ; PR33325 - https://bugs.llvm.org/show_bug.cgi?id=33325
define i1 @length32_eq(i8* %x, i8* %y) nounwind { define i1 @length32_eq(i8* %x, i8* %y) nounwind {
; X86-LABEL: length32_eq: ; X86-LABEL: length32_eq:
; X86: # BB#0: ; X86: # BB#0:
; X86-NEXT: pushl $0 ; X86-NEXT: pushl $0
; X86-NEXT: pushl $32 ; X86-NEXT: pushl $32
; X86-NEXT: pushl {{[0-9]+}}(%esp) ; X86-NEXT: pushl {{[0-9]+}}(%esp)
; X86-NEXT: pushl {{[0-9]+}}(%esp) ; X86-NEXT: pushl {{[0-9]+}}(%esp)
; X86-NEXT: calll memcmp ; X86-NEXT: calll memcmp
; X86-NEXT: addl $16, %esp ; X86-NEXT: addl $16, %esp
; X86-NEXT: testl %eax, %eax ; X86-NEXT: testl %eax, %eax
; X86-NEXT: sete %al ; X86-NEXT: sete %al
; X86-NEXT: retl ; X86-NEXT: retl
; ;
; X64-LABEL: length32_eq: ; X64-SSE2-LABEL: length32_eq:
; X64: # BB#0: # %loadbb ; X64-SSE2: # BB#0:
; X64-NEXT: movq (%rdi), %rax ; X64-SSE2-NEXT: pushq %rax
; X64-NEXT: cmpq (%rsi), %rax ; X64-SSE2-NEXT: movl $32, %edx
; X64-NEXT: jne .LBB23_1 ; X64-SSE2-NEXT: callq memcmp
; X64-NEXT: # BB#2: # %loadbb1 ; X64-SSE2-NEXT: testl %eax, %eax
; X64-NEXT: movq 8(%rdi), %rax ; X64-SSE2-NEXT: sete %al
; X64-NEXT: cmpq 8(%rsi), %rax ; X64-SSE2-NEXT: popq %rcx
; X64-NEXT: jne .LBB23_1 ; X64-SSE2-NEXT: retq
; X64-NEXT: # BB#3: # %loadbb2 ;
; X64-NEXT: movq 16(%rdi), %rax ; X64-AVX2-LABEL: length32_eq:
; X64-NEXT: cmpq 16(%rsi), %rax ; X64-AVX2: # BB#0:
; X64-NEXT: jne .LBB23_1 ; X64-AVX2-NEXT: vmovdqu (%rdi), %ymm0
; X64-NEXT: # BB#4: # %loadbb3 ; X64-AVX2-NEXT: vpcmpeqb (%rsi), %ymm0, %ymm0
; X64-NEXT: movq 24(%rdi), %rcx ; X64-AVX2-NEXT: vpmovmskb %ymm0, %eax
; X64-NEXT: xorl %eax, %eax ; X64-AVX2-NEXT: cmpl $-1, %eax
; X64-NEXT: cmpq 24(%rsi), %rcx ; X64-AVX2-NEXT: sete %al
; X64-NEXT: je .LBB23_5 ; X64-AVX2-NEXT: vzeroupper
; X64-NEXT: .LBB23_1: # %res_block ; X64-AVX2-NEXT: retq
; X64-NEXT: movl $1, %eax
; X64-NEXT: .LBB23_5: # %endblock
; X64-NEXT: testl %eax, %eax
; X64-NEXT: sete %al
; X64-NEXT: retq
%call = tail call i32 @memcmp(i8* %x, i8* %y, i64 32) nounwind %call = tail call i32 @memcmp(i8* %x, i8* %y, i64 32) nounwind
%cmp = icmp eq i32 %call, 0 %cmp = icmp eq i32 %call, 0
ret i1 %cmp ret i1 %cmp
} }
define i1 @length32_eq_const(i8* %X) nounwind { define i1 @length32_eq_const(i8* %X) nounwind {
; X86-LABEL: length32_eq_const: ; X86-LABEL: length32_eq_const:
; X86: # BB#0: ; X86: # BB#0:
; X86-NEXT: pushl $0 ; X86-NEXT: pushl $0
; X86-NEXT: pushl $32 ; X86-NEXT: pushl $32
; X86-NEXT: pushl $.L.str ; X86-NEXT: pushl $.L.str
; X86-NEXT: pushl {{[0-9]+}}(%esp) ; X86-NEXT: pushl {{[0-9]+}}(%esp)
; X86-NEXT: calll memcmp ; X86-NEXT: calll memcmp
; X86-NEXT: addl $16, %esp ; X86-NEXT: addl $16, %esp
; X86-NEXT: testl %eax, %eax ; X86-NEXT: testl %eax, %eax
; X86-NEXT: setne %al ; X86-NEXT: setne %al
; X86-NEXT: retl ; X86-NEXT: retl
; ;
; X64-LABEL: length32_eq_const: ; X64-SSE2-LABEL: length32_eq_const:
; X64: # BB#0: # %loadbb ; X64-SSE2: # BB#0:
; X64-NEXT: movabsq $3978425819141910832, %rax # imm = 0x3736353433323130 ; X64-SSE2-NEXT: pushq %rax
; X64-NEXT: cmpq %rax, (%rdi) ; X64-SSE2-NEXT: movl $.L.str, %esi
; X64-NEXT: jne .LBB24_1 ; X64-SSE2-NEXT: movl $32, %edx
; X64-NEXT: # BB#2: # %loadbb1 ; X64-SSE2-NEXT: callq memcmp
; X64-NEXT: movabsq $3833745473465760056, %rax # imm = 0x3534333231303938 ; X64-SSE2-NEXT: testl %eax, %eax
; X64-NEXT: cmpq %rax, 8(%rdi) ; X64-SSE2-NEXT: setne %al
; X64-NEXT: jne .LBB24_1 ; X64-SSE2-NEXT: popq %rcx
; X64-NEXT: # BB#3: # %loadbb2 ; X64-SSE2-NEXT: retq
; X64-NEXT: movabsq $3689065127958034230, %rax # imm = 0x3332313039383736 ;
; X64-NEXT: cmpq %rax, 16(%rdi) ; X64-AVX2-LABEL: length32_eq_const:
; X64-NEXT: jne .LBB24_1 ; X64-AVX2: # BB#0:
; X64-NEXT: # BB#4: # %loadbb3 ; X64-AVX2-NEXT: vmovdqu (%rdi), %ymm0
; X64-NEXT: xorl %eax, %eax ; X64-AVX2-NEXT: vpcmpeqb {{.*}}(%rip), %ymm0, %ymm0
; X64-NEXT: movabsq $3544395820347831604, %rcx # imm = 0x3130393837363534 ; X64-AVX2-NEXT: vpmovmskb %ymm0, %eax
; X64-NEXT: cmpq %rcx, 24(%rdi) ; X64-AVX2-NEXT: cmpl $-1, %eax
; X64-NEXT: je .LBB24_5 ; X64-AVX2-NEXT: setne %al
; X64-NEXT: .LBB24_1: # %res_block ; X64-AVX2-NEXT: vzeroupper
; X64-NEXT: movl $1, %eax ; X64-AVX2-NEXT: retq
; X64-NEXT: .LBB24_5: # %endblock
; X64-NEXT: testl %eax, %eax
; X64-NEXT: setne %al
; X64-NEXT: retq
%m = tail call i32 @memcmp(i8* %X, i8* getelementptr inbounds ([65 x i8], [65 x i8]* @.str, i32 0, i32 0), i64 32) nounwind %m = tail call i32 @memcmp(i8* %X, i8* getelementptr inbounds ([65 x i8], [65 x i8]* @.str, i32 0, i32 0), i64 32) nounwind
%c = icmp ne i32 %m, 0 %c = icmp ne i32 %m, 0
ret i1 %c ret i1 %c
} }
define i32 @length64(i8* %X, i8* %Y) nounwind { define i32 @length64(i8* %X, i8* %Y) nounwind {
; X86-LABEL: length64: ; X86-LABEL: length64:
; X86: # BB#0: ; X86: # BB#0:
▲ Show 20 Lines • Show All 71 Lines • Show Last 20 Lines

llvm/trunk/test/Transforms/CodeGenPrepare/X86/memcmp.ll

Show First 20 Lines • Show All 232 Lines • ▼ Show 20 Lines
; X64-NEXT: [[PHI_RES:%.*]] = phi i32 [ 0, [[LOADBB1]] ], [ [[TMP10]], [[RES_BLOCK]] ] ; X64-NEXT: [[PHI_RES:%.*]] = phi i32 [ 0, [[LOADBB1]] ], [ [[TMP10]], [[RES_BLOCK]] ]
; X64-NEXT: ret i32 [[PHI_RES]] ; X64-NEXT: ret i32 [[PHI_RES]]
; ;
%call = tail call i32 @memcmp(i8* %x, i8* %y, i64 6) %call = tail call i32 @memcmp(i8* %x, i8* %y, i64 6)
ret i32 %call ret i32 %call
} }
define i32 @cmp7(i8* nocapture readonly %x, i8* nocapture readonly %y) { define i32 @cmp7(i8* nocapture readonly %x, i8* nocapture readonly %y) {
; X32-LABEL: @cmp7( ; ALL-LABEL: @cmp7(
; X32-NEXT: loadbb: ; ALL-NEXT: [[CALL:%.*]] = tail call i32 @memcmp(i8* [[X:%.*]], i8* [[Y:%.*]], i64 7)
; X32-NEXT: [[TMP0:%.*]] = bitcast i8* [[X:%.*]] to i32* ; ALL-NEXT: ret i32 [[CALL]]
; X32-NEXT: [[TMP1:%.*]] = bitcast i8* [[Y:%.*]] to i32*
; X32-NEXT: [[TMP2:%.*]] = load i32, i32* [[TMP0]]
; X32-NEXT: [[TMP3:%.*]] = load i32, i32* [[TMP1]]
; X32-NEXT: [[TMP4:%.*]] = call i32 @llvm.bswap.i32(i32 [[TMP2]])
; X32-NEXT: [[TMP5:%.*]] = call i32 @llvm.bswap.i32(i32 [[TMP3]])
; X32-NEXT: [[TMP6:%.*]] = icmp eq i32 [[TMP4]], [[TMP5]]
; X32-NEXT: br i1 [[TMP6]], label [[LOADBB1:%.*]], label [[RES_BLOCK:%.*]]
; X32: res_block:
; X32-NEXT: [[PHI_SRC1:%.*]] = phi i32 [ [[TMP4]], [[LOADBB:%.*]] ], [ [[TMP17:%.*]], [[LOADBB1]] ]
; X32-NEXT: [[PHI_SRC2:%.*]] = phi i32 [ [[TMP5]], [[LOADBB]] ], [ [[TMP18:%.*]], [[LOADBB1]] ]
; X32-NEXT: [[TMP7:%.*]] = icmp ult i32 [[PHI_SRC1]], [[PHI_SRC2]]
; X32-NEXT: [[TMP8:%.*]] = select i1 [[TMP7]], i32 -1, i32 1
; X32-NEXT: br label [[ENDBLOCK:%.*]]
; X32: loadbb1:
; X32-NEXT: [[TMP9:%.*]] = bitcast i8* [[X]] to i16*
; X32-NEXT: [[TMP10:%.*]] = bitcast i8* [[Y]] to i16*
; X32-NEXT: [[TMP11:%.*]] = getelementptr i16, i16* [[TMP9]], i16 2
; X32-NEXT: [[TMP12:%.*]] = getelementptr i16, i16* [[TMP10]], i16 2
; X32-NEXT: [[TMP13:%.*]] = load i16, i16* [[TMP11]]
; X32-NEXT: [[TMP14:%.*]] = load i16, i16* [[TMP12]]
; X32-NEXT: [[TMP15:%.*]] = call i16 @llvm.bswap.i16(i16 [[TMP13]])
; X32-NEXT: [[TMP16:%.*]] = call i16 @llvm.bswap.i16(i16 [[TMP14]])
; X32-NEXT: [[TMP17]] = zext i16 [[TMP15]] to i32
; X32-NEXT: [[TMP18]] = zext i16 [[TMP16]] to i32
; X32-NEXT: [[TMP19:%.*]] = icmp eq i32 [[TMP17]], [[TMP18]]
; X32-NEXT: br i1 [[TMP19]], label [[LOADBB2:%.*]], label [[RES_BLOCK]]
; X32: loadbb2:
; X32-NEXT: [[TMP20:%.*]] = getelementptr i8, i8* [[X]], i8 6
; X32-NEXT: [[TMP21:%.*]] = getelementptr i8, i8* [[Y]], i8 6
; X32-NEXT: [[TMP22:%.*]] = load i8, i8* [[TMP20]]
; X32-NEXT: [[TMP23:%.*]] = load i8, i8* [[TMP21]]
; X32-NEXT: [[TMP24:%.*]] = zext i8 [[TMP22]] to i32
; X32-NEXT: [[TMP25:%.*]] = zext i8 [[TMP23]] to i32
; X32-NEXT: [[TMP26:%.*]] = sub i32 [[TMP24]], [[TMP25]]
; X32-NEXT: br label [[ENDBLOCK]]
; X32: endblock:
; X32-NEXT: [[PHI_RES:%.*]] = phi i32 [ [[TMP26]], [[LOADBB2]] ], [ [[TMP8]], [[RES_BLOCK]] ]
; X32-NEXT: ret i32 [[PHI_RES]]
;
; X64-LABEL: @cmp7(
; X64-NEXT: loadbb:
; X64-NEXT: [[TMP0:%.*]] = bitcast i8* [[X:%.*]] to i32*
; X64-NEXT: [[TMP1:%.*]] = bitcast i8* [[Y:%.*]] to i32*
; X64-NEXT: [[TMP2:%.*]] = load i32, i32* [[TMP0]]
; X64-NEXT: [[TMP3:%.*]] = load i32, i32* [[TMP1]]
; X64-NEXT: [[TMP4:%.*]] = call i32 @llvm.bswap.i32(i32 [[TMP2]])
; X64-NEXT: [[TMP5:%.*]] = call i32 @llvm.bswap.i32(i32 [[TMP3]])
; X64-NEXT: [[TMP6:%.*]] = zext i32 [[TMP4]] to i64
; X64-NEXT: [[TMP7:%.*]] = zext i32 [[TMP5]] to i64
; X64-NEXT: [[TMP8:%.*]] = icmp eq i64 [[TMP6]], [[TMP7]]
; X64-NEXT: br i1 [[TMP8]], label [[LOADBB1:%.*]], label [[RES_BLOCK:%.*]]
; X64: res_block:
; X64-NEXT: [[PHI_SRC1:%.*]] = phi i64 [ [[TMP6]], [[LOADBB:%.*]] ], [ [[TMP19:%.*]], [[LOADBB1]] ]
; X64-NEXT: [[PHI_SRC2:%.*]] = phi i64 [ [[TMP7]], [[LOADBB]] ], [ [[TMP20:%.*]], [[LOADBB1]] ]
; X64-NEXT: [[TMP9:%.*]] = icmp ult i64 [[PHI_SRC1]], [[PHI_SRC2]]
; X64-NEXT: [[TMP10:%.*]] = select i1 [[TMP9]], i32 -1, i32 1
; X64-NEXT: br label [[ENDBLOCK:%.*]]
; X64: loadbb1:
; X64-NEXT: [[TMP11:%.*]] = bitcast i8* [[X]] to i16*
; X64-NEXT: [[TMP12:%.*]] = bitcast i8* [[Y]] to i16*
; X64-NEXT: [[TMP13:%.*]] = getelementptr i16, i16* [[TMP11]], i16 2
; X64-NEXT: [[TMP14:%.*]] = getelementptr i16, i16* [[TMP12]], i16 2
; X64-NEXT: [[TMP15:%.*]] = load i16, i16* [[TMP13]]
; X64-NEXT: [[TMP16:%.*]] = load i16, i16* [[TMP14]]
; X64-NEXT: [[TMP17:%.*]] = call i16 @llvm.bswap.i16(i16 [[TMP15]])
; X64-NEXT: [[TMP18:%.*]] = call i16 @llvm.bswap.i16(i16 [[TMP16]])
; X64-NEXT: [[TMP19]] = zext i16 [[TMP17]] to i64
; X64-NEXT: [[TMP20]] = zext i16 [[TMP18]] to i64
; X64-NEXT: [[TMP21:%.*]] = icmp eq i64 [[TMP19]], [[TMP20]]
; X64-NEXT: br i1 [[TMP21]], label [[LOADBB2:%.*]], label [[RES_BLOCK]]
; X64: loadbb2:
; X64-NEXT: [[TMP22:%.*]] = getelementptr i8, i8* [[X]], i8 6
; X64-NEXT: [[TMP23:%.*]] = getelementptr i8, i8* [[Y]], i8 6
; X64-NEXT: [[TMP24:%.*]] = load i8, i8* [[TMP22]]
; X64-NEXT: [[TMP25:%.*]] = load i8, i8* [[TMP23]]
; X64-NEXT: [[TMP26:%.*]] = zext i8 [[TMP24]] to i32
; X64-NEXT: [[TMP27:%.*]] = zext i8 [[TMP25]] to i32
; X64-NEXT: [[TMP28:%.*]] = sub i32 [[TMP26]], [[TMP27]]
; X64-NEXT: br label [[ENDBLOCK]]
; X64: endblock:
; X64-NEXT: [[PHI_RES:%.*]] = phi i32 [ [[TMP28]], [[LOADBB2]] ], [ [[TMP10]], [[RES_BLOCK]] ]
; X64-NEXT: ret i32 [[PHI_RES]]
; ;
%call = tail call i32 @memcmp(i8* %x, i8* %y, i64 7) %call = tail call i32 @memcmp(i8* %x, i8* %y, i64 7)
ret i32 %call ret i32 %call
} }
define i32 @cmp8(i8* nocapture readonly %x, i8* nocapture readonly %y) { define i32 @cmp8(i8* nocapture readonly %x, i8* nocapture readonly %y) {
; X32-LABEL: @cmp8( ; X32-LABEL: @cmp8(
; X32-NEXT: loadbb: ; X32-NEXT: loadbb:
Show All 40 Lines
; X64-NEXT: ret i32 [[TMP10]] ; X64-NEXT: ret i32 [[TMP10]]
; ;
%call = tail call i32 @memcmp(i8* %x, i8* %y, i64 8) %call = tail call i32 @memcmp(i8* %x, i8* %y, i64 8)
ret i32 %call ret i32 %call
} }
define i32 @cmp9(i8* nocapture readonly %x, i8* nocapture readonly %y) { define i32 @cmp9(i8* nocapture readonly %x, i8* nocapture readonly %y) {
; X32-LABEL: @cmp9( ; X32-LABEL: @cmp9(
; X32-NEXT: loadbb: ; X32-NEXT: [[CALL:%.*]] = tail call i32 @memcmp(i8* [[X:%.*]], i8* [[Y:%.*]], i64 9)
; X32-NEXT: [[TMP0:%.*]] = bitcast i8* [[X:%.*]] to i32* ; X32-NEXT: ret i32 [[CALL]]
; X32-NEXT: [[TMP1:%.*]] = bitcast i8* [[Y:%.*]] to i32*
; X32-NEXT: [[TMP2:%.*]] = load i32, i32* [[TMP0]]
; X32-NEXT: [[TMP3:%.*]] = load i32, i32* [[TMP1]]
; X32-NEXT: [[TMP4:%.*]] = call i32 @llvm.bswap.i32(i32 [[TMP2]])
; X32-NEXT: [[TMP5:%.*]] = call i32 @llvm.bswap.i32(i32 [[TMP3]])
; X32-NEXT: [[TMP6:%.*]] = icmp eq i32 [[TMP4]], [[TMP5]]
; X32-NEXT: br i1 [[TMP6]], label [[LOADBB1:%.*]], label [[RES_BLOCK:%.*]]
; X32: res_block:
; X32-NEXT: [[PHI_SRC1:%.*]] = phi i32 [ [[TMP4]], [[LOADBB:%.*]] ], [ [[TMP15:%.*]], [[LOADBB1]] ]
; X32-NEXT: [[PHI_SRC2:%.*]] = phi i32 [ [[TMP5]], [[LOADBB]] ], [ [[TMP16:%.*]], [[LOADBB1]] ]
; X32-NEXT: [[TMP7:%.*]] = icmp ult i32 [[PHI_SRC1]], [[PHI_SRC2]]
; X32-NEXT: [[TMP8:%.*]] = select i1 [[TMP7]], i32 -1, i32 1
; X32-NEXT: br label [[ENDBLOCK:%.*]]
; X32: loadbb1:
; X32-NEXT: [[TMP9:%.*]] = bitcast i8* [[X]] to i32*
; X32-NEXT: [[TMP10:%.*]] = bitcast i8* [[Y]] to i32*
; X32-NEXT: [[TMP11:%.*]] = getelementptr i32, i32* [[TMP9]], i32 1
; X32-NEXT: [[TMP12:%.*]] = getelementptr i32, i32* [[TMP10]], i32 1
; X32-NEXT: [[TMP13:%.*]] = load i32, i32* [[TMP11]]
; X32-NEXT: [[TMP14:%.*]] = load i32, i32* [[TMP12]]
; X32-NEXT: [[TMP15]] = call i32 @llvm.bswap.i32(i32 [[TMP13]])
; X32-NEXT: [[TMP16]] = call i32 @llvm.bswap.i32(i32 [[TMP14]])
; X32-NEXT: [[TMP17:%.*]] = icmp eq i32 [[TMP15]], [[TMP16]]
; X32-NEXT: br i1 [[TMP17]], label [[LOADBB2:%.*]], label [[RES_BLOCK]]
; X32: loadbb2:
; X32-NEXT: [[TMP18:%.*]] = getelementptr i8, i8* [[X]], i8 8
; X32-NEXT: [[TMP19:%.*]] = getelementptr i8, i8* [[Y]], i8 8
; X32-NEXT: [[TMP20:%.*]] = load i8, i8* [[TMP18]]
; X32-NEXT: [[TMP21:%.*]] = load i8, i8* [[TMP19]]
; X32-NEXT: [[TMP22:%.*]] = zext i8 [[TMP20]] to i32
; X32-NEXT: [[TMP23:%.*]] = zext i8 [[TMP21]] to i32
; X32-NEXT: [[TMP24:%.*]] = sub i32 [[TMP22]], [[TMP23]]
; X32-NEXT: br label [[ENDBLOCK]]
; X32: endblock:
; X32-NEXT: [[PHI_RES:%.*]] = phi i32 [ [[TMP24]], [[LOADBB2]] ], [ [[TMP8]], [[RES_BLOCK]] ]
; X32-NEXT: ret i32 [[PHI_RES]]
; ;
; X64-LABEL: @cmp9( ; X64-LABEL: @cmp9(
; X64-NEXT: loadbb: ; X64-NEXT: loadbb:
; X64-NEXT: [[TMP0:%.*]] = bitcast i8* [[X:%.*]] to i64* ; X64-NEXT: [[TMP0:%.*]] = bitcast i8* [[X:%.*]] to i64*
; X64-NEXT: [[TMP1:%.*]] = bitcast i8* [[Y:%.*]] to i64* ; X64-NEXT: [[TMP1:%.*]] = bitcast i8* [[Y:%.*]] to i64*
; X64-NEXT: [[TMP2:%.*]] = load i64, i64* [[TMP0]] ; X64-NEXT: [[TMP2:%.*]] = load i64, i64* [[TMP0]]
; X64-NEXT: [[TMP3:%.*]] = load i64, i64* [[TMP1]] ; X64-NEXT: [[TMP3:%.*]] = load i64, i64* [[TMP1]]
; X64-NEXT: [[TMP4:%.*]] = call i64 @llvm.bswap.i64(i64 [[TMP2]]) ; X64-NEXT: [[TMP4:%.*]] = call i64 @llvm.bswap.i64(i64 [[TMP2]])
Show All 18 Lines
; X64-NEXT: ret i32 [[PHI_RES]] ; X64-NEXT: ret i32 [[PHI_RES]]
; ;
%call = tail call i32 @memcmp(i8* %x, i8* %y, i64 9) %call = tail call i32 @memcmp(i8* %x, i8* %y, i64 9)
ret i32 %call ret i32 %call
} }
define i32 @cmp10(i8* nocapture readonly %x, i8* nocapture readonly %y) { define i32 @cmp10(i8* nocapture readonly %x, i8* nocapture readonly %y) {
; X32-LABEL: @cmp10( ; X32-LABEL: @cmp10(
; X32-NEXT: loadbb: ; X32-NEXT: [[CALL:%.*]] = tail call i32 @memcmp(i8* [[X:%.*]], i8* [[Y:%.*]], i64 10)
; X32-NEXT: [[TMP0:%.*]] = bitcast i8* [[X:%.*]] to i32* ; X32-NEXT: ret i32 [[CALL]]
; X32-NEXT: [[TMP1:%.*]] = bitcast i8* [[Y:%.*]] to i32*
; X32-NEXT: [[TMP2:%.*]] = load i32, i32* [[TMP0]]
; X32-NEXT: [[TMP3:%.*]] = load i32, i32* [[TMP1]]
; X32-NEXT: [[TMP4:%.*]] = call i32 @llvm.bswap.i32(i32 [[TMP2]])
; X32-NEXT: [[TMP5:%.*]] = call i32 @llvm.bswap.i32(i32 [[TMP3]])
; X32-NEXT: [[TMP6:%.*]] = icmp eq i32 [[TMP4]], [[TMP5]]
; X32-NEXT: br i1 [[TMP6]], label [[LOADBB1:%.*]], label [[RES_BLOCK:%.*]]
; X32: res_block:
; X32-NEXT: [[PHI_SRC1:%.*]] = phi i32 [ [[TMP4]], [[LOADBB:%.*]] ], [ [[TMP15:%.*]], [[LOADBB1]] ], [ [[TMP26:%.*]], [[LOADBB2:%.*]] ]
; X32-NEXT: [[PHI_SRC2:%.*]] = phi i32 [ [[TMP5]], [[LOADBB]] ], [ [[TMP16:%.*]], [[LOADBB1]] ], [ [[TMP27:%.*]], [[LOADBB2]] ]
; X32-NEXT: [[TMP7:%.*]] = icmp ult i32 [[PHI_SRC1]], [[PHI_SRC2]]
; X32-NEXT: [[TMP8:%.*]] = select i1 [[TMP7]], i32 -1, i32 1
; X32-NEXT: br label [[ENDBLOCK:%.*]]
; X32: loadbb1:
; X32-NEXT: [[TMP9:%.*]] = bitcast i8* [[X]] to i32*
; X32-NEXT: [[TMP10:%.*]] = bitcast i8* [[Y]] to i32*
; X32-NEXT: [[TMP11:%.*]] = getelementptr i32, i32* [[TMP9]], i32 1
; X32-NEXT: [[TMP12:%.*]] = getelementptr i32, i32* [[TMP10]], i32 1
; X32-NEXT: [[TMP13:%.*]] = load i32, i32* [[TMP11]]
; X32-NEXT: [[TMP14:%.*]] = load i32, i32* [[TMP12]]
; X32-NEXT: [[TMP15]] = call i32 @llvm.bswap.i32(i32 [[TMP13]])
; X32-NEXT: [[TMP16]] = call i32 @llvm.bswap.i32(i32 [[TMP14]])
; X32-NEXT: [[TMP17:%.*]] = icmp eq i32 [[TMP15]], [[TMP16]]
; X32-NEXT: br i1 [[TMP17]], label [[LOADBB2]], label [[RES_BLOCK]]
; X32: loadbb2:
; X32-NEXT: [[TMP18:%.*]] = bitcast i8* [[X]] to i16*
; X32-NEXT: [[TMP19:%.*]] = bitcast i8* [[Y]] to i16*
; X32-NEXT: [[TMP20:%.*]] = getelementptr i16, i16* [[TMP18]], i16 4
; X32-NEXT: [[TMP21:%.*]] = getelementptr i16, i16* [[TMP19]], i16 4
; X32-NEXT: [[TMP22:%.*]] = load i16, i16* [[TMP20]]
; X32-NEXT: [[TMP23:%.*]] = load i16, i16* [[TMP21]]
; X32-NEXT: [[TMP24:%.*]] = call i16 @llvm.bswap.i16(i16 [[TMP22]])
; X32-NEXT: [[TMP25:%.*]] = call i16 @llvm.bswap.i16(i16 [[TMP23]])
; X32-NEXT: [[TMP26]] = zext i16 [[TMP24]] to i32
; X32-NEXT: [[TMP27]] = zext i16 [[TMP25]] to i32
; X32-NEXT: [[TMP28:%.*]] = icmp eq i32 [[TMP26]], [[TMP27]]
; X32-NEXT: br i1 [[TMP28]], label [[ENDBLOCK]], label [[RES_BLOCK]]
; X32: endblock:
; X32-NEXT: [[PHI_RES:%.*]] = phi i32 [ 0, [[LOADBB2]] ], [ [[TMP8]], [[RES_BLOCK]] ]
; X32-NEXT: ret i32 [[PHI_RES]]
; ;
; X64-LABEL: @cmp10( ; X64-LABEL: @cmp10(
; X64-NEXT: loadbb: ; X64-NEXT: loadbb:
; X64-NEXT: [[TMP0:%.*]] = bitcast i8* [[X:%.*]] to i64* ; X64-NEXT: [[TMP0:%.*]] = bitcast i8* [[X:%.*]] to i64*
; X64-NEXT: [[TMP1:%.*]] = bitcast i8* [[Y:%.*]] to i64* ; X64-NEXT: [[TMP1:%.*]] = bitcast i8* [[Y:%.*]] to i64*
; X64-NEXT: [[TMP2:%.*]] = load i64, i64* [[TMP0]] ; X64-NEXT: [[TMP2:%.*]] = load i64, i64* [[TMP0]]
; X64-NEXT: [[TMP3:%.*]] = load i64, i64* [[TMP1]] ; X64-NEXT: [[TMP3:%.*]] = load i64, i64* [[TMP1]]
; X64-NEXT: [[TMP4:%.*]] = call i64 @llvm.bswap.i64(i64 [[TMP2]]) ; X64-NEXT: [[TMP4:%.*]] = call i64 @llvm.bswap.i64(i64 [[TMP2]])
Show All 23 Lines
; X64-NEXT: [[PHI_RES:%.*]] = phi i32 [ 0, [[LOADBB1]] ], [ [[TMP8]], [[RES_BLOCK]] ] ; X64-NEXT: [[PHI_RES:%.*]] = phi i32 [ 0, [[LOADBB1]] ], [ [[TMP8]], [[RES_BLOCK]] ]
; X64-NEXT: ret i32 [[PHI_RES]] ; X64-NEXT: ret i32 [[PHI_RES]]
; ;
%call = tail call i32 @memcmp(i8* %x, i8* %y, i64 10) %call = tail call i32 @memcmp(i8* %x, i8* %y, i64 10)
ret i32 %call ret i32 %call
} }
define i32 @cmp11(i8* nocapture readonly %x, i8* nocapture readonly %y) { define i32 @cmp11(i8* nocapture readonly %x, i8* nocapture readonly %y) {
; X32-LABEL: @cmp11( ; ALL-LABEL: @cmp11(
; X32-NEXT: loadbb: ; ALL-NEXT: [[CALL:%.*]] = tail call i32 @memcmp(i8* [[X:%.*]], i8* [[Y:%.*]], i64 11)
; X32-NEXT: [[TMP0:%.*]] = bitcast i8* [[X:%.*]] to i32* ; ALL-NEXT: ret i32 [[CALL]]
; X32-NEXT: [[TMP1:%.*]] = bitcast i8* [[Y:%.*]] to i32*
; X32-NEXT: [[TMP2:%.*]] = load i32, i32* [[TMP0]]
; X32-NEXT: [[TMP3:%.*]] = load i32, i32* [[TMP1]]
; X32-NEXT: [[TMP4:%.*]] = call i32 @llvm.bswap.i32(i32 [[TMP2]])
; X32-NEXT: [[TMP5:%.*]] = call i32 @llvm.bswap.i32(i32 [[TMP3]])
; X32-NEXT: [[TMP6:%.*]] = icmp eq i32 [[TMP4]], [[TMP5]]
; X32-NEXT: br i1 [[TMP6]], label [[LOADBB1:%.*]], label [[RES_BLOCK:%.*]]
; X32: res_block:
; X32-NEXT: [[PHI_SRC1:%.*]] = phi i32 [ [[TMP4]], [[LOADBB:%.*]] ], [ [[TMP15:%.*]], [[LOADBB1]] ], [ [[TMP26:%.*]], [[LOADBB2:%.*]] ]
; X32-NEXT: [[PHI_SRC2:%.*]] = phi i32 [ [[TMP5]], [[LOADBB]] ], [ [[TMP16:%.*]], [[LOADBB1]] ], [ [[TMP27:%.*]], [[LOADBB2]] ]
; X32-NEXT: [[TMP7:%.*]] = icmp ult i32 [[PHI_SRC1]], [[PHI_SRC2]]
; X32-NEXT: [[TMP8:%.*]] = select i1 [[TMP7]], i32 -1, i32 1
; X32-NEXT: br label [[ENDBLOCK:%.*]]
; X32: loadbb1:
; X32-NEXT: [[TMP9:%.*]] = bitcast i8* [[X]] to i32*
; X32-NEXT: [[TMP10:%.*]] = bitcast i8* [[Y]] to i32*
; X32-NEXT: [[TMP11:%.*]] = getelementptr i32, i32* [[TMP9]], i32 1
; X32-NEXT: [[TMP12:%.*]] = getelementptr i32, i32* [[TMP10]], i32 1
; X32-NEXT: [[TMP13:%.*]] = load i32, i32* [[TMP11]]
; X32-NEXT: [[TMP14:%.*]] = load i32, i32* [[TMP12]]
; X32-NEXT: [[TMP15]] = call i32 @llvm.bswap.i32(i32 [[TMP13]])
; X32-NEXT: [[TMP16]] = call i32 @llvm.bswap.i32(i32 [[TMP14]])
; X32-NEXT: [[TMP17:%.*]] = icmp eq i32 [[TMP15]], [[TMP16]]
; X32-NEXT: br i1 [[TMP17]], label [[LOADBB2]], label [[RES_BLOCK]]
; X32: loadbb2:
; X32-NEXT: [[TMP18:%.*]] = bitcast i8* [[X]] to i16*
; X32-NEXT: [[TMP19:%.*]] = bitcast i8* [[Y]] to i16*
; X32-NEXT: [[TMP20:%.*]] = getelementptr i16, i16* [[TMP18]], i16 4
; X32-NEXT: [[TMP21:%.*]] = getelementptr i16, i16* [[TMP19]], i16 4
; X32-NEXT: [[TMP22:%.*]] = load i16, i16* [[TMP20]]
; X32-NEXT: [[TMP23:%.*]] = load i16, i16* [[TMP21]]
; X32-NEXT: [[TMP24:%.*]] = call i16 @llvm.bswap.i16(i16 [[TMP22]])
; X32-NEXT: [[TMP25:%.*]] = call i16 @llvm.bswap.i16(i16 [[TMP23]])
; X32-NEXT: [[TMP26]] = zext i16 [[TMP24]] to i32
; X32-NEXT: [[TMP27]] = zext i16 [[TMP25]] to i32
; X32-NEXT: [[TMP28:%.*]] = icmp eq i32 [[TMP26]], [[TMP27]]
; X32-NEXT: br i1 [[TMP28]], label [[LOADBB3:%.*]], label [[RES_BLOCK]]
; X32: loadbb3:
; X32-NEXT: [[TMP29:%.*]] = getelementptr i8, i8* [[X]], i8 10
; X32-NEXT: [[TMP30:%.*]] = getelementptr i8, i8* [[Y]], i8 10
; X32-NEXT: [[TMP31:%.*]] = load i8, i8* [[TMP29]]
; X32-NEXT: [[TMP32:%.*]] = load i8, i8* [[TMP30]]
; X32-NEXT: [[TMP33:%.*]] = zext i8 [[TMP31]] to i32
; X32-NEXT: [[TMP34:%.*]] = zext i8 [[TMP32]] to i32
; X32-NEXT: [[TMP35:%.*]] = sub i32 [[TMP33]], [[TMP34]]
; X32-NEXT: br label [[ENDBLOCK]]
; X32: endblock:
; X32-NEXT: [[PHI_RES:%.*]] = phi i32 [ [[TMP35]], [[LOADBB3]] ], [ [[TMP8]], [[RES_BLOCK]] ]
; X32-NEXT: ret i32 [[PHI_RES]]
;
; X64-LABEL: @cmp11(
; X64-NEXT: loadbb:
; X64-NEXT: [[TMP0:%.*]] = bitcast i8* [[X:%.*]] to i64*
; X64-NEXT: [[TMP1:%.*]] = bitcast i8* [[Y:%.*]] to i64*
; X64-NEXT: [[TMP2:%.*]] = load i64, i64* [[TMP0]]
; X64-NEXT: [[TMP3:%.*]] = load i64, i64* [[TMP1]]
; X64-NEXT: [[TMP4:%.*]] = call i64 @llvm.bswap.i64(i64 [[TMP2]])
; X64-NEXT: [[TMP5:%.*]] = call i64 @llvm.bswap.i64(i64 [[TMP3]])
; X64-NEXT: [[TMP6:%.*]] = icmp eq i64 [[TMP4]], [[TMP5]]
; X64-NEXT: br i1 [[TMP6]], label [[LOADBB1:%.*]], label [[RES_BLOCK:%.*]]
; X64: res_block:
; X64-NEXT: [[PHI_SRC1:%.*]] = phi i64 [ [[TMP4]], [[LOADBB:%.*]] ], [ [[TMP17:%.*]], [[LOADBB1]] ]
; X64-NEXT: [[PHI_SRC2:%.*]] = phi i64 [ [[TMP5]], [[LOADBB]] ], [ [[TMP18:%.*]], [[LOADBB1]] ]
; X64-NEXT: [[TMP7:%.*]] = icmp ult i64 [[PHI_SRC1]], [[PHI_SRC2]]
; X64-NEXT: [[TMP8:%.*]] = select i1 [[TMP7]], i32 -1, i32 1
; X64-NEXT: br label [[ENDBLOCK:%.*]]
; X64: loadbb1:
; X64-NEXT: [[TMP9:%.*]] = bitcast i8* [[X]] to i16*
; X64-NEXT: [[TMP10:%.*]] = bitcast i8* [[Y]] to i16*
; X64-NEXT: [[TMP11:%.*]] = getelementptr i16, i16* [[TMP9]], i16 4
; X64-NEXT: [[TMP12:%.*]] = getelementptr i16, i16* [[TMP10]], i16 4
; X64-NEXT: [[TMP13:%.*]] = load i16, i16* [[TMP11]]
; X64-NEXT: [[TMP14:%.*]] = load i16, i16* [[TMP12]]
; X64-NEXT: [[TMP15:%.*]] = call i16 @llvm.bswap.i16(i16 [[TMP13]])
; X64-NEXT: [[TMP16:%.*]] = call i16 @llvm.bswap.i16(i16 [[TMP14]])
; X64-NEXT: [[TMP17]] = zext i16 [[TMP15]] to i64
; X64-NEXT: [[TMP18]] = zext i16 [[TMP16]] to i64
; X64-NEXT: [[TMP19:%.*]] = icmp eq i64 [[TMP17]], [[TMP18]]
; X64-NEXT: br i1 [[TMP19]], label [[LOADBB2:%.*]], label [[RES_BLOCK]]
; X64: loadbb2:
; X64-NEXT: [[TMP20:%.*]] = getelementptr i8, i8* [[X]], i8 10
; X64-NEXT: [[TMP21:%.*]] = getelementptr i8, i8* [[Y]], i8 10
; X64-NEXT: [[TMP22:%.*]] = load i8, i8* [[TMP20]]
; X64-NEXT: [[TMP23:%.*]] = load i8, i8* [[TMP21]]
; X64-NEXT: [[TMP24:%.*]] = zext i8 [[TMP22]] to i32
; X64-NEXT: [[TMP25:%.*]] = zext i8 [[TMP23]] to i32
; X64-NEXT: [[TMP26:%.*]] = sub i32 [[TMP24]], [[TMP25]]
; X64-NEXT: br label [[ENDBLOCK]]
; X64: endblock:
; X64-NEXT: [[PHI_RES:%.*]] = phi i32 [ [[TMP26]], [[LOADBB2]] ], [ [[TMP8]], [[RES_BLOCK]] ]
; X64-NEXT: ret i32 [[PHI_RES]]
; ;
%call = tail call i32 @memcmp(i8* %x, i8* %y, i64 11) %call = tail call i32 @memcmp(i8* %x, i8* %y, i64 11)
ret i32 %call ret i32 %call
} }
define i32 @cmp12(i8* nocapture readonly %x, i8* nocapture readonly %y) { define i32 @cmp12(i8* nocapture readonly %x, i8* nocapture readonly %y) {
; X32-LABEL: @cmp12( ; X32-LABEL: @cmp12(
; X32-NEXT: loadbb: ; X32-NEXT: [[CALL:%.*]] = tail call i32 @memcmp(i8* [[X:%.*]], i8* [[Y:%.*]], i64 12)
; X32-NEXT: [[TMP0:%.*]] = bitcast i8* [[X:%.*]] to i32* ; X32-NEXT: ret i32 [[CALL]]
; X32-NEXT: [[TMP1:%.*]] = bitcast i8* [[Y:%.*]] to i32*
; X32-NEXT: [[TMP2:%.*]] = load i32, i32* [[TMP0]]
; X32-NEXT: [[TMP3:%.*]] = load i32, i32* [[TMP1]]
; X32-NEXT: [[TMP4:%.*]] = call i32 @llvm.bswap.i32(i32 [[TMP2]])
; X32-NEXT: [[TMP5:%.*]] = call i32 @llvm.bswap.i32(i32 [[TMP3]])
; X32-NEXT: [[TMP6:%.*]] = icmp eq i32 [[TMP4]], [[TMP5]]
; X32-NEXT: br i1 [[TMP6]], label [[LOADBB1:%.*]], label [[RES_BLOCK:%.*]]
; X32: res_block:
; X32-NEXT: [[PHI_SRC1:%.*]] = phi i32 [ [[TMP4]], [[LOADBB:%.*]] ], [ [[TMP15:%.*]], [[LOADBB1]] ], [ [[TMP24:%.*]], [[LOADBB2:%.*]] ]
; X32-NEXT: [[PHI_SRC2:%.*]] = phi i32 [ [[TMP5]], [[LOADBB]] ], [ [[TMP16:%.*]], [[LOADBB1]] ], [ [[TMP25:%.*]], [[LOADBB2]] ]
; X32-NEXT: [[TMP7:%.*]] = icmp ult i32 [[PHI_SRC1]], [[PHI_SRC2]]
; X32-NEXT: [[TMP8:%.*]] = select i1 [[TMP7]], i32 -1, i32 1
; X32-NEXT: br label [[ENDBLOCK:%.*]]
; X32: loadbb1:
; X32-NEXT: [[TMP9:%.*]] = bitcast i8* [[X]] to i32*
; X32-NEXT: [[TMP10:%.*]] = bitcast i8* [[Y]] to i32*
; X32-NEXT: [[TMP11:%.*]] = getelementptr i32, i32* [[TMP9]], i32 1
; X32-NEXT: [[TMP12:%.*]] = getelementptr i32, i32* [[TMP10]], i32 1
; X32-NEXT: [[TMP13:%.*]] = load i32, i32* [[TMP11]]
; X32-NEXT: [[TMP14:%.*]] = load i32, i32* [[TMP12]]
; X32-NEXT: [[TMP15]] = call i32 @llvm.bswap.i32(i32 [[TMP13]])
; X32-NEXT: [[TMP16]] = call i32 @llvm.bswap.i32(i32 [[TMP14]])
; X32-NEXT: [[TMP17:%.*]] = icmp eq i32 [[TMP15]], [[TMP16]]
; X32-NEXT: br i1 [[TMP17]], label [[LOADBB2]], label [[RES_BLOCK]]
; X32: loadbb2:
; X32-NEXT: [[TMP18:%.*]] = bitcast i8* [[X]] to i32*
; X32-NEXT: [[TMP19:%.*]] = bitcast i8* [[Y]] to i32*
; X32-NEXT: [[TMP20:%.*]] = getelementptr i32, i32* [[TMP18]], i32 2
; X32-NEXT: [[TMP21:%.*]] = getelementptr i32, i32* [[TMP19]], i32 2
; X32-NEXT: [[TMP22:%.*]] = load i32, i32* [[TMP20]]
; X32-NEXT: [[TMP23:%.*]] = load i32, i32* [[TMP21]]
; X32-NEXT: [[TMP24]] = call i32 @llvm.bswap.i32(i32 [[TMP22]])
; X32-NEXT: [[TMP25]] = call i32 @llvm.bswap.i32(i32 [[TMP23]])
; X32-NEXT: [[TMP26:%.*]] = icmp eq i32 [[TMP24]], [[TMP25]]
; X32-NEXT: br i1 [[TMP26]], label [[ENDBLOCK]], label [[RES_BLOCK]]
; X32: endblock:
; X32-NEXT: [[PHI_RES:%.*]] = phi i32 [ 0, [[LOADBB2]] ], [ [[TMP8]], [[RES_BLOCK]] ]
; X32-NEXT: ret i32 [[PHI_RES]]
; ;
; X64-LABEL: @cmp12( ; X64-LABEL: @cmp12(
; X64-NEXT: loadbb: ; X64-NEXT: loadbb:
; X64-NEXT: [[TMP0:%.*]] = bitcast i8* [[X:%.*]] to i64* ; X64-NEXT: [[TMP0:%.*]] = bitcast i8* [[X:%.*]] to i64*
; X64-NEXT: [[TMP1:%.*]] = bitcast i8* [[Y:%.*]] to i64* ; X64-NEXT: [[TMP1:%.*]] = bitcast i8* [[Y:%.*]] to i64*
; X64-NEXT: [[TMP2:%.*]] = load i64, i64* [[TMP0]] ; X64-NEXT: [[TMP2:%.*]] = load i64, i64* [[TMP0]]
; X64-NEXT: [[TMP3:%.*]] = load i64, i64* [[TMP1]] ; X64-NEXT: [[TMP3:%.*]] = load i64, i64* [[TMP1]]
; X64-NEXT: [[TMP4:%.*]] = call i64 @llvm.bswap.i64(i64 [[TMP2]]) ; X64-NEXT: [[TMP4:%.*]] = call i64 @llvm.bswap.i64(i64 [[TMP2]])
Show All 23 Lines
; X64-NEXT: [[PHI_RES:%.*]] = phi i32 [ 0, [[LOADBB1]] ], [ [[TMP8]], [[RES_BLOCK]] ] ; X64-NEXT: [[PHI_RES:%.*]] = phi i32 [ 0, [[LOADBB1]] ], [ [[TMP8]], [[RES_BLOCK]] ]
; X64-NEXT: ret i32 [[PHI_RES]] ; X64-NEXT: ret i32 [[PHI_RES]]
; ;
%call = tail call i32 @memcmp(i8* %x, i8* %y, i64 12) %call = tail call i32 @memcmp(i8* %x, i8* %y, i64 12)
ret i32 %call ret i32 %call
} }
define i32 @cmp13(i8* nocapture readonly %x, i8* nocapture readonly %y) { define i32 @cmp13(i8* nocapture readonly %x, i8* nocapture readonly %y) {
; X32-LABEL: @cmp13( ; ALL-LABEL: @cmp13(
; X32-NEXT: loadbb: ; ALL-NEXT: [[CALL:%.*]] = tail call i32 @memcmp(i8* [[X:%.*]], i8* [[Y:%.*]], i64 13)
; X32-NEXT: [[TMP0:%.*]] = bitcast i8* [[X:%.*]] to i32* ; ALL-NEXT: ret i32 [[CALL]]
; X32-NEXT: [[TMP1:%.*]] = bitcast i8* [[Y:%.*]] to i32*
; X32-NEXT: [[TMP2:%.*]] = load i32, i32* [[TMP0]]
; X32-NEXT: [[TMP3:%.*]] = load i32, i32* [[TMP1]]
; X32-NEXT: [[TMP4:%.*]] = call i32 @llvm.bswap.i32(i32 [[TMP2]])
; X32-NEXT: [[TMP5:%.*]] = call i32 @llvm.bswap.i32(i32 [[TMP3]])
; X32-NEXT: [[TMP6:%.*]] = icmp eq i32 [[TMP4]], [[TMP5]]
; X32-NEXT: br i1 [[TMP6]], label [[LOADBB1:%.*]], label [[RES_BLOCK:%.*]]
; X32: res_block:
; X32-NEXT: [[PHI_SRC1:%.*]] = phi i32 [ [[TMP4]], [[LOADBB:%.*]] ], [ [[TMP15:%.*]], [[LOADBB1]] ], [ [[TMP24:%.*]], [[LOADBB2:%.*]] ]
; X32-NEXT: [[PHI_SRC2:%.*]] = phi i32 [ [[TMP5]], [[LOADBB]] ], [ [[TMP16:%.*]], [[LOADBB1]] ], [ [[TMP25:%.*]], [[LOADBB2]] ]
; X32-NEXT: [[TMP7:%.*]] = icmp ult i32 [[PHI_SRC1]], [[PHI_SRC2]]
; X32-NEXT: [[TMP8:%.*]] = select i1 [[TMP7]], i32 -1, i32 1
; X32-NEXT: br label [[ENDBLOCK:%.*]]
; X32: loadbb1:
; X32-NEXT: [[TMP9:%.*]] = bitcast i8* [[X]] to i32*
; X32-NEXT: [[TMP10:%.*]] = bitcast i8* [[Y]] to i32*
; X32-NEXT: [[TMP11:%.*]] = getelementptr i32, i32* [[TMP9]], i32 1
; X32-NEXT: [[TMP12:%.*]] = getelementptr i32, i32* [[TMP10]], i32 1
; X32-NEXT: [[TMP13:%.*]] = load i32, i32* [[TMP11]]
; X32-NEXT: [[TMP14:%.*]] = load i32, i32* [[TMP12]]
; X32-NEXT: [[TMP15]] = call i32 @llvm.bswap.i32(i32 [[TMP13]])
; X32-NEXT: [[TMP16]] = call i32 @llvm.bswap.i32(i32 [[TMP14]])
; X32-NEXT: [[TMP17:%.*]] = icmp eq i32 [[TMP15]], [[TMP16]]
; X32-NEXT: br i1 [[TMP17]], label [[LOADBB2]], label [[RES_BLOCK]]
; X32: loadbb2:
; X32-NEXT: [[TMP18:%.*]] = bitcast i8* [[X]] to i32*
; X32-NEXT: [[TMP19:%.*]] = bitcast i8* [[Y]] to i32*
; X32-NEXT: [[TMP20:%.*]] = getelementptr i32, i32* [[TMP18]], i32 2
; X32-NEXT: [[TMP21:%.*]] = getelementptr i32, i32* [[TMP19]], i32 2
; X32-NEXT: [[TMP22:%.*]] = load i32, i32* [[TMP20]]
; X32-NEXT: [[TMP23:%.*]] = load i32, i32* [[TMP21]]
; X32-NEXT: [[TMP24]] = call i32 @llvm.bswap.i32(i32 [[TMP22]])
; X32-NEXT: [[TMP25]] = call i32 @llvm.bswap.i32(i32 [[TMP23]])
; X32-NEXT: [[TMP26:%.*]] = icmp eq i32 [[TMP24]], [[TMP25]]
; X32-NEXT: br i1 [[TMP26]], label [[LOADBB3:%.*]], label [[RES_BLOCK]]
; X32: loadbb3:
; X32-NEXT: [[TMP27:%.*]] = getelementptr i8, i8* [[X]], i8 12
; X32-NEXT: [[TMP28:%.*]] = getelementptr i8, i8* [[Y]], i8 12
; X32-NEXT: [[TMP29:%.*]] = load i8, i8* [[TMP27]]
; X32-NEXT: [[TMP30:%.*]] = load i8, i8* [[TMP28]]
; X32-NEXT: [[TMP31:%.*]] = zext i8 [[TMP29]] to i32
; X32-NEXT: [[TMP32:%.*]] = zext i8 [[TMP30]] to i32
; X32-NEXT: [[TMP33:%.*]] = sub i32 [[TMP31]], [[TMP32]]
; X32-NEXT: br label [[ENDBLOCK]]
; X32: endblock:
; X32-NEXT: [[PHI_RES:%.*]] = phi i32 [ [[TMP33]], [[LOADBB3]] ], [ [[TMP8]], [[RES_BLOCK]] ]
; X32-NEXT: ret i32 [[PHI_RES]]
;
; X64-LABEL: @cmp13(
; X64-NEXT: loadbb:
; X64-NEXT: [[TMP0:%.*]] = bitcast i8* [[X:%.*]] to i64*
; X64-NEXT: [[TMP1:%.*]] = bitcast i8* [[Y:%.*]] to i64*
; X64-NEXT: [[TMP2:%.*]] = load i64, i64* [[TMP0]]
; X64-NEXT: [[TMP3:%.*]] = load i64, i64* [[TMP1]]
; X64-NEXT: [[TMP4:%.*]] = call i64 @llvm.bswap.i64(i64 [[TMP2]])
; X64-NEXT: [[TMP5:%.*]] = call i64 @llvm.bswap.i64(i64 [[TMP3]])
; X64-NEXT: [[TMP6:%.*]] = icmp eq i64 [[TMP4]], [[TMP5]]
; X64-NEXT: br i1 [[TMP6]], label [[LOADBB1:%.*]], label [[RES_BLOCK:%.*]]
; X64: res_block:
; X64-NEXT: [[PHI_SRC1:%.*]] = phi i64 [ [[TMP4]], [[LOADBB:%.*]] ], [ [[TMP17:%.*]], [[LOADBB1]] ]
; X64-NEXT: [[PHI_SRC2:%.*]] = phi i64 [ [[TMP5]], [[LOADBB]] ], [ [[TMP18:%.*]], [[LOADBB1]] ]
; X64-NEXT: [[TMP7:%.*]] = icmp ult i64 [[PHI_SRC1]], [[PHI_SRC2]]
; X64-NEXT: [[TMP8:%.*]] = select i1 [[TMP7]], i32 -1, i32 1
; X64-NEXT: br label [[ENDBLOCK:%.*]]
; X64: loadbb1:
; X64-NEXT: [[TMP9:%.*]] = bitcast i8* [[X]] to i32*
; X64-NEXT: [[TMP10:%.*]] = bitcast i8* [[Y]] to i32*
; X64-NEXT: [[TMP11:%.*]] = getelementptr i32, i32* [[TMP9]], i32 2
; X64-NEXT: [[TMP12:%.*]] = getelementptr i32, i32* [[TMP10]], i32 2
; X64-NEXT: [[TMP13:%.*]] = load i32, i32* [[TMP11]]
; X64-NEXT: [[TMP14:%.*]] = load i32, i32* [[TMP12]]
; X64-NEXT: [[TMP15:%.*]] = call i32 @llvm.bswap.i32(i32 [[TMP13]])
; X64-NEXT: [[TMP16:%.*]] = call i32 @llvm.bswap.i32(i32 [[TMP14]])
; X64-NEXT: [[TMP17]] = zext i32 [[TMP15]] to i64
; X64-NEXT: [[TMP18]] = zext i32 [[TMP16]] to i64
; X64-NEXT: [[TMP19:%.*]] = icmp eq i64 [[TMP17]], [[TMP18]]
; X64-NEXT: br i1 [[TMP19]], label [[LOADBB2:%.*]], label [[RES_BLOCK]]
; X64: loadbb2:
; X64-NEXT: [[TMP20:%.*]] = getelementptr i8, i8* [[X]], i8 12
; X64-NEXT: [[TMP21:%.*]] = getelementptr i8, i8* [[Y]], i8 12
; X64-NEXT: [[TMP22:%.*]] = load i8, i8* [[TMP20]]
; X64-NEXT: [[TMP23:%.*]] = load i8, i8* [[TMP21]]
; X64-NEXT: [[TMP24:%.*]] = zext i8 [[TMP22]] to i32
; X64-NEXT: [[TMP25:%.*]] = zext i8 [[TMP23]] to i32
; X64-NEXT: [[TMP26:%.*]] = sub i32 [[TMP24]], [[TMP25]]
; X64-NEXT: br label [[ENDBLOCK]]
; X64: endblock:
; X64-NEXT: [[PHI_RES:%.*]] = phi i32 [ [[TMP26]], [[LOADBB2]] ], [ [[TMP8]], [[RES_BLOCK]] ]
; X64-NEXT: ret i32 [[PHI_RES]]
; ;
%call = tail call i32 @memcmp(i8* %x, i8* %y, i64 13) %call = tail call i32 @memcmp(i8* %x, i8* %y, i64 13)
ret i32 %call ret i32 %call
} }
define i32 @cmp14(i8* nocapture readonly %x, i8* nocapture readonly %y) { define i32 @cmp14(i8* nocapture readonly %x, i8* nocapture readonly %y) {
; X32-LABEL: @cmp14( ; ALL-LABEL: @cmp14(
; X32-NEXT: loadbb: ; ALL-NEXT: [[CALL:%.*]] = tail call i32 @memcmp(i8* [[X:%.*]], i8* [[Y:%.*]], i64 14)
; X32-NEXT: [[TMP0:%.*]] = bitcast i8* [[X:%.*]] to i32* ; ALL-NEXT: ret i32 [[CALL]]
; X32-NEXT: [[TMP1:%.*]] = bitcast i8* [[Y:%.*]] to i32*
; X32-NEXT: [[TMP2:%.*]] = load i32, i32* [[TMP0]]
; X32-NEXT: [[TMP3:%.*]] = load i32, i32* [[TMP1]]
; X32-NEXT: [[TMP4:%.*]] = call i32 @llvm.bswap.i32(i32 [[TMP2]])
; X32-NEXT: [[TMP5:%.*]] = call i32 @llvm.bswap.i32(i32 [[TMP3]])
; X32-NEXT: [[TMP6:%.*]] = icmp eq i32 [[TMP4]], [[TMP5]]
; X32-NEXT: br i1 [[TMP6]], label [[LOADBB1:%.*]], label [[RES_BLOCK:%.*]]
; X32: res_block:
; X32-NEXT: [[PHI_SRC1:%.*]] = phi i32 [ [[TMP4]], [[LOADBB:%.*]] ], [ [[TMP15:%.*]], [[LOADBB1]] ], [ [[TMP24:%.*]], [[LOADBB2:%.*]] ], [ [[TMP35:%.*]], [[LOADBB3:%.*]] ]
; X32-NEXT: [[PHI_SRC2:%.*]] = phi i32 [ [[TMP5]], [[LOADBB]] ], [ [[TMP16:%.*]], [[LOADBB1]] ], [ [[TMP25:%.*]], [[LOADBB2]] ], [ [[TMP36:%.*]], [[LOADBB3]] ]
; X32-NEXT: [[TMP7:%.*]] = icmp ult i32 [[PHI_SRC1]], [[PHI_SRC2]]
; X32-NEXT: [[TMP8:%.*]] = select i1 [[TMP7]], i32 -1, i32 1
; X32-NEXT: br label [[ENDBLOCK:%.*]]
; X32: loadbb1:
; X32-NEXT: [[TMP9:%.*]] = bitcast i8* [[X]] to i32*
; X32-NEXT: [[TMP10:%.*]] = bitcast i8* [[Y]] to i32*
; X32-NEXT: [[TMP11:%.*]] = getelementptr i32, i32* [[TMP9]], i32 1
; X32-NEXT: [[TMP12:%.*]] = getelementptr i32, i32* [[TMP10]], i32 1
; X32-NEXT: [[TMP13:%.*]] = load i32, i32* [[TMP11]]
; X32-NEXT: [[TMP14:%.*]] = load i32, i32* [[TMP12]]
; X32-NEXT: [[TMP15]] = call i32 @llvm.bswap.i32(i32 [[TMP13]])
; X32-NEXT: [[TMP16]] = call i32 @llvm.bswap.i32(i32 [[TMP14]])
; X32-NEXT: [[TMP17:%.*]] = icmp eq i32 [[TMP15]], [[TMP16]]
; X32-NEXT: br i1 [[TMP17]], label [[LOADBB2]], label [[RES_BLOCK]]
; X32: loadbb2:
; X32-NEXT: [[TMP18:%.*]] = bitcast i8* [[X]] to i32*
; X32-NEXT: [[TMP19:%.*]] = bitcast i8* [[Y]] to i32*
; X32-NEXT: [[TMP20:%.*]] = getelementptr i32, i32* [[TMP18]], i32 2
; X32-NEXT: [[TMP21:%.*]] = getelementptr i32, i32* [[TMP19]], i32 2
; X32-NEXT: [[TMP22:%.*]] = load i32, i32* [[TMP20]]
; X32-NEXT: [[TMP23:%.*]] = load i32, i32* [[TMP21]]
; X32-NEXT: [[TMP24]] = call i32 @llvm.bswap.i32(i32 [[TMP22]])
; X32-NEXT: [[TMP25]] = call i32 @llvm.bswap.i32(i32 [[TMP23]])
; X32-NEXT: [[TMP26:%.*]] = icmp eq i32 [[TMP24]], [[TMP25]]
; X32-NEXT: br i1 [[TMP26]], label [[LOADBB3]], label [[RES_BLOCK]]
; X32: loadbb3:
; X32-NEXT: [[TMP27:%.*]] = bitcast i8* [[X]] to i16*
; X32-NEXT: [[TMP28:%.*]] = bitcast i8* [[Y]] to i16*
; X32-NEXT: [[TMP29:%.*]] = getelementptr i16, i16* [[TMP27]], i16 6
; X32-NEXT: [[TMP30:%.*]] = getelementptr i16, i16* [[TMP28]], i16 6
; X32-NEXT: [[TMP31:%.*]] = load i16, i16* [[TMP29]]
; X32-NEXT: [[TMP32:%.*]] = load i16, i16* [[TMP30]]
; X32-NEXT: [[TMP33:%.*]] = call i16 @llvm.bswap.i16(i16 [[TMP31]])
; X32-NEXT: [[TMP34:%.*]] = call i16 @llvm.bswap.i16(i16 [[TMP32]])
; X32-NEXT: [[TMP35]] = zext i16 [[TMP33]] to i32
; X32-NEXT: [[TMP36]] = zext i16 [[TMP34]] to i32
; X32-NEXT: [[TMP37:%.*]] = icmp eq i32 [[TMP35]], [[TMP36]]
; X32-NEXT: br i1 [[TMP37]], label [[ENDBLOCK]], label [[RES_BLOCK]]
; X32: endblock:
; X32-NEXT: [[PHI_RES:%.*]] = phi i32 [ 0, [[LOADBB3]] ], [ [[TMP8]], [[RES_BLOCK]] ]
; X32-NEXT: ret i32 [[PHI_RES]]
;
; X64-LABEL: @cmp14(
; X64-NEXT: loadbb:
; X64-NEXT: [[TMP0:%.*]] = bitcast i8* [[X:%.*]] to i64*
; X64-NEXT: [[TMP1:%.*]] = bitcast i8* [[Y:%.*]] to i64*
; X64-NEXT: [[TMP2:%.*]] = load i64, i64* [[TMP0]]
; X64-NEXT: [[TMP3:%.*]] = load i64, i64* [[TMP1]]
; X64-NEXT: [[TMP4:%.*]] = call i64 @llvm.bswap.i64(i64 [[TMP2]])
; X64-NEXT: [[TMP5:%.*]] = call i64 @llvm.bswap.i64(i64 [[TMP3]])
; X64-NEXT: [[TMP6:%.*]] = icmp eq i64 [[TMP4]], [[TMP5]]
; X64-NEXT: br i1 [[TMP6]], label [[LOADBB1:%.*]], label [[RES_BLOCK:%.*]]
; X64: res_block:
; X64-NEXT: [[PHI_SRC1:%.*]] = phi i64 [ [[TMP4]], [[LOADBB:%.*]] ], [ [[TMP17:%.*]], [[LOADBB1]] ], [ [[TMP28:%.*]], [[LOADBB2:%.*]] ]
; X64-NEXT: [[PHI_SRC2:%.*]] = phi i64 [ [[TMP5]], [[LOADBB]] ], [ [[TMP18:%.*]], [[LOADBB1]] ], [ [[TMP29:%.*]], [[LOADBB2]] ]
; X64-NEXT: [[TMP7:%.*]] = icmp ult i64 [[PHI_SRC1]], [[PHI_SRC2]]
; X64-NEXT: [[TMP8:%.*]] = select i1 [[TMP7]], i32 -1, i32 1
; X64-NEXT: br label [[ENDBLOCK:%.*]]
; X64: loadbb1:
; X64-NEXT: [[TMP9:%.*]] = bitcast i8* [[X]] to i32*
; X64-NEXT: [[TMP10:%.*]] = bitcast i8* [[Y]] to i32*
; X64-NEXT: [[TMP11:%.*]] = getelementptr i32, i32* [[TMP9]], i32 2
; X64-NEXT: [[TMP12:%.*]] = getelementptr i32, i32* [[TMP10]], i32 2
; X64-NEXT: [[TMP13:%.*]] = load i32, i32* [[TMP11]]
; X64-NEXT: [[TMP14:%.*]] = load i32, i32* [[TMP12]]
; X64-NEXT: [[TMP15:%.*]] = call i32 @llvm.bswap.i32(i32 [[TMP13]])
; X64-NEXT: [[TMP16:%.*]] = call i32 @llvm.bswap.i32(i32 [[TMP14]])
; X64-NEXT: [[TMP17]] = zext i32 [[TMP15]] to i64
; X64-NEXT: [[TMP18]] = zext i32 [[TMP16]] to i64
; X64-NEXT: [[TMP19:%.*]] = icmp eq i64 [[TMP17]], [[TMP18]]
; X64-NEXT: br i1 [[TMP19]], label [[LOADBB2]], label [[RES_BLOCK]]
; X64: loadbb2:
; X64-NEXT: [[TMP20:%.*]] = bitcast i8* [[X]] to i16*
; X64-NEXT: [[TMP21:%.*]] = bitcast i8* [[Y]] to i16*
; X64-NEXT: [[TMP22:%.*]] = getelementptr i16, i16* [[TMP20]], i16 6
; X64-NEXT: [[TMP23:%.*]] = getelementptr i16, i16* [[TMP21]], i16 6
; X64-NEXT: [[TMP24:%.*]] = load i16, i16* [[TMP22]]
; X64-NEXT: [[TMP25:%.*]] = load i16, i16* [[TMP23]]
; X64-NEXT: [[TMP26:%.*]] = call i16 @llvm.bswap.i16(i16 [[TMP24]])
; X64-NEXT: [[TMP27:%.*]] = call i16 @llvm.bswap.i16(i16 [[TMP25]])
; X64-NEXT: [[TMP28]] = zext i16 [[TMP26]] to i64
; X64-NEXT: [[TMP29]] = zext i16 [[TMP27]] to i64
; X64-NEXT: [[TMP30:%.*]] = icmp eq i64 [[TMP28]], [[TMP29]]
; X64-NEXT: br i1 [[TMP30]], label [[ENDBLOCK]], label [[RES_BLOCK]]
; X64: endblock:
; X64-NEXT: [[PHI_RES:%.*]] = phi i32 [ 0, [[LOADBB2]] ], [ [[TMP8]], [[RES_BLOCK]] ]
; X64-NEXT: ret i32 [[PHI_RES]]
; ;
%call = tail call i32 @memcmp(i8* %x, i8* %y, i64 14) %call = tail call i32 @memcmp(i8* %x, i8* %y, i64 14)
ret i32 %call ret i32 %call
} }
define i32 @cmp15(i8* nocapture readonly %x, i8* nocapture readonly %y) { define i32 @cmp15(i8* nocapture readonly %x, i8* nocapture readonly %y) {
; X32-LABEL: @cmp15( ; ALL-LABEL: @cmp15(
; X32-NEXT: [[CALL:%.*]] = tail call i32 @memcmp(i8* [[X:%.*]], i8* [[Y:%.*]], i64 15) ; ALL-NEXT: [[CALL:%.*]] = tail call i32 @memcmp(i8* [[X:%.*]], i8* [[Y:%.*]], i64 15)
; X32-NEXT: ret i32 [[CALL]] ; ALL-NEXT: ret i32 [[CALL]]
;
; X64-LABEL: @cmp15(
; X64-NEXT: loadbb:
; X64-NEXT: [[TMP0:%.*]] = bitcast i8* [[X:%.*]] to i64*
; X64-NEXT: [[TMP1:%.*]] = bitcast i8* [[Y:%.*]] to i64*
; X64-NEXT: [[TMP2:%.*]] = load i64, i64* [[TMP0]]
; X64-NEXT: [[TMP3:%.*]] = load i64, i64* [[TMP1]]
; X64-NEXT: [[TMP4:%.*]] = call i64 @llvm.bswap.i64(i64 [[TMP2]])
; X64-NEXT: [[TMP5:%.*]] = call i64 @llvm.bswap.i64(i64 [[TMP3]])
; X64-NEXT: [[TMP6:%.*]] = icmp eq i64 [[TMP4]], [[TMP5]]
; X64-NEXT: br i1 [[TMP6]], label [[LOADBB1:%.*]], label [[RES_BLOCK:%.*]]
; X64: res_block:
; X64-NEXT: [[PHI_SRC1:%.*]] = phi i64 [ [[TMP4]], [[LOADBB:%.*]] ], [ [[TMP17:%.*]], [[LOADBB1]] ], [ [[TMP28:%.*]], [[LOADBB2:%.*]] ]
; X64-NEXT: [[PHI_SRC2:%.*]] = phi i64 [ [[TMP5]], [[LOADBB]] ], [ [[TMP18:%.*]], [[LOADBB1]] ], [ [[TMP29:%.*]], [[LOADBB2]] ]
; X64-NEXT: [[TMP7:%.*]] = icmp ult i64 [[PHI_SRC1]], [[PHI_SRC2]]
; X64-NEXT: [[TMP8:%.*]] = select i1 [[TMP7]], i32 -1, i32 1
; X64-NEXT: br label [[ENDBLOCK:%.*]]
; X64: loadbb1:
; X64-NEXT: [[TMP9:%.*]] = bitcast i8* [[X]] to i32*
; X64-NEXT: [[TMP10:%.*]] = bitcast i8* [[Y]] to i32*
; X64-NEXT: [[TMP11:%.*]] = getelementptr i32, i32* [[TMP9]], i32 2
; X64-NEXT: [[TMP12:%.*]] = getelementptr i32, i32* [[TMP10]], i32 2
; X64-NEXT: [[TMP13:%.*]] = load i32, i32* [[TMP11]]
; X64-NEXT: [[TMP14:%.*]] = load i32, i32* [[TMP12]]
; X64-NEXT: [[TMP15:%.*]] = call i32 @llvm.bswap.i32(i32 [[TMP13]])
; X64-NEXT: [[TMP16:%.*]] = call i32 @llvm.bswap.i32(i32 [[TMP14]])
; X64-NEXT: [[TMP17]] = zext i32 [[TMP15]] to i64
; X64-NEXT: [[TMP18]] = zext i32 [[TMP16]] to i64
; X64-NEXT: [[TMP19:%.*]] = icmp eq i64 [[TMP17]], [[TMP18]]
; X64-NEXT: br i1 [[TMP19]], label [[LOADBB2]], label [[RES_BLOCK]]
; X64: loadbb2:
; X64-NEXT: [[TMP20:%.*]] = bitcast i8* [[X]] to i16*
; X64-NEXT: [[TMP21:%.*]] = bitcast i8* [[Y]] to i16*
; X64-NEXT: [[TMP22:%.*]] = getelementptr i16, i16* [[TMP20]], i16 6
; X64-NEXT: [[TMP23:%.*]] = getelementptr i16, i16* [[TMP21]], i16 6
; X64-NEXT: [[TMP24:%.*]] = load i16, i16* [[TMP22]]
; X64-NEXT: [[TMP25:%.*]] = load i16, i16* [[TMP23]]
; X64-NEXT: [[TMP26:%.*]] = call i16 @llvm.bswap.i16(i16 [[TMP24]])
; X64-NEXT: [[TMP27:%.*]] = call i16 @llvm.bswap.i16(i16 [[TMP25]])
; X64-NEXT: [[TMP28]] = zext i16 [[TMP26]] to i64
; X64-NEXT: [[TMP29]] = zext i16 [[TMP27]] to i64
; X64-NEXT: [[TMP30:%.*]] = icmp eq i64 [[TMP28]], [[TMP29]]
; X64-NEXT: br i1 [[TMP30]], label [[LOADBB3:%.*]], label [[RES_BLOCK]]
; X64: loadbb3:
; X64-NEXT: [[TMP31:%.*]] = getelementptr i8, i8* [[X]], i8 14
; X64-NEXT: [[TMP32:%.*]] = getelementptr i8, i8* [[Y]], i8 14
; X64-NEXT: [[TMP33:%.*]] = load i8, i8* [[TMP31]]
; X64-NEXT: [[TMP34:%.*]] = load i8, i8* [[TMP32]]
; X64-NEXT: [[TMP35:%.*]] = zext i8 [[TMP33]] to i32
; X64-NEXT: [[TMP36:%.*]] = zext i8 [[TMP34]] to i32
; X64-NEXT: [[TMP37:%.*]] = sub i32 [[TMP35]], [[TMP36]]
; X64-NEXT: br label [[ENDBLOCK]]
; X64: endblock:
; X64-NEXT: [[PHI_RES:%.*]] = phi i32 [ [[TMP37]], [[LOADBB3]] ], [ [[TMP8]], [[RES_BLOCK]] ]
; X64-NEXT: ret i32 [[PHI_RES]]
; ;
%call = tail call i32 @memcmp(i8* %x, i8* %y, i64 15) %call = tail call i32 @memcmp(i8* %x, i8* %y, i64 15)
ret i32 %call ret i32 %call
} }
define i32 @cmp16(i8* nocapture readonly %x, i8* nocapture readonly %y) { define i32 @cmp16(i8* nocapture readonly %x, i8* nocapture readonly %y) {
; X32-LABEL: @cmp16( ; X32-LABEL: @cmp16(
; X32-NEXT: loadbb: ; X32-NEXT: [[CALL:%.*]] = tail call i32 @memcmp(i8* [[X:%.*]], i8* [[Y:%.*]], i64 16)
; X32-NEXT: [[TMP0:%.*]] = bitcast i8* [[X:%.*]] to i32* ; X32-NEXT: ret i32 [[CALL]]
; X32-NEXT: [[TMP1:%.*]] = bitcast i8* [[Y:%.*]] to i32*
; X32-NEXT: [[TMP2:%.*]] = load i32, i32* [[TMP0]]
; X32-NEXT: [[TMP3:%.*]] = load i32, i32* [[TMP1]]
; X32-NEXT: [[TMP4:%.*]] = call i32 @llvm.bswap.i32(i32 [[TMP2]])
; X32-NEXT: [[TMP5:%.*]] = call i32 @llvm.bswap.i32(i32 [[TMP3]])
; X32-NEXT: [[TMP6:%.*]] = icmp eq i32 [[TMP4]], [[TMP5]]
; X32-NEXT: br i1 [[TMP6]], label [[LOADBB1:%.*]], label [[RES_BLOCK:%.*]]
; X32: res_block:
; X32-NEXT: [[PHI_SRC1:%.*]] = phi i32 [ [[TMP4]], [[LOADBB:%.*]] ], [ [[TMP15:%.*]], [[LOADBB1]] ], [ [[TMP24:%.*]], [[LOADBB2:%.*]] ], [ [[TMP33:%.*]], [[LOADBB3:%.*]] ]
; X32-NEXT: [[PHI_SRC2:%.*]] = phi i32 [ [[TMP5]], [[LOADBB]] ], [ [[TMP16:%.*]], [[LOADBB1]] ], [ [[TMP25:%.*]], [[LOADBB2]] ], [ [[TMP34:%.*]], [[LOADBB3]] ]
; X32-NEXT: [[TMP7:%.*]] = icmp ult i32 [[PHI_SRC1]], [[PHI_SRC2]]
; X32-NEXT: [[TMP8:%.*]] = select i1 [[TMP7]], i32 -1, i32 1
; X32-NEXT: br label [[ENDBLOCK:%.*]]
; X32: loadbb1:
; X32-NEXT: [[TMP9:%.*]] = bitcast i8* [[X]] to i32*
; X32-NEXT: [[TMP10:%.*]] = bitcast i8* [[Y]] to i32*
; X32-NEXT: [[TMP11:%.*]] = getelementptr i32, i32* [[TMP9]], i32 1
; X32-NEXT: [[TMP12:%.*]] = getelementptr i32, i32* [[TMP10]], i32 1
; X32-NEXT: [[TMP13:%.*]] = load i32, i32* [[TMP11]]
; X32-NEXT: [[TMP14:%.*]] = load i32, i32* [[TMP12]]
; X32-NEXT: [[TMP15]] = call i32 @llvm.bswap.i32(i32 [[TMP13]])
; X32-NEXT: [[TMP16]] = call i32 @llvm.bswap.i32(i32 [[TMP14]])
; X32-NEXT: [[TMP17:%.*]] = icmp eq i32 [[TMP15]], [[TMP16]]
; X32-NEXT: br i1 [[TMP17]], label [[LOADBB2]], label [[RES_BLOCK]]
; X32: loadbb2:
; X32-NEXT: [[TMP18:%.*]] = bitcast i8* [[X]] to i32*
; X32-NEXT: [[TMP19:%.*]] = bitcast i8* [[Y]] to i32*
; X32-NEXT: [[TMP20:%.*]] = getelementptr i32, i32* [[TMP18]], i32 2
; X32-NEXT: [[TMP21:%.*]] = getelementptr i32, i32* [[TMP19]], i32 2
; X32-NEXT: [[TMP22:%.*]] = load i32, i32* [[TMP20]]
; X32-NEXT: [[TMP23:%.*]] = load i32, i32* [[TMP21]]
; X32-NEXT: [[TMP24]] = call i32 @llvm.bswap.i32(i32 [[TMP22]])
; X32-NEXT: [[TMP25]] = call i32 @llvm.bswap.i32(i32 [[TMP23]])
; X32-NEXT: [[TMP26:%.*]] = icmp eq i32 [[TMP24]], [[TMP25]]
; X32-NEXT: br i1 [[TMP26]], label [[LOADBB3]], label [[RES_BLOCK]]
; X32: loadbb3:
; X32-NEXT: [[TMP27:%.*]] = bitcast i8* [[X]] to i32*
; X32-NEXT: [[TMP28:%.*]] = bitcast i8* [[Y]] to i32*
; X32-NEXT: [[TMP29:%.*]] = getelementptr i32, i32* [[TMP27]], i32 3
; X32-NEXT: [[TMP30:%.*]] = getelementptr i32, i32* [[TMP28]], i32 3
; X32-NEXT: [[TMP31:%.*]] = load i32, i32* [[TMP29]]
; X32-NEXT: [[TMP32:%.*]] = load i32, i32* [[TMP30]]
; X32-NEXT: [[TMP33]] = call i32 @llvm.bswap.i32(i32 [[TMP31]])
; X32-NEXT: [[TMP34]] = call i32 @llvm.bswap.i32(i32 [[TMP32]])
; X32-NEXT: [[TMP35:%.*]] = icmp eq i32 [[TMP33]], [[TMP34]]
; X32-NEXT: br i1 [[TMP35]], label [[ENDBLOCK]], label [[RES_BLOCK]]
; X32: endblock:
; X32-NEXT: [[PHI_RES:%.*]] = phi i32 [ 0, [[LOADBB3]] ], [ [[TMP8]], [[RES_BLOCK]] ]
; X32-NEXT: ret i32 [[PHI_RES]]
; ;
; X64-LABEL: @cmp16( ; X64-LABEL: @cmp16(
; X64-NEXT: loadbb: ; X64-NEXT: loadbb:
; X64-NEXT: [[TMP0:%.*]] = bitcast i8* [[X:%.*]] to i64* ; X64-NEXT: [[TMP0:%.*]] = bitcast i8* [[X:%.*]] to i64*
; X64-NEXT: [[TMP1:%.*]] = bitcast i8* [[Y:%.*]] to i64* ; X64-NEXT: [[TMP1:%.*]] = bitcast i8* [[Y:%.*]] to i64*
; X64-NEXT: [[TMP2:%.*]] = load i64, i64* [[TMP0]] ; X64-NEXT: [[TMP2:%.*]] = load i64, i64* [[TMP0]]
; X64-NEXT: [[TMP3:%.*]] = load i64, i64* [[TMP1]] ; X64-NEXT: [[TMP3:%.*]] = load i64, i64* [[TMP1]]
; X64-NEXT: [[TMP4:%.*]] = call i64 @llvm.bswap.i64(i64 [[TMP2]]) ; X64-NEXT: [[TMP4:%.*]] = call i64 @llvm.bswap.i64(i64 [[TMP2]])
▲ Show 20 Lines • Show All 150 Lines • ▼ Show 20 Lines;
%call = tail call i32 @memcmp(i8* %x, i8* %y, i64 6) %call = tail call i32 @memcmp(i8* %x, i8* %y, i64 6)
%cmp = icmp eq i32 %call, 0 %cmp = icmp eq i32 %call, 0
%conv = zext i1 %cmp to i32 %conv = zext i1 %cmp to i32
ret i32 %conv ret i32 %conv
} }
define i32 @cmp_eq7(i8* nocapture readonly %x, i8* nocapture readonly %y) { define i32 @cmp_eq7(i8* nocapture readonly %x, i8* nocapture readonly %y) {
; ALL-LABEL: @cmp_eq7( ; ALL-LABEL: @cmp_eq7(
; ALL-NEXT: loadbb: ; ALL-NEXT: [[CALL:%.*]] = tail call i32 @memcmp(i8* [[X:%.*]], i8* [[Y:%.*]], i64 7)
; ALL-NEXT: [[TMP0:%.*]] = bitcast i8* [[X:%.*]] to i32* ; ALL-NEXT: [[CMP:%.*]] = icmp eq i32 [[CALL]], 0
; ALL-NEXT: [[TMP1:%.*]] = bitcast i8* [[Y:%.*]] to i32*
; ALL-NEXT: [[TMP2:%.*]] = load i32, i32* [[TMP0]]
; ALL-NEXT: [[TMP3:%.*]] = load i32, i32* [[TMP1]]
; ALL-NEXT: [[TMP4:%.*]] = icmp ne i32 [[TMP2]], [[TMP3]]
; ALL-NEXT: br i1 [[TMP4]], label [[RES_BLOCK:%.*]], label [[LOADBB1:%.*]]
; ALL: res_block:
; ALL-NEXT: br label [[ENDBLOCK:%.*]]
; ALL: loadbb1:
; ALL-NEXT: [[TMP5:%.*]] = bitcast i8* [[X]] to i16*
; ALL-NEXT: [[TMP6:%.*]] = bitcast i8* [[Y]] to i16*
; ALL-NEXT: [[TMP7:%.*]] = getelementptr i16, i16* [[TMP5]], i16 2
; ALL-NEXT: [[TMP8:%.*]] = getelementptr i16, i16* [[TMP6]], i16 2
; ALL-NEXT: [[TMP9:%.*]] = load i16, i16* [[TMP7]]
; ALL-NEXT: [[TMP10:%.*]] = load i16, i16* [[TMP8]]
; ALL-NEXT: [[TMP11:%.*]] = icmp ne i16 [[TMP9]], [[TMP10]]
; ALL-NEXT: br i1 [[TMP11]], label [[RES_BLOCK]], label [[LOADBB2:%.*]]
; ALL: loadbb2:
; ALL-NEXT: [[TMP12:%.*]] = getelementptr i8, i8* [[X]], i8 6
; ALL-NEXT: [[TMP13:%.*]] = getelementptr i8, i8* [[Y]], i8 6
; ALL-NEXT: [[TMP14:%.*]] = load i8, i8* [[TMP12]]
; ALL-NEXT: [[TMP15:%.*]] = load i8, i8* [[TMP13]]
; ALL-NEXT: [[TMP16:%.*]] = icmp ne i8 [[TMP14]], [[TMP15]]
; ALL-NEXT: br i1 [[TMP16]], label [[RES_BLOCK]], label [[ENDBLOCK]]
; ALL: endblock:
; ALL-NEXT: [[PHI_RES:%.*]] = phi i32 [ 0, [[LOADBB2]] ], [ 1, [[RES_BLOCK]] ]
; ALL-NEXT: [[CMP:%.*]] = icmp eq i32 [[PHI_RES]], 0
; ALL-NEXT: [[CONV:%.*]] = zext i1 [[CMP]] to i32 ; ALL-NEXT: [[CONV:%.*]] = zext i1 [[CMP]] to i32
; ALL-NEXT: ret i32 [[CONV]] ; ALL-NEXT: ret i32 [[CONV]]
; ;
%call = tail call i32 @memcmp(i8* %x, i8* %y, i64 7) %call = tail call i32 @memcmp(i8* %x, i8* %y, i64 7)
%cmp = icmp eq i32 %call, 0 %cmp = icmp eq i32 %call, 0
%conv = zext i1 %cmp to i32 %conv = zext i1 %cmp to i32
ret i32 %conv ret i32 %conv
} }
Show All 38 Lines;
%call = tail call i32 @memcmp(i8* %x, i8* %y, i64 8) %call = tail call i32 @memcmp(i8* %x, i8* %y, i64 8)
%cmp = icmp eq i32 %call, 0 %cmp = icmp eq i32 %call, 0
%conv = zext i1 %cmp to i32 %conv = zext i1 %cmp to i32
ret i32 %conv ret i32 %conv
} }
define i32 @cmp_eq9(i8* nocapture readonly %x, i8* nocapture readonly %y) { define i32 @cmp_eq9(i8* nocapture readonly %x, i8* nocapture readonly %y) {
; X32-LABEL: @cmp_eq9( ; X32-LABEL: @cmp_eq9(
; X32-NEXT: loadbb: ; X32-NEXT: [[CALL:%.*]] = tail call i32 @memcmp(i8* [[X:%.*]], i8* [[Y:%.*]], i64 9)
; X32-NEXT: [[TMP0:%.*]] = bitcast i8* [[X:%.*]] to i32* ; X32-NEXT: [[CMP:%.*]] = icmp eq i32 [[CALL]], 0
; X32-NEXT: [[TMP1:%.*]] = bitcast i8* [[Y:%.*]] to i32*
; X32-NEXT: [[TMP2:%.*]] = load i32, i32* [[TMP0]]
; X32-NEXT: [[TMP3:%.*]] = load i32, i32* [[TMP1]]
; X32-NEXT: [[TMP4:%.*]] = icmp ne i32 [[TMP2]], [[TMP3]]
; X32-NEXT: br i1 [[TMP4]], label [[RES_BLOCK:%.*]], label [[LOADBB1:%.*]]
; X32: res_block:
; X32-NEXT: br label [[ENDBLOCK:%.*]]
; X32: loadbb1:
; X32-NEXT: [[TMP5:%.*]] = bitcast i8* [[X]] to i32*
; X32-NEXT: [[TMP6:%.*]] = bitcast i8* [[Y]] to i32*
; X32-NEXT: [[TMP7:%.*]] = getelementptr i32, i32* [[TMP5]], i32 1
; X32-NEXT: [[TMP8:%.*]] = getelementptr i32, i32* [[TMP6]], i32 1
; X32-NEXT: [[TMP9:%.*]] = load i32, i32* [[TMP7]]
; X32-NEXT: [[TMP10:%.*]] = load i32, i32* [[TMP8]]
; X32-NEXT: [[TMP11:%.*]] = icmp ne i32 [[TMP9]], [[TMP10]]
; X32-NEXT: br i1 [[TMP11]], label [[RES_BLOCK]], label [[LOADBB2:%.*]]
; X32: loadbb2:
; X32-NEXT: [[TMP12:%.*]] = getelementptr i8, i8* [[X]], i8 8
; X32-NEXT: [[TMP13:%.*]] = getelementptr i8, i8* [[Y]], i8 8
; X32-NEXT: [[TMP14:%.*]] = load i8, i8* [[TMP12]]
; X32-NEXT: [[TMP15:%.*]] = load i8, i8* [[TMP13]]
; X32-NEXT: [[TMP16:%.*]] = icmp ne i8 [[TMP14]], [[TMP15]]
; X32-NEXT: br i1 [[TMP16]], label [[RES_BLOCK]], label [[ENDBLOCK]]
; X32: endblock:
; X32-NEXT: [[PHI_RES:%.*]] = phi i32 [ 0, [[LOADBB2]] ], [ 1, [[RES_BLOCK]] ]
; X32-NEXT: [[CMP:%.*]] = icmp eq i32 [[PHI_RES]], 0
; X32-NEXT: [[CONV:%.*]] = zext i1 [[CMP]] to i32 ; X32-NEXT: [[CONV:%.*]] = zext i1 [[CMP]] to i32
; X32-NEXT: ret i32 [[CONV]] ; X32-NEXT: ret i32 [[CONV]]
; ;
; X64-LABEL: @cmp_eq9( ; X64-LABEL: @cmp_eq9(
; X64-NEXT: loadbb: ; X64-NEXT: loadbb:
; X64-NEXT: [[TMP0:%.*]] = bitcast i8* [[X:%.*]] to i64* ; X64-NEXT: [[TMP0:%.*]] = bitcast i8* [[X:%.*]] to i64*
; X64-NEXT: [[TMP1:%.*]] = bitcast i8* [[Y:%.*]] to i64* ; X64-NEXT: [[TMP1:%.*]] = bitcast i8* [[Y:%.*]] to i64*
; X64-NEXT: [[TMP2:%.*]] = load i64, i64* [[TMP0]] ; X64-NEXT: [[TMP2:%.*]] = load i64, i64* [[TMP0]]
Show All 18 Lines;
%call = tail call i32 @memcmp(i8* %x, i8* %y, i64 9) %call = tail call i32 @memcmp(i8* %x, i8* %y, i64 9)
%cmp = icmp eq i32 %call, 0 %cmp = icmp eq i32 %call, 0
%conv = zext i1 %cmp to i32 %conv = zext i1 %cmp to i32
ret i32 %conv ret i32 %conv
} }
define i32 @cmp_eq10(i8* nocapture readonly %x, i8* nocapture readonly %y) { define i32 @cmp_eq10(i8* nocapture readonly %x, i8* nocapture readonly %y) {
; X32-LABEL: @cmp_eq10( ; X32-LABEL: @cmp_eq10(
; X32-NEXT: loadbb: ; X32-NEXT: [[CALL:%.*]] = tail call i32 @memcmp(i8* [[X:%.*]], i8* [[Y:%.*]], i64 10)
; X32-NEXT: [[TMP0:%.*]] = bitcast i8* [[X:%.*]] to i32* ; X32-NEXT: [[CMP:%.*]] = icmp eq i32 [[CALL]], 0
; X32-NEXT: [[TMP1:%.*]] = bitcast i8* [[Y:%.*]] to i32*
; X32-NEXT: [[TMP2:%.*]] = load i32, i32* [[TMP0]]
; X32-NEXT: [[TMP3:%.*]] = load i32, i32* [[TMP1]]
; X32-NEXT: [[TMP4:%.*]] = icmp ne i32 [[TMP2]], [[TMP3]]
; X32-NEXT: br i1 [[TMP4]], label [[RES_BLOCK:%.*]], label [[LOADBB1:%.*]]
; X32: res_block:
; X32-NEXT: br label [[ENDBLOCK:%.*]]
; X32: loadbb1:
; X32-NEXT: [[TMP5:%.*]] = bitcast i8* [[X]] to i32*
; X32-NEXT: [[TMP6:%.*]] = bitcast i8* [[Y]] to i32*
; X32-NEXT: [[TMP7:%.*]] = getelementptr i32, i32* [[TMP5]], i32 1
; X32-NEXT: [[TMP8:%.*]] = getelementptr i32, i32* [[TMP6]], i32 1
; X32-NEXT: [[TMP9:%.*]] = load i32, i32* [[TMP7]]
; X32-NEXT: [[TMP10:%.*]] = load i32, i32* [[TMP8]]
; X32-NEXT: [[TMP11:%.*]] = icmp ne i32 [[TMP9]], [[TMP10]]
; X32-NEXT: br i1 [[TMP11]], label [[RES_BLOCK]], label [[LOADBB2:%.*]]
; X32: loadbb2:
; X32-NEXT: [[TMP12:%.*]] = bitcast i8* [[X]] to i16*
; X32-NEXT: [[TMP13:%.*]] = bitcast i8* [[Y]] to i16*
; X32-NEXT: [[TMP14:%.*]] = getelementptr i16, i16* [[TMP12]], i16 4
; X32-NEXT: [[TMP15:%.*]] = getelementptr i16, i16* [[TMP13]], i16 4
; X32-NEXT: [[TMP16:%.*]] = load i16, i16* [[TMP14]]
; X32-NEXT: [[TMP17:%.*]] = load i16, i16* [[TMP15]]
; X32-NEXT: [[TMP18:%.*]] = icmp ne i16 [[TMP16]], [[TMP17]]
; X32-NEXT: br i1 [[TMP18]], label [[RES_BLOCK]], label [[ENDBLOCK]]
; X32: endblock:
; X32-NEXT: [[PHI_RES:%.*]] = phi i32 [ 0, [[LOADBB2]] ], [ 1, [[RES_BLOCK]] ]
; X32-NEXT: [[CMP:%.*]] = icmp eq i32 [[PHI_RES]], 0
; X32-NEXT: [[CONV:%.*]] = zext i1 [[CMP]] to i32 ; X32-NEXT: [[CONV:%.*]] = zext i1 [[CMP]] to i32
; X32-NEXT: ret i32 [[CONV]] ; X32-NEXT: ret i32 [[CONV]]
; ;
; X64-LABEL: @cmp_eq10( ; X64-LABEL: @cmp_eq10(
; X64-NEXT: loadbb: ; X64-NEXT: loadbb:
; X64-NEXT: [[TMP0:%.*]] = bitcast i8* [[X:%.*]] to i64* ; X64-NEXT: [[TMP0:%.*]] = bitcast i8* [[X:%.*]] to i64*
; X64-NEXT: [[TMP1:%.*]] = bitcast i8* [[Y:%.*]] to i64* ; X64-NEXT: [[TMP1:%.*]] = bitcast i8* [[Y:%.*]] to i64*
; X64-NEXT: [[TMP2:%.*]] = load i64, i64* [[TMP0]] ; X64-NEXT: [[TMP2:%.*]] = load i64, i64* [[TMP0]]
Show All 19 Lines
; ;
%call = tail call i32 @memcmp(i8* %x, i8* %y, i64 10) %call = tail call i32 @memcmp(i8* %x, i8* %y, i64 10)
%cmp = icmp eq i32 %call, 0 %cmp = icmp eq i32 %call, 0
%conv = zext i1 %cmp to i32 %conv = zext i1 %cmp to i32
ret i32 %conv ret i32 %conv
} }
define i32 @cmp_eq11(i8* nocapture readonly %x, i8* nocapture readonly %y) { define i32 @cmp_eq11(i8* nocapture readonly %x, i8* nocapture readonly %y) {
; X32-LABEL: @cmp_eq11( ; ALL-LABEL: @cmp_eq11(
; X32-NEXT: loadbb: ; ALL-NEXT: [[CALL:%.*]] = tail call i32 @memcmp(i8* [[X:%.*]], i8* [[Y:%.*]], i64 11)
; X32-NEXT: [[TMP0:%.*]] = bitcast i8* [[X:%.*]] to i32* ; ALL-NEXT: [[CMP:%.*]] = icmp eq i32 [[CALL]], 0
; X32-NEXT: [[TMP1:%.*]] = bitcast i8* [[Y:%.*]] to i32* ; ALL-NEXT: [[CONV:%.*]] = zext i1 [[CMP]] to i32
; X32-NEXT: [[TMP2:%.*]] = load i32, i32* [[TMP0]] ; ALL-NEXT: ret i32 [[CONV]]
; X32-NEXT: [[TMP3:%.*]] = load i32, i32* [[TMP1]]
; X32-NEXT: [[TMP4:%.*]] = icmp ne i32 [[TMP2]], [[TMP3]]
; X32-NEXT: br i1 [[TMP4]], label [[RES_BLOCK:%.*]], label [[LOADBB1:%.*]]
; X32: res_block:
; X32-NEXT: br label [[ENDBLOCK:%.*]]
; X32: loadbb1:
; X32-NEXT: [[TMP5:%.*]] = bitcast i8* [[X]] to i32*
; X32-NEXT: [[TMP6:%.*]] = bitcast i8* [[Y]] to i32*
; X32-NEXT: [[TMP7:%.*]] = getelementptr i32, i32* [[TMP5]], i32 1
; X32-NEXT: [[TMP8:%.*]] = getelementptr i32, i32* [[TMP6]], i32 1
; X32-NEXT: [[TMP9:%.*]] = load i32, i32* [[TMP7]]
; X32-NEXT: [[TMP10:%.*]] = load i32, i32* [[TMP8]]
; X32-NEXT: [[TMP11:%.*]] = icmp ne i32 [[TMP9]], [[TMP10]]
; X32-NEXT: br i1 [[TMP11]], label [[RES_BLOCK]], label [[LOADBB2:%.*]]
; X32: loadbb2:
; X32-NEXT: [[TMP12:%.*]] = bitcast i8* [[X]] to i16*
; X32-NEXT: [[TMP13:%.*]] = bitcast i8* [[Y]] to i16*
; X32-NEXT: [[TMP14:%.*]] = getelementptr i16, i16* [[TMP12]], i16 4
; X32-NEXT: [[TMP15:%.*]] = getelementptr i16, i16* [[TMP13]], i16 4
; X32-NEXT: [[TMP16:%.*]] = load i16, i16* [[TMP14]]
; X32-NEXT: [[TMP17:%.*]] = load i16, i16* [[TMP15]]
; X32-NEXT: [[TMP18:%.*]] = icmp ne i16 [[TMP16]], [[TMP17]]
; X32-NEXT: br i1 [[TMP18]], label [[RES_BLOCK]], label [[LOADBB3:%.*]]
; X32: loadbb3:
; X32-NEXT: [[TMP19:%.*]] = getelementptr i8, i8* [[X]], i8 10
; X32-NEXT: [[TMP20:%.*]] = getelementptr i8, i8* [[Y]], i8 10
; X32-NEXT: [[TMP21:%.*]] = load i8, i8* [[TMP19]]
; X32-NEXT: [[TMP22:%.*]] = load i8, i8* [[TMP20]]
; X32-NEXT: [[TMP23:%.*]] = icmp ne i8 [[TMP21]], [[TMP22]]
; X32-NEXT: br i1 [[TMP23]], label [[RES_BLOCK]], label [[ENDBLOCK]]
; X32: endblock:
; X32-NEXT: [[PHI_RES:%.*]] = phi i32 [ 0, [[LOADBB3]] ], [ 1, [[RES_BLOCK]] ]
; X32-NEXT: [[CMP:%.*]] = icmp eq i32 [[PHI_RES]], 0
; X32-NEXT: [[CONV:%.*]] = zext i1 [[CMP]] to i32
; X32-NEXT: ret i32 [[CONV]]
;
; X64-LABEL: @cmp_eq11(
; X64-NEXT: loadbb:
; X64-NEXT: [[TMP0:%.*]] = bitcast i8* [[X:%.*]] to i64*
; X64-NEXT: [[TMP1:%.*]] = bitcast i8* [[Y:%.*]] to i64*
; X64-NEXT: [[TMP2:%.*]] = load i64, i64* [[TMP0]]
; X64-NEXT: [[TMP3:%.*]] = load i64, i64* [[TMP1]]
; X64-NEXT: [[TMP4:%.*]] = icmp ne i64 [[TMP2]], [[TMP3]]
; X64-NEXT: br i1 [[TMP4]], label [[RES_BLOCK:%.*]], label [[LOADBB1:%.*]]
; X64: res_block:
; X64-NEXT: br label [[ENDBLOCK:%.*]]
; X64: loadbb1:
; X64-NEXT: [[TMP5:%.*]] = bitcast i8* [[X]] to i16*
; X64-NEXT: [[TMP6:%.*]] = bitcast i8* [[Y]] to i16*
; X64-NEXT: [[TMP7:%.*]] = getelementptr i16, i16* [[TMP5]], i16 4
; X64-NEXT: [[TMP8:%.*]] = getelementptr i16, i16* [[TMP6]], i16 4
; X64-NEXT: [[TMP9:%.*]] = load i16, i16* [[TMP7]]
; X64-NEXT: [[TMP10:%.*]] = load i16, i16* [[TMP8]]
; X64-NEXT: [[TMP11:%.*]] = icmp ne i16 [[TMP9]], [[TMP10]]
; X64-NEXT: br i1 [[TMP11]], label [[RES_BLOCK]], label [[LOADBB2:%.*]]
; X64: loadbb2:
; X64-NEXT: [[TMP12:%.*]] = getelementptr i8, i8* [[X]], i8 10
; X64-NEXT: [[TMP13:%.*]] = getelementptr i8, i8* [[Y]], i8 10
; X64-NEXT: [[TMP14:%.*]] = load i8, i8* [[TMP12]]
; X64-NEXT: [[TMP15:%.*]] = load i8, i8* [[TMP13]]
; X64-NEXT: [[TMP16:%.*]] = icmp ne i8 [[TMP14]], [[TMP15]]
; X64-NEXT: br i1 [[TMP16]], label [[RES_BLOCK]], label [[ENDBLOCK]]
; X64: endblock:
; X64-NEXT: [[PHI_RES:%.*]] = phi i32 [ 0, [[LOADBB2]] ], [ 1, [[RES_BLOCK]] ]
; X64-NEXT: [[CMP:%.*]] = icmp eq i32 [[PHI_RES]], 0
; X64-NEXT: [[CONV:%.*]] = zext i1 [[CMP]] to i32
; X64-NEXT: ret i32 [[CONV]]
; ;
%call = tail call i32 @memcmp(i8* %x, i8* %y, i64 11) %call = tail call i32 @memcmp(i8* %x, i8* %y, i64 11)
%cmp = icmp eq i32 %call, 0 %cmp = icmp eq i32 %call, 0
%conv = zext i1 %cmp to i32 %conv = zext i1 %cmp to i32
ret i32 %conv ret i32 %conv
} }
define i32 @cmp_eq12(i8* nocapture readonly %x, i8* nocapture readonly %y) { define i32 @cmp_eq12(i8* nocapture readonly %x, i8* nocapture readonly %y) {
; X32-LABEL: @cmp_eq12( ; X32-LABEL: @cmp_eq12(
; X32-NEXT: loadbb: ; X32-NEXT: [[CALL:%.*]] = tail call i32 @memcmp(i8* [[X:%.*]], i8* [[Y:%.*]], i64 12)
; X32-NEXT: [[TMP0:%.*]] = bitcast i8* [[X:%.*]] to i32* ; X32-NEXT: [[CMP:%.*]] = icmp eq i32 [[CALL]], 0
; X32-NEXT: [[TMP1:%.*]] = bitcast i8* [[Y:%.*]] to i32*
; X32-NEXT: [[TMP2:%.*]] = load i32, i32* [[TMP0]]
; X32-NEXT: [[TMP3:%.*]] = load i32, i32* [[TMP1]]
; X32-NEXT: [[TMP4:%.*]] = icmp ne i32 [[TMP2]], [[TMP3]]
; X32-NEXT: br i1 [[TMP4]], label [[RES_BLOCK:%.*]], label [[LOADBB1:%.*]]
; X32: res_block:
; X32-NEXT: br label [[ENDBLOCK:%.*]]
; X32: loadbb1:
; X32-NEXT: [[TMP5:%.*]] = bitcast i8* [[X]] to i32*
; X32-NEXT: [[TMP6:%.*]] = bitcast i8* [[Y]] to i32*
; X32-NEXT: [[TMP7:%.*]] = getelementptr i32, i32* [[TMP5]], i32 1
; X32-NEXT: [[TMP8:%.*]] = getelementptr i32, i32* [[TMP6]], i32 1
; X32-NEXT: [[TMP9:%.*]] = load i32, i32* [[TMP7]]
; X32-NEXT: [[TMP10:%.*]] = load i32, i32* [[TMP8]]
; X32-NEXT: [[TMP11:%.*]] = icmp ne i32 [[TMP9]], [[TMP10]]
; X32-NEXT: br i1 [[TMP11]], label [[RES_BLOCK]], label [[LOADBB2:%.*]]
; X32: loadbb2:
; X32-NEXT: [[TMP12:%.*]] = bitcast i8* [[X]] to i32*
; X32-NEXT: [[TMP13:%.*]] = bitcast i8* [[Y]] to i32*
; X32-NEXT: [[TMP14:%.*]] = getelementptr i32, i32* [[TMP12]], i32 2
; X32-NEXT: [[TMP15:%.*]] = getelementptr i32, i32* [[TMP13]], i32 2
; X32-NEXT: [[TMP16:%.*]] = load i32, i32* [[TMP14]]
; X32-NEXT: [[TMP17:%.*]] = load i32, i32* [[TMP15]]
; X32-NEXT: [[TMP18:%.*]] = icmp ne i32 [[TMP16]], [[TMP17]]
; X32-NEXT: br i1 [[TMP18]], label [[RES_BLOCK]], label [[ENDBLOCK]]
; X32: endblock:
; X32-NEXT: [[PHI_RES:%.*]] = phi i32 [ 0, [[LOADBB2]] ], [ 1, [[RES_BLOCK]] ]
; X32-NEXT: [[CMP:%.*]] = icmp eq i32 [[PHI_RES]], 0
; X32-NEXT: [[CONV:%.*]] = zext i1 [[CMP]] to i32 ; X32-NEXT: [[CONV:%.*]] = zext i1 [[CMP]] to i32
; X32-NEXT: ret i32 [[CONV]] ; X32-NEXT: ret i32 [[CONV]]
; ;
; X64-LABEL: @cmp_eq12( ; X64-LABEL: @cmp_eq12(
; X64-NEXT: loadbb: ; X64-NEXT: loadbb:
; X64-NEXT: [[TMP0:%.*]] = bitcast i8* [[X:%.*]] to i64* ; X64-NEXT: [[TMP0:%.*]] = bitcast i8* [[X:%.*]] to i64*
; X64-NEXT: [[TMP1:%.*]] = bitcast i8* [[Y:%.*]] to i64* ; X64-NEXT: [[TMP1:%.*]] = bitcast i8* [[Y:%.*]] to i64*
; X64-NEXT: [[TMP2:%.*]] = load i64, i64* [[TMP0]] ; X64-NEXT: [[TMP2:%.*]] = load i64, i64* [[TMP0]]
Show All 19 Lines
; ;
%call = tail call i32 @memcmp(i8* %x, i8* %y, i64 12) %call = tail call i32 @memcmp(i8* %x, i8* %y, i64 12)
%cmp = icmp eq i32 %call, 0 %cmp = icmp eq i32 %call, 0
%conv = zext i1 %cmp to i32 %conv = zext i1 %cmp to i32
ret i32 %conv ret i32 %conv
} }
define i32 @cmp_eq13(i8* nocapture readonly %x, i8* nocapture readonly %y) { define i32 @cmp_eq13(i8* nocapture readonly %x, i8* nocapture readonly %y) {
; X32-LABEL: @cmp_eq13( ; ALL-LABEL: @cmp_eq13(
; X32-NEXT: loadbb: ; ALL-NEXT: [[CALL:%.*]] = tail call i32 @memcmp(i8* [[X:%.*]], i8* [[Y:%.*]], i64 13)
; X32-NEXT: [[TMP0:%.*]] = bitcast i8* [[X:%.*]] to i32* ; ALL-NEXT: [[CMP:%.*]] = icmp eq i32 [[CALL]], 0
; X32-NEXT: [[TMP1:%.*]] = bitcast i8* [[Y:%.*]] to i32* ; ALL-NEXT: [[CONV:%.*]] = zext i1 [[CMP]] to i32
; X32-NEXT: [[TMP2:%.*]] = load i32, i32* [[TMP0]] ; ALL-NEXT: ret i32 [[CONV]]
; X32-NEXT: [[TMP3:%.*]] = load i32, i32* [[TMP1]]
; X32-NEXT: [[TMP4:%.*]] = icmp ne i32 [[TMP2]], [[TMP3]]
; X32-NEXT: br i1 [[TMP4]], label [[RES_BLOCK:%.*]], label [[LOADBB1:%.*]]
; X32: res_block:
; X32-NEXT: br label [[ENDBLOCK:%.*]]
; X32: loadbb1:
; X32-NEXT: [[TMP5:%.*]] = bitcast i8* [[X]] to i32*
; X32-NEXT: [[TMP6:%.*]] = bitcast i8* [[Y]] to i32*
; X32-NEXT: [[TMP7:%.*]] = getelementptr i32, i32* [[TMP5]], i32 1
; X32-NEXT: [[TMP8:%.*]] = getelementptr i32, i32* [[TMP6]], i32 1
; X32-NEXT: [[TMP9:%.*]] = load i32, i32* [[TMP7]]
; X32-NEXT: [[TMP10:%.*]] = load i32, i32* [[TMP8]]
; X32-NEXT: [[TMP11:%.*]] = icmp ne i32 [[TMP9]], [[TMP10]]
; X32-NEXT: br i1 [[TMP11]], label [[RES_BLOCK]], label [[LOADBB2:%.*]]
; X32: loadbb2:
; X32-NEXT: [[TMP12:%.*]] = bitcast i8* [[X]] to i32*
; X32-NEXT: [[TMP13:%.*]] = bitcast i8* [[Y]] to i32*
; X32-NEXT: [[TMP14:%.*]] = getelementptr i32, i32* [[TMP12]], i32 2
; X32-NEXT: [[TMP15:%.*]] = getelementptr i32, i32* [[TMP13]], i32 2
; X32-NEXT: [[TMP16:%.*]] = load i32, i32* [[TMP14]]
; X32-NEXT: [[TMP17:%.*]] = load i32, i32* [[TMP15]]
; X32-NEXT: [[TMP18:%.*]] = icmp ne i32 [[TMP16]], [[TMP17]]
; X32-NEXT: br i1 [[TMP18]], label [[RES_BLOCK]], label [[LOADBB3:%.*]]
; X32: loadbb3:
; X32-NEXT: [[TMP19:%.*]] = getelementptr i8, i8* [[X]], i8 12
; X32-NEXT: [[TMP20:%.*]] = getelementptr i8, i8* [[Y]], i8 12
; X32-NEXT: [[TMP21:%.*]] = load i8, i8* [[TMP19]]
; X32-NEXT: [[TMP22:%.*]] = load i8, i8* [[TMP20]]
; X32-NEXT: [[TMP23:%.*]] = icmp ne i8 [[TMP21]], [[TMP22]]
; X32-NEXT: br i1 [[TMP23]], label [[RES_BLOCK]], label [[ENDBLOCK]]
; X32: endblock:
; X32-NEXT: [[PHI_RES:%.*]] = phi i32 [ 0, [[LOADBB3]] ], [ 1, [[RES_BLOCK]] ]
; X32-NEXT: [[CMP:%.*]] = icmp eq i32 [[PHI_RES]], 0
; X32-NEXT: [[CONV:%.*]] = zext i1 [[CMP]] to i32
; X32-NEXT: ret i32 [[CONV]]
;
; X64-LABEL: @cmp_eq13(
; X64-NEXT: loadbb:
; X64-NEXT: [[TMP0:%.*]] = bitcast i8* [[X:%.*]] to i64*
; X64-NEXT: [[TMP1:%.*]] = bitcast i8* [[Y:%.*]] to i64*
; X64-NEXT: [[TMP2:%.*]] = load i64, i64* [[TMP0]]
; X64-NEXT: [[TMP3:%.*]] = load i64, i64* [[TMP1]]
; X64-NEXT: [[TMP4:%.*]] = icmp ne i64 [[TMP2]], [[TMP3]]
; X64-NEXT: br i1 [[TMP4]], label [[RES_BLOCK:%.*]], label [[LOADBB1:%.*]]
; X64: res_block:
; X64-NEXT: br label [[ENDBLOCK:%.*]]
; X64: loadbb1:
; X64-NEXT: [[TMP5:%.*]] = bitcast i8* [[X]] to i32*
; X64-NEXT: [[TMP6:%.*]] = bitcast i8* [[Y]] to i32*
; X64-NEXT: [[TMP7:%.*]] = getelementptr i32, i32* [[TMP5]], i32 2
; X64-NEXT: [[TMP8:%.*]] = getelementptr i32, i32* [[TMP6]], i32 2
; X64-NEXT: [[TMP9:%.*]] = load i32, i32* [[TMP7]]
; X64-NEXT: [[TMP10:%.*]] = load i32, i32* [[TMP8]]
; X64-NEXT: [[TMP11:%.*]] = icmp ne i32 [[TMP9]], [[TMP10]]
; X64-NEXT: br i1 [[TMP11]], label [[RES_BLOCK]], label [[LOADBB2:%.*]]
; X64: loadbb2:
; X64-NEXT: [[TMP12:%.*]] = getelementptr i8, i8* [[X]], i8 12
; X64-NEXT: [[TMP13:%.*]] = getelementptr i8, i8* [[Y]], i8 12
; X64-NEXT: [[TMP14:%.*]] = load i8, i8* [[TMP12]]
; X64-NEXT: [[TMP15:%.*]] = load i8, i8* [[TMP13]]
; X64-NEXT: [[TMP16:%.*]] = icmp ne i8 [[TMP14]], [[TMP15]]
; X64-NEXT: br i1 [[TMP16]], label [[RES_BLOCK]], label [[ENDBLOCK]]
; X64: endblock:
; X64-NEXT: [[PHI_RES:%.*]] = phi i32 [ 0, [[LOADBB2]] ], [ 1, [[RES_BLOCK]] ]
; X64-NEXT: [[CMP:%.*]] = icmp eq i32 [[PHI_RES]], 0
; X64-NEXT: [[CONV:%.*]] = zext i1 [[CMP]] to i32
; X64-NEXT: ret i32 [[CONV]]
; ;
%call = tail call i32 @memcmp(i8* %x, i8* %y, i64 13) %call = tail call i32 @memcmp(i8* %x, i8* %y, i64 13)
%cmp = icmp eq i32 %call, 0 %cmp = icmp eq i32 %call, 0
%conv = zext i1 %cmp to i32 %conv = zext i1 %cmp to i32
ret i32 %conv ret i32 %conv
} }
define i32 @cmp_eq14(i8* nocapture readonly %x, i8* nocapture readonly %y) { define i32 @cmp_eq14(i8* nocapture readonly %x, i8* nocapture readonly %y) {
; X32-LABEL: @cmp_eq14( ; ALL-LABEL: @cmp_eq14(
; X32-NEXT: loadbb: ; ALL-NEXT: [[CALL:%.*]] = tail call i32 @memcmp(i8* [[X:%.*]], i8* [[Y:%.*]], i64 14)
; X32-NEXT: [[TMP0:%.*]] = bitcast i8* [[X:%.*]] to i32* ; ALL-NEXT: [[CMP:%.*]] = icmp eq i32 [[CALL]], 0
; X32-NEXT: [[TMP1:%.*]] = bitcast i8* [[Y:%.*]] to i32* ; ALL-NEXT: [[CONV:%.*]] = zext i1 [[CMP]] to i32
; X32-NEXT: [[TMP2:%.*]] = load i32, i32* [[TMP0]] ; ALL-NEXT: ret i32 [[CONV]]
; X32-NEXT: [[TMP3:%.*]] = load i32, i32* [[TMP1]]
; X32-NEXT: [[TMP4:%.*]] = icmp ne i32 [[TMP2]], [[TMP3]]
; X32-NEXT: br i1 [[TMP4]], label [[RES_BLOCK:%.*]], label [[LOADBB1:%.*]]
; X32: res_block:
; X32-NEXT: br label [[ENDBLOCK:%.*]]
; X32: loadbb1:
; X32-NEXT: [[TMP5:%.*]] = bitcast i8* [[X]] to i32*
; X32-NEXT: [[TMP6:%.*]] = bitcast i8* [[Y]] to i32*
; X32-NEXT: [[TMP7:%.*]] = getelementptr i32, i32* [[TMP5]], i32 1
; X32-NEXT: [[TMP8:%.*]] = getelementptr i32, i32* [[TMP6]], i32 1
; X32-NEXT: [[TMP9:%.*]] = load i32, i32* [[TMP7]]
; X32-NEXT: [[TMP10:%.*]] = load i32, i32* [[TMP8]]
; X32-NEXT: [[TMP11:%.*]] = icmp ne i32 [[TMP9]], [[TMP10]]
; X32-NEXT: br i1 [[TMP11]], label [[RES_BLOCK]], label [[LOADBB2:%.*]]
; X32: loadbb2:
; X32-NEXT: [[TMP12:%.*]] = bitcast i8* [[X]] to i32*
; X32-NEXT: [[TMP13:%.*]] = bitcast i8* [[Y]] to i32*
; X32-NEXT: [[TMP14:%.*]] = getelementptr i32, i32* [[TMP12]], i32 2
; X32-NEXT: [[TMP15:%.*]] = getelementptr i32, i32* [[TMP13]], i32 2
; X32-NEXT: [[TMP16:%.*]] = load i32, i32* [[TMP14]]
; X32-NEXT: [[TMP17:%.*]] = load i32, i32* [[TMP15]]
; X32-NEXT: [[TMP18:%.*]] = icmp ne i32 [[TMP16]], [[TMP17]]
; X32-NEXT: br i1 [[TMP18]], label [[RES_BLOCK]], label [[LOADBB3:%.*]]
; X32: loadbb3:
; X32-NEXT: [[TMP19:%.*]] = bitcast i8* [[X]] to i16*
; X32-NEXT: [[TMP20:%.*]] = bitcast i8* [[Y]] to i16*
; X32-NEXT: [[TMP21:%.*]] = getelementptr i16, i16* [[TMP19]], i16 6
; X32-NEXT: [[TMP22:%.*]] = getelementptr i16, i16* [[TMP20]], i16 6
; X32-NEXT: [[TMP23:%.*]] = load i16, i16* [[TMP21]]
; X32-NEXT: [[TMP24:%.*]] = load i16, i16* [[TMP22]]
; X32-NEXT: [[TMP25:%.*]] = icmp ne i16 [[TMP23]], [[TMP24]]
; X32-NEXT: br i1 [[TMP25]], label [[RES_BLOCK]], label [[ENDBLOCK]]
; X32: endblock:
; X32-NEXT: [[PHI_RES:%.*]] = phi i32 [ 0, [[LOADBB3]] ], [ 1, [[RES_BLOCK]] ]
; X32-NEXT: [[CMP:%.*]] = icmp eq i32 [[PHI_RES]], 0
; X32-NEXT: [[CONV:%.*]] = zext i1 [[CMP]] to i32
; X32-NEXT: ret i32 [[CONV]]
;
; X64-LABEL: @cmp_eq14(
; X64-NEXT: loadbb:
; X64-NEXT: [[TMP0:%.*]] = bitcast i8* [[X:%.*]] to i64*
; X64-NEXT: [[TMP1:%.*]] = bitcast i8* [[Y:%.*]] to i64*
; X64-NEXT: [[TMP2:%.*]] = load i64, i64* [[TMP0]]
; X64-NEXT: [[TMP3:%.*]] = load i64, i64* [[TMP1]]
; X64-NEXT: [[TMP4:%.*]] = icmp ne i64 [[TMP2]], [[TMP3]]
; X64-NEXT: br i1 [[TMP4]], label [[RES_BLOCK:%.*]], label [[LOADBB1:%.*]]
; X64: res_block:
; X64-NEXT: br label [[ENDBLOCK:%.*]]
; X64: loadbb1:
; X64-NEXT: [[TMP5:%.*]] = bitcast i8* [[X]] to i32*
; X64-NEXT: [[TMP6:%.*]] = bitcast i8* [[Y]] to i32*
; X64-NEXT: [[TMP7:%.*]] = getelementptr i32, i32* [[TMP5]], i32 2
; X64-NEXT: [[TMP8:%.*]] = getelementptr i32, i32* [[TMP6]], i32 2
; X64-NEXT: [[TMP9:%.*]] = load i32, i32* [[TMP7]]
; X64-NEXT: [[TMP10:%.*]] = load i32, i32* [[TMP8]]
; X64-NEXT: [[TMP11:%.*]] = icmp ne i32 [[TMP9]], [[TMP10]]
; X64-NEXT: br i1 [[TMP11]], label [[RES_BLOCK]], label [[LOADBB2:%.*]]
; X64: loadbb2:
; X64-NEXT: [[TMP12:%.*]] = bitcast i8* [[X]] to i16*
; X64-NEXT: [[TMP13:%.*]] = bitcast i8* [[Y]] to i16*
; X64-NEXT: [[TMP14:%.*]] = getelementptr i16, i16* [[TMP12]], i16 6
; X64-NEXT: [[TMP15:%.*]] = getelementptr i16, i16* [[TMP13]], i16 6
; X64-NEXT: [[TMP16:%.*]] = load i16, i16* [[TMP14]]
; X64-NEXT: [[TMP17:%.*]] = load i16, i16* [[TMP15]]
; X64-NEXT: [[TMP18:%.*]] = icmp ne i16 [[TMP16]], [[TMP17]]
; X64-NEXT: br i1 [[TMP18]], label [[RES_BLOCK]], label [[ENDBLOCK]]
; X64: endblock:
; X64-NEXT: [[PHI_RES:%.*]] = phi i32 [ 0, [[LOADBB2]] ], [ 1, [[RES_BLOCK]] ]
; X64-NEXT: [[CMP:%.*]] = icmp eq i32 [[PHI_RES]], 0
; X64-NEXT: [[CONV:%.*]] = zext i1 [[CMP]] to i32
; X64-NEXT: ret i32 [[CONV]]
; ;
%call = tail call i32 @memcmp(i8* %x, i8* %y, i64 14) %call = tail call i32 @memcmp(i8* %x, i8* %y, i64 14)
%cmp = icmp eq i32 %call, 0 %cmp = icmp eq i32 %call, 0
%conv = zext i1 %cmp to i32 %conv = zext i1 %cmp to i32
ret i32 %conv ret i32 %conv
} }
define i32 @cmp_eq15(i8* nocapture readonly %x, i8* nocapture readonly %y) { define i32 @cmp_eq15(i8* nocapture readonly %x, i8* nocapture readonly %y) {
; X32-LABEL: @cmp_eq15( ; ALL-LABEL: @cmp_eq15(
; X32-NEXT: [[CALL:%.*]] = tail call i32 @memcmp(i8* [[X:%.*]], i8* [[Y:%.*]], i64 15) ; ALL-NEXT: [[CALL:%.*]] = tail call i32 @memcmp(i8* [[X:%.*]], i8* [[Y:%.*]], i64 15)
; X32-NEXT: [[CMP:%.*]] = icmp eq i32 [[CALL]], 0 ; ALL-NEXT: [[CMP:%.*]] = icmp eq i32 [[CALL]], 0
; X32-NEXT: [[CONV:%.*]] = zext i1 [[CMP]] to i32 ; ALL-NEXT: [[CONV:%.*]] = zext i1 [[CMP]] to i32
; X32-NEXT: ret i32 [[CONV]] ; ALL-NEXT: ret i32 [[CONV]]
;
; X64-LABEL: @cmp_eq15(
; X64-NEXT: loadbb:
; X64-NEXT: [[TMP0:%.*]] = bitcast i8* [[X:%.*]] to i64*
; X64-NEXT: [[TMP1:%.*]] = bitcast i8* [[Y:%.*]] to i64*
; X64-NEXT: [[TMP2:%.*]] = load i64, i64* [[TMP0]]
; X64-NEXT: [[TMP3:%.*]] = load i64, i64* [[TMP1]]
; X64-NEXT: [[TMP4:%.*]] = icmp ne i64 [[TMP2]], [[TMP3]]
; X64-NEXT: br i1 [[TMP4]], label [[RES_BLOCK:%.*]], label [[LOADBB1:%.*]]
; X64: res_block:
; X64-NEXT: br label [[ENDBLOCK:%.*]]
; X64: loadbb1:
; X64-NEXT: [[TMP5:%.*]] = bitcast i8* [[X]] to i32*
; X64-NEXT: [[TMP6:%.*]] = bitcast i8* [[Y]] to i32*
; X64-NEXT: [[TMP7:%.*]] = getelementptr i32, i32* [[TMP5]], i32 2
; X64-NEXT: [[TMP8:%.*]] = getelementptr i32, i32* [[TMP6]], i32 2
; X64-NEXT: [[TMP9:%.*]] = load i32, i32* [[TMP7]]
; X64-NEXT: [[TMP10:%.*]] = load i32, i32* [[TMP8]]
; X64-NEXT: [[TMP11:%.*]] = icmp ne i32 [[TMP9]], [[TMP10]]
; X64-NEXT: br i1 [[TMP11]], label [[RES_BLOCK]], label [[LOADBB2:%.*]]
; X64: loadbb2:
; X64-NEXT: [[TMP12:%.*]] = bitcast i8* [[X]] to i16*
; X64-NEXT: [[TMP13:%.*]] = bitcast i8* [[Y]] to i16*
; X64-NEXT: [[TMP14:%.*]] = getelementptr i16, i16* [[TMP12]], i16 6
; X64-NEXT: [[TMP15:%.*]] = getelementptr i16, i16* [[TMP13]], i16 6
; X64-NEXT: [[TMP16:%.*]] = load i16, i16* [[TMP14]]
; X64-NEXT: [[TMP17:%.*]] = load i16, i16* [[TMP15]]
; X64-NEXT: [[TMP18:%.*]] = icmp ne i16 [[TMP16]], [[TMP17]]
; X64-NEXT: br i1 [[TMP18]], label [[RES_BLOCK]], label [[LOADBB3:%.*]]
; X64: loadbb3:
; X64-NEXT: [[TMP19:%.*]] = getelementptr i8, i8* [[X]], i8 14
; X64-NEXT: [[TMP20:%.*]] = getelementptr i8, i8* [[Y]], i8 14
; X64-NEXT: [[TMP21:%.*]] = load i8, i8* [[TMP19]]
; X64-NEXT: [[TMP22:%.*]] = load i8, i8* [[TMP20]]
; X64-NEXT: [[TMP23:%.*]] = icmp ne i8 [[TMP21]], [[TMP22]]
; X64-NEXT: br i1 [[TMP23]], label [[RES_BLOCK]], label [[ENDBLOCK]]
; X64: endblock:
; X64-NEXT: [[PHI_RES:%.*]] = phi i32 [ 0, [[LOADBB3]] ], [ 1, [[RES_BLOCK]] ]
; X64-NEXT: [[CMP:%.*]] = icmp eq i32 [[PHI_RES]], 0
; X64-NEXT: [[CONV:%.*]] = zext i1 [[CMP]] to i32
; X64-NEXT: ret i32 [[CONV]]
; ;
%call = tail call i32 @memcmp(i8* %x, i8* %y, i64 15) %call = tail call i32 @memcmp(i8* %x, i8* %y, i64 15)
%cmp = icmp eq i32 %call, 0 %cmp = icmp eq i32 %call, 0
%conv = zext i1 %cmp to i32 %conv = zext i1 %cmp to i32
ret i32 %conv ret i32 %conv
} }
define i32 @cmp_eq16(i8* nocapture readonly %x, i8* nocapture readonly %y) { define i32 @cmp_eq16(i8* nocapture readonly %x, i8* nocapture readonly %y) {
; X32-LABEL: @cmp_eq16( ; X32-LABEL: @cmp_eq16(
; X32-NEXT: loadbb: ; X32-NEXT: [[CALL:%.*]] = tail call i32 @memcmp(i8* [[X:%.*]], i8* [[Y:%.*]], i64 16)
; X32-NEXT: [[TMP0:%.*]] = bitcast i8* [[X:%.*]] to i32* ; X32-NEXT: [[CMP:%.*]] = icmp eq i32 [[CALL]], 0
; X32-NEXT: [[TMP1:%.*]] = bitcast i8* [[Y:%.*]] to i32*
; X32-NEXT: [[TMP2:%.*]] = load i32, i32* [[TMP0]]
; X32-NEXT: [[TMP3:%.*]] = load i32, i32* [[TMP1]]
; X32-NEXT: [[TMP4:%.*]] = icmp ne i32 [[TMP2]], [[TMP3]]
; X32-NEXT: br i1 [[TMP4]], label [[RES_BLOCK:%.*]], label [[LOADBB1:%.*]]
; X32: res_block:
; X32-NEXT: br label [[ENDBLOCK:%.*]]
; X32: loadbb1:
; X32-NEXT: [[TMP5:%.*]] = bitcast i8* [[X]] to i32*
; X32-NEXT: [[TMP6:%.*]] = bitcast i8* [[Y]] to i32*
; X32-NEXT: [[TMP7:%.*]] = getelementptr i32, i32* [[TMP5]], i32 1
; X32-NEXT: [[TMP8:%.*]] = getelementptr i32, i32* [[TMP6]], i32 1
; X32-NEXT: [[TMP9:%.*]] = load i32, i32* [[TMP7]]
; X32-NEXT: [[TMP10:%.*]] = load i32, i32* [[TMP8]]
; X32-NEXT: [[TMP11:%.*]] = icmp ne i32 [[TMP9]], [[TMP10]]
; X32-NEXT: br i1 [[TMP11]], label [[RES_BLOCK]], label [[LOADBB2:%.*]]
; X32: loadbb2:
; X32-NEXT: [[TMP12:%.*]] = bitcast i8* [[X]] to i32*
; X32-NEXT: [[TMP13:%.*]] = bitcast i8* [[Y]] to i32*
; X32-NEXT: [[TMP14:%.*]] = getelementptr i32, i32* [[TMP12]], i32 2
; X32-NEXT: [[TMP15:%.*]] = getelementptr i32, i32* [[TMP13]], i32 2
; X32-NEXT: [[TMP16:%.*]] = load i32, i32* [[TMP14]]
; X32-NEXT: [[TMP17:%.*]] = load i32, i32* [[TMP15]]
; X32-NEXT: [[TMP18:%.*]] = icmp ne i32 [[TMP16]], [[TMP17]]
; X32-NEXT: br i1 [[TMP18]], label [[RES_BLOCK]], label [[LOADBB3:%.*]]
; X32: loadbb3:
; X32-NEXT: [[TMP19:%.*]] = bitcast i8* [[X]] to i32*
; X32-NEXT: [[TMP20:%.*]] = bitcast i8* [[Y]] to i32*
; X32-NEXT: [[TMP21:%.*]] = getelementptr i32, i32* [[TMP19]], i32 3
; X32-NEXT: [[TMP22:%.*]] = getelementptr i32, i32* [[TMP20]], i32 3
; X32-NEXT: [[TMP23:%.*]] = load i32, i32* [[TMP21]]
; X32-NEXT: [[TMP24:%.*]] = load i32, i32* [[TMP22]]
; X32-NEXT: [[TMP25:%.*]] = icmp ne i32 [[TMP23]], [[TMP24]]
; X32-NEXT: br i1 [[TMP25]], label [[RES_BLOCK]], label [[ENDBLOCK]]
; X32: endblock:
; X32-NEXT: [[PHI_RES:%.*]] = phi i32 [ 0, [[LOADBB3]] ], [ 1, [[RES_BLOCK]] ]
; X32-NEXT: [[CMP:%.*]] = icmp eq i32 [[PHI_RES]], 0
; X32-NEXT: [[CONV:%.*]] = zext i1 [[CMP]] to i32 ; X32-NEXT: [[CONV:%.*]] = zext i1 [[CMP]] to i32
; X32-NEXT: ret i32 [[CONV]] ; X32-NEXT: ret i32 [[CONV]]
; ;
; X64-LABEL: @cmp_eq16( ; X64-LABEL: @cmp_eq16(
; X64-NEXT: loadbb: ; X64-NEXT: loadbb:
; X64-NEXT: [[TMP0:%.*]] = bitcast i8* [[X:%.*]] to i64* ; X64-NEXT: [[TMP0:%.*]] = bitcast i8* [[X:%.*]] to i64*
; X64-NEXT: [[TMP1:%.*]] = bitcast i8* [[Y:%.*]] to i64* ; X64-NEXT: [[TMP1:%.*]] = bitcast i8* [[Y:%.*]] to i64*
; X64-NEXT: [[TMP2:%.*]] = load i64, i64* [[TMP0]] ; X64-NEXT: [[TMP2:%.*]] = load i64, i64* [[TMP0]]
Show All 26 Lines