Mercurial > projects > ldc
diff gen/asmstmt.cpp @ 971:985104c0f1db
Fix the problems exposed by the callingconv1.d test case.
The first was that unless otherwise specified, inputs are assumed to be in
registers even if they specify a "matching output" that's in memory.
While testing that fix, I also ran into a bug causing the generated "matching
output" for any input was always the first one instead of the correct one.
author | Frits van Bommel <fvbommel wxs.nl> |
---|---|
date | Tue, 17 Feb 2009 00:08:20 +0100 |
parents | fe2d9bb7078d |
children | 6a32d2e18175 |
line wrap: on
line diff
--- a/gen/asmstmt.cpp Mon Feb 16 23:56:56 2009 +0100 +++ b/gen/asmstmt.cpp Tue Feb 17 00:08:20 2009 +0100 @@ -385,18 +385,25 @@ for(it i = output_constraints.begin(), e = output_constraints.end(); i != e; ++i, ++n) { // rewrite update constraint to in and out constraints if((*i)[0] == '+') { - (*i)[0] = '='; - std::string input_constraint; - std::stringstream ss; - ss << n; - ss >> input_constraint; - //FIXME: I think multiple inout constraints will mess up the order! - input_constraints.push_front(input_constraint); + assert(*i == mrw_cns && "What else are we updating except memory?"); + /* LLVM doesn't support updating operands, so split into an input + * and an output operand. + */ + + // Change update operand to pure output operand. + *i = mw_cns; + + // Add input operand with same value, with original as "matching output". + std::ostringstream ss; + ss << m_cns << (n + asmblock->outputcount); + input_constraints.push_front(ss.str()); input_values.push_front(output_values[n]); } llvmOutConstraints += *i; llvmOutConstraints += ","; } + asmblock->outputcount += n; + for(it i = input_constraints.begin(), e = input_constraints.end(); i != e; ++i) { llvmInConstraints += *i; llvmInConstraints += ",";