test/CodeGen/SystemZ/int-cmp-22.ll

   1 ; Test 16-bit signed ordered comparisons between memory and a constant.
   2 ;
   3 ; RUN: llc < %s -mtriple=s390x-linux-gnu | FileCheck %s
   4
   5 ; Check comparisons with 0.
   6 define double @f1(double %a, double %b, i16 *%ptr) {
   7 ; CHECK-LABEL: f1:
   8 ; CHECK: chhsi 0(%r2), 0
   9 ; CHECK-NEXT: jl
  10 ; CHECK: ldr %f0, %f2
  11 ; CHECK: br %r14
  12   %val = load i16 *%ptr
  13   %cond = icmp slt i16 %val, 0
  14   %res = select i1 %cond, double %a, double %b
  15   ret double %res
  16 }
  17
  18 ; Check comparisons with 1.
  19 define double @f2(double %a, double %b, i16 *%ptr) {
  20 ; CHECK-LABEL: f2:
  21 ; CHECK: chhsi 0(%r2), 0
  22 ; CHECK-NEXT: jle
  23 ; CHECK: ldr %f0, %f2
  24 ; CHECK: br %r14
  25   %val = load i16 *%ptr
  26   %cond = icmp slt i16 %val, 1
  27   %res = select i1 %cond, double %a, double %b
  28   ret double %res
  29 }
  30
  31 ; Check a value near the high end of the signed 16-bit range.
  32 define double @f3(double %a, double %b, i16 *%ptr) {
  33 ; CHECK-LABEL: f3:
  34 ; CHECK: chhsi 0(%r2), 32766
  35 ; CHECK-NEXT: jl
  36 ; CHECK: ldr %f0, %f2
  37 ; CHECK: br %r14
  38   %val = load i16 *%ptr
  39   %cond = icmp slt i16 %val, 32766
  40   %res = select i1 %cond, double %a, double %b
  41   ret double %res
  42 }
  43
  44 ; Check comparisons with -1.
  45 define double @f4(double %a, double %b, i16 *%ptr) {
  46 ; CHECK-LABEL: f4:
  47 ; CHECK: chhsi 0(%r2), -1
  48 ; CHECK-NEXT: jl
  49 ; CHECK: ldr %f0, %f2
  50 ; CHECK: br %r14
  51   %val = load i16 *%ptr
  52   %cond = icmp slt i16 %val, -1
  53   %res = select i1 %cond, double %a, double %b
  54   ret double %res
  55 }
  56
  57 ; Check a value near the low end of the 16-bit signed range.
  58 define double @f5(double %a, double %b, i16 *%ptr) {
  59 ; CHECK-LABEL: f5:
  60 ; CHECK: chhsi 0(%r2), -32766
  61 ; CHECK-NEXT: jl
  62 ; CHECK: ldr %f0, %f2
  63 ; CHECK: br %r14
  64   %val = load i16 *%ptr
  65   %cond = icmp slt i16 %val, -32766
  66   %res = select i1 %cond, double %a, double %b
  67   ret double %res
  68 }
  69
  70 ; Check the high end of the CHHSI range.
  71 define double @f6(double %a, double %b, i16 %i1, i16 *%base) {
  72 ; CHECK-LABEL: f6:
  73 ; CHECK: chhsi 4094(%r3), 0
  74 ; CHECK-NEXT: jl
  75 ; CHECK: ldr %f0, %f2
  76 ; CHECK: br %r14
  77   %ptr = getelementptr i16 *%base, i64 2047
  78   %val = load i16 *%ptr
  79   %cond = icmp slt i16 %val, 0
  80   %res = select i1 %cond, double %a, double %b
  81   ret double %res
  82 }
  83
  84 ; Check the next halfword up, which needs separate address logic,
  85 define double @f7(double %a, double %b, i16 *%base) {
  86 ; CHECK-LABEL: f7:
  87 ; CHECK: aghi %r2, 4096
  88 ; CHECK: chhsi 0(%r2), 0
  89 ; CHECK-NEXT: jl
  90 ; CHECK: ldr %f0, %f2
  91 ; CHECK: br %r14
  92   %ptr = getelementptr i16 *%base, i64 2048
  93   %val = load i16 *%ptr
  94   %cond = icmp slt i16 %val, 0
  95   %res = select i1 %cond, double %a, double %b
  96   ret double %res
  97 }
  98
  99 ; Check negative offsets, which also need separate address logic.
 100 define double @f8(double %a, double %b, i16 *%base) {
 101 ; CHECK-LABEL: f8:
 102 ; CHECK: aghi %r2, -2
 103 ; CHECK: chhsi 0(%r2), 0
 104 ; CHECK-NEXT: jl
 105 ; CHECK: ldr %f0, %f2
 106 ; CHECK: br %r14
 107   %ptr = getelementptr i16 *%base, i64 -1
 108   %val = load i16 *%ptr
 109   %cond = icmp slt i16 %val, 0
 110   %res = select i1 %cond, double %a, double %b
 111   ret double %res
 112 }
 113
 114 ; Check that CHHSI does not allow indices.
 115 define double @f9(double %a, double %b, i64 %base, i64 %index) {
 116 ; CHECK-LABEL: f9:
 117 ; CHECK: agr {{%r2, %r3|%r3, %r2}}
 118 ; CHECK: chhsi 0({{%r[23]}}), 0
 119 ; CHECK-NEXT: jl
 120 ; CHECK: ldr %f0, %f2
 121 ; CHECK: br %r14
 122   %add = add i64 %base, %index
 123   %ptr = inttoptr i64 %add to i16 *
 124   %val = load i16 *%ptr
 125   %cond = icmp slt i16 %val, 0
 126   %res = select i1 %cond, double %a, double %b
 127   ret double %res
 128 }