openharmony/arkcompiler_ets_runtime
1
0
Fork 0
mirror of https://gitee.com/openharmony/arkcompiler_ets_runtime synced 2024-10-07 16:13:49 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Perf(aot): nbody optimization

Browse Source 
1. Inc overcheck change to sadd_overflow
2. Optimize ValueWithBarrier

Issue:#I6S62N

Change-Id: I8ec283cba223f13df7d5fd7b676f93a642eea17e
Signed-off-by: yingguofeng@huawei.com <yingguofeng@huawei.com>
This commit is contained in:
yingguofeng@huawei.com 2023-04-04 11:33:48 +08:00
parent 4e3d3b35da
commit e28bd8ecf6
8 changed files with 111 additions and 64 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

26
ecmascript/compiler/circuit_builder.cpp
View File

@ -761,8 +761,7 @@ GateRef CircuitBuilder::Call(const CallSignature* cs, GateRef glue, GateRef targ
return result;
}
// memory
void CircuitBuilder::Store(VariableType type, GateRef glue, GateRef base, GateRef offset, GateRef value)
void CircuitBuilder::StoreWithNoBarrier(VariableType type, GateRef base, GateRef offset, GateRef value)
{
auto label = GetCurrentLabel();
auto depend = label->GetDepend();
@ -770,8 +769,25 @@ void CircuitBuilder::Store(VariableType type, GateRef glue, GateRef base, GateRe
GateRef result = GetCircuit()->NewGate(circuit_->Store(),
MachineType::NOVALUE, { depend, value, ptr }, type.GetGateType());
label->SetDepend(result);
}
// memory
void CircuitBuilder::Store(VariableType type, GateRef glue, GateRef base, GateRef offset, GateRef value)
{
StoreWithNoBarrier(type, base, offset, value);
if (type == VariableType::JS_POINTER() || type == VariableType::JS_ANY()) {
Label entry(env_);
SubCfgEntry(&entry);
Label exit(env_);
Label isHeapObject(env_);
Branch(TaggedIsHeapObject(value), &isHeapObject, &exit);
Bind(&isHeapObject);
{
CallStub(glue, base, CommonStubCSigns::SetValueWithBarrier, { glue, base, offset, value });
Jump(&exit);
}
Bind(&exit);
SubCfgExit();
}
}
@ -830,6 +846,12 @@ GateRef CircuitBuilder::StoreProperty(GateRef receiver, GateRef propertyLookupRe
return ret;
}
GateRef CircuitBuilder::StorePropertyNoBarrier(GateRef gate)
{
acc_.SetMetaData(gate, circuit_->StorePropertyNoBarrier());
return gate;
}
GateRef CircuitBuilder::LoadArrayLength(GateRef array)
{
auto currentLabel = env_->GetCurrentLabel();

2
ecmascript/compiler/circuit_builder.h
View File

@ -334,6 +334,7 @@ public:
inline GateRef Load(VariableType type, GateRef base, GateRef offset);
inline GateRef Load(VariableType type, GateRef base, GateRef offset, GateRef depend);
void Store(VariableType type, GateRef glue, GateRef base, GateRef offset, GateRef value);
void StoreWithNoBarrier(VariableType type, GateRef base, GateRef offset, GateRef value);
#define ARITHMETIC_BINARY_OP_WITH_BITWIDTH(NAME, OPCODEID, MACHINETYPEID) \
inline GateRef NAME(GateRef x, GateRef y) \
@ -461,6 +462,7 @@ public:
GateRef StoreElement(GateRef receiver, GateRef index, GateRef value);
GateRef LoadProperty(GateRef receiver, GateRef propertyLookupResult, bool isFunction);
GateRef StoreProperty(GateRef receiver, GateRef propertyLookupResult, GateRef value);
GateRef StorePropertyNoBarrier(GateRef gate);
GateRef LoadArrayLength(GateRef array);
GateRef HeapAlloc(GateRef initialHClass, GateType type, RegionSpaceFlag flag);
GateRef Construct(GateRef hirGate, std::vector<GateRef> args);

1
ecmascript/compiler/gate_meta_data.h
View File

@ -208,6 +208,7 @@ std::string MachineTypeToStr(MachineType machineType);
V(StableArrayCheck, STABLE_ARRAY_CHECK, GateFlags::CHECKABLE, 1, 1, 1) \
V(DeoptCheck, DEOPT_CHECK, GateFlags::NONE_FLAG, 1, 1, 3) \
V(StoreProperty, STORE_PROPERTY, GateFlags::NONE_FLAG, 1, 1, 3) \
V(StorePropertyNoBarrier, STORE_PROPERTY_NO_BARRIER, GateFlags::NONE_FLAG, 1, 1, 3) \
V(ToLength, TO_LENGTH, GateFlags::NONE_FLAG, 1, 1, 1) \
V(DefaultCase, DEFAULT_CASE, GateFlags::CONTROL, 1, 0, 0) \
V(LoadArrayLength, LOAD_ARRAY_LENGTH, GateFlags::NO_WRITE, 1, 1, 1) \

21
ecmascript/compiler/number_speculative_lowering.cpp
View File

@ -56,6 +56,10 @@ void NumberSpeculativeLowering::VisitGate(GateRef gate)
VisitConstant(gate);
break;
}
case OpCode::STORE_PROPERTY: {
VisitStoreProperty(gate);
break;
}
default:
break;
}
@ -255,7 +259,8 @@ void NumberSpeculativeLowering::VisitTypedInc(GateRef gate)
void NumberSpeculativeLowering::VisitIntInc(GateRef gate)
{
GateRef value = acc_.GetValueIn(gate, 0);
GateRef result = builder_.Int32Add(value, builder_.Int32(1));
GateRef right = builder_.Int32(1);
GateRef result = CalculateInts<TypedBinOp::TYPED_ADD>(value, right);
acc_.SetMachineType(gate, MachineType::I32);
acc_.SetGateType(gate, GateType::NJSValue());
acc_.ReplaceGate(gate, builder_.GetState(), builder_.GetDepend(), result);
@ -297,6 +302,20 @@ void NumberSpeculativeLowering::VisitUndefinedStrictEq(GateRef gate)
acc_.ReplaceGate(gate, builder_.GetState(), builder_.GetDepend(), result);
}
void NumberSpeculativeLowering::VisitStoreProperty(GateRef gate)
{
TypeInfo output = typeInfos_[acc_.GetId(gate)];
switch (output) {
case TypeInfo::INT1:
case TypeInfo::INT32:
case TypeInfo::FLOAT64:
builder_.StorePropertyNoBarrier(gate);
break;
default:
break;
}
}
void NumberSpeculativeLowering::VisitConstant(GateRef gate)
{
TypeInfo output = typeInfos_[acc_.GetId(gate)];

1
ecmascript/compiler/number_speculative_lowering.h
View File

@ -41,6 +41,7 @@ private:
void VisitConstant(GateRef gate);
void VisitPhi(GateRef gate);
void VisitUndefinedStrictEq(GateRef gate);
void VisitStoreProperty(GateRef gate);
template<TypedBinOp Op>
void VisitNumberCalculate(GateRef gate);

5
ecmascript/compiler/stub_builder.cpp
View File

@ -939,13 +939,9 @@ void StubBuilder::SetValueWithBarrier(GateRef glue, GateRef obj, GateRef offset,
Label entry(env);
env->SubCfgEntry(&entry);
Label exit(env);
Label isHeapObject(env);
Label isVailedIndex(env);
Label notValidIndex(env);
Branch(TaggedIsHeapObject(value), &isHeapObject, &exit);
Bind(&isHeapObject);
{
// ObjectAddressToRange function may cause obj is not an object. GC may not mark this obj.
GateRef objectRegion = ObjectAddressToRange(obj);
GateRef valueRegion = ObjectAddressToRange(value);
@ -1003,7 +999,6 @@ void StubBuilder::SetValueWithBarrier(GateRef glue, GateRef obj, GateRef offset,
RTSTUB_ID(MarkingBarrier), { glue, obj, offset, value });
Jump(&exit);
}
}
Bind(&exit);
env->SubCfgExit();
}

