48 lines · plain
1; Test 128-bit floating-point strict 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: 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 = call i1 @llvm.experimental.constrained.fcmp.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.27define i64 @f2(i64 %a, i64 %b, ptr %ptr) #0 {28; CHECK-LABEL: f2:29; CHECK: ld %f0, 0(%r4)30; CHECK: ld %f2, 8(%r4)31; CHECK: ltxbr %f0, %f032; CHECK-NEXT: ber %r1433; CHECK: lgr %r2, %r334; CHECK: br %r1435 %f = load fp128, ptr %ptr36 %cond = call i1 @llvm.experimental.constrained.fcmp.f128(37 fp128 %f, fp128 0xL00000000000000000000000000000000,38 metadata !"oeq",39 metadata !"fpexcept.strict") #040 %res = select i1 %cond, i64 %a, i64 %b41 ret i64 %res42}43 44attributes #0 = { strictfp }45 46declare i1 @llvm.experimental.constrained.fcmp.f128(fp128, fp128, metadata, metadata)47 48