| Index: src/IceTargetLoweringX8632.h
|
| diff --git a/src/IceTargetLoweringX8632.h b/src/IceTargetLoweringX8632.h
|
| index 74e0d503588b90e318e0bd6b37363ab3479121e8..9d1bf4a40bbe56be5d073ca91d8bd99a66c3834c 100644
|
| --- a/src/IceTargetLoweringX8632.h
|
| +++ b/src/IceTargetLoweringX8632.h
|
| @@ -260,6 +260,7 @@ protected:
|
| Context.insert(
|
| InstFakeDef::create(Func, Eax, llvm::dyn_cast<Variable>(DestOrAddr)));
|
| _set_dest_nonkillable();
|
| + Context.insert(InstFakeUse::create(Func, Eax));
|
| }
|
| void _cmpxchg8b(OperandX8632Mem *Addr, Variable *Edx, Variable *Eax,
|
| Variable *Ecx, Variable *Ebx, bool Locked) {
|
| @@ -268,8 +269,10 @@ protected:
|
| // Mark edx, and eax as possibly modified by cmpxchg8b.
|
| Context.insert(InstFakeDef::create(Func, Edx));
|
| _set_dest_nonkillable();
|
| + Context.insert(InstFakeUse::create(Func, Edx));
|
| Context.insert(InstFakeDef::create(Func, Eax));
|
| _set_dest_nonkillable();
|
| + Context.insert(InstFakeUse::create(Func, Eax));
|
| }
|
| void _cvt(Variable *Dest, Operand *Src0, InstX8632Cvt::CvtVariant Variant) {
|
| Context.insert(InstX8632Cvt::create(Func, Dest, Src0, Variant));
|
| @@ -468,17 +471,20 @@ protected:
|
| void _xadd(Operand *Dest, Variable *Src, bool Locked) {
|
| Context.insert(InstX8632Xadd::create(Func, Dest, Src, Locked));
|
| // The xadd exchanges Dest and Src (modifying Src).
|
| - // Model that update with a FakeDef.
|
| + // Model that update with a FakeDef followed by a FakeUse.
|
| Context.insert(
|
| InstFakeDef::create(Func, Src, llvm::dyn_cast<Variable>(Dest)));
|
| _set_dest_nonkillable();
|
| + Context.insert(InstFakeUse::create(Func, Src));
|
| }
|
| void _xchg(Operand *Dest, Variable *Src) {
|
| Context.insert(InstX8632Xchg::create(Func, Dest, Src));
|
| - // The xchg modifies Dest and Src -- model that update with a FakeDef.
|
| + // The xchg modifies Dest and Src -- model that update with a
|
| + // FakeDef/FakeUse.
|
| Context.insert(
|
| InstFakeDef::create(Func, Src, llvm::dyn_cast<Variable>(Dest)));
|
| _set_dest_nonkillable();
|
| + Context.insert(InstFakeUse::create(Func, Src));
|
| }
|
| void _xor(Variable *Dest, Operand *Src0) {
|
| Context.insert(InstX8632Xor::create(Func, Dest, Src0));
|
|
|