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

   1 ; Test 16-bit unsigned comparisons between memory and a constant.
   2 ;
   3 ; RUN: llc < %s -mtriple=s390x-linux-gnu | FileCheck %s
   4
   5 ; Check a value near the low end of the unsigned 16-bit range.
   6 define double @f1(double %a, double %b, i16 *%ptr) {
   7 ; CHECK-LABEL: f1:
   8 ; CHECK: clhhsi 0(%r2), 1
   9 ; CHECK-NEXT: jh
  10 ; CHECK: ldr %f0, %f2
  11 ; CHECK: br %r14
  12   %val = load i16 *%ptr
  13   %cond = icmp ugt i16 %val, 1
  14   %res = select i1 %cond, double %a, double %b
  15   ret double %res
  16 }
  17
  18 ; Check a value near the high end of the unsigned 16-bit range.
  19 define double @f2(double %a, double %b, i16 *%ptr) {
  20 ; CHECK-LABEL: f2:
  21 ; CHECK: clhhsi 0(%r2), 65534
  22 ; CHECK-NEXT: jl
  23 ; CHECK: ldr %f0, %f2
  24 ; CHECK: br %r14
  25   %val = load i16 *%ptr
  26   %cond = icmp ult i16 %val, 65534
  27   %res = select i1 %cond, double %a, double %b
  28   ret double %res
  29 }
  30
  31 ; Check the high end of the CLHHSI range.
  32 define double @f3(double %a, double %b, i16 %i1, i16 *%base) {
  33 ; CHECK-LABEL: f3:
  34 ; CHECK: clhhsi 4094(%r3), 1
  35 ; CHECK-NEXT: jh
  36 ; CHECK: ldr %f0, %f2
  37 ; CHECK: br %r14
  38   %ptr = getelementptr i16 *%base, i64 2047
  39   %val = load i16 *%ptr
  40   %cond = icmp ugt i16 %val, 1
  41   %res = select i1 %cond, double %a, double %b
  42   ret double %res
  43 }
  44
  45 ; Check the next halfword up, which needs separate address logic,
  46 define double @f4(double %a, double %b, i16 *%base) {
  47 ; CHECK-LABEL: f4:
  48 ; CHECK: aghi %r2, 4096
  49 ; CHECK: clhhsi 0(%r2), 1
  50 ; CHECK-NEXT: jh
  51 ; CHECK: ldr %f0, %f2
  52 ; CHECK: br %r14
  53   %ptr = getelementptr i16 *%base, i64 2048
  54   %val = load i16 *%ptr
  55   %cond = icmp ugt i16 %val, 1
  56   %res = select i1 %cond, double %a, double %b
  57   ret double %res
  58 }
  59
  60 ; Check negative offsets, which also need separate address logic.
  61 define double @f5(double %a, double %b, i16 *%base) {
  62 ; CHECK-LABEL: f5:
  63 ; CHECK: aghi %r2, -2
  64 ; CHECK: clhhsi 0(%r2), 1
  65 ; CHECK-NEXT: jh
  66 ; CHECK: ldr %f0, %f2
  67 ; CHECK: br %r14
  68   %ptr = getelementptr i16 *%base, i64 -1
  69   %val = load i16 *%ptr
  70   %cond = icmp ugt i16 %val, 1
  71   %res = select i1 %cond, double %a, double %b
  72   ret double %res
  73 }
  74
  75 ; Check that CLHHSI does not allow indices.
  76 define double @f6(double %a, double %b, i64 %base, i64 %index) {
  77 ; CHECK-LABEL: f6:
  78 ; CHECK: agr {{%r2, %r3|%r3, %r2}}
  79 ; CHECK: clhhsi 0({{%r[23]}}), 1
  80 ; CHECK-NEXT: jh
  81 ; CHECK: ldr %f0, %f2
  82 ; CHECK: br %r14
  83   %add = add i64 %base, %index
  84   %ptr = inttoptr i64 %add to i16 *
  85   %val = load i16 *%ptr
  86   %cond = icmp ugt i16 %val, 1
  87   %res = select i1 %cond, double %a, double %b
  88   ret double %res
  89 }