Searched refs:invariant (Results 1 - 3 of 3) sorted by relevance
| /arkcompiler/ets_frontend/ets2panda/ast_verifier/ |
| H A D | ASTVerifier.cpp | 79 for (const auto &invariant : invariantSet) { in Verify()
80 if (invariantsNames_.find(invariant) == invariantsNames_.end()) { in Verify()
81 invalidInvariants.insert(invariant); in Verify()
84 for (const auto &invariant : invalidInvariants) { in Verify()
85 ctx.AddCheckMessage(std::string {"Invariant was not found: "} + invariant, *ast, lexer::SourcePosition {}); in Verify()
95 auto invariant = found->second; in Verify() local
97 invariant(ctx, ast); in Verify()
|
| /arkcompiler/ets_runtime/ecmascript/compiler/tests/ |
| H A D | loop_optimization_test.cpp | 157 auto invariant = builder.Int32Mul(arg, builder.Int32(5)); in HWTEST_F_L0() local
158 builder.Branch(builder.Int32LessThan(*index, invariant), &loopBody, &loopExit); in HWTEST_F_L0()
170 EXPECT_EQ(acc.GetOpCode(linearizer.GetStateOfSchedulableGate(invariant)), OpCode::IF_BRANCH); in HWTEST_F_L0()
175 EXPECT_EQ(linearizer2.GetStateOfSchedulableGate(invariant), loopEntry); in HWTEST_F_L0()
195 GateRef invariant = circuit.NewGate(circuit.Load(bits), MachineType::I32, in HWTEST_F_L0() local
209 builder.Branch(builder.Int32LessThan(*index, invariant), &loopBody, &loopExit); in HWTEST_F_L0()
221 EXPECT_EQ(acc.GetOpCode(linearizer.GetStateOfSchedulableGate(invariant)), OpCode::IF_BRANCH); in HWTEST_F_L0()
226 EXPECT_EQ(linearizer2.GetStateOfSchedulableGate(invariant), loopEntry); in HWTEST_F_L0()
|
| /arkcompiler/ets_frontend/ets2panda/compiler/core/ |
| H A D | compilerImpl.cpp | 132 auto invariant = message.Invariant(); in DumpMessages()
133 if (auto found = treatAsWarnings_.find(invariant); found != treatAsWarnings_.end()) { in DumpMessages()
137 if (auto found = treatAsErrors_.find(invariant); found != treatAsErrors_.end()) { in DumpMessages()
|
Completed in 3 milliseconds