Home
last modified time | relevance | path

Searched refs:av1 (Results 1 – 3 of 3) sorted by relevance

/ark/runtime_core/verification/value/tests/
Dabstract_typed_value_test.cpp53 AbstractTypedValue av1 {i16, nv()}; in TEST_F() local
56 auto av3 = av1 & av2; in TEST_F()
64 auto av5 = av1 & av4; in TEST_F()
/ark/runtime_core/verification/absint/tests/
Dreg_context_test.cpp53 AbstractTypedValue av1 {i16, nv()}; in TEST_F() local
59 ctx1[-1] = av1; in TEST_F()
67 ctx1[0] = av1; in TEST_F()
Dexec_context_test.cpp57 AbstractTypedValue av1 {i16, nv()}; in TEST_F() local
76 ctx1[-1] = av1; in TEST_F()
79 ctx2[0] = av1; // compat with 1 in TEST_F()