Commit 1c1c0691cc4d47a39f382aec29654ae94cdf524c | zig

author	Andrew Kelley <andrew@ziglang.org> 2018-02-14 23:12:51-05:00
committer	Andrew Kelley <andrew@ziglang.org> 2018-02-14 23:12:51-05:00
log	1c1c0691cc4d47a39f382aec29654ae94cdf524c
tree	cb2761f1a5c56218665aa097a97f41ebca8aa0fe
parent	ca597e2bfb3c39aecdf3dea2718e84deb749ed07

closes #776

2 files changed, 14 insertions(+), 4 deletions(-)

src/ir.cpp+6-3

...	...	@@ -9975,15 +9975,18 @@ static TypeTableEntry ir_analyze_bin_op_math(IrAnalyze ira, IrInstructionBinOp
9975	9975	ok = bigint_cmp(&rem_result, &mod_result) == CmpEQ;
9976	9976	}
9977	9977	} else {
9978		if (float_cmp_zero(&op2->value) == CmpEQ) {
	9978	IrInstruction *casted_op2 = ir_implicit_cast(ira, op2, resolved_type);
	9979	if (casted_op2 == ira->codegen->invalid_instruction)
	9980	return ira->codegen->builtin_types.entry_invalid;
	9981	if (float_cmp_zero(&casted_op2->value) == CmpEQ) {
9979	9982	// the division by zero error will be caught later, but we don't
9980	9983	// have a remainder function ambiguity problem
9981	9984	ok = true;
9982	9985	} else {
9983	9986	ConstExprValue rem_result;
9984	9987	ConstExprValue mod_result;
9985		float_rem(&rem_result, &op1->value, &op2->value);
9986		float_mod(&mod_result, &op1->value, &op2->value);
	9988	float_rem(&rem_result, &op1->value, &casted_op2->value);
	9989	float_mod(&mod_result, &op1->value, &casted_op2->value);
9987	9990	ok = float_cmp(&rem_result, &mod_result) == CmpEQ;
9988	9991	}
9989	9992	}

test/cases/math.zig+8-1