test/CodeGen/PowerPC/logic-ops-on-compares.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
   2 ; RUN: llc -verify-machineinstrs -mtriple=powerpc64-unknown-linux-gnu -O2 \
   3 ; RUN:   -ppc-asm-full-reg-names -mcpu=pwr8 < %s | FileCheck %s \
   4 ; RUN:  --implicit-check-not cmpw --implicit-check-not cmpd --implicit-check-not cmpl
   5 ; RUN: llc -verify-machineinstrs -mtriple=powerpc64le-unknown-linux-gnu -O2 \
   6 ; RUN:   -ppc-asm-full-reg-names -mcpu=pwr8 < %s | FileCheck %s \
   7 ; RUN:  --implicit-check-not cmpw --implicit-check-not cmpd --implicit-check-not cmpl
   8
   9 ; Function Attrs: nounwind
  10 define signext i32 @logic_ne_32(i32 signext %a, i32 signext %b, i32 signext %c) {
  11 ; CHECK-LABEL: logic_ne_32:
  12 ; CHECK:    xor r7, r3, r4
  13 ; CHECK-NEXT:    li r6, 55
  14 ; CHECK-NEXT:    xor r5, r5, r6
  15 ; CHECK-NEXT:    or r7, r7, r4
  16 ; CHECK-NEXT:    cntlzw r5, r5
  17 ; CHECK-NEXT:    cntlzw r6, r7
  18 ; CHECK-NEXT:    srwi r6, r6, 5
  19 ; CHECK-NEXT:    srwi r5, r5, 5
  20 ; CHECK-NEXT:    or. r5, r6, r5
  21 ; CHECK-NEXT:    bc 4, gt
  22 entry:
  23   %tobool = icmp eq i32 %a, %b
  24   %tobool1 = icmp eq i32 %b, 0
  25   %or.cond = and i1 %tobool, %tobool1
  26   %tobool3 = icmp eq i32 %c, 55
  27   %or.cond5 = or i1 %or.cond, %tobool3
  28   br i1 %or.cond5, label %if.end, label %if.then
  29
  30 if.then:                                          ; preds = %entry
  31   %call = tail call signext i32 @foo(i32 signext %a) #2
  32   br label %return
  33
  34 if.end:                                           ; preds = %entry
  35   %call4 = tail call signext i32 @bar(i32 signext %b) #2
  36   br label %return
  37
  38 return:                                           ; preds = %if.end, %if.then
  39   %retval.0 = phi i32 [ %call4, %if.end ], [ %call, %if.then ]
  40   ret i32 %retval.0
  41 }
  42
  43 define void @neg_truncate_i32_eq(i32 *%ptr) {
  44 ; CHECK-LABEL: neg_truncate_i32_eq:
  45 ; CHECK:       # BB#0: # %entry
  46 ; CHECK-NEXT:    lwz r3, 0(r3)
  47 ; CHECK-NEXT:    rldicl. r3, r3, 0, 63
  48 ; CHECK-NEXT:    bclr 12, eq, 0
  49 ; CHECK-NEXT:  # BB#1: # %if.end29.thread136
  50 entry:
  51   %0 = load i32, i32* %ptr, align 4
  52   %rem17127 = and i32 %0, 1
  53   %cmp18 = icmp eq i32 %rem17127, 0
  54   br label %if.else
  55
  56 if.else:                                          ; preds = %entry
  57   br i1 %cmp18, label %if.end29, label %if.end29.thread136
  58
  59 if.end29.thread136:                               ; preds = %if.else
  60   unreachable
  61
  62 if.end29:                                         ; preds = %if.else
  63   ret void
  64
  65 }
  66
  67 ; Function Attrs: nounwind
  68 define i64 @logic_eq_64(i64 %a, i64 %b, i64 %c) {
  69 ; CHECK-LABEL: logic_eq_64:
  70 ; CHECK:    xor r7, r3, r4
  71 ; CHECK-NEXT:    li r6, 55
  72 ; CHECK-NEXT:    xor r5, r5, r6
  73 ; CHECK-NEXT:    or r7, r7, r4
  74 ; CHECK-NEXT:    cntlzd r6, r7
  75 ; CHECK-NEXT:    cntlzd r5, r5
  76 ; CHECK-NEXT:    rldicl r6, r6, 58, 63
  77 ; CHECK-NEXT:    rldicl r5, r5, 58, 63
  78 ; CHECK-NEXT:    or. r5, r6, r5
  79 ; CHECK-NEXT:    bc 4, gt
  80 entry:
  81   %tobool = icmp eq i64 %a, %b
  82   %tobool1 = icmp eq i64 %b, 0
  83   %or.cond = and i1 %tobool, %tobool1
  84   %tobool3 = icmp eq i64 %c, 55
  85   %or.cond5 = or i1 %or.cond, %tobool3
  86   br i1 %or.cond5, label %if.end, label %if.then
  87
  88 if.then:                                          ; preds = %entry
  89   %call = tail call i64 @foo64(i64 %a) #2
  90   br label %return
  91
  92 if.end:                                           ; preds = %entry
  93   %call4 = tail call i64 @bar64(i64 %b) #2
  94   br label %return
  95
  96 return:                                           ; preds = %if.end, %if.then
  97   %retval.0 = phi i64 [ %call4, %if.end ], [ %call, %if.then ]
  98   ret i64 %retval.0
  99 }
 100
 101 define void @neg_truncate_i64_eq(i64 *%ptr) {
 102 ; CHECK-LABEL: neg_truncate_i64_eq:
 103 ; CHECK:       # BB#0: # %entry
 104 ; CHECK-NEXT:    ld r3, 0(r3)
 105 ; CHECK-NEXT:    rldicl. r3, r3, 0, 63
 106 ; CHECK-NEXT:    bclr 12, eq, 0
 107 ; CHECK-NEXT:  # BB#1: # %if.end29.thread136
 108 entry:
 109   %0 = load i64, i64* %ptr, align 4
 110   %rem17127 = and i64 %0, 1
 111   %cmp18 = icmp eq i64 %rem17127, 0
 112   br label %if.else
 113
 114 if.else:                                          ; preds = %entry
 115   br i1 %cmp18, label %if.end29, label %if.end29.thread136
 116
 117 if.end29.thread136:                               ; preds = %if.else
 118   unreachable
 119
 120 if.end29:                                         ; preds = %if.else
 121   ret void
 122
 123 }
 124
 125 ; Function Attrs: nounwind
 126 define i64 @logic_ne_64(i64 %a, i64 %b, i64 %c) {
 127 ; CHECK-LABEL: logic_ne_64:
 128 ; CHECK:    xor r7, r3, r4
 129 ; CHECK-NEXT:    li r6, 55
 130 ; CHECK-NEXT:    addic r8, r7, -1
 131 ; CHECK-NEXT:    xor r5, r5, r6
 132 ; CHECK-NEXT:    subfe r7, r8, r7
 133 ; CHECK-NEXT:    cntlzd r5, r5
 134 ; CHECK-NEXT:    addic r12, r4, -1
 135 ; CHECK-NEXT:    rldicl r5, r5, 58, 63
 136 ; CHECK-NEXT:    subfe r6, r12, r4
 137 ; CHECK-NEXT:    and r6, r7, r6
 138 ; CHECK-NEXT:    or. r5, r6, r5
 139 ; CHECK-NEXT:    bc 4, gt
 140 entry:
 141   %tobool = icmp ne i64 %a, %b
 142   %tobool1 = icmp ne i64 %b, 0
 143   %or.cond = and i1 %tobool, %tobool1
 144   %tobool3 = icmp eq i64 %c, 55
 145   %or.cond5 = or i1 %or.cond, %tobool3
 146   br i1 %or.cond5, label %if.end, label %if.then
 147
 148 if.then:                                          ; preds = %entry
 149   %call = tail call i64 @foo64(i64 %a) #2
 150   br label %return
 151
 152 if.end:                                           ; preds = %entry
 153   %call4 = tail call i64 @bar64(i64 %b) #2
 154   br label %return
 155
 156 return:                                           ; preds = %if.end, %if.then
 157   %retval.0 = phi i64 [ %call4, %if.end ], [ %call, %if.then ]
 158   ret i64 %retval.0
 159 }
 160
 161 define void @neg_truncate_i64_ne(i64 *%ptr) {
 162 ; CHECK-LABEL: neg_truncate_i64_ne:
 163 ; CHECK:       # BB#0: # %entry
 164 ; CHECK-NEXT:    ld r3, 0(r3)
 165 ; CHECK-NEXT:    andi. r3, r3, 1
 166 ; CHECK-NEXT:    bclr 12, gt, 0
 167 ; CHECK-NEXT:  # BB#1: # %if.end29.thread136
 168 entry:
 169   %0 = load i64, i64* %ptr, align 4
 170   %rem17127 = and i64 %0, 1
 171   %cmp18 = icmp ne i64 %rem17127, 0
 172   br label %if.else
 173
 174 if.else:                                          ; preds = %entry
 175   br i1 %cmp18, label %if.end29, label %if.end29.thread136
 176
 177 if.end29.thread136:                               ; preds = %if.else
 178   unreachable
 179
 180 if.end29:                                         ; preds = %if.else
 181   ret void
 182
 183 }
 184
 185 declare signext i32 @foo(i32 signext)
 186 declare signext i32 @bar(i32 signext)
 187 declare i64 @foo64(i64)
 188 declare i64 @bar64(i64)