test/CodeGen/RISCV/i32-icmp.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
   2 ; RUN: llc -mtriple=riscv32 -verify-machineinstrs < %s \
   3 ; RUN:   | FileCheck %s -check-prefix=RV32I
   4
   5 ; TODO: check the generated instructions for the equivalent of seqz, snez,
   6 ; sltz, sgtz map to something simple
   7
   8 define i32 @icmp_eq(i32 %a, i32 %b) nounwind {
   9 ; RV32I-LABEL: icmp_eq:
  10 ; RV32I:       # %bb.0:
  11 ; RV32I-NEXT:    xor a0, a0, a1
  12 ; RV32I-NEXT:    seqz a0, a0
  13 ; RV32I-NEXT:    ret
  14   %1 = icmp eq i32 %a, %b
  15   %2 = zext i1 %1 to i32
  16   ret i32 %2
  17 }
  18
  19 define i32 @icmp_eq_constant(i32 %a) nounwind {
  20 ; RV32I-LABEL: icmp_eq_constant:
  21 ; RV32I:       # %bb.0:
  22 ; RV32I-NEXT:    xori a0, a0, 42
  23 ; RV32I-NEXT:    seqz a0, a0
  24 ; RV32I-NEXT:    ret
  25   %1 = icmp eq i32 %a, 42
  26   %2 = zext i1 %1 to i32
  27   ret i32 %2
  28 }
  29
  30 define i32 @icmp_eqz(i32 %a) nounwind {
  31 ; RV32I-LABEL: icmp_eqz:
  32 ; RV32I:       # %bb.0:
  33 ; RV32I-NEXT:    seqz a0, a0
  34 ; RV32I-NEXT:    ret
  35   %1 = icmp eq i32 %a, 0
  36   %2 = zext i1 %1 to i32
  37   ret i32 %2
  38 }
  39
  40 define i32 @icmp_ne(i32 %a, i32 %b) nounwind {
  41 ; RV32I-LABEL: icmp_ne:
  42 ; RV32I:       # %bb.0:
  43 ; RV32I-NEXT:    xor a0, a0, a1
  44 ; RV32I-NEXT:    snez a0, a0
  45 ; RV32I-NEXT:    ret
  46   %1 = icmp ne i32 %a, %b
  47   %2 = zext i1 %1 to i32
  48   ret i32 %2
  49 }
  50
  51 define i32 @icmp_ne_constant(i32 %a) nounwind {
  52 ; RV32I-LABEL: icmp_ne_constant:
  53 ; RV32I:       # %bb.0:
  54 ; RV32I-NEXT:    xori a0, a0, 42
  55 ; RV32I-NEXT:    snez a0, a0
  56 ; RV32I-NEXT:    ret
  57   %1 = icmp ne i32 %a, 42
  58   %2 = zext i1 %1 to i32
  59   ret i32 %2
  60 }
  61
  62 define i32 @icmp_nez(i32 %a) nounwind {
  63 ; RV32I-LABEL: icmp_nez:
  64 ; RV32I:       # %bb.0:
  65 ; RV32I-NEXT:    snez a0, a0
  66 ; RV32I-NEXT:    ret
  67   %1 = icmp ne i32 %a, 0
  68   %2 = zext i1 %1 to i32
  69   ret i32 %2
  70 }
  71
  72 define i32 @icmp_ugt(i32 %a, i32 %b) nounwind {
  73 ; RV32I-LABEL: icmp_ugt:
  74 ; RV32I:       # %bb.0:
  75 ; RV32I-NEXT:    sltu a0, a1, a0
  76 ; RV32I-NEXT:    ret
  77   %1 = icmp ugt i32 %a, %b
  78   %2 = zext i1 %1 to i32
  79   ret i32 %2
  80 }
  81
  82 define i32 @icmp_uge(i32 %a, i32 %b) nounwind {
  83 ; RV32I-LABEL: icmp_uge:
  84 ; RV32I:       # %bb.0:
  85 ; RV32I-NEXT:    sltu a0, a0, a1
  86 ; RV32I-NEXT:    xori a0, a0, 1
  87 ; RV32I-NEXT:    ret
  88   %1 = icmp uge i32 %a, %b
  89   %2 = zext i1 %1 to i32
  90   ret i32 %2
  91 }
  92
  93 define i32 @icmp_ult(i32 %a, i32 %b) nounwind {
  94 ; RV32I-LABEL: icmp_ult:
  95 ; RV32I:       # %bb.0:
  96 ; RV32I-NEXT:    sltu a0, a0, a1
  97 ; RV32I-NEXT:    ret
  98   %1 = icmp ult i32 %a, %b
  99   %2 = zext i1 %1 to i32
 100   ret i32 %2
 101 }
 102
 103 define i32 @icmp_ule(i32 %a, i32 %b) nounwind {
 104 ; RV32I-LABEL: icmp_ule:
 105 ; RV32I:       # %bb.0:
 106 ; RV32I-NEXT:    sltu a0, a1, a0
 107 ; RV32I-NEXT:    xori a0, a0, 1
 108 ; RV32I-NEXT:    ret
 109   %1 = icmp ule i32 %a, %b
 110   %2 = zext i1 %1 to i32
 111   ret i32 %2
 112 }
 113
 114 define i32 @icmp_sgt(i32 %a, i32 %b) nounwind {
 115 ; RV32I-LABEL: icmp_sgt:
 116 ; RV32I:       # %bb.0:
 117 ; RV32I-NEXT:    slt a0, a1, a0
 118 ; RV32I-NEXT:    ret
 119   %1 = icmp sgt i32 %a, %b
 120   %2 = zext i1 %1 to i32
 121   ret i32 %2
 122 }
 123
 124 define i32 @icmp_sge(i32 %a, i32 %b) nounwind {
 125 ; RV32I-LABEL: icmp_sge:
 126 ; RV32I:       # %bb.0:
 127 ; RV32I-NEXT:    slt a0, a0, a1
 128 ; RV32I-NEXT:    xori a0, a0, 1
 129 ; RV32I-NEXT:    ret
 130   %1 = icmp sge i32 %a, %b
 131   %2 = zext i1 %1 to i32
 132   ret i32 %2
 133 }
 134
 135 define i32 @icmp_slt(i32 %a, i32 %b) nounwind {
 136 ; RV32I-LABEL: icmp_slt:
 137 ; RV32I:       # %bb.0:
 138 ; RV32I-NEXT:    slt a0, a0, a1
 139 ; RV32I-NEXT:    ret
 140   %1 = icmp slt i32 %a, %b
 141   %2 = zext i1 %1 to i32
 142   ret i32 %2
 143 }
 144
 145 define i32 @icmp_sle(i32 %a, i32 %b) nounwind {
 146 ; RV32I-LABEL: icmp_sle:
 147 ; RV32I:       # %bb.0:
 148 ; RV32I-NEXT:    slt a0, a1, a0
 149 ; RV32I-NEXT:    xori a0, a0, 1
 150 ; RV32I-NEXT:    ret
 151   %1 = icmp sle i32 %a, %b
 152   %2 = zext i1 %1 to i32
 153   ret i32 %2
 154 }
 155
 156 ; TODO: check variants with an immediate?