Home
last modified time | relevance | path

Searched full:check (Results 1 – 25 of 1235) sorted by relevance

12345678910>>...50

/arkcompiler/runtime_core/compiler/tests/
Dgraph_comparator.h121 #define CHECK(Opc, Getter) … in Compare() macro
126 CHECK(Cast, GetOperandsType) in Compare()
127 CHECK(Cmp, GetOperandsType) in Compare()
129 CHECK(Compare, GetCc) in Compare()
130 CHECK(Compare, GetOperandsType) in Compare()
132 CHECK(If, GetCc) in Compare()
133 CHECK(If, GetOperandsType) in Compare()
135 CHECK(IfImm, GetCc) in Compare()
136 CHECK(IfImm, GetImm) in Compare()
137 CHECK(IfImm, GetOperandsType) in Compare()
[all …]
/arkcompiler/runtime_core/tests/cts-generator/cts-template/
Dfcmpg.64.yaml30 description: Check fcmpg.64 compares zero with other zero values.
36 check-type: check-positive
57 description: Check fcmpg.64 compares NaN values.
60 # test - check binary representation and comparison of FP literals - NaN
64 check-type: check-acc-1
81 description: Check fcmpg.64 compares NaN with +Inf
85 description: Check fcmpg.64 compares NaN with -Inf
93 description: Check fcmpg.64 compares NaN with various values.
96 # test - check comparison of NaN with values
100 check-type: check-acc-1
[all …]
Dfcmpg.yaml30 description: Check fcmpg compares zero with other zero values.
37 check-type: check-positive
59 description: Check fcmpg compares NaN values.
62 # test - check binary representation and comparison of FP literals - NaN
66 check-type: check-acc-1
83 description: Check fcmpg compares NaN with +Inf
87 description: Check fcmpg compares NaN with -Inf
96 description: Check fcmpg compares NaN with various values.
99 # test - check comparison of NaN with values
103 check-type: check-acc-1
[all …]
Dfcmpl.64.yaml30 description: Check fcmpl.64 compares zero with other zero values.
36 check-type: check-positive
59 # test - check binary representation and comparison of FP literals - NaN
63 check-type: check-acc-minus-1
64 description: Check fcmpl.64 compares NaN values.
81 description: Check fcmpl.64 compares NaN with +Inf
85 description: Check fcmpl.64 compares NaN with -Inf
93 description: Check fcmpl.64 compares NaN with various values.
96 # test - check comparison of NaN with values
100 check-type: check-acc-minus-1
[all …]
Dfcmpl.yaml30 description: Check fcmpl compares zero with other zero values.
37 check-type: check-positive
61 # test - check binary representation and comparison of FP literals - NaN
65 check-type: check-acc-minus-1
66 description: Check fcmpl compares NaN values.
83 description: Check fcmpl compares NaN with +Inf
87 description: Check fcmpl compares NaN with -Inf
97 description: Check fcmpl compares NaN with various values.
99 # test - check comparison of NaN with values
103 check-type: check-acc-minus-1
[all …]
Dlda.obj.yaml30 check-type: none
35 # Check lda.obj for different type of arguments (empty object, with fields, statics, etc).
45 …description: Check lda.obj moves register content into accumulator (references to various type of …
104 # Check lda.obj for string
118 # Check lda.obj for type
136 check-type: none
142 # Check lda.obj for different type of arguments (empty object, with fields, statics, etc).
152 …description: Check lda.obj moves register content into accumulator (references to various type of …
185 description: Check lda.obj moves register content into accumulator (null reference).
186 check-type: none
[all …]
Dcheckcast.yaml46 title: Check cast
58 description: Check that null object reference can be cast to any type
63 check-type: empty
71 jnez.obj set_failure # check that acc == null
100 description: Check that null object reference can be cast to any type
106 check-type: empty
116 jnez.obj set_failure # check that acc == null
150 description: Check that null object reference can be cast to any array type
155 check-type: empty
164 jnez.obj set_failure # check that acc == null
[all …]
Dcall.short.yaml47 description: Check that 'call.short' supports up to 2 arguments.
56 check-type: exit-positive
113 description: Check that 'call.short' works with String object.
122 check-type: exit-positive
151 description: Verifier should check usage of uninitialized arguments passed to function.
161 check-type: exit-positive
180 description: Check usage of uninitialized register in function frame.
183 description: Check usage of uninitialized register in function frame.
186 description: Check usage of uninitialized accumulator in function frame.
192 description: Check if one of registers in 'call.short' is uninitialized.
[all …]
Dfmod2.yaml32 check-type: check-acc-nan-f32
40 Check fmod2 results in NaN when acc or v0 is NaN
152 check-type: check-acc-nan-f32
160 description: Check fmod2 with positive Inf and various values (NaN, Inf, min, max, numbers).
208 check-type: check-acc-nan-f32
217 description: Check fmod2 with negative Inf and various values (NaN, Inf, min, max, numbers).
267 check-type: check-acc-nan-f32
276 Check fmod2 of Inf by Inf is NaN. (Case of Modulo)
290 check-type: check-positive
300 description: Check fmod2 with +0 and various values (NaN, Inf, min, max, numbers).
[all …]
Ducmp.yaml30 check-type: check-positive
36 description: Check ucmp with equal values.
62 check-type: check-positive
64 # test - check less than
69 description: Check ucmp with different values.
94 check-type: check-positive
96 # test - check greater than
101 description: Check ucmp with different values.
127 check-type: exit-positive
132 description: Check ucmp with incorrect register numbers.
[all …]
Ducmp.64.yaml30 check-type: check-positive
31 description: Check ucmp.64 with equal values.
62 check-type: check-positive
63 description: Check ucmp.64 with different values.
65 # test - check less than
97 check-type: check-positive
98 description: Check ucmp.64 with different values.
101 # test - check greater than
133 check-type: exit-positive
135 description: Check ucmp.64 with incorrect register numbers.
[all …]
Dsta.obj.yaml24 …description: Check sta.obj with different type of arguments (empty object, with fields, statics, s…
45 check-type: none
106 # Check sta.obj for string
119 # Check sta.obj for type
130 description: Check sta.obj with null.
140 # Check sta.obj for null
149 check-type: none
152 description: Check sta.obj with various register numbers.
173 check-type: none
185 description: Check sta.obj with incorrect register numbers.
[all …]
Dfmod2.64.yaml32 check-type: check-acc-nan-f64
40 Check fmod2.64 results in NaN when acc or v0 is NaN
152 check-type: check-acc-nan-f64
160 … description: Check fmod2.64 with positive Inf and various values (NaN, Inf, min, max, numbers).
208 check-type: check-acc-nan-f64
217 … description: Check fmod2.64 with negative Inf and various values (NaN, Inf, min, max, numbers).
268 check-type: check-acc-nan-f64
276 Check fmod2.64 of Inf by Inf is NaN. (Case of Modulo)
290 check-type: check-positive
300 description: Check fmod2.64 with +0 and various values (NaN, Inf, min, max, numbers).
[all …]
Dtest-schema.json156 "check-type": {
158 …, "none", "no-check", "exit-positive", "check-positive", "check-negative", "check-acc-nan-f32", "c…
273 "case-check-type": {
275 …, "none", "no-check", "exit-positive", "check-positive", "check-negative", "check-acc-nan-f32", "c…
Dmonitor.yaml89 description: Check panda.NullPointerException when accumulator contains null
106 check-type: empty
126 description: Check verification failure when accumulator contains neither object, not null
142 check-type: exit-positive
163 Check panda.IllegalMonitorStateException on monitorexit when a monitor associated with
176 check-type: empty
195 Check panda.IllegalMonitorStateException on monitorexit when a monitor associated with
208 check-type: empty
236 description: Check how monitor's ownership changed by monitorenter and monitorexit sequences
267 - description: Check that a thread owns a monitor after first monitorexit instruction
[all …]
Dfdiv2.yaml32 check-type: check-acc-nan-f32
40 Check fdiv2 results in NaN when acc or v0 is NaN
163 check-type: check-positive
173 description: Check fdiv2 with positive Inf and various values (NaN, Inf, min, max, numbers).
232 check-type: check-positive
242 description: Check fdiv2 with negative Inf and various values (NaN, Inf, min, max, numbers).
304 check-type: check-acc-nan-f32
313 Check fdiv2 of Inf by Inf is NaN.
327 check-type: check-positive
337 description: Check fdiv2 with +0 and various values (NaN, Inf, min, max, numbers).
[all …]
Dcmp.64.yaml29 check-type: check-positive
30 description: Check cmp.64 with equal values.
78 check-type: check-positive
79 description: Check cmp.64 with different values.
82 # test - check less than
119 check-type: check-positive
120 description: Check cmp.64 with different values.
123 # test - check greater than
160 check-type: exit-positive
162 description: Check cmp.64 with incorrect register numbers.
[all …]
Dmovi.64.yaml37 description: Check movi.64 with various values.
38 check-type: no-check
130 check-type: no-check
136 description: Check mov.64 instruction with different register numbers (8 bit).
162 check-type: exit-positive
168 description: Check mov.64 instruction with syntax errors.
184 description: Check movi.64 instruction with out-of-range register number.
187 description: Check movi.64 instruction with out-of-range register number.
190 description: Check movi.64 instruction with out-of-range register number.
193 description: Check movi.64 instruction with out-of-range register number.
[all …]
Dcall.yaml48 description: Check that 'call' supports up to 4 arguments.
57 check-type: exit-positive
131 description: Check that 'call' works with String object.
139 check-type: exit-positive
168 description: Verifier should check usage of uninitialized arguments passed to function.
178 check-type: exit-positive
190 description: Check if several registers in 'call' is uninitialized.
192 description: Check if several registers in 'call' is uninitialized.
201 description: Check usage of undefined parameter.
213 description: Verifier should check usage of uninitialized registers in function.
[all …]
Dfldai.64.yaml33 check-type: no-check
35 # test - check binary representation of FP literals - positive
39 description: Check fldai.64 with various positive values (float and HEX literal).
86 check-type: no-check
89 # test - check binary representation of FP literals - negative
93 description: Check fldai.64 with various negative values (float and HEX literal).
139 check-type: none
141 description: Check fldai.64 with incorrect literal.
167 check-type: no-check
170 # test - check binary representation of FP literals - positive
[all …]
Dfldai.yaml33 check-type: no-check
35 # test - check binary representation of FP literals - positive
39 description: Check fldai with various positive values (float and HEX literal).
83 check-type: no-check
86 # test - check binary representation of FP literals - negative
90 description: Check fldai with various negative values (float and HEX literal).
133 check-type: none
135 description: Check fldai with incorrect literal.
161 check-type: no-check
164 # test - check binary representation of FP literals - positive
[all …]
/arkcompiler/ets_frontend/ts2panda/tests/types/
Dprimitives.test.ts35 // check vreg
46 expect(compareVReg2Type(vreg2TypeMap, locals), "check vreg typeInfo").to.be.true;
48 // check liberalBuffer
56 … expect(compareLiteralBuffer(buff, result.literalBufferArray), "check literal buffer").to.be.true;
64 // check vreg
76 expect(compareVReg2Type(vreg2TypeMap, locals), "check vreg typeInfo").to.be.true;
78 // check liberalBuffer
96 … expect(compareLiteralBuffer(buff, result.literalBufferArray), "check literal buffer").to.be.true;
104 // check vreg
116 expect(compareVReg2Type(vreg2TypeMap, locals), "check vreg typeInfo").to.be.true;
[all …]
Darray.test.ts35 // check vreg
45 expect(compareVReg2Type(vreg2TypeMap, locals), "check vreg typeInfo").to.be.true;
47 // check liberalBuffer
72 … expect(compareLiteralBuffer(buff, result.literalBufferArray), "check literal buffer").to.be.true;
80 // check vreg
86 expect(compareVReg2Type(vreg2TypeMap, locals), "check vreg typeInfo").to.be.true;
88 // check liberalBuffer
105 … expect(compareLiteralBuffer(buff, result.literalBufferArray), "check literal buffer").to.be.true;
113 // check vreg
129 expect(compareVReg2Type(vreg2TypeMap, locals), "check vreg typeInfo").to.be.true;
[all …]
/arkcompiler/ets_frontend/es2panda/test/compiler/js/lexicalEnv/
Dfor-update-continue-break-body-decl-head-body-outer-expected.txt1 check enter loop, len == 6: true
2 check enter loop, len == 6: true
3 check enter loop, len == 6: true
4 check enter loop, len == 6: true
5 check enter loop, len == 6: true
6 check exit loop, len == 6: true
Dfor-update-continue-break-head-decl-head-body-outer-expected.txt1 check enter loop, len == 6: true
2 check enter loop, len == 6: true
3 check enter loop, len == 6: true
4 check enter loop, len == 6: true
5 check enter loop, len == 6: true
6 check exit loop, len == 6: true

12345678910>>...50