Index: lib/CodeGen/CGStmt.cpp =================================================================== --- lib/CodeGen/CGStmt.cpp +++ lib/CodeGen/CGStmt.cpp @@ -1939,6 +1939,9 @@ std::vector InOutArgs; std::vector InOutArgTypes; + // Keep track of out constraints for tied input operand. + std::vector OutputConstraints; + // An inline asm can be marked readonly if it meets the following conditions: // - it doesn't have any sideeffects // - it doesn't clobber memory @@ -1961,7 +1964,7 @@ OutputConstraint = AddVariableConstraints(OutputConstraint, *OutExpr, getTarget(), CGM, S, Info.earlyClobber()); - + OutputConstraints.push_back(OutputConstraint); LValue Dest = EmitLValue(OutExpr); if (!Constraints.empty()) Constraints += ','; @@ -2079,6 +2082,7 @@ InputConstraint, *InputExpr->IgnoreParenNoopCasts(getContext()), getTarget(), CGM, S, false /* No EarlyClobber */); + std::string ReplaceConstraint (InputConstraint); llvm::Value *Arg = EmitAsmInput(Info, InputExpr, Constraints); // If this input argument is tied to a larger output result, extend the @@ -2106,9 +2110,11 @@ Arg = Builder.CreateFPExt(Arg, OutputTy); } } + // Deal with the tied operands' constraint code in adjustInlineAsmType. + ReplaceConstraint = OutputConstraints[Output]; } if (llvm::Type* AdjTy = - getTargetHooks().adjustInlineAsmType(*this, InputConstraint, + getTargetHooks().adjustInlineAsmType(*this, ReplaceConstraint, Arg->getType())) Arg = Builder.CreateBitCast(Arg, AdjTy); else Index: test/CodeGen/asm-inout.c =================================================================== --- test/CodeGen/asm-inout.c +++ test/CodeGen/asm-inout.c @@ -46,3 +46,12 @@ asm ("pmulhuw %1, %0\n\t" : "+y" (__A) : "y" (__B)); return __A; } + +// CHECK: @test6 +int test6(void) { + typedef unsigned char __attribute__((vector_size(8))) _m64u8; + _m64u8 __attribute__((aligned(16))) Mu8_0, __attribute__((aligned(16))) Mu8_1; + // CHECK: call x86_mmx asm "nop", "=y,0,~{dirflag},~{fpsr},~{flags}"(x86_mmx %1) + asm ("nop" : "=y"(Mu8_1 ) : "0"(Mu8_0 )); + return 0; +}