This is an archive of the discontinued LLVM Phabricator instance.

Differential D34416

[CGP] eliminate a sub instruction in memcmp expansion
ClosedPublic

Authored by spatel on Jun 20 2017, 12:41 PM.

Details

Reviewers
echristo
hfinkel
nemanjai
efriedma
Commits
rG70b36f193df2: [CGP] eliminate a sub instruction in memcmp expansion
rL306471: [CGP] eliminate a sub instruction in memcmp expansion
Summary

As noted in D34071, there are some IR optimization opportunities that could be handled by normal IR passes if this expansion wasn't happening so late in CGP.

Regardless of that, it seems wasteful to knowingly produce suboptimal IR here, so I'm proposing this change:
%s = sub i32 %x, %y
%r = icmp ne %s, 0

=>

%r = icmp ne %x, %y

Changing the predicate to 'eq' mimics what InstCombine would do, so that's just an efficiency improvement if we decide this expansion should happen sooner.

The fact that the PowerPC backend doesn't eliminate the 'subf.' might be something for PPC folks to investigate separately.

Diff Detail

Repository
rL LLVM

Event Timeline

spatel created this revision.Jun 20 2017, 12:41 PM
Herald added a subscriber: mcrosier. · View Herald TranscriptJun 20 2017, 12:41 PM
spatel added a comment.Jun 27 2017, 9:28 AM

Ping.

efriedma accepted this revision.Jun 27 2017, 2:27 PM

LGTM

This revision is now accepted and ready to land.Jun 27 2017, 2:27 PM
Closed by commit rL306471: [CGP] eliminate a sub instruction in memcmp expansion (authored by spatel). · Explain WhyJun 27 2017, 2:46 PM
This revision was automatically updated to reflect the committed changes.

Revision Contents

PathSize
llvm/
trunk/
lib/
CodeGen/
7 lines
test/
CodeGen/
PowerPC/
32 lines
15 lines
72 lines
X86/
85 lines
Transforms/
CodeGenPrepare/
X86/
55 lines

Diff 104280

llvm/trunk/lib/CodeGen/CodeGenPrepare.cpp

