# Copyright (c) 2021-2022 Huawei Device Co., Ltd.
# Licensed under the Apache License, Version 2.0 (the "License");
# you may not use this file except in compliance with the License.
# You may obtain a copy of the License at
#
# http://www.apache.org/licenses/LICENSE-2.0
#
# Unless required by applicable law or agreed to in writing, software
# distributed under the License is distributed on an "AS IS" BASIS,
# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
# See the License for the specific language governing permissions and
# limitations under the License.
---
definitions:
  - name: PandaAssembly
    template: >
      .language PandaAssembly

tests:
  - file-name: call.acc.short
    isa:
      title: Static call with accumulator as input
      description: >
        Call indicated static method, i.e. create new frame, pass values of arguments and
        continue execution from the first instruction of a method.
        Callee should treat accumulator value as undefined and cannot use it until accumulator
        definition in the new frame.
        Result (if any) is returned in accumulator (see 'Calling sequence' chapter for more details).
        Method, its class and the number of argument is resolved by given method_id in
        runtime constant-pool.
        Arguments are passed in source registers in the same order as in method signature.
        Non-range instructions can be used to pass up to 4 arguments (unused register slot values will
        be discarded and corresponding registers will not be passed to the callee).
        In dynamically-typed language context accept 'any' values in source registers.
        Immediate operand encodes a position starting from 0 on which accumulator is passed.
      verification:
        - method_id_static
        - compatible_arguments
        - method_id_non_abstract
      instructions:
        - sig: call.acc.short method_id, v:in:top, imm:u1
          acc: inout:top
          format: [op_v_4_imm_4_id_16]
    commands:

      - file-name: op_v_4_imm_4_id_16
        description: Check that compiler reports an error on invalid instruction format.
        isa:
          instructions:
            - sig: call.acc.short method_id, v:in:top, imm:u1
              acc: inout:top
              format: [op_v_4_imm_4_id_16]
        header-template: []
        check-type: exit-positive
        runner-options: [compile-failure]
        code-template: |
          .function void f0() {
              return.void
          }
          .function void f1(i32 a0) {
              return.void
          }
          .function void f2(i32 a0, i32 a1) {
              return.void
          }
          .function void f3(i32 a0, i32 a1, i32 a2) {
              return.void
          }
          .function i32 main() {
              call.acc.short %s
        cases:
          - values: ['foo, v0, 0']
          - values: ['foo, v1, 1']
          - values: ['f0']
          - values: ['f1, v0']
          - values: ['f2, v0, 0']
            runner-options: [compile-only]
          - values: ['f2, v16, 0']
          - values: ['f2, v255, 1']
          - values: ['f2, v32767, 1']
          - values: ['f2, v65536, 0']
          - values: ['f2, v255, 1']
          - values: ['f2, a0, 1']
          - values: ['f3, v0, 0']


      - file-name: reg_v_valid
        description: Check with all valid 'v' register numbers.
        isa:
          instructions:
            - sig: call.acc.short method_id, v:in:top, imm:u1
              acc: inout:top
              format: [op_v_4_imm_4_id_16]
        runner-options: [verifier-only, verifier-config]
        tags: [verifier]
        header-template: []
        check-type: exit-positive
        code-template: |
          .function i32 foo(i32 a0, i32 a1) {
              lda a0
              return
          }
          .function i32 main() {
              ldai 0
              movi v0, 0
              movi v1, 1
              movi v2, 2
              movi v3, 3
              movi v4, 4
              movi v5, 5
              movi v6, 6
              movi v7, 7
              movi v8, 8
              movi v9, 9
              movi v10, 10
              movi v11, 11
              movi v12, 12
              movi v13, 13
              movi v14, 14
              movi v15, 15
              call.acc.short foo, v0, 1
              call.acc.short foo, v1, 1
              call.acc.short foo, v2, 1
              call.acc.short foo, v3, 1
              call.acc.short foo, v4, 1
              call.acc.short foo, v5, 1
              call.acc.short foo, v6, 1
              call.acc.short foo, v7, 1
              call.acc.short foo, v8, 1
              call.acc.short foo, v9, 1
              call.acc.short foo, v10, 1
              call.acc.short foo, v11, 1
              call.acc.short foo, v12, 1
              call.acc.short foo, v13, 1
              call.acc.short foo, v14, 1
              call.acc.short foo, v15, 1


      - file-name: reg_a_valid
        description: Check with all valid 'a' register numbers.
        isa:
          instructions:
            - sig: call.acc.short method_id, v:in:top, imm:u1
              acc: inout:top
              format: [op_v_4_imm_4_id_16]
        runner-options: [verifier-only, verifier-config]
        tags: [verifier]
        header-template: []
        check-type: exit-positive
        code-template: |
          .function i32 foo(i32 a0, i32 a1) {
              lda a0
              return
          }
          .function void f(i32 a0, i32 a1, i32 a2, i32 a3, i32 a4, i32 a5, i32 a6, i32 a7, i32 a8, i32 a9, i32 a10, i32 a11, i32 a12, i32 a13, i32 a14, i32 a15) {
              ldai 0
              call.acc.short foo, a0, 1
              call.acc.short foo, a1, 1
              call.acc.short foo, a2, 1
              call.acc.short foo, a3, 1
              call.acc.short foo, a4, 1
              call.acc.short foo, a5, 1
              call.acc.short foo, a6, 1
              call.acc.short foo, a7, 1
              call.acc.short foo, a8, 1
              call.acc.short foo, a9, 1
              call.acc.short foo, a10, 1
              call.acc.short foo, a11, 1
              call.acc.short foo, a12, 1
              call.acc.short foo, a13, 1
              call.acc.short foo, a14, 1
              call.acc.short foo, a15, 1
              return.void
          }
          .function i32 main() {
              movi v0, 0
              movi v1, 1
              movi v2, 2
              movi v3, 3
              movi v4, 4
              movi v5, 5
              movi v6, 6
              movi v7, 7
              movi v8, 8
              movi v9, 9
              movi v10, 10
              movi v11, 11
              movi v12, 12
              movi v13, 13
              movi v14, 14
              movi v15, 15
              call.range f, v0


      - file-name: uninitialized_regs
        description: Check that verifier reports an error on uninitialized registers.
        isa:
          instructions:
            - sig: call.acc.short method_id, v:in:top, imm:u1
              acc: inout:top
              format: [op_v_4_imm_4_id_16]
        header-template: []
        runner-options: [verifier-failure, verifier-config]
        tags: [verifier]
        check-type: exit-positive
        code-template: |
          .function i32 foo(%s) {
              %s
              return
          }
          .function i32 main() {
              %s
              call.acc.short foo, %s
        cases:
          - description: Register v0 is not initialized.
            values:
            - i32 a0, i32 a1
            - lda a0
            - ldai 0
            - v0, 0
          - description: Register v0 is not initialized.
            values:
            - i32 a0, i32 a1
            - lda a1
            - ldai 0
            - v0, 1
          - description: Register v0 is not initialized, but it's not used.
            values:
            - i32 a0
            - lda a0
            - ldai 0
            - v0, 0
            runner-options: [verifier-only, verifier-config]
          - description: Accumulator is not initialized.
            values:
            - i32 a0, i32 a1
            - lda a1
            - movi v0, 0
            - v0, 0
          - description: Accumulator is not initialized.
            values:
            - i32 a0, i32 a1
            - lda a0
            - movi v0, 0
            - v0, 1
          - description: Accumulator is not initialized, but it's not used.
            values:
            - i32 a0
            - lda a0
            - movi v0, 0
            - v0, 1
            runner-options: [verifier-only, verifier-config]
          - description: Accumulator and v0 are both not initialized.
            values:
            - i32 a0, i32 a1
            - ldai 0
            - ''
            - v0, 0
          - description: Accumulator and v0 are both not initialized, but they are not used.
            values:
            - ''
            - ldai 0
            - ''
            - v0, 0
            runner-options: [verifier-only, verifier-config]
          - description: Accumulator is not initialized in function.
            values:
            - i32 a0, i32 a1
            - call.acc.short foo, a0, 0
            - |
              #
                  ldai 0
                  movi v0, 0
            - v0, 0


      - file-name: not_static_method
        description: Check that verifier reports an error on non-static method.
        isa:
          verification:
            - method_id_static
        header-template: []
        runner-options: [verifier-failure, verifier-config]
        tags: [verifier]
        check-type: exit-positive
        code-template: |
          .record R {}
          .function void %s {
              return.void
          }
          .function i32 main() {
              newobj v0, R
              ldai 0
              call.acc.short %s
        cases:
          - values:
            - R.foo(R a0, i32 a1)
            - R.foo, v0, 1
            bugid: ['5542']
            ignore: true
          - values:
            - R.foo(R a0)
            - R.foo, v0, 1
            bugid: ['5542']
            ignore: true
          - values:
            - R.foo(i32 a0, R a1)
            - R.foo, v0, 0
            runner-options: [verifier-only, verifier-config]
          - values:
            - R.foo(R a0, i32 a1) <ctor>
            - R.foo, v0, 1
            bugid: ['5542']
            ignore: true
          - values:
            - R.foo(R a0) <ctor>
            - R.foo, v0, 1
            bugid: ['5542']
            ignore: true
          - values:
            - R.foo() <cctor>
            - R.foo, v0, 1
            runner-options: [verifier-only, verifier-config]
          - values:
            - R.foo(R a0, i32 a1) <cctor>
            - R.foo, v0, 1
            runner-options: [verifier-only, verifier-config]
          - values:
            - R.foo(R a0, i32 a1) <static>
            - R.foo, v0, 1
            runner-options: [verifier-only, verifier-config]
          - values:
            - foo(R a0, i32 a1)
            - foo, v0, 1
            runner-options: [verifier-only, verifier-config]


      - file-name: abstract_method
        description: Check that verifier reports an error on abstract method.
        isa:
          verification:
            - method_id_non_abstract
        header-template: []
        runner-options: [verifier-failure, verifier-config]
        tags: [verifier]
        check-type: exit-positive
        bugid: ['5544']
        ignore: true
        code-template: |
          .record R {}
          .function void %s
          .function i32 main() {
              newobj v0, R
              ldai 0
              call.acc.short %s
        cases:
          - values:
            - R.foo(R a0, i32 a1) <static, noimpl>
            - R.foo, v0, 1
          - values:
            - foo(R a0, i32 a1) <noimpl>
            - foo, v0, 1


      - file-name: invalid_method
        description: Check that verifier reports an error on invalid method.
        isa:
          verification:
            - method_id_static
            - method_id_non_abstract
        header-template: []
        runner-options: [verifier-failure, verifier-config]
        tags: [verifier]
        check-type: exit-positive
        code-template: |
          .record R {}
          %s
          .function i32 main() {
              newobj v0, R
              ldai 0
              call.acc.short %s
        cases:
          - description: No return in function.
            values:
            - .function void R.foo(R a0, i32 a1) <static> {}
            - R.foo, v0, 1
            bugid: ['5607']
            ignore: true
          - description: No return in function.
            values:
            - |
              #
              .function void R.foo(i32 a0, R a1) {
                  ldai 0
              }
            - R.foo, v0, 0
          - description: No return in cctor.
            values:
            - |
              #
              .function i32 R.foo(R a0) <cctor> {}
            - R.foo, v0, 0
            bugid: ['5607']
            ignore: true


      - file-name: incompatible_v_p
        description: Check 'call.acc.short' instruction called with incompatible register argument in PandaAssembly context.
        isa:
          verification:
            - compatible_arguments
        runner-options: [verifier-failure, verifier-config]
        tags: [verifier]
        header-template: []
        check-type: exit-positive
        code-template: |
          .record panda.Object <external>
          .record panda.Class <external>
          .record panda.String <external>
          .record R {}
          .function void R.foo(i32 a0, %s a1) {
              return.void
          }
          .function i32 main() {
              *s
              ldai 0
              call.acc.short R.foo, v1, 0
        template-cases:
          - values:
            - u1
            exclude: [i32]
          - values:
            - u8
            exclude: [i32]
          - values:
            - i8
            exclude: [i32]
          - values:
            - u16
            exclude: [i32]
          - values:
            - i16
            exclude: [i32]
          - values:
            - u32
            exclude: [i32]
          - values:
            - u64
            exclude: [i64]
          - values:
            - f32
            exclude: [f32]
            bugid: ['7445']
          - values:
            - f64
            exclude: [f64]
          - values:
            - u32[]
            exclude: [u32a, nul]
          - values:
            - u64[]
            exclude: [u64a, nul]
          - values:
            - f32[]
            exclude: [f32a, nul]
          - values:
            - u32[][]
            exclude: [u32aa, nul]
          - values:
            - u64[][]
            exclude: [u64aa, nul]
          - values:
            - f32[][]
            exclude: [f32aa, nul]
          - values:
            - R
            exclude: [nul]
          - values:
            - panda.String
            exclude: [str, nul]
          - values:
            - panda.Class
            exclude: [typ, nul]
          - values:
            - panda.Object
            exclude: [u32a, u64a, f32a, u32aa, u64aa, f32aa, str, typ, ra, stra, typa, obja, raa, straa, typaa, objaa, nul]
          - values:
            - R[]
            exclude: [ra, nul]
          - values:
            - panda.String[]
            exclude: [stra, nul]
          - values:
            - panda.Class[]
            exclude: [typa, nul]
          - values:
            - panda.Object[]
            exclude: [obja, u32aa, u64aa, f32aa, ra, stra, typa, raa, straa, typaa, objaa, nul]
          - values:
            - R[][]
            exclude: [raa, nul]
          - values:
            - panda.String[][]
            exclude: [straa, nul]
          - values:
            - panda.Class[][]
            exclude: [typaa, nul]
          - values:
            - panda.Object[][]
            exclude: [objaa, raa, straa, typaa, nul]
        cases:
          - values:
            - movi v1, 1
            id: i32
          - values:
            - movi.64 v1, 1
            id: i64
          - values:
            - fmovi v1, 1.0
            id: f32
            bugid: ['7445']
          - values:
            - fmovi.64 v1, 1.0
            id: f64
          - values:
            - |
              #
                  movi v1, 10
                  newarr v1, v1, u32[]
            id: u32a
          - values:
            - |
              #
                  movi v1, 10
                  newarr v1, v1, u64[]
            id: u64a
          - values:
            - |
              #
                  movi v1, 10
                  newarr v1, v1, f32[]
            id: f32a
          - values:
            - |
              #
                  movi v1, 10
                  newarr v1, v1, u32[][]
            id: u32aa
          - values:
            - |
              #
                  movi v1, 10
                  newarr v1, v1, u64[][]
            id: u64aa
          - values:
            - |
              #
                  movi v1, 10
                  newarr v1, v1, f32[][]
            id: f32aa
          - values:
            - |
              #
                  lda.str "test message"
                  sta.obj v1
            id: str
          - values:
            - |
              #
                  lda.type R
                  sta.obj v1
            id: typ
          - values:
            - |
              #
                  movi v1, 10
                  newarr v1, v1, R[]
            id: ra
          - values:
            - |
              #
                  movi v1, 10
                  newarr v1, v1, panda.String[]
            id: stra
          - values:
            - |
              #
                  movi v1, 10
                  newarr v1, v1, panda.Class[]
            id: typa
          - values:
            - |
              #
                  movi v1, 10
                  newarr v1, v1, panda.Object[]
            id: obja
          - values:
            - |
              #
                  movi v1, 10
                  newarr v1, v1, R[][]
            id: raa
          - values:
            - |
              #
                  movi v1, 10
                  newarr v1, v1, panda.String[][]
            id: straa
          - values:
            - |
              #
                  movi v1, 10
                  newarr v1, v1, panda.Class[][]
            id: typaa
          - values:
            - |
              #
                  movi v1, 10
                  newarr v1, v1, panda.Object[][]
            id: objaa
          - values:
            - mov.null v1
            id: nul


      - file-name: incompatible_acc_p
        description: Check 'call.acc.short' instruction called with incompatible accumulator argument in PandaAssembly context.
        isa:
          verification:
            - compatible_arguments
        runner-options: [verifier-failure, verifier-config]
        tags: [verifier]
        header-template: []
        check-type: exit-positive
        code-template: |
          .record panda.Object <external>
          .record panda.Class <external>
          .record panda.String <external>
          .record R {}
          .function void R.foo(i32 a0, %s a1) {
              return.void
          }
          .function i32 main() {
              *s
              movi v1, 0
              call.acc.short R.foo, v1, 1
        template-cases:
          - values:
            - u1
            exclude: [i32]
          - values:
            - u8
            exclude: [i32]
          - values:
            - i8
            exclude: [i32]
          - values:
            - u16
            exclude: [i32]
          - values:
            - i16
            exclude: [i32]
          - values:
            - u32
            exclude: [i32]
          - values:
            - u64
            exclude: [i64]
          - values:
            - f32
            exclude: [f32]
            bugid: ['7445']
          - values:
            - f64
            exclude: [f64]
          - values:
            - u32[]
            exclude: [u32a, nul]
          - values:
            - u64[]
            exclude: [u64a, nul]
          - values:
            - f32[]
            exclude: [f32a, nul]
          - values:
            - u32[][]
            exclude: [u32aa, nul]
          - values:
            - u64[][]
            exclude: [u64aa, nul]
          - values:
            - f32[][]
            exclude: [f32aa, nul]
          - values:
            - R
            exclude: [nul]
          - values:
            - panda.String
            exclude: [str, nul]
          - values:
            - panda.Class
            exclude: [typ, nul]
          - values:
            - panda.Object
            exclude: [u32a, u64a, f32a, u32aa, u64aa, f32aa, str, typ, ra, stra, typa, obja, raa, straa, typaa, objaa, nul]
          - values:
            - R[]
            exclude: [ra, nul]
          - values:
            - panda.String[]
            exclude: [stra, nul]
          - values:
            - panda.Class[]
            exclude: [typa, nul]
          - values:
            - panda.Object[]
            exclude: [obja, u32aa, u64aa, f32aa, ra, stra, typa, raa, straa, typaa, objaa, nul]
          - values:
            - R[][]
            exclude: [raa, nul]
          - values:
            - panda.String[][]
            exclude: [straa, nul]
          - values:
            - panda.Class[][]
            exclude: [typaa, nul]
          - values:
            - panda.Object[][]
            exclude: [objaa, raa, straa, typaa, nul]
        cases:
          - values:
            - ldai 1
            id: i32
          - values:
            - ldai.64 1
            id: i64
          - values:
            - fldai 1.0
            id: f32
            bugid: ['7445']
          - values:
            - fldai.64 1.0
            id: f64
          - values:
            - |
              #
                  movi v1, 10
                  newarr v1, v1, u32[]
                  lda.obj v1
            id: u32a
          - values:
            - |
              #
                  movi v1, 10
                  newarr v1, v1, u64[]
                  lda.obj v1
            id: u64a
          - values:
            - |
              #
                  movi v1, 10
                  newarr v1, v1, f32[]
                  lda.obj v1
            id: f32a
          - values:
            - |
              #
                  movi v1, 10
                  newarr v1, v1, u32[][]
                  lda.obj v1
            id: u32aa
          - values:
            - |
              #
                  movi v1, 10
                  newarr v1, v1, u64[][]
                  lda.obj v1
            id: u64aa
          - values:
            - |
              #
                  movi v1, 10
                  newarr v1, v1, f32[][]
                  lda.obj v1
            id: f32aa
          - values:
            - |
              #
                  lda.str "test message"
            id: str
          - values:
            - |
              #
                  lda.type R
            id: typ
          - values:
            - |
              #
                  movi v1, 10
                  newarr v1, v1, R[]
                  lda.obj v1
            id: ra
          - values:
            - |
              #
                  movi v1, 10
                  newarr v1, v1, panda.String[]
                  lda.obj v1
            id: stra
          - values:
            - |
              #
                  movi v1, 10
                  newarr v1, v1, panda.Class[]
                  lda.obj v1
            id: typa
          - values:
            - |
              #
                  movi v1, 10
                  newarr v1, v1, panda.Object[]
                  lda.obj v1
            id: obja
          - values:
            - |
              #
                  movi v1, 10
                  newarr v1, v1, R[][]
                  lda.obj v1
            id: raa
          - values:
            - |
              #
                  movi v1, 10
                  newarr v1, v1, panda.String[][]
                  lda.obj v1
            id: straa
          - values:
            - |
              #
                  movi v1, 10
                  newarr v1, v1, panda.Class[][]
                  lda.obj v1
            id: typaa
          - values:
            - |
              #
                  movi v1, 10
                  newarr v1, v1, panda.Object[][]
                  lda.obj v1
            id: objaa
          - values:
            - lda.null
            id: nul


      - file-name: incompatible_v_j
        isa:
          verification:
            - compatible_arguments
        runner-options: [verifier-failure, use-pa, verifier-config]
        tags: [verifier, pa-verifier]
        bugid: ["6886"]
        description: Check 'call.acc.short' instruction with incompatible register in PandaAssembly context.
        header-template: [PandaAssembly]
        code-template: |
          .record panda.Object <external>
          .record panda.Class <external>
          .record R {}
          .function void R.foo(i32 a0, %s a1) <static> {
              return.void
          }
          .function i32 main() {
              *s
              ldai 0
              call.acc.short R.foo, v1, 0
        check-type: exit-positive
        template-cases:
          - values:
            - u1
            exclude: [i32]
          - values:
            - i8
            exclude: [i32]
          - values:
            - u16
            exclude: [i32]
          - values:
            - i16
            exclude: [i32]
          - values:
            - i32
            exclude: [i32]
          - values:
            - i64
            exclude: [i64]
          - values:
            - f32
            exclude: [f32]
            bugid: ['7445']
          - values:
            - f64
            exclude: [f64]
          - values:
            - u1[]
            exclude: [u1a, nul]
          - values:
            - i8[]
            exclude: [i8a, nul]
          - values:
            - u16[]
            exclude: [u1a, u16a, nul]
          - values:
            - i16[]
            exclude: [i8a, i16a, nul]
          - values:
            - i32[]
            exclude: [i8a, i16a, i32a, nul]
          - values:
            - i64[]
            exclude: [i64a, nul]
          - values:
            - f32[]
            exclude: [f32a, nul]
          - values:
            - f64[]
            exclude: [f32a, f64a, nul]
          - values:
            - i32[][]
            exclude: [i32aa, nul]
          - values:
            - f64[][]
            exclude: [f64aa, nul]
          - values:
            - R
            exclude: [nul]
          - values:
            - panda.Class
            exclude: [typ, nul]
          - values:
            - panda.Object
            exclude: [u1a, i8a, u16a, i16a, i32a, i64a, f32a, f64a, i32aa, f64aa, typ, ra, typa, obja, raa, typaa, objaa, nul]
          - values:
            - R[]
            exclude: [ra, nul]
          - values:
            - panda.Class[]
            exclude: [typa, nul]
          - values:
            - panda.Object[]
            exclude: [obja, i32aa, f64aa, ra, typa, raa, typaa, objaa, nul]
          - values:
            - R[][]
            exclude: [raa, nul]
          - values:
            - panda.Class[][]
            exclude: [typaa, nul]
          - values:
            - panda.Object[][]
            exclude: [objaa, raa, typaa, nul]
        cases:
          - values:
            - movi v1, 1
            id: i32
          - values:
            - movi.64 v1, 1
            id: i64
          - values:
            - fmovi v1, 1.0
            id: f32
            bugid: ['7445']
          - values:
            - fmovi.64 v1, 1.0
            id: f64
          - values:
            - |
              #
                  movi v1, 10
                  newarr v1, v1, u1[]
            id: u1a
          - values:
            - |
              #
                  movi v1, 10
                  newarr v1, v1, i8[]
            id: i8a
          - values:
            - |
              #
                  movi v1, 10
                  newarr v1, v1, u16[]
            id: u16a
          - values:
            - |
              #
                  movi v1, 10
                  newarr v1, v1, i16[]
            id: i16a
          - values:
            - |
              #
                  movi v1, 10
                  newarr v1, v1, i32[]
            id: i32a
          - values:
            - |
              #
                  movi v1, 10
                  newarr v1, v1, i64[]
            id: i64a
          - values:
            - |
              #
                  movi v1, 10
                  newarr v1, v1, f32[]
            id: f32a
          - values:
            - |
              #
                  movi v1, 10
                  newarr v1, v1, f64[]
            id: f64a
          - values:
            - |
              #
                  movi v1, 10
                  newarr v1, v1, i32[][]
            id: i32aa
          - values:
            - |
              #
                  movi v1, 10
                  newarr v1, v1, f64[][]
            id: f64aa
          - values:
            - |
              #
                  lda.type R
                  sta.obj v1
            id: typ
          - values:
            - |
              #
                  movi v1, 10
                  newarr v1, v1, R[]
            id: ra
          - values:
            - |
              #
                  movi v1, 10
                  newarr v1, v1, panda.Class[]
            id: typa
          - values:
            - |
              #
                  movi v1, 10
                  newarr v1, v1, panda.Object[]
            id: obja
          - values:
            - |
              #
                  movi v1, 10
                  newarr v1, v1, R[][]
            id: raa
          - values:
            - |
              #
                  movi v1, 10
                  newarr v1, v1, panda.Class[][]
            id: typaa
          - values:
            - |
              #
                  movi v1, 10
                  newarr v1, v1, panda.Object[][]
            id: objaa
          - values:
            - mov.null v1
            id: nul


      - file-name: incompatible_acc_j
        isa:
          verification:
            - compatible_arguments
        runner-options: [verifier-failure, use-pa, verifier-config]
        tags: [verifier, pa-verifier]
        bugid: ["6886"]
        description: Check 'call.acc.short' instruction with incompatible accumulator in PandaAssembly context.
        header-template: [PandaAssembly]
        check-type: exit-positive
        code-template: |
          .record panda.Object <external>
          .record panda.Class <external>
          .record R {}
          .function void R.foo(%s a0, i32 a1) <static> {
              return.void
          }
          .function i32 main() {
              *s
              movi v1, 0
              call.acc.short R.foo, v1, 0
        template-cases:
          - values:
            - u1
            exclude: [i32]
          - values:
            - i8
            exclude: [i32]
          - values:
            - u16
            exclude: [i32]
          - values:
            - i16
            exclude: [i32]
          - values:
            - i32
            exclude: [i32]
          - values:
            - i64
            exclude: [i64]
          - values:
            - f32
            exclude: [f32]
            bugid: ['7445']
          - values:
            - f64
            exclude: [f64]
          - values:
            - u1[]
            exclude: [u1a, nul]
          - values:
            - i8[]
            exclude: [i8a, nul]
          - values:
            - u16[]
            exclude: [u1a, u16a, nul]
          - values:
            - i16[]
            exclude: [i8a, i16a, nul]
          - values:
            - i32[]
            exclude: [i8a, i16a, i32a, nul]
          - values:
            - i64[]
            exclude: [i64a, nul]
          - values:
            - f32[]
            exclude: [f32a, nul]
          - values:
            - f64[]
            exclude: [f32a, f64a, nul]
          - values:
            - i32[][]
            exclude: [i32aa, nul]
          - values:
            - f64[][]
            exclude: [f64aa, nul]
          - values:
            - R
            exclude: [nul]
          - values:
            - panda.Class
            exclude: [typ, nul]
          - values:
            - panda.Object
            exclude: [u1a, i8a, u16a, i16a, i32a, i64a, f32a, f64a, i32aa, f64aa, typ, ra, typa, obja, raa, typaa, objaa, nul]
          - values:
            - R[]
            exclude: [ra, nul]
          - values:
            - panda.Class[]
            exclude: [typa, nul]
          - values:
            - panda.Object[]
            exclude: [obja, i32aa, f64aa, ra, typa, raa, typaa, objaa, nul]
          - values:
            - R[][]
            exclude: [raa, nul]
          - values:
            - panda.Class[][]
            exclude: [typaa, nul]
          - values:
            - panda.Object[][]
            exclude: [objaa, raa, typaa, nul]
        cases:
          - values:
            - ldai 1
            id: i32
          - values:
            - ldai.64 1
            id: i64
          - values:
            - fldai 1.0
            id: f32
            bugid: ['7445']
          - values:
            - fldai.64 1.0
            id: f64
          - values:
            - |
              #
                  movi v1, 10
                  newarr v1, v1, u1[]
                  lda.obj v1
            id: u1a
          - values:
            - |
              #
                  movi v1, 10
                  newarr v1, v1, i8[]
                  lda.obj v1
            id: i8a
          - values:
            - |
              #
                  movi v1, 10
                  newarr v1, v1, u16[]
                  lda.obj v1
            id: u16a
          - values:
            - |
              #
                  movi v1, 10
                  newarr v1, v1, i16[]
                  lda.obj v1
            id: i16a
          - values:
            - |
              #
                  movi v1, 10
                  newarr v1, v1, i32[]
                  lda.obj v1
            id: i32a
          - values:
            - |
              #
                  movi v1, 10
                  newarr v1, v1, i64[]
                  lda.obj v1
            id: i64a
          - values:
            - |
              #
                  movi v1, 10
                  newarr v1, v1, f32[]
                  lda.obj v1
            id: f32a
          - values:
            - |
              #
                  movi v1, 10
                  newarr v1, v1, f64[]
                  lda.obj v1
            id: f64a
          - values:
            - |
              #
                  movi v1, 10
                  newarr v1, v1, i32[][]
                  lda.obj v1
            id: i32aa
          - values:
            - |
              #
                  movi v1, 10
                  newarr v1, v1, f64[][]
                  lda.obj v1
            id: f64aa
          - values:
            - |
              #
                  lda.type R
            id: typ
          - values:
            - |
              #
                  movi v1, 10
                  newarr v1, v1, R[]
                  lda.obj v1
            id: ra
          - values:
            - |
              #
                  movi v1, 10
                  newarr v1, v1, panda.Class[]
                  lda.obj v1
            id: typa
          - values:
            - |
              #
                  movi v1, 10
                  newarr v1, v1, panda.Object[]
                  lda.obj v1
            id: obja
          - values:
            - |
              #
                  movi v1, 10
                  newarr v1, v1, R[][]
                  lda.obj v1
            id: raa
          - values:
            - |
              #
                  movi v1, 10
                  newarr v1, v1, panda.Class[][]
                  lda.obj v1
            id: typaa
          - values:
            - |
              #
                  movi v1, 10
                  newarr v1, v1, panda.Object[][]
                  lda.obj v1
            id: objaa
          - values:
            - lda.null
            id: nul


      - file-name: compatible_primitive_args_p
        isa:
          verification:
            - compatible_arguments
        runner-options: [verifier-only, verifier-config]
        tags: [verifier]
        description: Check 'call.acc.short' instruction with compatible primitive arguments in PandaAssembly context.
        header-template: []
        check-type: exit-positive
        code-template: |
          .record R {}
          .function void R.foo(%s a0, %s a1) <static> {
              return.void
          }
          .function i32 main() {
              %s
              %s
              call.acc.short R.foo, v1, 0
        cases:
          - values:
            - u1
            - u8
            - ldai 1
            - movi v1, 1
          - values:
            - i8
            - u16
            - ldai 1
            - movi v1, 1
          - values:
            - i16
            - u32
            - ldai 1
            - movi v1, 1
          - values:
            - i64
            - i32
            - ldai.64 1
            - movi v1, 1
          - values:
            - u64
            - f32
            - ldai.64 1
            - fmovi v1, 1.1
          - values:
            - f64
            - i64
            - fldai.64 1.1
            - movi.64 v1, 1
          - values:
            - f32
            - f64
            - fldai 1.1
            - fmovi.64 v1, 1.1


      - file-name: compatible_primitive_args_j
        isa:
          verification:
            - compatible_arguments
        runner-options: [verifier-only, use-pa, verifier-config]
        tags: [verifier, pa-verifier]
        bugid: ["6886"]
        description: Check 'call.acc.short' instruction with compatible primitive arguments in PandaAssembly context.
        header-template: [PandaAssembly]
        code-template: |
          .record R {}
          .function void R.foo(%s a0, %s a1) <static> {
              return.void
          }
          .function i32 main() {
              %s
              %s
              call.acc.short R.foo, v1, 1
        check-type: exit-positive
        cases:
          - values:
            - u1
            - f64
            - movi v1, 1
            - fldai.64 1.1
          - values:
            - u16
            - i16
            - movi v1, 1
            - ldai 1
          - values:
            - i32
            - i64
            - movi v1, 1
            - ldai.64 1
          - values:
            - f32
            - i8
            - fmovi v1, 1.1
            - ldai 1
          - values:
            - f64
            - f32
            - fmovi.64 v1, 1.1
            - fldai 1.1


      - file-name: compatible_prim_array_args_p
        isa:
          verification:
            - compatible_arguments
        runner-options: [verifier-only, verifier-config]
        tags: [verifier]
        description: Check 'call.acc.short' instruction called with compatible primitive array arguments in PandaAssembly context.
        header-template: []
        code-template: |
          .function void foo(%s a0, %s a1) {
              return.void
          }
          .function i32 main() {
              movi v0, 10
              newarr v1, v0, %s
              lda.obj v1
              movi v0, 10
              newarr v1, v0, %s
              call.acc.short foo, v1, 0
        check-type: exit-positive
        cases:
          - values:
            - u1[]
            - u8[]
            - u1[]
            - u8[]
          - values:
            - i8[]
            - u16[]
            - i8[]
            - u16[]
          - values:
            - i16[]
            - u32[]
            - i16[]
            - u32[]
          - values:
            - f32[][]
            - u64[]
            - f32[][]
            - u64[]
          - values:
            - i64[]
            - f32[]
            - i64[]
            - f32[]
          - values:
            - f64[]
            - u1[][]
            - f64[]
            - u1[][]
          - values:
            - u8[][]
            - i8[][]
            - u8[][]
            - i8[][]
          - values:
            - u16[][]
            - i16[][]
            - u16[][]
            - i16[][]
          - values:
            - u32[][]
            - i32[][]
            - u32[][]
            - i32[][]
          - values:
            - u64[][]
            - i64[][]
            - u64[][]
            - i64[][]
          - values:
            - i32[]
            - f64[][]
            - i32[]
            - f64[][]


      - file-name: compatible_prim_array_args_j
        isa:
          verification:
            - compatible_arguments
        runner-options: [verifier-only, use-pa, verifier-config]
        tags: [verifier, pa-verifier]
        bugid: ["6886"]
        description: Check 'call.acc.short' instruction called with compatible primitive array arguments in PandaAssembly context.
        header-template: [PandaAssembly]
        code-template: |
          .function void foo(%s a0, %s a1) {
              return.void
          }
          .function i32 main() {
              movi v0, 10
              newarr v1, v0, %s
              movi v0, 10
              newarr v0, v0, %s
              lda.obj v0
              call.acc.short foo, v1, 1
        check-type: exit-positive
        cases:
          - values:
            - u1[]
            - f64[][]
            - u1[]
            - f64[][]
          - values:
            - u16[]
            - i16[]
            - u16[]
            - i16[]
          - values:
            - i32[]
            - i64[]
            - i32[]
            - i64[]
          - values:
            - f32[]
            - f64[]
            - f32[]
            - f64[]
          - values:
            - u1[][]
            - i8[][]
            - u1[][]
            - i8[][]
          - values:
            - u16[][]
            - i16[][]
            - u16[][]
            - i16[][]
          - values:
            - i32[][]
            - i64[][]
            - i32[][]
            - i64[][]
          - values:
            - f32[][]
            - i8[]
            - f32[][]
            - i8[]


      - file-name: compatible_obj_args_p
        isa:
          verification:
            - compatible_arguments
        runner-options: [verifier-only, verifier-config]
        tags: [verifier]
        description: Check 'call.acc.short' instruction called with compatible object arguments in PandaAssembly context.
        header-template: []
        check-type: exit-positive
        code-template: |
          .record panda.Object <external>
          .record panda.Class <external>
          .record panda.String <external>
          .record Q {}
          .record R {}
          .function void foo(%s a0, %s a1) {
              return.void
          }
          .function i32 main() {
              %s
              call.acc.short foo, v1, 0
        cases:
          # Object of type O is instance of type T if O is the same as T ...
          - values:
            - Q
            - panda.String
            - |
              #
                  lda.str "test"
                  sta.obj v1
                  newobj v0, Q
                  lda.obj v0
          - values:
            - panda.Class
            - R
            - |
              #
                  lda.type Q
                  newobj v1, R
          # ... or is subtype of T
          - values:
            - panda.Object
            - panda.Object
            - |
              #
                  newobj v1, Q
                  lda.str "test"
          - values:
            - panda.Object
            - panda.Object
            - |
              #
                  lda.type Q
                  newobj v1, R
            bugid: ['3594']
            ignore: true
          # For arrays T should be a root type in type hierarchy ...
          - values:
            - panda.Object
            - panda.Object
            - |
              #
                  movi v0, 10
                  newarr v1, v0, i32[]
                  lda.obj v1
                  newarr v1, v0, f64[][]
          - values:
            - panda.Object
            - panda.Object
            - |
              #
                  movi v0, 10
                  newarr v1, v0, Q[]
                  lda.obj v1
                  newarr v1, v0, panda.Object[]
          - values:
            - panda.Object
            - panda.Object
            - |
              #
                  movi v0, 10
                  newarr v1, v0, panda.String[]
                  lda.obj v1
                  newarr v1, v0, panda.Class[]


      - file-name: compatible_obj_args_j
        isa:
          verification:
            - compatible_arguments
        runner-options: [verifier-only, use-pa, verifier-config]
        tags: [verifier, pa-verifier]
        bugid: ["6886"]
        description: Check 'call.acc.short' instruction called with compatible object arguments in PandaAssembly context.
        header-template: [PandaAssembly]
        check-type: exit-positive
        code-template: |
          .record panda.Object <external>
          .record panda.Class <external>
          .record panda.String <external>
          .record panda.io.Serializable <external>
          .record I <panda.interface> {}
          .record E {}
          .record Q <panda.extends=E, panda.implements=I> {}
          .record R {}
          .function void foo(%s a0, %s a1) {
              return.void
          }
          .function i32 main() {
              %s
              call.acc.short foo, v1, 1
        cases:
          # Object of type O is instance of type T if O is the same as T ...
          - values:
            - Q
            - panda.String
            - |
              #
                  newobj v1, Q
                  lda.str "test"
          - values:
            - panda.Class
            - E
            - |
              #
                  lda.type Q
                  sta.obj v1
                  newobj v0, E
                  lda.obj v0
          # ... or is subtype of T
          - values:
            - E
            - I
            - |
              #
                  newobj v1, Q
                  newobj v0, Q
                  lda.obj v0
          - values:
            - panda.Object
            - panda.Object
            - |
              #
                  newobj v1, Q
                  lda.str "test"
          - values:
            - panda.io.Serializable
            - panda.Object
            - |
              #
                  lda.type panda.String
                  sta.obj v1
                  lda.type Q
            bugid: ['3594']
            ignore: true
          # For arrays T should be a root type in type hierarchy ...
          - values:
            - panda.Object
            - panda.Object
            - |
              #
                  movi v0, 10
                  newarr v1, v0, i32[]
                  lda.obj v1
                  newarr v1, v0, f64[][]
          - values:
            - panda.Object
            - panda.Object
            - |
              #
                  movi v0, 10
                  newarr v1, v0, Q[]
                  lda.obj v1
                  newarr v1, v0, panda.Object[]
          - values:
            - panda.Object
            - panda.Object
            - |
              #
                  movi v0, 10
                  newarr v1, v0, panda.String[]
                  lda.obj v1
                  newarr v1, v0, panda.Class[]


      - file-name: compatible_obj_array_args_p
        isa:
          verification:
            - compatible_arguments
        runner-options: [verifier-only, verifier-config]
        tags: [verifier]
        description: Check 'call.acc.short' instruction called with compatible object array arguments in PandaAssembly context.
        header-template: []
        check-type: exit-positive
        code-template: |
          .record panda.Object <external>
          .record panda.Class <external>
          .record panda.String <external>
          .record Q {}
          .record R {}
          .function void foo(%s a0, %s a1) {
              return.void
          }
          .function i32 main() {
              movi v0, 10
              newarr v1, v0, %s
              lda.obj v1
              newarr v1, v0, %s
              call.acc.short foo, v1, 0
        cases:
          # T is such array that O array elements are the same as T array elements
          - values:
            - Q[]
            - Q[][]
            - Q[]
            - Q[][]
          - values:
            - panda.Object[]
            - panda.Object[][]
            - panda.Object[]
            - panda.Object[][]
          - values:
            - panda.String[]
            - panda.String[][]
            - panda.String[]
            - panda.String[][]
          - values:
            - panda.Class[]
            - panda.Class[][]
            - panda.Class[]
            - panda.Class[][]
          # T is such array that O array elements are subtypes of T array elements
          - values:
            - panda.Object[]
            - panda.Object[]
            - panda.Object[][]
            - Q[]
          - values:
            - panda.Object[]
            - panda.Object[]
            - Q[][]
            - panda.Class[]
          - values:
            - panda.Object[]
            - panda.Object[]
            - panda.Class[][]
            - panda.String[]
          - values:
            - panda.Object[]
            - panda.Object[]
            - panda.String[][]
            - i32[][]
          - values:
            - panda.Object[]
            - panda.Object[][]
            - f64[][][]
            - panda.Object[][][]
          - values:
            - panda.Object[][]
            - panda.Object[][]
            - panda.Class[][]
            - panda.Class[][][]
          - values:
            - panda.Object[][]
            - panda.Object[][]
            - i32[][][]
            - f64[][][][]


      - file-name: compatible_obj_array_args_j
        isa:
          verification:
            - compatible_arguments
        runner-options: [verifier-only, use-pa, verifier-config]
        tags: [verifier, pa-verifier]
        bugid: ["6886"]
        description: Check 'call.acc.short' instruction called with compatible object array arguments in PandaAssembly context.
        header-template: [PandaAssembly]
        code-template: |
          .record panda.Object <external>
          .record panda.Class <external>
          .record panda.String <external>
          .record I <panda.interface> {}
          .record E {}
          .record Q <panda.extends=E, panda.implements=I> {}
          .record R {}
          .function void foo(%s a0, %s a1) {
              return.void
          }
          .function i32 main() {
              movi v0, 10
              newarr v1, v0, %s
              newarr v0, v0, %s
              lda.obj v0
              call.acc.short foo, v1, 1
        check-type: exit-positive
        cases:
          # T is such array that O array elements are the same as T array elements
          - values:
            - Q[]
            - panda.String[]
            - Q[]
            - panda.String[]
          - values:
            - Q[][]
            - panda.String[][]
            - Q[][]
            - panda.String[][]
          - values:
            - panda.Object[]
            - panda.Class[][]
            - panda.Object[]
            - panda.Class[][]
          - values:
            - panda.Class[]
            - panda.Object[][]
            - panda.Class[]
            - panda.Object[][]
          # T is such array that O array elements are subtypes of T array elements
          - values:
            - E[]
            - panda.Object[]
            - Q[]
            - Q[][]
          - values:
            - I[]
            - panda.Object[]
            - Q[]
            - panda.Class[]
          - values:
            - panda.Object[]
            - panda.Object[]
            - panda.Object[][]
            - Q[]
          - values:
            - panda.Object[]
            - panda.Object[]
            - panda.String[]
            - f64[][][]
          - values:
            - panda.Object[]
            - panda.Object[]
            - panda.String[][]
            - i32[][]
          # inherited types from object[][]
          - values:
            - E[][]
            - panda.Object[][]
            - Q[][]
            - panda.Object[][][]
          - values:
            - I[][]
            - panda.Object[][]
            - Q[][]
            - panda.Class[][][]
          - values:
            - panda.Object[][]
            - panda.Object[][]
            - panda.Class[][]
            - i32[][][]


      - file-name: compatible_obj_null_args_p
        isa:
          verification:
            - compatible_arguments
        runner-options: [verifier-only, verifier-config]
        tags: [verifier]
        description: Check 'call.acc.short' instruction called with null object ref in PandaAssembly context.
        header-template: []
        check-type: exit-positive
        code-template: |
          .record panda.Object <external>
          .record panda.Class <external>
          .record panda.String <external>
          .record Q {}
          .function void foo(%s a0, %s a1) {
              return.void
          }
          .function i32 main() {
              mov.null v1
              lda.null
              call.acc.short foo, v1, 0
        cases:
          - values: ['i32[]', 'f64[][]']
          - values: ['panda.Object', 'panda.Object[]']
          - values: ['panda.Object[][]', 'Q']
          - values: ['Q[][]', 'panda.String']
          - values: ['panda.String[]', 'panda.Class']
          - values: ['panda.Class[]', 'u32[][][]']


      - file-name: compatible_obj_null_args_j
        isa:
          verification:
            - compatible_arguments
        runner-options: [verifier-only, use-pa, verifier-config]
        tags: [verifier, pa-verifier]
        bugid: ["6886"]
        description: Check 'call.acc.short' instruction called with null object ref in PandaAssembly context.
        header-template: [PandaAssembly]
        code-template: |
          .record panda.Object <external>
          .record panda.Class <external>
          .record panda.String <external>
          .record Q {}
          .function void foo(%s a0, %s a1) {
              return.void
          }
          .function i32 main() {
              mov.null v1
              lda.null
              call.acc.short foo, v1, 1
        check-type: exit-positive
        cases:
          - values: ['i32[]', 'f64[][]']
          - values: ['panda.Object', 'panda.Object[]']
          - values: ['panda.Object[][]', 'Q']
          - values: ['Q[][]', 'panda.String']
          - values: ['panda.String[]', 'panda.Class']
          - values: ['panda.Class[]', 'u1[][][]']


      - file-name: values_signed
        isa:
          instructions:
            - sig: call.acc.short method_id, v:in:top, imm:u1
              acc: inout:top
              format: [op_v_4_imm_4_id_16]
        runner-options: []
        description: Check 'call.acc.short' instruction called with integer values.
        header-template: []
        check-type: empty
        code-template: |
          .function i32 foo(i32 a0, i64 a1) {
              ldai %s
              jeq a0, ok1
              ldai 1
              return
            ok1:
              ldai.64 %s
              cmp.64 a1
              return
          }
          .function i32 main() {
              movi v1, %s
              movi.64 v2, %s
              lda v1
              call.acc.short foo, v2, 0
              jeqz pass1
              return
          pass1:
              lda.64 v2
              call.acc.short foo, v1, 1
              return
          }
        cases:
          - values: [0, -1, 0, -1]
          - values: [-1, 0, -1, 0]
          - values: [0x5a5a5a5a, 0xa5a5a5a5cafebabe, 0x5a5a5a5a, 0xa5a5a5a5cafebabe]
          - values: [0x11111111, 0xe1e1e1e1e1e1e1e1, 0x11111111, 0xe1e1e1e1e1e1e1e1]


      - file-name: values_unsigned
        isa:
          instructions:
            - sig: call.acc.short method_id, v:in:top, imm:u1
              acc: inout:top
              format: [op_v_4_imm_4_id_16]
        runner-options: []
        description: Check 'call.acc.short' instruction called with unsigned values.
        header-template: []
        check-type: empty
        code-template: |
          .function i32 foo(u32 a0, u64 a1) {
              ldai %s
              ucmp a0
              jeqz ok1
              return
            ok1:
              ldai.64 %s
              ucmp.64 a1
              return
          }
          .function i32 main() {
              movi v1, %s
              movi.64 v2, %s
              lda v1
              call.acc.short foo, v2, 0
              jeqz pass1
              return
          pass1:
              lda.64 v2
              call.acc.short foo, v1, 1
              return
          }
        cases:
          - values: [0xffffffff, 0xefffffffffffffff, 0xffffffff, 0xefffffffffffffff]
          - values: [123456789, 0, 123456789, 0]
          - values: [0x5a5a5a5a, 0xa5a5a5a5a5a5a5a5, 0x5a5a5a5a, 0xa5a5a5a5a5a5a5a5]
          - values: [0x1111eeee, 0xeeee1111ffffdddd, 0x1111eeee, 0xeeee1111ffffdddd]


      - file-name: values_float
        isa:
          instructions:
            - sig: call.acc.short method_id, v:in:top, imm:u1
              acc: inout:top
              format: [op_v_4_imm_4_id_16]
        runner-options: []
        tags: ['irtoc_ignore']
        description: Check 'call.acc.short' instruction called with float values.
        header-template: []
        check-type: empty
        code-template: |
          .function i32 foo(f32 a0, f64 a1) {
              fldai %s
              fcmpg a0
              jeqz ok1
              return
          ok1:
              fldai.64 %s
              fcmpg.64 a1
              return
          }
          .function i32 main() {
              fmovi v1, %s
              fmovi.64 v2, %s
              lda v1
              call.acc.short foo, v2, 0
              jeqz pass1
              return
          pass1:
              lda.64 v2
              call.acc.short foo, v1, 1
              return
          }
        cases:
          - values: [0, -1.1, 0, -1.1]
          - values: [-1.1, 0.12345678, -1.1, 0.12345678]
          - values: [1.98765e14, -0.000000019e19, 1.98765e14, -0.000000019e19]
          - values: [0.717171717171717171717171e71, 0.373737373737373737e37, 0.717171717171717171717171e71, 0.373737373737373737e37]
          - values: [0xff800000, 0x7ff0000000000000, 0xff800000, 0x7ff0000000000000]


      - file-name: values_obj_p
        isa:
          instructions:
            - sig: call.acc.short method_id, v:in:top, imm:u1
              acc: inout:top
              format: [op_v_4_imm_4_id_16]
        runner-options: []
        description: Check 'call.acc.short' instruction called with object values in PandaAssembly context.
        header-template: []
        check-type: empty
        code-template: |
          .record panda.Object <external>
          .record panda.String <external>
          .record R {}
          # put objects into array
          .function panda.Object foo(panda.Object a0, panda.Object a1) {
              movi v0, 2
              newarr v0, v0, panda.Object[]
              lda.obj a0
              movi v2, 0
              starr.obj v0, v2
              lda.obj a1
              movi v2, 1
              starr.obj v0, v2
              lda.obj v0
              return.obj
          }
          # check that array contains correct obj refs
          .function i32 check(panda.Object a0, panda.Object a1, panda.Object[] a2) {
              ldai 0
              ldarr.obj a2
              jeq.obj a0, ok1
              ldai 1
              return
          ok1:
              ldai 1
              ldarr.obj a2
              jeq.obj a1, ok2
              ldai 2
              return
          ok2:
              ldai 0
              return
          }
          .function i32 main() {
              %s
              lda.obj v1
              call.acc.short foo, v2, 0    #  acc, v2
              sta.obj v7
              call check, v1, v2, v7
              jeqz pass1
              return
          pass1:
              lda.obj v2
              call.acc.short foo, v1, 1    # v1, acc
              sta.obj v7
              call check, v1, v2, v7
              return
          }
        cases:
          - values:
            - |
              #
                  newobj v1, R
                  newobj v2, panda.Object
          - values:
            - |
              #
                  lda.str "test"
                  sta.obj v1
                  lda.type panda.String
                  sta.obj v2
          - values:
            - |
              #
                  mov.null v1
                  newobj v2, R
          - values:
            - |
              #
                  newobj v1, panda.Object
                  mov.null v2
          - values:
            - |
              #
                  movi v0, 0
                  newarr v1, v0, panda.String[]
                  lda.str ""
                  sta.obj v2
          - values:
            - |
              #
                  movi v0, 1
                  newarr v1, v0, R[][]
                  newarr v2, v0, i32[]


      - file-name: values_obj_j
        isa:
          instructions:
            - sig: call.acc.short method_id, v:in:top, imm:u1
              acc: inout:top
              format: [op_v_4_imm_4_id_16]
        runner-options: [use-pa]
        description: Check 'call.acc.short' instruction called with object values in PandaAssembly context.
        header-template: [PandaAssembly]
        check-type: empty
        code-template: |
          .record panda.Object <external>
          .record panda.String <external>
          .record R {}
          # put objects into array
          .function panda.Object foo(panda.Object a0, panda.Object a1) {
              movi v0, 2
              newarr v0, v0, panda.Object[]
              lda.obj a0
              movi v2, 0
              starr.obj v0, v2
              lda.obj a1
              movi v2, 1
              starr.obj v0, v2
              lda.obj v0
              return.obj
          }
          # check that array contains correct obj refs
          .function i32 check(panda.Object a0, panda.Object a1, panda.Object[] a2) {
              ldai 0
              ldarr.obj a2
              jeq.obj a0, ok1
              ldai 1
              return
          ok1:
              ldai 1
              ldarr.obj a2
              jeq.obj a1, ok2
              ldai 2
              return
          ok2:
              ldai 0
              return
          }
          .function i32 main() {
              %s
              lda.obj v1
              call.acc.short foo, v2, 0    #  acc, v2
              sta.obj v7
              call check, v1, v2, v7
              jeqz pass1
              return
          pass1:
              lda.obj v2
              call.acc.short foo, v1, 1    # v1, acc
              sta.obj v7
              call check, v1, v2, v7
              return
          }
        cases:
          - values:
            - |
              #
                  newobj v1, R
                  newobj v2, panda.Object
          - values:
            - |
              #
                  lda.str "test"
                  sta.obj v1
                  lda.type panda.String
                  sta.obj v2
          - values:
            - |
              #
                  mov.null v1
                  newobj v2, R
          - values:
            - |
              #
                  newobj v1, panda.Object
                  mov.null v2
          - values:
            - |
              #
                  movi v0, 0
                  newarr v1, v0, panda.String[]
                  lda.str ""
                  sta.obj v2
          - values:
            - |
              #
                  movi v0, 1
                  newarr v1, v0, R[][]
                  newarr v2, v0, i32[]


      - file-name: regs_restored
        isa:
          description: >
            Call indicated static method, i.e. create new frame, pass values of arguments and
            continue execution from the first instruction of a method.
            Callee should treat accumulator value as undefined and cannot use it until accumulator
            definition in the new frame.
        description: Check 'call.acc.short' that registers are restored after the call.
        tags: [tsan]
        header-template: []
        code-template: |
          .function void foo(i32 a0) {
              movi a0, -100
              movi v0, 100
              movi v1, 200
              movi v2, 300
              movi v3, 400
              movi v4, 500
              movi v5, 600
              movi v6, 700
              movi v7, 800
              movi v8, 900
              movi v9, 1000
              movi v10, 1100
              movi v11, 1200
              movi v12, 1300
              movi v13, 1400
              movi v14, 1500
              movi v15, 1600
              ldai 9999
              return.void
          }
          .function i32 main() {
              movi v0, 1
              movi v1, 2
              movi v2, 3
              movi v3, 4
              movi v4, 5
              movi v5, 6
              movi v6, 7
              movi v7, 8
              movi v8, 9
              movi v9, 10
              movi v10, 11
              movi v11, 12
              movi v12, 13
              movi v13, 14
              movi v14, 15
              movi v15, 16
              call.acc.short foo, v0, 1
              call.acc.short foo, v1, 1
              call.acc.short foo, v2, 1
              call.acc.short foo, v3, 1
              call.acc.short foo, v4, 1
              call.acc.short foo, v5, 1
              call.acc.short foo, v6, 1
              call.acc.short foo, v7, 1
              call.acc.short foo, v8, 1
              call.acc.short foo, v9, 1
              call.acc.short foo, v10, 1
              call.acc.short foo, v11, 1
              call.acc.short foo, v12, 1
              call.acc.short foo, v13, 1
              call.acc.short foo, v14, 1
              call.acc.short foo, v15, 1
              ldai 1
              jeq v0, ok1
              return
          ok1:
              ldai 2
              jeq v1, ok2
              return
          ok2:
              ldai 3
              jeq v2, ok3
              return
          ok3:
              ldai 4
              jeq v3, ok4
              return
          ok4:
              ldai 5
              jeq v4, ok5
              return
          ok5:
              ldai 6
              jeq v5, ok6
              return
          ok6:
              ldai 7
              jeq v6, ok7
              return
          ok7:
              ldai 8
              jeq v7, ok8
              return
          ok8:
              ldai 9
              jeq v8, ok9
              return
          ok9:
              ldai 10
              jeq v9, ok10
              return
          ok10:
              ldai 11
              jeq v10, ok11
              return
          ok11:
              ldai 12
              jeq v11, ok12
              return
          ok12:
              ldai 13
              jeq v12, ok13
              return
          ok13:
              ldai 14
              jeq v13, ok14
              return
          ok14:
              ldai 15
              jeq v14, ok15
              return
          ok15:
              ldai 16
              jeq v15, ok16
              return
          ok16:
        check-type: exit-positive