llvm/test/CodeGen/PowerPC/memCmpUsedInZeroEqualityComparison.ll

   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
   3 target datalayout = "e-m:e-i64:64-n32:64"
   4 target 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
  15 declare signext i32 @memcmp(i8* nocapture, i8* nocapture, i64) local_unnamed_addr #1
  16
  17 ; Check 4 bytes - requires 1 load for each param.
  18 define 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?).
  35 define signext i32 @zeroEqualityTest01(i8* %x, i8* %y) {
  36 ; CHECK-LABEL: zeroEqualityTest01:
  37 ; CHECK:       # %bb.0:
  38 ; CHECK-NEXT:    ld 5, 0(3)
  39 ; CHECK-NEXT:    ld 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.
  60 define 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
  90 define 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
 102 define 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()?:
 114 define 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
 125 define signext i32 @equalityFoldOneConstant(i8* %X) {
 126 ; CHECK-LABEL: equalityFoldOneConstant:
 127 ; CHECK:       # %bb.0:
 128 ; CHECK-NEXT:    ld 4, 0(3)
 129 ; CHECK-NEXT:    li 5, 1
 130 ; CHECK-NEXT:    rldic 5, 5, 32, 31
 131 ; CHECK-NEXT:    cmpld 4, 5
 132 ; CHECK-NEXT:    bne 0, .LBB6_2
 133 ; CHECK-NEXT:  # %bb.1: # %loadbb1
 134 ; CHECK-NEXT:    lis 4, -32768
 135 ; CHECK-NEXT:    ld 3, 8(3)
 136 ; CHECK-NEXT:    ori 4, 4, 1
 137 ; CHECK-NEXT:    rldic 4, 4, 1, 30
 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
 153 define 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