Show First 20 Lines • Show All 1,981 Lines • ▼ Show 20 Linesvoid MemCmpExpansion::emitLoadCompareBlock(unsigned Index, unsigned LoadSize,
// Add the loaded values to the phi nodes for calculating memcmp result only // Add the loaded values to the phi nodes for calculating memcmp result only
// if result is not used in a zero equality. // if result is not used in a zero equality.
if (!IsUsedForZeroCmp) { if (!IsUsedForZeroCmp) {
ResBlock.PhiSrc1->addIncoming(LoadSrc1, LoadCmpBlocks[Index]); ResBlock.PhiSrc1->addIncoming(LoadSrc1, LoadCmpBlocks[Index]);
ResBlock.PhiSrc2->addIncoming(LoadSrc2, LoadCmpBlocks[Index]); ResBlock.PhiSrc2->addIncoming(LoadSrc2, LoadCmpBlocks[Index]);
} }
Value *Diff = Builder.CreateSub(LoadSrc1, LoadSrc2); Value *Cmp = Builder.CreateICmp(ICmpInst::ICMP_EQ, LoadSrc1, LoadSrc2);
Value *Cmp = Builder.CreateICmp(ICmpInst::ICMP_NE, Diff,
ConstantInt::get(Diff->getType(), 0));
BasicBlock *NextBB = (Index == (LoadCmpBlocks.size() - 1)) BasicBlock *NextBB = (Index == (LoadCmpBlocks.size() - 1))
? EndBlock ? EndBlock
: LoadCmpBlocks[Index + 1]; : LoadCmpBlocks[Index + 1];
// Early exit branch if difference found to ResultBlock. Otherwise, continue // Early exit branch if difference found to ResultBlock. Otherwise, continue
// to next LoadCmpBlock or EndBlock. // to next LoadCmpBlock or EndBlock.
BranchInst *CmpBr = BranchInst::Create(ResBlock.BB, NextBB, Cmp); BranchInst *CmpBr = BranchInst::Create(NextBB, ResBlock.BB, Cmp);
Builder.Insert(CmpBr); Builder.Insert(CmpBr);
// Add a phi edge for the last LoadCmpBlock to Endblock with a value of 0 // Add a phi edge for the last LoadCmpBlock to Endblock with a value of 0
// since early exit to ResultBlock was not taken (no difference was found in // since early exit to ResultBlock was not taken (no difference was found in
// any of the bytes). // any of the bytes).
if (Index == LoadCmpBlocks.size() - 1) { if (Index == LoadCmpBlocks.size() - 1) {
Value *Zero = ConstantInt::get(Type::getInt32Ty(CI->getContext()), 0); Value *Zero = ConstantInt::get(Type::getInt32Ty(CI->getContext()), 0);
PhiRes->addIncoming(Zero, LoadCmpBlocks[Index]); PhiRes->addIncoming(Zero, LoadCmpBlocks[Index]);
▲ Show 20 Lines • Show All 4,459 Lines • Show Last 20 Lines

llvm/trunk/test/CodeGen/PowerPC/memCmpUsedInZeroEqualityComparison.ll

Show First 20 Lines • Show All 94 Lines • ▼ Show 20 Lines
; CHECK-LABEL: zeroEqualityTest04: ; CHECK-LABEL: zeroEqualityTest04:
; CHECK: # BB#0: # %loadbb ; CHECK: # BB#0: # %loadbb
; CHECK-NEXT: addis 3, 2, .LzeroEqualityTest02.buffer1@toc@ha ; CHECK-NEXT: addis 3, 2, .LzeroEqualityTest02.buffer1@toc@ha
; CHECK-NEXT: addis 4, 2, .LzeroEqualityTest02.buffer2@toc@ha ; CHECK-NEXT: addis 4, 2, .LzeroEqualityTest02.buffer2@toc@ha
; CHECK-NEXT: addi 6, 3, .LzeroEqualityTest02.buffer1@toc@l ; CHECK-NEXT: addi 6, 3, .LzeroEqualityTest02.buffer1@toc@l
; CHECK-NEXT: addi 5, 4, .LzeroEqualityTest02.buffer2@toc@l ; CHECK-NEXT: addi 5, 4, .LzeroEqualityTest02.buffer2@toc@l
; CHECK-NEXT: ldbrx 3, 0, 6 ; CHECK-NEXT: ldbrx 3, 0, 6
; CHECK-NEXT: ldbrx 4, 0, 5 ; CHECK-NEXT: ldbrx 4, 0, 5
; CHECK-NEXT: subf. 7, 4, 3 ; CHECK-NEXT: cmpld 3, 4
; CHECK-NEXT: bne 0, .LBB3_2 ; CHECK-NEXT: bne 0, .LBB3_2
; CHECK-NEXT: # BB#1: # %loadbb1 ; CHECK-NEXT: # BB#1: # %loadbb1
; CHECK-NEXT: li 4, 8 ; CHECK-NEXT: li 4, 8
; CHECK-NEXT: ldbrx 3, 6, 4 ; CHECK-NEXT: ldbrx 3, 6, 4
; CHECK-NEXT: ldbrx 4, 5, 4 ; CHECK-NEXT: ldbrx 4, 5, 4
; CHECK-NEXT: subf. 5, 4, 3 ; CHECK-NEXT: li 5, 0
; CHECK-NEXT: beq 0, .LBB3_4 ; CHECK-NEXT: cmpld 3, 4
; CHECK-NEXT: beq 0, .LBB3_3
; CHECK-NEXT: .LBB3_2: # %res_block ; CHECK-NEXT: .LBB3_2: # %res_block
; CHECK-NEXT: cmpld 3, 4 ; CHECK-NEXT: cmpld 3, 4
; CHECK-NEXT: li 3, 1 ; CHECK-NEXT: li 11, 1
; CHECK-NEXT: li 12, -1 ; CHECK-NEXT: li 12, -1
; CHECK-NEXT: isel 3, 12, 3, 0 ; CHECK-NEXT: isel 5, 12, 11, 0
; CHECK-NEXT: .LBB3_3: # %endblock ; CHECK-NEXT: .LBB3_3: # %endblock
; CHECK-NEXT: cmpwi 3, 1 ; CHECK-NEXT: cmpwi 5, 1
; CHECK-NEXT: li 3, 0 ; CHECK-NEXT: li 3, 0
; CHECK-NEXT: li 4, 1 ; CHECK-NEXT: li 4, 1
; CHECK-NEXT: isel 3, 4, 3, 0 ; CHECK-NEXT: isel 3, 4, 3, 0
; CHECK-NEXT: blr ; CHECK-NEXT: blr
; CHECK-NEXT: .LBB3_4:
; CHECK-NEXT: li 3, 0
; CHECK-NEXT: b .LBB3_3
%call = tail call signext i32 @memcmp(i8* bitcast ([4 x i32]* @zeroEqualityTest02.buffer1 to i8*), i8* bitcast ([4 x i32]* @zeroEqualityTest02.buffer2 to i8*), i64 16) %call = tail call signext i32 @memcmp(i8* bitcast ([4 x i32]* @zeroEqualityTest02.buffer1 to i8*), i8* bitcast ([4 x i32]* @zeroEqualityTest02.buffer2 to i8*), i64 16)
%not.cmp = icmp slt i32 %call, 1 %not.cmp = icmp slt i32 %call, 1
%. = zext i1 %not.cmp to i32 %. = zext i1 %not.cmp to i32
ret i32 %. ret i32 %.
} }
; Validate with < 0 ; Validate with < 0
define signext i32 @zeroEqualityTest05() { define signext i32 @zeroEqualityTest05() {
; CHECK-LABEL: zeroEqualityTest05: ; CHECK-LABEL: zeroEqualityTest05:
; CHECK: # BB#0: # %loadbb ; CHECK: # BB#0: # %loadbb
; CHECK-NEXT: addis 3, 2, .LzeroEqualityTest03.buffer1@toc@ha ; CHECK-NEXT: addis 3, 2, .LzeroEqualityTest03.buffer1@toc@ha
; CHECK-NEXT: addis 4, 2, .LzeroEqualityTest03.buffer2@toc@ha ; CHECK-NEXT: addis 4, 2, .LzeroEqualityTest03.buffer2@toc@ha
; CHECK-NEXT: addi 6, 3, .LzeroEqualityTest03.buffer1@toc@l ; CHECK-NEXT: addi 6, 3, .LzeroEqualityTest03.buffer1@toc@l
; CHECK-NEXT: addi 5, 4, .LzeroEqualityTest03.buffer2@toc@l ; CHECK-NEXT: addi 5, 4, .LzeroEqualityTest03.buffer2@toc@l
; CHECK-NEXT: ldbrx 3, 0, 6 ; CHECK-NEXT: ldbrx 3, 0, 6
; CHECK-NEXT: ldbrx 4, 0, 5 ; CHECK-NEXT: ldbrx 4, 0, 5
; CHECK-NEXT: subf. 7, 4, 3 ; CHECK-NEXT: cmpld 3, 4
; CHECK-NEXT: bne 0, .LBB4_2 ; CHECK-NEXT: bne 0, .LBB4_2
; CHECK-NEXT: # BB#1: # %loadbb1 ; CHECK-NEXT: # BB#1: # %loadbb1
; CHECK-NEXT: li 4, 8 ; CHECK-NEXT: li 4, 8
; CHECK-NEXT: ldbrx 3, 6, 4 ; CHECK-NEXT: ldbrx 3, 6, 4
; CHECK-NEXT: ldbrx 4, 5, 4 ; CHECK-NEXT: ldbrx 4, 5, 4
; CHECK-NEXT: subf. 5, 4, 3 ; CHECK-NEXT: li 5, 0
; CHECK-NEXT: beq 0, .LBB4_4 ; CHECK-NEXT: cmpld 3, 4
; CHECK-NEXT: beq 0, .LBB4_3
; CHECK-NEXT: .LBB4_2: # %res_block ; CHECK-NEXT: .LBB4_2: # %res_block
; CHECK-NEXT: cmpld 3, 4 ; CHECK-NEXT: cmpld 3, 4
; CHECK-NEXT: li 3, 1 ; CHECK-NEXT: li 11, 1
; CHECK-NEXT: li 12, -1 ; CHECK-NEXT: li 12, -1
; CHECK-NEXT: isel 3, 12, 3, 0 ; CHECK-NEXT: isel 5, 12, 11, 0
; CHECK-NEXT: .LBB4_3: # %endblock ; CHECK-NEXT: .LBB4_3: # %endblock
; CHECK-NEXT: srwi 3, 3, 31 ; CHECK-NEXT: srwi 3, 5, 31
; CHECK-NEXT: xori 3, 3, 1 ; CHECK-NEXT: xori 3, 3, 1
; CHECK-NEXT: clrldi 3, 3, 32 ; CHECK-NEXT: clrldi 3, 3, 32
; CHECK-NEXT: blr ; CHECK-NEXT: blr
; CHECK-NEXT: .LBB4_4:
; CHECK-NEXT: li 3, 0
; CHECK-NEXT: b .LBB4_3
%call = tail call signext i32 @memcmp(i8* bitcast ([4 x i32]* @zeroEqualityTest03.buffer1 to i8*), i8* bitcast ([4 x i32]* @zeroEqualityTest03.buffer2 to i8*), i64 16) %call = tail call signext i32 @memcmp(i8* bitcast ([4 x i32]* @zeroEqualityTest03.buffer1 to i8*), i8* bitcast ([4 x i32]* @zeroEqualityTest03.buffer2 to i8*), i64 16)
%call.lobit = lshr i32 %call, 31 %call.lobit = lshr i32 %call, 31
%call.lobit.not = xor i32 %call.lobit, 1 %call.lobit.not = xor i32 %call.lobit, 1
ret i32 %call.lobit.not ret i32 %call.lobit.not
} }
; Validate with memcmp()?: ; Validate with memcmp()?:
define signext i32 @equalityFoldTwoConstants() { define signext i32 @equalityFoldTwoConstants() {
▲ Show 20 Lines • Show All 62 Lines • Show Last 20 Lines

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

; RUN: llc -verify-machineinstrs -mcpu=pwr8 -mtriple=powerpc64le-unknown-gnu-linux < %s | FileCheck %s -check-prefix=CHECK ; RUN: llc -verify-machineinstrs -mcpu=pwr8 -mtriple=powerpc64le-unknown-gnu-linux < %s | FileCheck %s -check-prefix=CHECK
; Check size 8 ; Check size 8
; Function Attrs: nounwind readonly ; Function Attrs: nounwind readonly
define signext i32 @test1(i32* nocapture readonly %buffer1, i32* nocapture readonly %buffer2) local_unnamed_addr #0 { define signext i32 @test1(i32* nocapture readonly %buffer1, i32* nocapture readonly %buffer2) local_unnamed_addr #0 {
entry: entry:
%0 = bitcast i32* %buffer1 to i8* %0 = bitcast i32* %buffer1 to i8*
%1 = bitcast i32* %buffer2 to i8* %1 = bitcast i32* %buffer2 to i8*
%call = tail call signext i32 @memcmp(i8* %0, i8* %1, i64 8) #2 %call = tail call signext i32 @memcmp(i8* %0, i8* %1, i64 8) #2
ret i32 %call ret i32 %call
; CHECK-LABEL: @test1 ; CHECK-LABEL: @test1
; CHECK: ldbrx [[LOAD1:[0-9]+]] ; CHECK: ldbrx [[LOAD1:[0-9]+]]
; CHECK-NEXT: ldbrx [[LOAD2:[0-9]+]] ; CHECK-NEXT: ldbrx [[LOAD2:[0-9]+]]
; CHECK-NEXT: li [[LI:[0-9]+]], 1 ; CHECK-NEXT: li [[LI:[0-9]+]], 1
; CHECK-NEXT: cmpld [[CMPLD:[0-9]+]], [[LOAD1]], [[LOAD2]] ; CHECK-NEXT: cmpld [[LOAD1]], [[LOAD2]]
; CHECK-NEXT: subf. [[SUB:[0-9]+]], [[LOAD2]], [[LOAD1]]
; CHECK-NEXT: li [[LI2:[0-9]+]], -1 ; CHECK-NEXT: li [[LI2:[0-9]+]], -1
; CHECK-NEXT: isel [[ISEL:[0-9]+]], [[LI2]], [[LI]], 4 ; CHECK-NEXT: isel [[ISEL:[0-9]+]], [[LI2]], [[LI]], 0
; CHECK-NEXT: isel [[ISEL2:[0-9]+]], 0, [[ISEL]], 2 ; CHECK-NEXT: isel [[ISEL2:[0-9]+]], 0, [[ISEL]], 2
; CHECK-NEXT: extsw 3, [[ISEL2]] ; CHECK-NEXT: extsw 3, [[ISEL2]]
; CHECK-NEXT: blr ; CHECK-NEXT: blr
} }
; Check size 4 ; Check size 4
; Function Attrs: nounwind readonly ; Function Attrs: nounwind readonly
define signext i32 @test2(i32* nocapture readonly %buffer1, i32* nocapture readonly %buffer2) local_unnamed_addr #0 { define signext i32 @test2(i32* nocapture readonly %buffer1, i32* nocapture readonly %buffer2) local_unnamed_addr #0 {
entry: entry:
%0 = bitcast i32* %buffer1 to i8* %0 = bitcast i32* %buffer1 to i8*
%1 = bitcast i32* %buffer2 to i8* %1 = bitcast i32* %buffer2 to i8*
%call = tail call signext i32 @memcmp(i8* %0, i8* %1, i64 4) #2 %call = tail call signext i32 @memcmp(i8* %0, i8* %1, i64 4) #2
ret i32 %call ret i32 %call
; CHECK-LABEL: @test2 ; CHECK-LABEL: @test2
; CHECK: lwbrx [[LOAD1:[0-9]+]] ; CHECK: lwbrx [[LOAD1:[0-9]+]]
; CHECK-NEXT: lwbrx [[LOAD2:[0-9]+]] ; CHECK-NEXT: lwbrx [[LOAD2:[0-9]+]]
; CHECK-NEXT: li [[LI:[0-9]+]], 1 ; CHECK-NEXT: li [[LI:[0-9]+]], 1
; CHECK-NEXT: cmpld [[CMPLD:[0-9]+]], [[LOAD1]], [[LOAD2]] ; CHECK-NEXT: cmpld [[LOAD1]], [[LOAD2]]
; CHECK-NEXT: subf. [[SUB:[0-9]+]], [[LOAD2]], [[LOAD1]]
; CHECK-NEXT: li [[LI2:[0-9]+]], -1 ; CHECK-NEXT: li [[LI2:[0-9]+]], -1
; CHECK-NEXT: isel [[ISEL:[0-9]+]], [[LI2]], [[LI]], 4 ; CHECK-NEXT: isel [[ISEL:[0-9]+]], [[LI2]], [[LI]], 0
; CHECK-NEXT: isel [[ISEL2:[0-9]+]], 0, [[ISEL]], 2 ; CHECK-NEXT: isel [[ISEL2:[0-9]+]], 0, [[ISEL]], 2
; CHECK-NEXT: extsw 3, [[ISEL2]] ; CHECK-NEXT: extsw 3, [[ISEL2]]
; CHECK-NEXT: blr ; CHECK-NEXT: blr
} }
; Check size 2 ; Check size 2
; Function Attrs: nounwind readonly ; Function Attrs: nounwind readonly
define signext i32 @test3(i32* nocapture readonly %buffer1, i32* nocapture readonly %buffer2) local_unnamed_addr #0 { define signext i32 @test3(i32* nocapture readonly %buffer1, i32* nocapture readonly %buffer2) local_unnamed_addr #0 {
entry: entry:
%0 = bitcast i32* %buffer1 to i8* %0 = bitcast i32* %buffer1 to i8*
%1 = bitcast i32* %buffer2 to i8* %1 = bitcast i32* %buffer2 to i8*
%call = tail call signext i32 @memcmp(i8* %0, i8* %1, i64 2) #2 %call = tail call signext i32 @memcmp(i8* %0, i8* %1, i64 2) #2
ret i32 %call ret i32 %call
; CHECK-LABEL: @test3 ; CHECK-LABEL: @test3
; CHECK: lhbrx [[LOAD1:[0-9]+]] ; CHECK: lhbrx [[LOAD1:[0-9]+]]
; CHECK-NEXT: lhbrx [[LOAD2:[0-9]+]] ; CHECK-NEXT: lhbrx [[LOAD2:[0-9]+]]
; CHECK-NEXT: li [[LI:[0-9]+]], 1 ; CHECK-NEXT: li [[LI:[0-9]+]], 1
; CHECK-NEXT: cmpld [[CMPLD:[0-9]+]], [[LOAD1]], [[LOAD2]] ; CHECK-NEXT: cmpld [[LOAD1]], [[LOAD2]]
; CHECK-NEXT: subf. [[SUB:[0-9]+]], [[LOAD2]], [[LOAD1]]
; CHECK-NEXT: li [[LI2:[0-9]+]], -1 ; CHECK-NEXT: li [[LI2:[0-9]+]], -1
; CHECK-NEXT: isel [[ISEL:[0-9]+]], [[LI2]], [[LI]], 4 ; CHECK-NEXT: isel [[ISEL:[0-9]+]], [[LI2]], [[LI]], 0
; CHECK-NEXT: isel [[ISEL2:[0-9]+]], 0, [[ISEL]], 2 ; CHECK-NEXT: isel [[ISEL2:[0-9]+]], 0, [[ISEL]], 2
; CHECK-NEXT: extsw 3, [[ISEL2]] ; CHECK-NEXT: extsw 3, [[ISEL2]]
; CHECK-NEXT: blr ; CHECK-NEXT: blr
} }
; Check size 1 ; Check size 1
; Function Attrs: nounwind readonly ; Function Attrs: nounwind readonly
define signext i32 @test4(i32* nocapture readonly %buffer1, i32* nocapture readonly %buffer2) local_unnamed_addr #0 { define signext i32 @test4(i32* nocapture readonly %buffer1, i32* nocapture readonly %buffer2) local_unnamed_addr #0 {
Show All 16 Lines

