49 lines · plain
1; Test 128-bit floating-point signaling comparison. The tests assume a z102; implementation 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) #0 {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: kxbr %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 = call i1 @llvm.experimental.constrained.fcmps.f128(19 fp128 %f1, fp128 %f2x,20 metadata !"oeq",21 metadata !"fpexcept.strict") #022 %res = select i1 %cond, i64 %a, i64 %b23 ret i64 %res24}25 26; Check comparison with zero - cannot use LOAD AND TEST.27define i64 @f2(i64 %a, i64 %b, ptr %ptr) #0 {28; CHECK-LABEL: f2:29; CHECK-DAG: ld %f0, 0(%r4)30; CHECK-DAG: ld %f2, 8(%r4)31; CHECK-DAG: lzxr [[REG:%f[0-9]+]]32; CHECK-NEXT: kxbr %f0, [[REG]]33; CHECK-NEXT: ber %r1434; CHECK: lgr %r2, %r335; CHECK: br %r1436 %f = load fp128, ptr %ptr37 %cond = call i1 @llvm.experimental.constrained.fcmps.f128(38 fp128 %f, fp128 0xL00000000000000000000000000000000,39 metadata !"oeq",40 metadata !"fpexcept.strict") #041 %res = select i1 %cond, i64 %a, i64 %b42 ret i64 %res43}44 45attributes #0 = { strictfp }46 47declare i1 @llvm.experimental.constrained.fcmps.f128(fp128, fp128, metadata, metadata)48 49