openharmony/arkcompiler_runtime_core
1
0
Fork 0
mirror of https://gitee.com/openharmony/arkcompiler_runtime_core synced 2024-11-23 14:50:51 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
9a4796a38e
arkcompiler_runtime_core/tests/checked
History
huangyu c658ccf319 Update runtime_core code 
Issue: https://gitee.com/openharmony/arkcompiler_runtime_core/issues/I5G96F
Test: Test262 suit, ark unittest, rk3568 XTS, ark previewer demo

Signed-off-by: huangyu <huangyu76@huawei.com>
Change-Id: I3f63d129a07deaa27a390f556dcaa5651c098185
2022-07-17 10:20:32 +08:00
..
verify_aot_tests Update runtime_core code 2022-07-17 10:20:32 +08:00
aot_cha.pa Update runtime_core code 2022-07-17 10:20:32 +08:00
aot.pa Update runtime_core code 2022-07-17 10:20:32 +08:00
basics_aot.pa Update runtime_core code 2022-07-17 10:20:32 +08:00
cast_bool.pa Update runtime_core code 2022-07-17 10:20:32 +08:00
checker_tests.rb Update runtime_core code 2022-07-17 10:20:32 +08:00
checker.rb Update runtime_core code 2022-07-17 10:20:32 +08:00
CMakeLists.txt Update runtime_core code 2022-07-17 10:20:32 +08:00
compare_lenarray_with_zero.pa Update runtime_core code 2022-07-17 10:20:32 +08:00
const_array_test.pa Update runtime_core code 2022-07-17 10:20:32 +08:00
cross_peephole.pa Update runtime_core code 2022-07-17 10:20:32 +08:00
deoptimize_compare.pa Update runtime_core code 2022-07-17 10:20:32 +08:00
disable_intrinsics.pa Update runtime_core code 2022-07-17 10:20:32 +08:00
disasm_and_log_demo.pa Update runtime_core code 2022-07-17 10:20:32 +08:00
float_zero.pa Update runtime_core code 2022-07-17 10:20:32 +08:00
ifcvt.pa Update runtime_core code 2022-07-17 10:20:32 +08:00
implicit_nullcheck_tests.pa Update runtime_core code 2022-07-17 10:20:32 +08:00
inline_external.pa Update runtime_core code 2022-07-17 10:20:32 +08:00
inline.pa Update runtime_core code 2022-07-17 10:20:32 +08:00
irreducible_loop_test.pa Update runtime_core code 2022-07-17 10:20:32 +08:00
ldarray_obj.pa Update runtime_core code 2022-07-17 10:20:32 +08:00
monitor.pa Update runtime_core code 2022-07-17 10:20:32 +08:00
parameter_test.pa Update runtime_core code 2022-07-17 10:20:32 +08:00
README.md Update runtime_core code 2022-07-17 10:20:32 +08:00
ref_check_elim_test.pa Update runtime_core code 2022-07-17 10:20:32 +08:00
remove_redundant_checks.pa Update runtime_core code 2022-07-17 10:20:32 +08:00
stack_overflow.pa Update runtime_core code 2022-07-17 10:20:32 +08:00
tlab_test.pa Update runtime_core code 2022-07-17 10:20:32 +08:00
zero_const_in_save_state.pa Update runtime_core code 2022-07-17 10:20:32 +08:00

README.md

Checked Tests

Checked tests is the tests that have additional functionality to check result of the test being run. For example, check some event was raised or some IR instruction is appeared after specific optimization.

Each checker's command should start with special token ('#!' for panda assembly language, //! for java) at the beginning of the line.

Allowed multiple checkers in a single file. Each checker starts with command CHECKER and ends with line without command token at the zero position.

Each command is a valid code in the ruby language.

List of commands

  • CHECKER (description: string) begin new Checker with specified description
  • RUN run panda application, following named arguments are allowed:
    • force_jit: bool - run jit compilation for every executed method
    • options: string - additional options for Panda VM
    • entry: string - entry point, default - _GLOBAL::main
    • result: int - expected value to be returned by the panda application
    • abort: int - expected terminal signal
  • RUN_PAOC run paoc application on the compiled panda file. Output panda file will be passed to the following panda run. Thus, RUN_PAOC command must be placed before RUN command.
  • EVENT (event: pattern) search event within all events
  • EVENT_NEXT (event: pattern) ordered search event, i.e. search from position of the last founded event
  • EVENT_NOT (event: pattern) ensure event is not occurred
  • EVENT_NEXT_NOT (event: pattern) ensure event is not occurred after current position
  • METHOD (name: string) start check of specified method, all following checks that require specific method will use method specified by this command
  • PASS_AFTER (pass_name: string) specify pass after which IR commands should operate
  • PASS_BEFORE (pass_name: string) select pass that is right before the specified one
  • INST (inst: pattern) search specified instruction in the ir dump file specified by commands METHOD and PASS_AFTER
  • INST_NOT (inst: pattern) equal to NOT INST, i.e. check that instruction is not exist
  • INST_NEXT_NOT (event: pattern) ensure instruction is not occurred after current position
  • IR_COUNT (inst: string) search specified phrase and counts the number in the ir dump file specified by commands METHOD and PASS_AFTER, returns the value
  • BLOCK_COUNT () equal to IR_COUNT ("BB "), i.e. search specified basic blocks and counts the number
  • TRUE (condition) ensure the condition is correct
  • SKIP_IF (condition) if condition is true, skip all commands from that to end of this checker
  • ASM_METHOD (name: string) select a specified method in disasm file, next "ASM*" checks will be applied only for this method's code.
  • ASM_INST (inst: pattern) select a specified instruction in disasm file, next "ASM*" checks will be applied only for this instruction's code.
  • ASM/ASM_NEXT/ASM_NOT/ASM_NEXT_NOT (inst: pattern) same as other similar checks, but search only in a current disasm scope, defined by ASM_METHOD or ASM_INST. If none of these checks were specified, then search will be applied in the whole disasm file.

pattern can be a string(surrounded by quotes) or regex(surrounded by slashes): string - "SearchPattern", regex - /SearchPattern/.