llvm/trunk/test/CodeGen/PowerPC/memcmpIR.ll

; RUN: llc -o - -mtriple=powerpc64le-unknown-gnu-linux -stop-after codegenprepare %s | FileCheck %s ; RUN: llc -o - -mtriple=powerpc64le-unknown-gnu-linux -stop-after codegenprepare %s | FileCheck %s
; RUN: llc -o - -mtriple=powerpc64-unknown-gnu-linux -stop-after codegenprepare %s | FileCheck %s --check-prefix=CHECK-BE ; RUN: llc -o - -mtriple=powerpc64-unknown-gnu-linux -stop-after codegenprepare %s | FileCheck %s --check-prefix=CHECK-BE
define signext i32 @test1(i32* nocapture readonly %buffer1, i32* nocapture readonly %buffer2) { define signext i32 @test1(i32* nocapture readonly %buffer1, i32* nocapture readonly %buffer2) {
entry: entry:
; CHECK-LABEL: @test1(
; CHECK: [[LOAD1:%[0-9]+]] = load i64, i64* ; CHECK: [[LOAD1:%[0-9]+]] = load i64, i64*
; CHECK-NEXT: [[LOAD2:%[0-9]+]] = load i64, i64* ; CHECK-NEXT: [[LOAD2:%[0-9]+]] = load i64, i64*
; CHECK-NEXT: [[BSWAP1:%[0-9]+]] = call i64 @llvm.bswap.i64(i64 [[LOAD1]]) ; CHECK-NEXT: [[BSWAP1:%[0-9]+]] = call i64 @llvm.bswap.i64(i64 [[LOAD1]])
; CHECK-NEXT: [[BSWAP2:%[0-9]+]] = call i64 @llvm.bswap.i64(i64 [[LOAD2]]) ; CHECK-NEXT: [[BSWAP2:%[0-9]+]] = call i64 @llvm.bswap.i64(i64 [[LOAD2]])
; CHECK-NEXT: [[SUB:%[0-9]+]] = sub i64 [[BSWAP1]], [[BSWAP2]] ; CHECK-NEXT: [[ICMP:%[0-9]+]] = icmp eq i64 [[BSWAP1]], [[BSWAP2]]
; CHECK-NEXT: [[ICMP:%[0-9]+]] = icmp ne i64 [[SUB]], 0 ; CHECK-NEXT: br i1 [[ICMP]], label %loadbb1, label %res_block
; CHECK-NEXT: br i1 [[ICMP]], label %res_block, label
; CHECK-LABEL: res_block:{{.*}} ; CHECK-LABEL: res_block:{{.*}}
; CHECK: [[ICMP2:%[0-9]+]] = icmp ult i64 ; CHECK: [[ICMP2:%[0-9]+]] = icmp ult i64
; CHECK-NEXT: [[SELECT:%[0-9]+]] = select i1 [[ICMP2]], i32 -1, i32 1 ; CHECK-NEXT: [[SELECT:%[0-9]+]] = select i1 [[ICMP2]], i32 -1, i32 1
; CHECK-NEXT: br label %endblock ; CHECK-NEXT: br label %endblock
; CHECK-LABEL: loadbb1:{{.*}}
; CHECK: [[GEP1:%[0-9]+]] = getelementptr i64, i64* {{.*}}, i64 1 ; CHECK: [[GEP1:%[0-9]+]] = getelementptr i64, i64* {{.*}}, i64 1
; CHECK-NEXT: [[GEP2:%[0-9]+]] = getelementptr i64, i64* {{.*}}, i64 1 ; CHECK-NEXT: [[GEP2:%[0-9]+]] = getelementptr i64, i64* {{.*}}, i64 1
; CHECK-NEXT: [[LOAD1:%[0-9]+]] = load i64, i64* [[GEP1]] ; CHECK-NEXT: [[LOAD1:%[0-9]+]] = load i64, i64* [[GEP1]]
; CHECK-NEXT: [[LOAD2:%[0-9]+]] = load i64, i64* [[GEP2]] ; CHECK-NEXT: [[LOAD2:%[0-9]+]] = load i64, i64* [[GEP2]]
; CHECK-NEXT: [[BSWAP1:%[0-9]+]] = call i64 @llvm.bswap.i64(i64 [[LOAD1]]) ; CHECK-NEXT: [[BSWAP1:%[0-9]+]] = call i64 @llvm.bswap.i64(i64 [[LOAD1]])
; CHECK-NEXT: [[BSWAP2:%[0-9]+]] = call i64 @llvm.bswap.i64(i64 [[LOAD2]]) ; CHECK-NEXT: [[BSWAP2:%[0-9]+]] = call i64 @llvm.bswap.i64(i64 [[LOAD2]])
; CHECK-NEXT: [[SUB:%[0-9]+]] = sub i64 [[BSWAP1]], [[BSWAP2]] ; CHECK-NEXT: [[ICMP:%[0-9]+]] = icmp eq i64 [[BSWAP1]], [[BSWAP2]]
; CHECK-NEXT: [[ICMP:%[0-9]+]] = icmp ne i64 [[SUB]], 0 ; CHECK-NEXT: br i1 [[ICMP]], label %endblock, label %res_block
; CHECK-NEXT: br i1 [[ICMP]], label %res_block, label %endblock
; CHECK-BE-LABEL: @test1(
; CHECK-BE: [[LOAD1:%[0-9]+]] = load i64, i64* ; CHECK-BE: [[LOAD1:%[0-9]+]] = load i64, i64*
; CHECK-BE-NEXT: [[LOAD2:%[0-9]+]] = load i64, i64* ; CHECK-BE-NEXT: [[LOAD2:%[0-9]+]] = load i64, i64*
; CHECK-BE-NEXT: [[SUB:%[0-9]+]] = sub i64 [[LOAD1]], [[LOAD2]] ; CHECK-BE-NEXT: [[ICMP:%[0-9]+]] = icmp eq i64 [[LOAD1]], [[LOAD2]]
; CHECK-BE-NEXT: [[ICMP:%[0-9]+]] = icmp ne i64 [[SUB]], 0 ; CHECK-BE-NEXT: br i1 [[ICMP]], label %loadbb1, label %res_block
; CHECK-BE-NEXT: br i1 [[ICMP]], label %res_block, label
; CHECK-BE-LABEL: res_block:{{.*}} ; CHECK-BE-LABEL: res_block:{{.*}}
; CHECK-BE: [[ICMP2:%[0-9]+]] = icmp ult i64 ; CHECK-BE: [[ICMP2:%[0-9]+]] = icmp ult i64
; CHECK-BE-NEXT: [[SELECT:%[0-9]+]] = select i1 [[ICMP2]], i32 -1, i32 1 ; CHECK-BE-NEXT: [[SELECT:%[0-9]+]] = select i1 [[ICMP2]], i32 -1, i32 1
; CHECK-BE-NEXT: br label %endblock ; CHECK-BE-NEXT: br label %endblock
; CHECK-BE-LABEL: loadbb1:{{.*}}
; CHECK-BE: [[GEP1:%[0-9]+]] = getelementptr i64, i64* {{.*}}, i64 1 ; CHECK-BE: [[GEP1:%[0-9]+]] = getelementptr i64, i64* {{.*}}, i64 1
; CHECK-BE-NEXT: [[GEP2:%[0-9]+]] = getelementptr i64, i64* {{.*}}, i64 1 ; CHECK-BE-NEXT: [[GEP2:%[0-9]+]] = getelementptr i64, i64* {{.*}}, i64 1
; CHECK-BE-NEXT: [[LOAD1:%[0-9]+]] = load i64, i64* [[GEP1]] ; CHECK-BE-NEXT: [[LOAD1:%[0-9]+]] = load i64, i64* [[GEP1]]
; CHECK-BE-NEXT: [[LOAD2:%[0-9]+]] = load i64, i64* [[GEP2]] ; CHECK-BE-NEXT: [[LOAD2:%[0-9]+]] = load i64, i64* [[GEP2]]
; CHECK-BE-NEXT: [[SUB:%[0-9]+]] = sub i64 [[LOAD1]], [[LOAD2]] ; CHECK-BE-NEXT: [[ICMP:%[0-9]+]] = icmp eq i64 [[LOAD1]], [[LOAD2]]
; CHECK-BE-NEXT: [[ICMP:%[0-9]+]] = icmp ne i64 [[SUB]], 0 ; CHECK-BE-NEXT: br i1 [[ICMP]], label %endblock, label %res_block
; CHECK-BE-NEXT: br i1 [[ICMP]], label %res_block, label %endblock
%0 = bitcast i32* %buffer1 to i8* %0 = bitcast i32* %buffer1 to i8*
%1 = bitcast i32* %buffer2 to i8* %1 = bitcast i32* %buffer2 to i8*
%call = tail call signext i32 @memcmp(i8* %0, i8* %1, i64 16) %call = tail call signext i32 @memcmp(i8* %0, i8* %1, i64 16)
ret i32 %call ret i32 %call
} }
declare signext i32 @memcmp(i8* nocapture, i8* nocapture, i64) local_unnamed_addr #1 declare signext i32 @memcmp(i8* nocapture, i8* nocapture, i64) local_unnamed_addr #1
define signext i32 @test2(i32* nocapture readonly %buffer1, i32* nocapture readonly %buffer2) { define signext i32 @test2(i32* nocapture readonly %buffer1, i32* nocapture readonly %buffer2) {
; CHECK-LABEL: @test2(
; CHECK: [[LOAD1:%[0-9]+]] = load i32, i32* ; CHECK: [[LOAD1:%[0-9]+]] = load i32, i32*
; CHECK-NEXT: [[LOAD2:%[0-9]+]] = load i32, i32* ; CHECK-NEXT: [[LOAD2:%[0-9]+]] = load i32, i32*
; CHECK-NEXT: [[BSWAP1:%[0-9]+]] = call i32 @llvm.bswap.i32(i32 [[LOAD1]]) ; CHECK-NEXT: [[BSWAP1:%[0-9]+]] = call i32 @llvm.bswap.i32(i32 [[LOAD1]])
; CHECK-NEXT: [[BSWAP2:%[0-9]+]] = call i32 @llvm.bswap.i32(i32 [[LOAD2]]) ; CHECK-NEXT: [[BSWAP2:%[0-9]+]] = call i32 @llvm.bswap.i32(i32 [[LOAD2]])
; CHECK-NEXT: [[ZEXT1:%[0-9]+]] = zext i32 [[BSWAP1]] to i64 ; CHECK-NEXT: [[ZEXT1:%[0-9]+]] = zext i32 [[BSWAP1]] to i64
; CHECK-NEXT: [[ZEXT2:%[0-9]+]] = zext i32 [[BSWAP2]] to i64 ; CHECK-NEXT: [[ZEXT2:%[0-9]+]] = zext i32 [[BSWAP2]] to i64
; CHECK-NEXT: [[SUB:%[0-9]+]] = sub i64 [[ZEXT1]], [[ZEXT2]] ; CHECK-NEXT: [[ICMP:%[0-9]+]] = icmp eq i64 [[ZEXT1]], [[ZEXT2]]
; CHECK-NEXT: [[ICMP:%[0-9]+]] = icmp ne i64 [[SUB]], 0 ; CHECK-NEXT: br i1 [[ICMP]], label %endblock, label %res_block
; CHECK-NEXT: br i1 [[ICMP]], label %res_block, label %endblock
; CHECK-LABEL: res_block:{{.*}} ; CHECK-LABEL: res_block:{{.*}}
; CHECK: [[ICMP2:%[0-9]+]] = icmp ult i64 ; CHECK: [[ICMP2:%[0-9]+]] = icmp ult i64
; CHECK-NEXT: [[SELECT:%[0-9]+]] = select i1 [[ICMP2]], i32 -1, i32 1 ; CHECK-NEXT: [[SELECT:%[0-9]+]] = select i1 [[ICMP2]], i32 -1, i32 1
; CHECK-NEXT: br label %endblock ; CHECK-NEXT: br label %endblock
; CHECK-BE-LABEL: @test2(
; CHECK-BE: [[LOAD1:%[0-9]+]] = load i32, i32* ; CHECK-BE: [[LOAD1:%[0-9]+]] = load i32, i32*
; CHECK-BE-NEXT: [[LOAD2:%[0-9]+]] = load i32, i32* ; CHECK-BE-NEXT: [[LOAD2:%[0-9]+]] = load i32, i32*
; CHECK-BE-NEXT: [[ZEXT1:%[0-9]+]] = zext i32 [[LOAD1]] to i64 ; CHECK-BE-NEXT: [[ZEXT1:%[0-9]+]] = zext i32 [[LOAD1]] to i64
; CHECK-BE-NEXT: [[ZEXT2:%[0-9]+]] = zext i32 [[LOAD2]] to i64 ; CHECK-BE-NEXT: [[ZEXT2:%[0-9]+]] = zext i32 [[LOAD2]] to i64
; CHECK-BE-NEXT: [[SUB:%[0-9]+]] = sub i64 [[ZEXT1]], [[ZEXT2]] ; CHECK-BE-NEXT: [[ICMP:%[0-9]+]] = icmp eq i64 [[ZEXT1]], [[ZEXT2]]
; CHECK-BE-NEXT: [[ICMP:%[0-9]+]] = icmp ne i64 [[SUB]], 0 ; CHECK-BE-NEXT: br i1 [[ICMP]], label %endblock, label %res_block
; CHECK-BE-NEXT: br i1 [[ICMP]], label %res_block, label %endblock
; CHECK-BE-LABEL: res_block:{{.*}} ; CHECK-BE-LABEL: res_block:{{.*}}
; CHECK-BE: [[ICMP2:%[0-9]+]] = icmp ult i64 ; CHECK-BE: [[ICMP2:%[0-9]+]] = icmp ult i64
; CHECK-BE-NEXT: [[SELECT:%[0-9]+]] = select i1 [[ICMP2]], i32 -1, i32 1 ; CHECK-BE-NEXT: [[SELECT:%[0-9]+]] = select i1 [[ICMP2]], i32 -1, i32 1
; CHECK-BE-NEXT: br label %endblock ; CHECK-BE-NEXT: br label %endblock
entry: entry:
%0 = bitcast i32* %buffer1 to i8* %0 = bitcast i32* %buffer1 to i8*
%1 = bitcast i32* %buffer2 to i8* %1 = bitcast i32* %buffer2 to i8*
%call = tail call signext i32 @memcmp(i8* %0, i8* %1, i64 4) %call = tail call signext i32 @memcmp(i8* %0, i8* %1, i64 4)
ret i32 %call ret i32 %call
} }
define signext i32 @test3(i32* nocapture readonly %buffer1, i32* nocapture readonly %buffer2) { define signext i32 @test3(i32* nocapture readonly %buffer1, i32* nocapture readonly %buffer2) {
; CHECK: [[LOAD1:%[0-9]+]] = load i64, i64* ; CHECK: [[LOAD1:%[0-9]+]] = load i64, i64*
; CHECK-NEXT: [[LOAD2:%[0-9]+]] = load i64, i64* ; CHECK-NEXT: [[LOAD2:%[0-9]+]] = load i64, i64*
; CHECK-NEXT: [[BSWAP1:%[0-9]+]] = call i64 @llvm.bswap.i64(i64 [[LOAD1]]) ; CHECK-NEXT: [[BSWAP1:%[0-9]+]] = call i64 @llvm.bswap.i64(i64 [[LOAD1]])
; CHECK-NEXT: [[BSWAP2:%[0-9]+]] = call i64 @llvm.bswap.i64(i64 [[LOAD2]]) ; CHECK-NEXT: [[BSWAP2:%[0-9]+]] = call i64 @llvm.bswap.i64(i64 [[LOAD2]])
; CHECK-NEXT: [[SUB:%[0-9]+]] = sub i64 [[BSWAP1]], [[BSWAP2]] ; CHECK-NEXT: [[ICMP:%[0-9]+]] = icmp eq i64 [[BSWAP1]], [[BSWAP2]]
; CHECK-NEXT: [[ICMP:%[0-9]+]] = icmp ne i64 [[SUB]], 0 ; CHECK-NEXT: br i1 [[ICMP]], label %loadbb1, label %res_block
; CHECK-NEXT: br i1 [[ICMP]], label %res_block, label
; CHECK-LABEL: res_block:{{.*}} ; CHECK-LABEL: res_block:{{.*}}
; CHECK: [[ICMP2:%[0-9]+]] = icmp ult i64 ; CHECK: [[ICMP2:%[0-9]+]] = icmp ult i64
; CHECK-NEXT: [[SELECT:%[0-9]+]] = select i1 [[ICMP2]], i32 -1, i32 1 ; CHECK-NEXT: [[SELECT:%[0-9]+]] = select i1 [[ICMP2]], i32 -1, i32 1
; CHECK-NEXT: br label %endblock ; CHECK-NEXT: br label %endblock
; CHECK-LABEL: loadbb1:{{.*}}
; CHECK: [[LOAD1:%[0-9]+]] = load i32, i32* ; CHECK: [[LOAD1:%[0-9]+]] = load i32, i32*
; CHECK-NEXT: [[LOAD2:%[0-9]+]] = load i32, i32* ; CHECK-NEXT: [[LOAD2:%[0-9]+]] = load i32, i32*
; CHECK-NEXT: [[BSWAP1:%[0-9]+]] = call i32 @llvm.bswap.i32(i32 [[LOAD1]]) ; CHECK-NEXT: [[BSWAP1:%[0-9]+]] = call i32 @llvm.bswap.i32(i32 [[LOAD1]])
; CHECK-NEXT: [[BSWAP2:%[0-9]+]] = call i32 @llvm.bswap.i32(i32 [[LOAD2]]) ; CHECK-NEXT: [[BSWAP2:%[0-9]+]] = call i32 @llvm.bswap.i32(i32 [[LOAD2]])
; CHECK-NEXT: [[ZEXT1:%[0-9]+]] = zext i32 [[BSWAP1]] to i64 ; CHECK-NEXT: [[ZEXT1:%[0-9]+]] = zext i32 [[BSWAP1]] to i64
; CHECK-NEXT: [[ZEXT2:%[0-9]+]] = zext i32 [[BSWAP2]] to i64 ; CHECK-NEXT: [[ZEXT2:%[0-9]+]] = zext i32 [[BSWAP2]] to i64
; CHECK-NEXT: [[SUB:%[0-9]+]] = sub i64 [[ZEXT1]], [[ZEXT2]] ; CHECK-NEXT: [[ICMP:%[0-9]+]] = icmp eq i64 [[ZEXT1]], [[ZEXT2]]
; CHECK-NEXT: [[ICMP:%[0-9]+]] = icmp ne i64 [[SUB]], 0 ; CHECK-NEXT: br i1 [[ICMP]], label %loadbb2, label %res_block
; CHECK-NEXT: br i1 [[ICMP]], label %res_block, label
; CHECK-LABEL: loadbb2:{{.*}}
; CHECK: [[LOAD1:%[0-9]+]] = load i16, i16* ; CHECK: [[LOAD1:%[0-9]+]] = load i16, i16*
; CHECK-NEXT: [[LOAD2:%[0-9]+]] = load i16, i16* ; CHECK-NEXT: [[LOAD2:%[0-9]+]] = load i16, i16*
; CHECK-NEXT: [[BSWAP1:%[0-9]+]] = call i16 @llvm.bswap.i16(i16 [[LOAD1]]) ; CHECK-NEXT: [[BSWAP1:%[0-9]+]] = call i16 @llvm.bswap.i16(i16 [[LOAD1]])
; CHECK-NEXT: [[BSWAP2:%[0-9]+]] = call i16 @llvm.bswap.i16(i16 [[LOAD2]]) ; CHECK-NEXT: [[BSWAP2:%[0-9]+]] = call i16 @llvm.bswap.i16(i16 [[LOAD2]])
; CHECK-NEXT: [[ZEXT1:%[0-9]+]] = zext i16 [[BSWAP1]] to i64 ; CHECK-NEXT: [[ZEXT1:%[0-9]+]] = zext i16 [[BSWAP1]] to i64
; CHECK-NEXT: [[ZEXT2:%[0-9]+]] = zext i16 [[BSWAP2]] to i64 ; CHECK-NEXT: [[ZEXT2:%[0-9]+]] = zext i16 [[BSWAP2]] to i64
; CHECK-NEXT: [[SUB:%[0-9]+]] = sub i64 [[ZEXT1]], [[ZEXT2]] ; CHECK-NEXT: [[ICMP:%[0-9]+]] = icmp eq i64 [[ZEXT1]], [[ZEXT2]]
; CHECK-NEXT: [[ICMP:%[0-9]+]] = icmp ne i64 [[SUB]], 0 ; CHECK-NEXT: br i1 [[ICMP]], label %loadbb3, label %res_block
; CHECK-NEXT: br i1 [[ICMP]], label %res_block, label
; CHECK-LABEL: loadbb3:{{.*}}
; CHECK: [[LOAD1:%[0-9]+]] = load i8, i8* ; CHECK: [[LOAD1:%[0-9]+]] = load i8, i8*
; CHECK-NEXT: [[LOAD2:%[0-9]+]] = load i8, i8* ; CHECK-NEXT: [[LOAD2:%[0-9]+]] = load i8, i8*
; CHECK-NEXT: [[ZEXT1:%[0-9]+]] = zext i8 [[LOAD1]] to i32 ; CHECK-NEXT: [[ZEXT1:%[0-9]+]] = zext i8 [[LOAD1]] to i32
; CHECK-NEXT: [[ZEXT2:%[0-9]+]] = zext i8 [[LOAD2]] to i32 ; CHECK-NEXT: [[ZEXT2:%[0-9]+]] = zext i8 [[LOAD2]] to i32
; CHECK-NEXT: [[SUB:%[0-9]+]] = sub i32 [[ZEXT1]], [[ZEXT2]] ; CHECK-NEXT: [[SUB:%[0-9]+]] = sub i32 [[ZEXT1]], [[ZEXT2]]
; CHECK-NEXT: br label %endblock ; CHECK-NEXT: br label %endblock
; CHECK-BE: [[LOAD1:%[0-9]+]] = load i64, i64* ; CHECK-BE: [[LOAD1:%[0-9]+]] = load i64, i64*
; CHECK-BE-NEXT: [[LOAD2:%[0-9]+]] = load i64, i64* ; CHECK-BE-NEXT: [[LOAD2:%[0-9]+]] = load i64, i64*
; CHECK-BE-NEXT: [[SUB:%[0-9]+]] = sub i64 [[LOAD1]], [[LOAD2]] ; CHECK-BE-NEXT: [[ICMP:%[0-9]+]] = icmp eq i64 [[LOAD1]], [[LOAD2]]
; CHECK-BE-NEXT: [[ICMP:%[0-9]+]] = icmp ne i64 [[SUB]], 0 ; CHECK-BE-NEXT: br i1 [[ICMP]], label %loadbb1, label %res_block
; CHECK-BE-NEXT: br i1 [[ICMP]], label %res_block, label
; CHECK-BE-LABEL: res_block:{{.*}} ; CHECK-BE-LABEL: res_block:{{.*}}
; CHECK-BE: [[ICMP2:%[0-9]+]] = icmp ult i64 ; CHECK-BE: [[ICMP2:%[0-9]+]] = icmp ult i64
; CHECK-BE-NEXT: [[SELECT:%[0-9]+]] = select i1 [[ICMP2]], i32 -1, i32 1 ; CHECK-BE-NEXT: [[SELECT:%[0-9]+]] = select i1 [[ICMP2]], i32 -1, i32 1
; CHECK-BE-NEXT: br label %endblock ; CHECK-BE-NEXT: br label %endblock
; CHECK-BE: [[LOAD1:%[0-9]+]] = load i32, i32* ; CHECK-BE: [[LOAD1:%[0-9]+]] = load i32, i32*
; CHECK-BE-NEXT: [[LOAD2:%[0-9]+]] = load i32, i32* ; CHECK-BE-NEXT: [[LOAD2:%[0-9]+]] = load i32, i32*
; CHECK-BE-NEXT: [[ZEXT1:%[0-9]+]] = zext i32 [[LOAD1]] to i64 ; CHECK-BE-NEXT: [[ZEXT1:%[0-9]+]] = zext i32 [[LOAD1]] to i64
; CHECK-BE-NEXT: [[ZEXT2:%[0-9]+]] = zext i32 [[LOAD2]] to i64 ; CHECK-BE-NEXT: [[ZEXT2:%[0-9]+]] = zext i32 [[LOAD2]] to i64
; CHECK-BE-NEXT: [[SUB:%[0-9]+]] = sub i64 [[ZEXT1]], [[ZEXT2]] ; CHECK-BE-NEXT: [[ICMP:%[0-9]+]] = icmp eq i64 [[ZEXT1]], [[ZEXT2]]
; CHECK-BE-NEXT: [[ICMP:%[0-9]+]] = icmp ne i64 [[SUB]], 0 ; CHECK-BE-NEXT: br i1 [[ICMP]], label %loadbb2, label %res_block
; CHECK-BE-NEXT: br i1 [[ICMP]], label %res_block, label
; CHECK-BE: [[LOAD1:%[0-9]+]] = load i16, i16* ; CHECK-BE: [[LOAD1:%[0-9]+]] = load i16, i16*
; CHECK-BE-NEXT: [[LOAD2:%[0-9]+]] = load i16, i16* ; CHECK-BE-NEXT: [[LOAD2:%[0-9]+]] = load i16, i16*
; CHECK-BE-NEXT: [[ZEXT1:%[0-9]+]] = zext i16 [[LOAD1]] to i64 ; CHECK-BE-NEXT: [[ZEXT1:%[0-9]+]] = zext i16 [[LOAD1]] to i64
; CHECK-BE-NEXT: [[ZEXT2:%[0-9]+]] = zext i16 [[LOAD2]] to i64 ; CHECK-BE-NEXT: [[ZEXT2:%[0-9]+]] = zext i16 [[LOAD2]] to i64
; CHECK-BE-NEXT: [[SUB:%[0-9]+]] = sub i64 [[ZEXT1]], [[ZEXT2]] ; CHECK-BE-NEXT: [[ICMP:%[0-9]+]] = icmp eq i64 [[ZEXT1]], [[ZEXT2]]
; CHECK-BE-NEXT: [[ICMP:%[0-9]+]] = icmp ne i64 [[SUB]], 0 ; CHECK-BE-NEXT: br i1 [[ICMP]], label %loadbb3, label %res_block
; CHECK-BE-NEXT: br i1 [[ICMP]], label %res_block, label
; CHECK-BE: [[LOAD1:%[0-9]+]] = load i8, i8* ; CHECK-BE: [[LOAD1:%[0-9]+]] = load i8, i8*
; CHECK-BE-NEXT: [[LOAD2:%[0-9]+]] = load i8, i8* ; CHECK-BE-NEXT: [[LOAD2:%[0-9]+]] = load i8, i8*
; CHECK-BE-NEXT: [[ZEXT1:%[0-9]+]] = zext i8 [[LOAD1]] to i32 ; CHECK-BE-NEXT: [[ZEXT1:%[0-9]+]] = zext i8 [[LOAD1]] to i32
; CHECK-BE-NEXT: [[ZEXT2:%[0-9]+]] = zext i8 [[LOAD2]] to i32 ; CHECK-BE-NEXT: [[ZEXT2:%[0-9]+]] = zext i8 [[LOAD2]] to i32
; CHECK-BE-NEXT: [[SUB:%[0-9]+]] = sub i32 [[ZEXT1]], [[ZEXT2]] ; CHECK-BE-NEXT: [[SUB:%[0-9]+]] = sub i32 [[ZEXT1]], [[ZEXT2]]
; CHECK-BE-NEXT: br label %endblock ; CHECK-BE-NEXT: br label %endblock
Show All 27 Lines

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

Show All 14 Lines
; X32: # BB#0: # %loadbb ; X32: # BB#0: # %loadbb
; X32-NEXT: movl {{[0-9]+}}(%esp), %eax ; X32-NEXT: movl {{[0-9]+}}(%esp), %eax
; X32-NEXT: movl {{[0-9]+}}(%esp), %ecx ; X32-NEXT: movl {{[0-9]+}}(%esp), %ecx
; X32-NEXT: movzwl (%ecx), %ecx ; X32-NEXT: movzwl (%ecx), %ecx
; X32-NEXT: movzwl (%eax), %eax ; X32-NEXT: movzwl (%eax), %eax
; X32-NEXT: rolw $8, %cx ; X32-NEXT: rolw $8, %cx
; X32-NEXT: rolw $8, %ax ; X32-NEXT: rolw $8, %ax
; X32-NEXT: movzwl %cx, %ecx ; X32-NEXT: movzwl %cx, %ecx
; X32-NEXT: movzwl %ax, %eax ; X32-NEXT: movzwl %ax, %edx
; X32-NEXT: cmpl %eax, %ecx ; X32-NEXT: xorl %eax, %eax
; X32-NEXT: je .LBB0_1 ; X32-NEXT: cmpl %edx, %ecx
; X32-NEXT: # BB#2: # %res_block ; X32-NEXT: je .LBB0_3
; X32-NEXT: # BB#1: # %res_block
; X32-NEXT: movl $-1, %eax ; X32-NEXT: movl $-1, %eax
; X32-NEXT: jb .LBB0_4 ; X32-NEXT: jb .LBB0_3
; X32-NEXT: # BB#3: # %res_block ; X32-NEXT: # BB#2: # %res_block
; X32-NEXT: movl $1, %eax ; X32-NEXT: movl $1, %eax
; X32-NEXT: .LBB0_4: # %endblock ; X32-NEXT: .LBB0_3: # %endblock
; X32-NEXT: retl
; X32-NEXT: .LBB0_1:
; X32-NEXT: xorl %eax, %eax
; X32-NEXT: retl ; X32-NEXT: retl
; ;
; X64-LABEL: length2: ; X64-LABEL: length2:
; X64: # BB#0: # %loadbb ; X64: # BB#0: # %loadbb
; X64-NEXT: movzwl (%rdi), %eax ; X64-NEXT: movzwl (%rdi), %eax
; X64-NEXT: movzwl (%rsi), %ecx ; X64-NEXT: movzwl (%rsi), %ecx
; X64-NEXT: rolw $8, %ax ; X64-NEXT: rolw $8, %ax
; X64-NEXT: rolw $8, %cx ; X64-NEXT: rolw $8, %cx
; X64-NEXT: movzwl %ax, %eax ; X64-NEXT: movzwl %ax, %edx
; X64-NEXT: movzwl %cx, %ecx ; X64-NEXT: movzwl %cx, %ecx
; X64-NEXT: cmpq %rcx, %rax ; X64-NEXT: xorl %eax, %eax
; X64-NEXT: je .LBB0_1 ; X64-NEXT: cmpq %rcx, %rdx
; X64-NEXT: # BB#2: # %res_block ; X64-NEXT: je .LBB0_2
; X64-NEXT: # BB#1: # %res_block
; X64-NEXT: movl $-1, %ecx ; X64-NEXT: movl $-1, %ecx
; 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: .LBB0_2: # %endblock
; X64-NEXT: .LBB0_1:
; X64-NEXT: xorl %eax, %eax
; X64-NEXT: retq ; X64-NEXT: retq
%m = tail call i32 @memcmp(i8* %X, i8* %Y, i64 2) nounwind %m = tail call i32 @memcmp(i8* %X, i8* %Y, i64 2) nounwind
ret i32 %m ret i32 %m
} }
define i1 @length2_eq(i8* %X, i8* %Y) nounwind { define i1 @length2_eq(i8* %X, i8* %Y) nounwind {
; X32-LABEL: length2_eq: ; X32-LABEL: length2_eq:
; X32: # BB#0: ; X32: # BB#0:
▲ Show 20 Lines • Show All 109 Lines • ▼ Show 20 Lines
} }
define i32 @length4(i8* %X, i8* %Y) nounwind { define i32 @length4(i8* %X, i8* %Y) nounwind {
; X32-LABEL: length4: ; X32-LABEL: length4:
; X32: # BB#0: # %loadbb ; X32: # BB#0: # %loadbb
; X32-NEXT: movl {{[0-9]+}}(%esp), %eax ; X32-NEXT: movl {{[0-9]+}}(%esp), %eax
; X32-NEXT: movl {{[0-9]+}}(%esp), %ecx ; X32-NEXT: movl {{[0-9]+}}(%esp), %ecx
; X32-NEXT: movl (%ecx), %ecx ; X32-NEXT: movl (%ecx), %ecx
; X32-NEXT: movl (%eax), %eax ; X32-NEXT: movl (%eax), %edx
; X32-NEXT: bswapl %ecx ; X32-NEXT: bswapl %ecx
; X32-NEXT: bswapl %eax ; X32-NEXT: bswapl %edx
; X32-NEXT: cmpl %eax, %ecx ; X32-NEXT: xorl %eax, %eax
; X32-NEXT: je .LBB6_1 ; X32-NEXT: cmpl %edx, %ecx
; X32-NEXT: # BB#2: # %res_block ; X32-NEXT: je .LBB6_3
; X32-NEXT: # BB#1: # %res_block
; X32-NEXT: movl $-1, %eax ; X32-NEXT: movl $-1, %eax
; X32-NEXT: jb .LBB6_4 ; X32-NEXT: jb .LBB6_3
; X32-NEXT: # BB#3: # %res_block ; X32-NEXT: # BB#2: # %res_block
; X32-NEXT: movl $1, %eax ; X32-NEXT: movl $1, %eax
; X32-NEXT: .LBB6_4: # %endblock ; X32-NEXT: .LBB6_3: # %endblock
; X32-NEXT: retl
; X32-NEXT: .LBB6_1:
; X32-NEXT: xorl %eax, %eax
; X32-NEXT: retl ; X32-NEXT: retl
; ;
; X64-LABEL: length4: ; X64-LABEL: length4:
; X64: # BB#0: # %loadbb ; X64: # BB#0: # %loadbb
; X64-NEXT: movl (%rdi), %eax ; X64-NEXT: movl (%rdi), %ecx
; X64-NEXT: movl (%rsi), %ecx ; X64-NEXT: movl (%rsi), %edx
; X64-NEXT: bswapl %eax
; X64-NEXT: bswapl %ecx ; X64-NEXT: bswapl %ecx
; X64-NEXT: cmpq %rcx, %rax ; X64-NEXT: bswapl %edx
; X64-NEXT: je .LBB6_1 ; X64-NEXT: xorl %eax, %eax
; X64-NEXT: # BB#2: # %res_block ; X64-NEXT: cmpq %rdx, %rcx
; X64-NEXT: je .LBB6_2
; X64-NEXT: # BB#1: # %res_block
; X64-NEXT: movl $-1, %ecx ; X64-NEXT: movl $-1, %ecx
; 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: .LBB6_2: # %endblock
; X64-NEXT: .LBB6_1:
; X64-NEXT: xorl %eax, %eax
; X64-NEXT: retq ; X64-NEXT: retq
%m = tail call i32 @memcmp(i8* %X, i8* %Y, i64 4) nounwind %m = tail call i32 @memcmp(i8* %X, i8* %Y, i64 4) nounwind
ret i32 %m ret i32 %m
} }
define i1 @length4_eq(i8* %X, i8* %Y) nounwind { define i1 @length4_eq(i8* %X, i8* %Y) nounwind {
; X32-LABEL: length4_eq: ; X32-LABEL: length4_eq:
; X32: # BB#0: ; X32: # BB#0:
▲ Show 20 Lines • Show All 87 Lines • ▼ Show 20 Lines
; X32-NEXT: pushl {{[0-9]+}}(%esp) ; X32-NEXT: pushl {{[0-9]+}}(%esp)
; X32-NEXT: pushl {{[0-9]+}}(%esp) ; X32-NEXT: pushl {{[0-9]+}}(%esp)
; X32-NEXT: calll memcmp ; X32-NEXT: calll memcmp
; X32-NEXT: addl $16, %esp ; X32-NEXT: addl $16, %esp
; X32-NEXT: retl ; X32-NEXT: retl
; ;
; X64-LABEL: length8: ; X64-LABEL: length8:
; X64: # BB#0: # %loadbb ; X64: # BB#0: # %loadbb
; X64-NEXT: movq (%rdi), %rax ; X64-NEXT: movq (%rdi), %rcx
; X64-NEXT: movq (%rsi), %rcx ; X64-NEXT: movq (%rsi), %rdx
; X64-NEXT: bswapq %rax
; X64-NEXT: bswapq %rcx ; X64-NEXT: bswapq %rcx
; X64-NEXT: cmpq %rcx, %rax ; X64-NEXT: bswapq %rdx
; X64-NEXT: je .LBB11_1 ; X64-NEXT: xorl %eax, %eax
; X64-NEXT: # BB#2: # %res_block ; X64-NEXT: cmpq %rdx, %rcx
; X64-NEXT: je .LBB11_2
; X64-NEXT: # BB#1: # %res_block
; X64-NEXT: movl $-1, %ecx ; X64-NEXT: movl $-1, %ecx
; 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: .LBB11_2: # %endblock
; X64-NEXT: .LBB11_1:
; X64-NEXT: xorl %eax, %eax
; X64-NEXT: retq ; X64-NEXT: retq
%m = tail call i32 @memcmp(i8* %X, i8* %Y, i64 8) nounwind %m = tail call i32 @memcmp(i8* %X, i8* %Y, i64 8) nounwind
ret i32 %m ret i32 %m
} }
define i1 @length8_eq(i8* %X, i8* %Y) nounwind { define i1 @length8_eq(i8* %X, i8* %Y) nounwind {
; X32-LABEL: length8_eq: ; X32-LABEL: length8_eq:
; X32: # BB#0: ; X32: # BB#0:
▲ Show 20 Lines • Show All 353 Lines • Show Last 20 Lines

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

; RUN: opt -S -codegenprepare -mtriple=i686-unknown-unknown -data-layout=e-m:o-p:32:32-f64:32:64-f80:128-n8:16:32-S128 < %s | FileCheck %s --check-prefix=ALL --check-prefix=X32 ; RUN: opt -S -codegenprepare -mtriple=i686-unknown-unknown -data-layout=e-m:o-p:32:32-f64:32:64-f80:128-n8:16:32-S128 < %s | FileCheck %s --check-prefix=ALL --check-prefix=X32
; RUN: opt -S -codegenprepare -mtriple=x86_64-unknown-unknown -data-layout=e-m:o-i64:64-f80:128-n8:16:32:64-S128 < %s | FileCheck %s --check-prefix=ALL --check-prefix=X64 ; RUN: opt -S -codegenprepare -mtriple=x86_64-unknown-unknown -data-layout=e-m:o-i64:64-f80:128-n8:16:32:64-S128 < %s | FileCheck %s --check-prefix=ALL --check-prefix=X64
declare i32 @memcmp(i8* nocapture, i8* nocapture, i64) declare i32 @memcmp(i8* nocapture, i8* nocapture, i64)
define i32 @cmp2(i8* nocapture readonly %x, i8* nocapture readonly %y) { define i32 @cmp2(i8* nocapture readonly %x, i8* nocapture readonly %y) {
; X32-LABEL: @cmp2( ; X32-LABEL: @cmp2(
; X32-NEXT: loadbb: ; X32-NEXT: loadbb:
; X32-NEXT: [[TMP0:%.*]] = bitcast i8* %x to i16* ; X32-NEXT: [[TMP0:%.*]] = bitcast i8* %x to i16*
; X32-NEXT: [[TMP1:%.*]] = bitcast i8* %y to i16* ; X32-NEXT: [[TMP1:%.*]] = bitcast i8* %y to i16*
; X32-NEXT: [[TMP2:%.*]] = load i16, i16* [[TMP0]] ; X32-NEXT: [[TMP2:%.*]] = load i16, i16* [[TMP0]]
; X32-NEXT: [[TMP3:%.*]] = load i16, i16* [[TMP1]] ; X32-NEXT: [[TMP3:%.*]] = load i16, i16* [[TMP1]]
; X32-NEXT: [[TMP4:%.*]] = call i16 @llvm.bswap.i16(i16 [[TMP2]]) ; X32-NEXT: [[TMP4:%.*]] = call i16 @llvm.bswap.i16(i16 [[TMP2]])
; X32-NEXT: [[TMP5:%.*]] = call i16 @llvm.bswap.i16(i16 [[TMP3]]) ; X32-NEXT: [[TMP5:%.*]] = call i16 @llvm.bswap.i16(i16 [[TMP3]])
; X32-NEXT: [[TMP6:%.*]] = zext i16 [[TMP4]] to i32 ; X32-NEXT: [[TMP6:%.*]] = zext i16 [[TMP4]] to i32
; X32-NEXT: [[TMP7:%.*]] = zext i16 [[TMP5]] to i32 ; X32-NEXT: [[TMP7:%.*]] = zext i16 [[TMP5]] to i32
; X32-NEXT: [[TMP8:%.*]] = sub i32 [[TMP6]], [[TMP7]] ; X32-NEXT: [[TMP8:%.*]] = icmp eq i32 [[TMP6]], [[TMP7]]
; X32-NEXT: [[TMP9:%.*]] = icmp ne i32 [[TMP8]], 0 ; X32-NEXT: br i1 [[TMP8]], label %endblock, label %res_block
; X32-NEXT: br i1 [[TMP9]], label %res_block, label %endblock
; X32: res_block: ; X32: res_block:
; X32-NEXT: [[TMP10:%.*]] = icmp ult i32 [[TMP6]], [[TMP7]] ; X32-NEXT: [[TMP9:%.*]] = icmp ult i32 [[TMP6]], [[TMP7]]
; X32-NEXT: [[TMP11:%.*]] = select i1 [[TMP10]], i32 -1, i32 1 ; X32-NEXT: [[TMP10:%.*]] = select i1 [[TMP9]], i32 -1, i32 1
; X32-NEXT: br label %endblock ; X32-NEXT: br label %endblock
; X32: endblock: ; X32: endblock:
; X32-NEXT: [[PHI_RES:%.*]] = phi i32 [ 0, %loadbb ], [ [[TMP11]], %res_block ] ; X32-NEXT: [[PHI_RES:%.*]] = phi i32 [ 0, %loadbb ], [ [[TMP10]], %res_block ]
; X32-NEXT: ret i32 [[PHI_RES]] ; X32-NEXT: ret i32 [[PHI_RES]]
; ;
; X64-LABEL: @cmp2( ; X64-LABEL: @cmp2(
; X64-NEXT: loadbb: ; X64-NEXT: loadbb:
; X64-NEXT: [[TMP0:%.*]] = bitcast i8* %x to i16* ; X64-NEXT: [[TMP0:%.*]] = bitcast i8* %x to i16*
; X64-NEXT: [[TMP1:%.*]] = bitcast i8* %y to i16* ; X64-NEXT: [[TMP1:%.*]] = bitcast i8* %y to i16*
; X64-NEXT: [[TMP2:%.*]] = load i16, i16* [[TMP0]] ; X64-NEXT: [[TMP2:%.*]] = load i16, i16* [[TMP0]]
; X64-NEXT: [[TMP3:%.*]] = load i16, i16* [[TMP1]] ; X64-NEXT: [[TMP3:%.*]] = load i16, i16* [[TMP1]]
; X64-NEXT: [[TMP4:%.*]] = call i16 @llvm.bswap.i16(i16 [[TMP2]]) ; X64-NEXT: [[TMP4:%.*]] = call i16 @llvm.bswap.i16(i16 [[TMP2]])
; X64-NEXT: [[TMP5:%.*]] = call i16 @llvm.bswap.i16(i16 [[TMP3]]) ; X64-NEXT: [[TMP5:%.*]] = call i16 @llvm.bswap.i16(i16 [[TMP3]])
; X64-NEXT: [[TMP6:%.*]] = zext i16 [[TMP4]] to i64 ; X64-NEXT: [[TMP6:%.*]] = zext i16 [[TMP4]] to i64
; X64-NEXT: [[TMP7:%.*]] = zext i16 [[TMP5]] to i64 ; X64-NEXT: [[TMP7:%.*]] = zext i16 [[TMP5]] to i64
; X64-NEXT: [[TMP8:%.*]] = sub i64 [[TMP6]], [[TMP7]] ; X64-NEXT: [[TMP8:%.*]] = icmp eq i64 [[TMP6]], [[TMP7]]
; X64-NEXT: [[TMP9:%.*]] = icmp ne i64 [[TMP8]], 0 ; X64-NEXT: br i1 [[TMP8]], label %endblock, label %res_block
; X64-NEXT: br i1 [[TMP9]], label %res_block, label %endblock
; X64: res_block: ; X64: res_block:
; X64-NEXT: [[TMP10:%.*]] = icmp ult i64 [[TMP6]], [[TMP7]] ; X64-NEXT: [[TMP9:%.*]] = icmp ult i64 [[TMP6]], [[TMP7]]
; X64-NEXT: [[TMP11:%.*]] = select i1 [[TMP10]], i32 -1, i32 1 ; X64-NEXT: [[TMP10:%.*]] = select i1 [[TMP9]], i32 -1, i32 1
; X64-NEXT: br label %endblock ; X64-NEXT: br label %endblock
; X64: endblock: ; X64: endblock:
; X64-NEXT: [[PHI_RES:%.*]] = phi i32 [ 0, %loadbb ], [ [[TMP11]], %res_block ] ; X64-NEXT: [[PHI_RES:%.*]] = phi i32 [ 0, %loadbb ], [ [[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 2) %call = tail call i32 @memcmp(i8* %x, i8* %y, i64 2)
ret i32 %call ret i32 %call
} }
define i32 @cmp3(i8* nocapture readonly %x, i8* nocapture readonly %y) { define i32 @cmp3(i8* nocapture readonly %x, i8* nocapture readonly %y) {
; ALL-LABEL: @cmp3( ; ALL-LABEL: @cmp3(
; ALL-NEXT: [[CALL:%.*]] = tail call i32 @memcmp(i8* %x, i8* %y, i64 3) ; ALL-NEXT: [[CALL:%.*]] = tail call i32 @memcmp(i8* %x, i8* %y, i64 3)
; ALL-NEXT: ret i32 [[CALL]] ; ALL-NEXT: ret i32 [[CALL]]
; ;
%call = tail call i32 @memcmp(i8* %x, i8* %y, i64 3) %call = tail call i32 @memcmp(i8* %x, i8* %y, i64 3)
ret i32 %call ret i32 %call
} }
define i32 @cmp4(i8* nocapture readonly %x, i8* nocapture readonly %y) { define i32 @cmp4(i8* nocapture readonly %x, i8* nocapture readonly %y) {
; X32-LABEL: @cmp4( ; X32-LABEL: @cmp4(
; X32-NEXT: loadbb: ; X32-NEXT: loadbb:
; X32-NEXT: [[TMP0:%.*]] = bitcast i8* %x to i32* ; X32-NEXT: [[TMP0:%.*]] = bitcast i8* %x to i32*
; X32-NEXT: [[TMP1:%.*]] = bitcast i8* %y to i32* ; X32-NEXT: [[TMP1:%.*]] = bitcast i8* %y to i32*
; X32-NEXT: [[TMP2:%.*]] = load i32, i32* [[TMP0]] ; X32-NEXT: [[TMP2:%.*]] = load i32, i32* [[TMP0]]
; X32-NEXT: [[TMP3:%.*]] = load i32, i32* [[TMP1]] ; X32-NEXT: [[TMP3:%.*]] = load i32, i32* [[TMP1]]
; X32-NEXT: [[TMP4:%.*]] = call i32 @llvm.bswap.i32(i32 [[TMP2]]) ; X32-NEXT: [[TMP4:%.*]] = call i32 @llvm.bswap.i32(i32 [[TMP2]])
; X32-NEXT: [[TMP5:%.*]] = call i32 @llvm.bswap.i32(i32 [[TMP3]]) ; X32-NEXT: [[TMP5:%.*]] = call i32 @llvm.bswap.i32(i32 [[TMP3]])
; X32-NEXT: [[TMP6:%.*]] = sub i32 [[TMP4]], [[TMP5]] ; X32-NEXT: [[TMP6:%.*]] = icmp eq i32 [[TMP4]], [[TMP5]]
; X32-NEXT: [[TMP7:%.*]] = icmp ne i32 [[TMP6]], 0 ; X32-NEXT: br i1 [[TMP6]], label %endblock, label %res_block
; X32-NEXT: br i1 [[TMP7]], label %res_block, label %endblock
; X32: res_block: ; X32: res_block:
; X32-NEXT: [[TMP8:%.*]] = icmp ult i32 [[TMP4]], [[TMP5]] ; X32-NEXT: [[TMP7:%.*]] = icmp ult i32 [[TMP4]], [[TMP5]]
; X32-NEXT: [[TMP9:%.*]] = select i1 [[TMP8]], i32 -1, i32 1 ; X32-NEXT: [[TMP8:%.*]] = select i1 [[TMP7]], i32 -1, i32 1
; X32-NEXT: br label %endblock ; X32-NEXT: br label %endblock
; X32: endblock: ; X32: endblock:
; X32-NEXT: [[PHI_RES:%.*]] = phi i32 [ 0, %loadbb ], [ [[TMP9]], %res_block ] ; X32-NEXT: [[PHI_RES:%.*]] = phi i32 [ 0, %loadbb ], [ [[TMP8]], %res_block ]
; X32-NEXT: ret i32 [[PHI_RES]] ; X32-NEXT: ret i32 [[PHI_RES]]
; ;
; X64-LABEL: @cmp4( ; X64-LABEL: @cmp4(
; X64-NEXT: loadbb: ; X64-NEXT: loadbb:
; X64-NEXT: [[TMP0:%.*]] = bitcast i8* %x to i32* ; X64-NEXT: [[TMP0:%.*]] = bitcast i8* %x to i32*
; X64-NEXT: [[TMP1:%.*]] = bitcast i8* %y to i32* ; X64-NEXT: [[TMP1:%.*]] = bitcast i8* %y to i32*
; X64-NEXT: [[TMP2:%.*]] = load i32, i32* [[TMP0]] ; X64-NEXT: [[TMP2:%.*]] = load i32, i32* [[TMP0]]
; X64-NEXT: [[TMP3:%.*]] = load i32, i32* [[TMP1]] ; X64-NEXT: [[TMP3:%.*]] = load i32, i32* [[TMP1]]
; X64-NEXT: [[TMP4:%.*]] = call i32 @llvm.bswap.i32(i32 [[TMP2]]) ; X64-NEXT: [[TMP4:%.*]] = call i32 @llvm.bswap.i32(i32 [[TMP2]])
; X64-NEXT: [[TMP5:%.*]] = call i32 @llvm.bswap.i32(i32 [[TMP3]]) ; X64-NEXT: [[TMP5:%.*]] = call i32 @llvm.bswap.i32(i32 [[TMP3]])
; X64-NEXT: [[TMP6:%.*]] = zext i32 [[TMP4]] to i64 ; X64-NEXT: [[TMP6:%.*]] = zext i32 [[TMP4]] to i64
; X64-NEXT: [[TMP7:%.*]] = zext i32 [[TMP5]] to i64 ; X64-NEXT: [[TMP7:%.*]] = zext i32 [[TMP5]] to i64
; X64-NEXT: [[TMP8:%.*]] = sub i64 [[TMP6]], [[TMP7]] ; X64-NEXT: [[TMP8:%.*]] = icmp eq i64 [[TMP6]], [[TMP7]]
; X64-NEXT: [[TMP9:%.*]] = icmp ne i64 [[TMP8]], 0 ; X64-NEXT: br i1 [[TMP8]], label %endblock, label %res_block
; X64-NEXT: br i1 [[TMP9]], label %res_block, label %endblock
; X64: res_block: ; X64: res_block:
; X64-NEXT: [[TMP10:%.*]] = icmp ult i64 [[TMP6]], [[TMP7]] ; X64-NEXT: [[TMP9:%.*]] = icmp ult i64 [[TMP6]], [[TMP7]]
; X64-NEXT: [[TMP11:%.*]] = select i1 [[TMP10]], i32 -1, i32 1 ; X64-NEXT: [[TMP10:%.*]] = select i1 [[TMP9]], i32 -1, i32 1
; X64-NEXT: br label %endblock ; X64-NEXT: br label %endblock
; X64: endblock: ; X64: endblock:
; X64-NEXT: [[PHI_RES:%.*]] = phi i32 [ 0, %loadbb ], [ [[TMP11]], %res_block ] ; X64-NEXT: [[PHI_RES:%.*]] = phi i32 [ 0, %loadbb ], [ [[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 4) %call = tail call i32 @memcmp(i8* %x, i8* %y, i64 4)
ret i32 %call ret i32 %call
} }
define i32 @cmp5(i8* nocapture readonly %x, i8* nocapture readonly %y) { define i32 @cmp5(i8* nocapture readonly %x, i8* nocapture readonly %y) {
; ALL-LABEL: @cmp5( ; ALL-LABEL: @cmp5(
Show All 30 Lines
; X64-LABEL: @cmp8( ; X64-LABEL: @cmp8(
; 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]])
; X64-NEXT: [[TMP5:%.*]] = call i64 @llvm.bswap.i64(i64 [[TMP3]]) ; X64-NEXT: [[TMP5:%.*]] = call i64 @llvm.bswap.i64(i64 [[TMP3]])
; X64-NEXT: [[TMP6:%.*]] = sub i64 [[TMP4]], [[TMP5]] ; X64-NEXT: [[TMP6:%.*]] = icmp eq i64 [[TMP4]], [[TMP5]]
; X64-NEXT: [[TMP7:%.*]] = icmp ne i64 [[TMP6]], 0 ; X64-NEXT: br i1 [[TMP6]], label %endblock, label %res_block
; X64-NEXT: br i1 [[TMP7]], label %res_block, label %endblock
; X64: res_block: ; X64: res_block:
; X64-NEXT: [[TMP8:%.*]] = icmp ult i64 [[TMP4]], [[TMP5]] ; X64-NEXT: [[TMP7:%.*]] = icmp ult i64 [[TMP4]], [[TMP5]]
; X64-NEXT: [[TMP9:%.*]] = select i1 [[TMP8]], i32 -1, i32 1 ; X64-NEXT: [[TMP8:%.*]] = select i1 [[TMP7]], i32 -1, i32 1
; X64-NEXT: br label %endblock ; X64-NEXT: br label %endblock
; X64: endblock: ; X64: endblock:
; X64-NEXT: [[PHI_RES:%.*]] = phi i32 [ 0, %loadbb ], [ [[TMP9]], %res_block ] ; X64-NEXT: [[PHI_RES:%.*]] = phi i32 [ 0, %loadbb ], [ [[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 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) {
; ALL-LABEL: @cmp9( ; ALL-LABEL: @cmp9(
▲ Show 20 Lines • Show All 286 Lines • Show Last 20 Lines