Changeset View
Changeset View
Standalone View
Standalone View
llvm/trunk/test/CodeGen/SystemZ/fp-strict-div-01.ll
| ; Test strict 32-bit floating-point division. | ; Test strict 32-bit floating-point division. | ||||
| ; | ; | ||||
| ; RUN: llc < %s -mtriple=s390x-linux-gnu -mcpu=z10 \ | ; RUN: llc < %s -mtriple=s390x-linux-gnu -mcpu=z10 \ | ||||
| ; RUN: | FileCheck -check-prefix=CHECK -check-prefix=CHECK-SCALAR %s | ; RUN: | FileCheck -check-prefix=CHECK -check-prefix=CHECK-SCALAR %s | ||||
| ; RUN: llc < %s -mtriple=s390x-linux-gnu -mcpu=z14 | FileCheck %s | ; RUN: llc < %s -mtriple=s390x-linux-gnu -mcpu=z14 | FileCheck %s | ||||
| declare float @foo() | declare float @foo() | ||||
| declare float @llvm.experimental.constrained.fdiv.f32(float, float, metadata, metadata) | declare float @llvm.experimental.constrained.fdiv.f32(float, float, metadata, metadata) | ||||
| ; Check register division. | ; Check register division. | ||||
| define float @f1(float %f1, float %f2) { | define float @f1(float %f1, float %f2) #0 { | ||||
| ; CHECK-LABEL: f1: | ; CHECK-LABEL: f1: | ||||
| ; CHECK: debr %f0, %f2 | ; CHECK: debr %f0, %f2 | ||||
| ; CHECK: br %r14 | ; CHECK: br %r14 | ||||
| %res = call float @llvm.experimental.constrained.fdiv.f32( | %res = call float @llvm.experimental.constrained.fdiv.f32( | ||||
| float %f1, float %f2, | float %f1, float %f2, | ||||
| metadata !"round.dynamic", | metadata !"round.dynamic", | ||||
| metadata !"fpexcept.strict") | metadata !"fpexcept.strict") #0 | ||||
| ret float %res | ret float %res | ||||
| } | } | ||||
| ; Check the low end of the DEB range. | ; Check the low end of the DEB range. | ||||
| define float @f2(float %f1, float *%ptr) { | define float @f2(float %f1, float *%ptr) #0 { | ||||
| ; CHECK-LABEL: f2: | ; CHECK-LABEL: f2: | ||||
| ; CHECK: deb %f0, 0(%r2) | ; CHECK: deb %f0, 0(%r2) | ||||
| ; CHECK: br %r14 | ; CHECK: br %r14 | ||||
| %f2 = load float, float *%ptr | %f2 = load float, float *%ptr | ||||
| %res = call float @llvm.experimental.constrained.fdiv.f32( | %res = call float @llvm.experimental.constrained.fdiv.f32( | ||||
| float %f1, float %f2, | float %f1, float %f2, | ||||
| metadata !"round.dynamic", | metadata !"round.dynamic", | ||||
| metadata !"fpexcept.strict") | metadata !"fpexcept.strict") #0 | ||||
| ret float %res | ret float %res | ||||
| } | } | ||||
| ; Check the high end of the aligned DEB range. | ; Check the high end of the aligned DEB range. | ||||
| define float @f3(float %f1, float *%base) { | define float @f3(float %f1, float *%base) #0 { | ||||
| ; CHECK-LABEL: f3: | ; CHECK-LABEL: f3: | ||||
| ; CHECK: deb %f0, 4092(%r2) | ; CHECK: deb %f0, 4092(%r2) | ||||
| ; CHECK: br %r14 | ; CHECK: br %r14 | ||||
| %ptr = getelementptr float, float *%base, i64 1023 | %ptr = getelementptr float, float *%base, i64 1023 | ||||
| %f2 = load float, float *%ptr | %f2 = load float, float *%ptr | ||||
| %res = call float @llvm.experimental.constrained.fdiv.f32( | %res = call float @llvm.experimental.constrained.fdiv.f32( | ||||
| float %f1, float %f2, | float %f1, float %f2, | ||||
| metadata !"round.dynamic", | metadata !"round.dynamic", | ||||
| metadata !"fpexcept.strict") | metadata !"fpexcept.strict") #0 | ||||
| ret float %res | ret float %res | ||||
| } | } | ||||
| ; Check the next word up, which needs separate address logic. | ; Check the next word up, which needs separate address logic. | ||||
| ; Other sequences besides this one would be OK. | ; Other sequences besides this one would be OK. | ||||
| define float @f4(float %f1, float *%base) { | define float @f4(float %f1, float *%base) #0 { | ||||
| ; CHECK-LABEL: f4: | ; CHECK-LABEL: f4: | ||||
| ; CHECK: aghi %r2, 4096 | ; CHECK: aghi %r2, 4096 | ||||
| ; CHECK: deb %f0, 0(%r2) | ; CHECK: deb %f0, 0(%r2) | ||||
| ; CHECK: br %r14 | ; CHECK: br %r14 | ||||
| %ptr = getelementptr float, float *%base, i64 1024 | %ptr = getelementptr float, float *%base, i64 1024 | ||||
| %f2 = load float, float *%ptr | %f2 = load float, float *%ptr | ||||
| %res = call float @llvm.experimental.constrained.fdiv.f32( | %res = call float @llvm.experimental.constrained.fdiv.f32( | ||||
| float %f1, float %f2, | float %f1, float %f2, | ||||
| metadata !"round.dynamic", | metadata !"round.dynamic", | ||||
| metadata !"fpexcept.strict") | metadata !"fpexcept.strict") #0 | ||||
| ret float %res | ret float %res | ||||
| } | } | ||||
| ; Check negative displacements, which also need separate address logic. | ; Check negative displacements, which also need separate address logic. | ||||
| define float @f5(float %f1, float *%base) { | define float @f5(float %f1, float *%base) #0 { | ||||
| ; CHECK-LABEL: f5: | ; CHECK-LABEL: f5: | ||||
| ; CHECK: aghi %r2, -4 | ; CHECK: aghi %r2, -4 | ||||
| ; CHECK: deb %f0, 0(%r2) | ; CHECK: deb %f0, 0(%r2) | ||||
| ; CHECK: br %r14 | ; CHECK: br %r14 | ||||
| %ptr = getelementptr float, float *%base, i64 -1 | %ptr = getelementptr float, float *%base, i64 -1 | ||||
| %f2 = load float, float *%ptr | %f2 = load float, float *%ptr | ||||
| %res = call float @llvm.experimental.constrained.fdiv.f32( | %res = call float @llvm.experimental.constrained.fdiv.f32( | ||||
| float %f1, float %f2, | float %f1, float %f2, | ||||
| metadata !"round.dynamic", | metadata !"round.dynamic", | ||||
| metadata !"fpexcept.strict") | metadata !"fpexcept.strict") #0 | ||||
| ret float %res | ret float %res | ||||
| } | } | ||||
| ; Check that DEB allows indices. | ; Check that DEB allows indices. | ||||
| define float @f6(float %f1, float *%base, i64 %index) { | define float @f6(float %f1, float *%base, i64 %index) #0 { | ||||
| ; CHECK-LABEL: f6: | ; CHECK-LABEL: f6: | ||||
| ; CHECK: sllg %r1, %r3, 2 | ; CHECK: sllg %r1, %r3, 2 | ||||
| ; CHECK: deb %f0, 400(%r1,%r2) | ; CHECK: deb %f0, 400(%r1,%r2) | ||||
| ; CHECK: br %r14 | ; CHECK: br %r14 | ||||
| %ptr1 = getelementptr float, float *%base, i64 %index | %ptr1 = getelementptr float, float *%base, i64 %index | ||||
| %ptr2 = getelementptr float, float *%ptr1, i64 100 | %ptr2 = getelementptr float, float *%ptr1, i64 100 | ||||
| %f2 = load float, float *%ptr2 | %f2 = load float, float *%ptr2 | ||||
| %res = call float @llvm.experimental.constrained.fdiv.f32( | %res = call float @llvm.experimental.constrained.fdiv.f32( | ||||
| float %f1, float %f2, | float %f1, float %f2, | ||||
| metadata !"round.dynamic", | metadata !"round.dynamic", | ||||
| metadata !"fpexcept.strict") | metadata !"fpexcept.strict") #0 | ||||
| ret float %res | ret float %res | ||||
| } | } | ||||
| ; Check that divisions of spilled values can use DEB rather than DEBR. | ; Check that divisions of spilled values can use DEB rather than DEBR. | ||||
| define float @f7(float *%ptr0) { | define float @f7(float *%ptr0) #0 { | ||||
| ; CHECK-LABEL: f7: | ; CHECK-LABEL: f7: | ||||
| ; CHECK: brasl %r14, foo@PLT | ; CHECK: brasl %r14, foo@PLT | ||||
| ; CHECK-SCALAR: deb %f0, 16{{[04]}}(%r15) | ; CHECK-SCALAR: deb %f0, 16{{[04]}}(%r15) | ||||
| ; CHECK: br %r14 | ; CHECK: br %r14 | ||||
| %ptr1 = getelementptr float, float *%ptr0, i64 2 | %ptr1 = getelementptr float, float *%ptr0, i64 2 | ||||
| %ptr2 = getelementptr float, float *%ptr0, i64 4 | %ptr2 = getelementptr float, float *%ptr0, i64 4 | ||||
| %ptr3 = getelementptr float, float *%ptr0, i64 6 | %ptr3 = getelementptr float, float *%ptr0, i64 6 | ||||
| %ptr4 = getelementptr float, float *%ptr0, i64 8 | %ptr4 = getelementptr float, float *%ptr0, i64 8 | ||||
| Show All 11 Lines | ; CHECK: br %r14 | ||||
| %val4 = load float, float *%ptr4 | %val4 = load float, float *%ptr4 | ||||
| %val5 = load float, float *%ptr5 | %val5 = load float, float *%ptr5 | ||||
| %val6 = load float, float *%ptr6 | %val6 = load float, float *%ptr6 | ||||
| %val7 = load float, float *%ptr7 | %val7 = load float, float *%ptr7 | ||||
| %val8 = load float, float *%ptr8 | %val8 = load float, float *%ptr8 | ||||
| %val9 = load float, float *%ptr9 | %val9 = load float, float *%ptr9 | ||||
| %val10 = load float, float *%ptr10 | %val10 = load float, float *%ptr10 | ||||
| %ret = call float @foo() | %ret = call float @foo() #0 | ||||
| %div0 = call float @llvm.experimental.constrained.fdiv.f32( | %div0 = call float @llvm.experimental.constrained.fdiv.f32( | ||||
| float %ret, float %val0, | float %ret, float %val0, | ||||
| metadata !"round.dynamic", | metadata !"round.dynamic", | ||||
| metadata !"fpexcept.strict") | metadata !"fpexcept.strict") #0 | ||||
| %div1 = call float @llvm.experimental.constrained.fdiv.f32( | %div1 = call float @llvm.experimental.constrained.fdiv.f32( | ||||
| float %div0, float %val1, | float %div0, float %val1, | ||||
| metadata !"round.dynamic", | metadata !"round.dynamic", | ||||
| metadata !"fpexcept.strict") | metadata !"fpexcept.strict") #0 | ||||
| %div2 = call float @llvm.experimental.constrained.fdiv.f32( | %div2 = call float @llvm.experimental.constrained.fdiv.f32( | ||||
| float %div1, float %val2, | float %div1, float %val2, | ||||
| metadata !"round.dynamic", | metadata !"round.dynamic", | ||||
| metadata !"fpexcept.strict") | metadata !"fpexcept.strict") #0 | ||||
| %div3 = call float @llvm.experimental.constrained.fdiv.f32( | %div3 = call float @llvm.experimental.constrained.fdiv.f32( | ||||
| float %div2, float %val3, | float %div2, float %val3, | ||||
| metadata !"round.dynamic", | metadata !"round.dynamic", | ||||
| metadata !"fpexcept.strict") | metadata !"fpexcept.strict") #0 | ||||
| %div4 = call float @llvm.experimental.constrained.fdiv.f32( | %div4 = call float @llvm.experimental.constrained.fdiv.f32( | ||||
| float %div3, float %val4, | float %div3, float %val4, | ||||
| metadata !"round.dynamic", | metadata !"round.dynamic", | ||||
| metadata !"fpexcept.strict") | metadata !"fpexcept.strict") #0 | ||||
| %div5 = call float @llvm.experimental.constrained.fdiv.f32( | %div5 = call float @llvm.experimental.constrained.fdiv.f32( | ||||
| float %div4, float %val5, | float %div4, float %val5, | ||||
| metadata !"round.dynamic", | metadata !"round.dynamic", | ||||
| metadata !"fpexcept.strict") | metadata !"fpexcept.strict") #0 | ||||
| %div6 = call float @llvm.experimental.constrained.fdiv.f32( | %div6 = call float @llvm.experimental.constrained.fdiv.f32( | ||||
| float %div5, float %val6, | float %div5, float %val6, | ||||
| metadata !"round.dynamic", | metadata !"round.dynamic", | ||||
| metadata !"fpexcept.strict") | metadata !"fpexcept.strict") #0 | ||||
| %div7 = call float @llvm.experimental.constrained.fdiv.f32( | %div7 = call float @llvm.experimental.constrained.fdiv.f32( | ||||
| float %div6, float %val7, | float %div6, float %val7, | ||||
| metadata !"round.dynamic", | metadata !"round.dynamic", | ||||
| metadata !"fpexcept.strict") | metadata !"fpexcept.strict") #0 | ||||
| %div8 = call float @llvm.experimental.constrained.fdiv.f32( | %div8 = call float @llvm.experimental.constrained.fdiv.f32( | ||||
| float %div7, float %val8, | float %div7, float %val8, | ||||
| metadata !"round.dynamic", | metadata !"round.dynamic", | ||||
| metadata !"fpexcept.strict") | metadata !"fpexcept.strict") #0 | ||||
| %div9 = call float @llvm.experimental.constrained.fdiv.f32( | %div9 = call float @llvm.experimental.constrained.fdiv.f32( | ||||
| float %div8, float %val9, | float %div8, float %val9, | ||||
| metadata !"round.dynamic", | metadata !"round.dynamic", | ||||
| metadata !"fpexcept.strict") | metadata !"fpexcept.strict") #0 | ||||
| %div10 = call float @llvm.experimental.constrained.fdiv.f32( | %div10 = call float @llvm.experimental.constrained.fdiv.f32( | ||||
| float %div9, float %val10, | float %div9, float %val10, | ||||
| metadata !"round.dynamic", | metadata !"round.dynamic", | ||||
| metadata !"fpexcept.strict") | metadata !"fpexcept.strict") #0 | ||||
| ret float %div10 | ret float %div10 | ||||
| } | } | ||||
| attributes #0 = { strictfp } | |||||