152 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py2; RUN: llc -ppc-gpr-icmps=all -verify-machineinstrs -mcpu=pwr8 < %s | FileCheck %s3target datalayout = "e-m:e-i64:64-n32:64"4target triple = "powerpc64le-unknown-linux-gnu"5 6@zeroEqualityTest01.buffer1 = private unnamed_addr constant [3 x i32] [i32 1, i32 2, i32 4], align 47@zeroEqualityTest01.buffer2 = private unnamed_addr constant [3 x i32] [i32 1, i32 2, i32 3], align 48@zeroEqualityTest02.buffer1 = private unnamed_addr constant [4 x i32] [i32 4, i32 0, i32 0, i32 0], align 49@zeroEqualityTest02.buffer2 = private unnamed_addr constant [4 x i32] [i32 3, i32 0, i32 0, i32 0], align 410@zeroEqualityTest03.buffer1 = private unnamed_addr constant [4 x i32] [i32 0, i32 0, i32 0, i32 3], align 411@zeroEqualityTest03.buffer2 = private unnamed_addr constant [4 x i32] [i32 0, i32 0, i32 0, i32 4], align 412@zeroEqualityTest04.buffer1 = private unnamed_addr constant [15 x i32] [i32 0, i32 1, i32 2, i32 3, i32 4, i32 5, i32 6, i32 7, i32 8, i32 9, i32 10, i32 11, i32 12, i32 13, i32 14], align 413@zeroEqualityTest04.buffer2 = private unnamed_addr constant [15 x i32] [i32 0, i32 1, i32 2, i32 3, i32 4, i32 5, i32 6, i32 7, i32 8, i32 9, i32 10, i32 11, i32 12, i32 13, i32 13], align 414 15declare signext i32 @memcmp(ptr nocapture, ptr nocapture, i64) local_unnamed_addr #116 17; Check 4 bytes - requires 1 load for each param.18define signext i32 @zeroEqualityTest02(ptr %x, ptr %y) {19; CHECK-LABEL: zeroEqualityTest02:20; CHECK: # %bb.0:21; CHECK-NEXT: lwz 3, 0(3)22; CHECK-NEXT: lwz 4, 0(4)23; CHECK-NEXT: xor 3, 3, 424; CHECK-NEXT: cntlzw 3, 325; CHECK-NEXT: srwi 3, 3, 526; CHECK-NEXT: xori 3, 3, 127; CHECK-NEXT: blr28 %call = tail call signext i32 @memcmp(ptr %x, ptr %y, i64 4)29 %not.cmp = icmp ne i32 %call, 030 %. = zext i1 %not.cmp to i3231 ret i32 %.32}33 34; Check 16 bytes - requires 2 loads for each param (or use vectors?).35define signext i32 @zeroEqualityTest01(ptr %x, ptr %y) {36; CHECK-LABEL: zeroEqualityTest01:37; CHECK: # %bb.0:38; CHECK-NEXT: lxvd2x 34, 0, 439; CHECK-NEXT: lxvd2x 35, 0, 340; CHECK-NEXT: vcmpequb. 2, 3, 241; CHECK-NEXT: mfocrf 3, 242; CHECK-NEXT: not 3, 343; CHECK-NEXT: rlwinm 3, 3, 25, 31, 3144; CHECK-NEXT: blr45 %call = tail call signext i32 @memcmp(ptr %x, ptr %y, i64 16)46 %not.tobool = icmp ne i32 %call, 047 %. = zext i1 %not.tobool to i3248 ret i32 %.49}50 51; Check 7 bytes - requires 3 loads for each param.52define signext i32 @zeroEqualityTest03(ptr %x, ptr %y) {53; CHECK-LABEL: zeroEqualityTest03:54; CHECK: # %bb.0:55; CHECK-NEXT: lwz 5, 0(3)56; CHECK-NEXT: lwz 6, 0(4)57; CHECK-NEXT: cmplw 5, 658; CHECK-NEXT: bne 0, .LBB2_359; CHECK-NEXT: # %bb.1: # %loadbb160; CHECK-NEXT: lhz 5, 4(3)61; CHECK-NEXT: lhz 6, 4(4)62; CHECK-NEXT: cmplw 5, 663; CHECK-NEXT: bne 0, .LBB2_364; CHECK-NEXT: # %bb.2: # %loadbb265; CHECK-NEXT: lbz 5, 6(3)66; CHECK-NEXT: lbz 4, 6(4)67; CHECK-NEXT: li 3, 068; CHECK-NEXT: cmplw 5, 469; CHECK-NEXT: beqlr 070; CHECK-NEXT: .LBB2_3: # %res_block71; CHECK-NEXT: li 3, 172; CHECK-NEXT: blr73 %call = tail call signext i32 @memcmp(ptr %x, ptr %y, i64 7)74 %not.lnot = icmp ne i32 %call, 075 %cond = zext i1 %not.lnot to i3276 ret i32 %cond77}78 79; Validate with > 080define signext i32 @zeroEqualityTest04() {81; CHECK-LABEL: zeroEqualityTest04:82; CHECK: # %bb.0:83; CHECK-NEXT: li 3, 084; CHECK-NEXT: blr85 %call = tail call signext i32 @memcmp(ptr @zeroEqualityTest02.buffer1, ptr @zeroEqualityTest02.buffer2, i64 16)86 %not.cmp = icmp slt i32 %call, 187 %. = zext i1 %not.cmp to i3288 ret i32 %.89}90 91; Validate with < 092define signext i32 @zeroEqualityTest05() {93; CHECK-LABEL: zeroEqualityTest05:94; CHECK: # %bb.0:95; CHECK-NEXT: li 3, 096; CHECK-NEXT: blr97 %call = tail call signext i32 @memcmp(ptr @zeroEqualityTest03.buffer1, ptr @zeroEqualityTest03.buffer2, i64 16)98 %call.lobit = lshr i32 %call, 3199 %call.lobit.not = xor i32 %call.lobit, 1100 ret i32 %call.lobit.not101}102 103; Validate with memcmp()?:104define signext i32 @equalityFoldTwoConstants() {105; CHECK-LABEL: equalityFoldTwoConstants:106; CHECK: # %bb.0:107; CHECK-NEXT: li 3, 1108; CHECK-NEXT: blr109 %call = tail call signext i32 @memcmp(ptr @zeroEqualityTest04.buffer1, ptr @zeroEqualityTest04.buffer2, i64 16)110 %not.tobool = icmp eq i32 %call, 0111 %cond = zext i1 %not.tobool to i32112 ret i32 %cond113}114 115define signext i32 @equalityFoldOneConstant(ptr %X) {116; CHECK-LABEL: equalityFoldOneConstant:117; CHECK: # %bb.0:118; CHECK-NEXT: lxvd2x 34, 0, 3119; CHECK-NEXT: addis 3, 2, .LCPI6_0@toc@ha120; CHECK-NEXT: addi 3, 3, .LCPI6_0@toc@l121; CHECK-NEXT: lxvd2x 35, 0, 3122; CHECK-NEXT: vcmpequb. 2, 2, 3123; CHECK-NEXT: mfocrf 3, 2124; CHECK-NEXT: rlwinm 3, 3, 25, 31, 31125; CHECK-NEXT: blr126 %call = tail call signext i32 @memcmp(ptr @zeroEqualityTest04.buffer1, ptr %X, i64 16)127 %not.tobool = icmp eq i32 %call, 0128 %cond = zext i1 %not.tobool to i32129 ret i32 %cond130}131 132define i1 @length2_eq_nobuiltin_attr(ptr %X, ptr %Y) nounwind {133; CHECK-LABEL: length2_eq_nobuiltin_attr:134; CHECK: # %bb.0:135; CHECK-NEXT: mflr 0136; CHECK-NEXT: stdu 1, -32(1)137; CHECK-NEXT: li 5, 2138; CHECK-NEXT: std 0, 48(1)139; CHECK-NEXT: bl memcmp140; CHECK-NEXT: nop141; CHECK-NEXT: cntlzw 3, 3142; CHECK-NEXT: rlwinm 3, 3, 27, 31, 31143; CHECK-NEXT: addi 1, 1, 32144; CHECK-NEXT: ld 0, 16(1)145; CHECK-NEXT: mtlr 0146; CHECK-NEXT: blr147 %m = tail call signext i32 @memcmp(ptr %X, ptr %Y, i64 2) nobuiltin148 %c = icmp eq i32 %m, 0149 ret i1 %c150}151 152