3
ecmascript/compiler/ts_type_lowering.cpp
View File

@ -453,8 +453,7 @@ void TSTypeLowering::SpeculateNumbers(GateRef gate)
bool TSTypeLowering::NeedInt32OverflowCheck(TypedUnOp op) const
{
if (op == TypedUnOp::TYPED_INC || op == TypedUnOp::TYPED_DEC ||
op == TypedUnOp::TYPED_NEG) {
if (op == TypedUnOp::TYPED_DEC || op == TypedUnOp::TYPED_NEG) {
return true;
}
return false;

8
ecmascript/compiler/type_lowering.cpp
View File

@ -92,6 +92,7 @@ void TypeLowering::LowerType(GateRef gate)
LowerCallGetter(gate, glue);
break;
case OpCode::STORE_PROPERTY:
case OpCode::STORE_PROPERTY_NO_BARRIER:
LowerStoreProperty(gate, glue);
break;
case OpCode::CALL_SETTER:
@ -576,7 +577,14 @@ void TypeLowering::LowerStoreProperty(GateRef gate, GateRef glue)
PropertyLookupResult plr(acc_.TryGetValue(propertyLookupResult));
ASSERT(plr.IsLocal());
GateRef offset = builder_.IntPtr(plr.GetOffset());
auto op = OpCode(acc_.GetOpCode(gate));
if (op == OpCode::STORE_PROPERTY) {
builder_.Store(VariableType::JS_ANY(), glue, receiver, offset, value);
} else if (op == OpCode::STORE_PROPERTY_NO_BARRIER) {
builder_.StoreWithNoBarrier(VariableType::JS_ANY(), receiver, offset, value);
} else {
UNREACHABLE();
}
acc_.ReplaceGate(gate, builder_.GetState(), builder_.GetDepend(), Circuit::NullGate());
}