37 lines · plain
1; Test 128-bit floating-point comparison. The tests assume a z10 implementation2; of select, using conditional branches rather than LOCGR.3;4; RUN: llc < %s -mtriple=s390x-linux-gnu -mcpu=z10 | FileCheck %s5 6; There is no memory form of 128-bit comparison.7define i64 @f1(i64 %a, i64 %b, ptr %ptr, float %f2) {8; CHECK-LABEL: f1:9; CHECK-DAG: lxebr %f0, %f010; CHECK-DAG: ld %f1, 0(%r4)11; CHECK-DAG: ld %f3, 8(%r4)12; CHECK: cxbr %f1, %f013; CHECK-NEXT: ber %r1414; CHECK: lgr %r2, %r315; CHECK: br %r1416 %f2x = fpext float %f2 to fp12817 %f1 = load fp128, ptr %ptr18 %cond = fcmp oeq fp128 %f1, %f2x19 %res = select i1 %cond, i64 %a, i64 %b20 ret i64 %res21}22 23; Check comparison with zero.24define i64 @f2(i64 %a, i64 %b, ptr %ptr) {25; CHECK-LABEL: f2:26; CHECK: ld %f0, 0(%r4)27; CHECK: ld %f2, 8(%r4)28; CHECK: ltxbr %f0, %f029; CHECK-NEXT: ber %r1430; CHECK: lgr %r2, %r331; CHECK: br %r1432 %f = load fp128, ptr %ptr33 %cond = fcmp oeq fp128 %f, 0xL0000000000000000000000000000000034 %res = select i1 %cond, i64 %a, i64 %b35 ret i64 %res36}37