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