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

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