1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py 2; RUN: llc -ppc-gpr-icmps=all -verify-machineinstrs -mcpu=pwr8 < %s | FileCheck %s 3target 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 4 7@zeroEqualityTest01.buffer2 = private unnamed_addr constant [3 x i32] [i32 1, i32 2, i32 3], align 4 8@zeroEqualityTest02.buffer1 = private unnamed_addr constant [4 x i32] [i32 4, i32 0, i32 0, i32 0], align 4 9@zeroEqualityTest02.buffer2 = private unnamed_addr constant [4 x i32] [i32 3, i32 0, i32 0, i32 0], align 4 10@zeroEqualityTest03.buffer1 = private unnamed_addr constant [4 x i32] [i32 0, i32 0, i32 0, i32 3], align 4 11@zeroEqualityTest03.buffer2 = private unnamed_addr constant [4 x i32] [i32 0, i32 0, i32 0, i32 4], align 4 12@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 4 13@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 4 14 15declare signext i32 @memcmp(i8* nocapture, i8* nocapture, i64) local_unnamed_addr #1 16 17; Check 4 bytes - requires 1 load for each param. 18define signext i32 @zeroEqualityTest02(i8* %x, i8* %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, 4 24; CHECK-NEXT: cntlzw 3, 3 25; CHECK-NEXT: srwi 3, 3, 5 26; CHECK-NEXT: xori 3, 3, 1 27; CHECK-NEXT: blr 28 %call = tail call signext i32 @memcmp(i8* %x, i8* %y, i64 4) 29 %not.cmp = icmp ne i32 %call, 0 30 %. = zext i1 %not.cmp to i32 31 ret i32 %. 32} 33 34; Check 16 bytes - requires 2 loads for each param (or use vectors?). 35define signext i32 @zeroEqualityTest01(i8* %x, i8* %y) { 36; CHECK-LABEL: zeroEqualityTest01: 37; CHECK: # %bb.0: 38; CHECK-NEXT: ldx 5, 0, 3 39; CHECK-NEXT: ldx 6, 0, 4 40; CHECK-NEXT: cmpld 5, 6 41; CHECK-NEXT: bne 0, .LBB1_2 42; CHECK-NEXT: # %bb.1: # %loadbb1 43; CHECK-NEXT: ld 3, 8(3) 44; CHECK-NEXT: ld 4, 8(4) 45; CHECK-NEXT: cmpld 3, 4 46; CHECK-NEXT: li 3, 0 47; CHECK-NEXT: beq 0, .LBB1_3 48; CHECK-NEXT: .LBB1_2: # %res_block 49; CHECK-NEXT: li 3, 1 50; CHECK-NEXT: .LBB1_3: # %endblock 51; CHECK-NEXT: clrldi 3, 3, 32 52; CHECK-NEXT: blr 53 %call = tail call signext i32 @memcmp(i8* %x, i8* %y, i64 16) 54 %not.tobool = icmp ne i32 %call, 0 55 %. = zext i1 %not.tobool to i32 56 ret i32 %. 57} 58 59; Check 7 bytes - requires 3 loads for each param. 60define signext i32 @zeroEqualityTest03(i8* %x, i8* %y) { 61; CHECK-LABEL: zeroEqualityTest03: 62; CHECK: # %bb.0: 63; CHECK-NEXT: lwz 5, 0(3) 64; CHECK-NEXT: lwz 6, 0(4) 65; CHECK-NEXT: cmplw 5, 6 66; CHECK-NEXT: bne 0, .LBB2_3 67; CHECK-NEXT: # %bb.1: # %loadbb1 68; CHECK-NEXT: lhz 5, 4(3) 69; CHECK-NEXT: lhz 6, 4(4) 70; CHECK-NEXT: cmplw 5, 6 71; CHECK-NEXT: bne 0, .LBB2_3 72; CHECK-NEXT: # %bb.2: # %loadbb2 73; CHECK-NEXT: lbz 3, 6(3) 74; CHECK-NEXT: lbz 4, 6(4) 75; CHECK-NEXT: cmplw 3, 4 76; CHECK-NEXT: li 3, 0 77; CHECK-NEXT: beq 0, .LBB2_4 78; CHECK-NEXT: .LBB2_3: # %res_block 79; CHECK-NEXT: li 3, 1 80; CHECK-NEXT: .LBB2_4: # %endblock 81; CHECK-NEXT: clrldi 3, 3, 32 82; CHECK-NEXT: blr 83 %call = tail call signext i32 @memcmp(i8* %x, i8* %y, i64 7) 84 %not.lnot = icmp ne i32 %call, 0 85 %cond = zext i1 %not.lnot to i32 86 ret i32 %cond 87} 88 89; Validate with > 0 90define signext i32 @zeroEqualityTest04() { 91; CHECK-LABEL: zeroEqualityTest04: 92; CHECK: # %bb.0: # %loadbb 93; CHECK-NEXT: li 3, 0 94; CHECK-NEXT: blr 95 %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) 96 %not.cmp = icmp slt i32 %call, 1 97 %. = zext i1 %not.cmp to i32 98 ret i32 %. 99} 100 101; Validate with < 0 102define signext i32 @zeroEqualityTest05() { 103; CHECK-LABEL: zeroEqualityTest05: 104; CHECK: # %bb.0: # %loadbb 105; CHECK-NEXT: li 3, 0 106; CHECK-NEXT: blr 107 %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) 108 %call.lobit = lshr i32 %call, 31 109 %call.lobit.not = xor i32 %call.lobit, 1 110 ret i32 %call.lobit.not 111} 112 113; Validate with memcmp()?: 114define signext i32 @equalityFoldTwoConstants() { 115; CHECK-LABEL: equalityFoldTwoConstants: 116; CHECK: # %bb.0: # %loadbb 117; CHECK-NEXT: li 3, 1 118; CHECK-NEXT: blr 119 %call = tail call signext i32 @memcmp(i8* bitcast ([15 x i32]* @zeroEqualityTest04.buffer1 to i8*), i8* bitcast ([15 x i32]* @zeroEqualityTest04.buffer2 to i8*), i64 16) 120 %not.tobool = icmp eq i32 %call, 0 121 %cond = zext i1 %not.tobool to i32 122 ret i32 %cond 123} 124 125define signext i32 @equalityFoldOneConstant(i8* %X) { 126; CHECK-LABEL: equalityFoldOneConstant: 127; CHECK: # %bb.0: 128; CHECK-NEXT: ldx 4, 0, 3 129; CHECK-NEXT: li 5, 1 130; CHECK-NEXT: sldi 5, 5, 32 131; CHECK-NEXT: cmpld 4, 5 132; CHECK-NEXT: bne 0, .LBB6_2 133; CHECK-NEXT: # %bb.1: # %loadbb1 134; CHECK-NEXT: li 4, 3 135; CHECK-NEXT: ld 3, 8(3) 136; CHECK-NEXT: sldi 4, 4, 32 137; CHECK-NEXT: ori 4, 4, 2 138; CHECK-NEXT: cmpld 3, 4 139; CHECK-NEXT: li 3, 0 140; CHECK-NEXT: beq 0, .LBB6_3 141; CHECK-NEXT: .LBB6_2: # %res_block 142; CHECK-NEXT: li 3, 1 143; CHECK-NEXT: .LBB6_3: # %endblock 144; CHECK-NEXT: cntlzw 3, 3 145; CHECK-NEXT: srwi 3, 3, 5 146; CHECK-NEXT: blr 147 %call = tail call signext i32 @memcmp(i8* bitcast ([15 x i32]* @zeroEqualityTest04.buffer1 to i8*), i8* %X, i64 16) 148 %not.tobool = icmp eq i32 %call, 0 149 %cond = zext i1 %not.tobool to i32 150 ret i32 %cond 151} 152 153define i1 @length2_eq_nobuiltin_attr(i8* %X, i8* %Y) nounwind { 154; CHECK-LABEL: length2_eq_nobuiltin_attr: 155; CHECK: # %bb.0: 156; CHECK-NEXT: mflr 0 157; CHECK-NEXT: std 0, 16(1) 158; CHECK-NEXT: stdu 1, -32(1) 159; CHECK-NEXT: li 5, 2 160; CHECK-NEXT: bl memcmp 161; CHECK-NEXT: nop 162; CHECK-NEXT: cntlzw 3, 3 163; CHECK-NEXT: rlwinm 3, 3, 27, 31, 31 164; CHECK-NEXT: addi 1, 1, 32 165; CHECK-NEXT: ld 0, 16(1) 166; CHECK-NEXT: mtlr 0 167; CHECK-NEXT: blr 168 %m = tail call signext i32 @memcmp(i8* %X, i8* %Y, i64 2) nobuiltin 169 %c = icmp eq i32 %m, 0 170 ret i1 %c 171} 172 173