# 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.
# 
# The following comment until the empty line must be a valid YAML document 
# containing exact copy of ISA specification assertions relevant to this test.
#--- 
#   - title: Store to array
#     description: >
#       Store accumulator content into array slot pointed by index.
#     instructions:
#       - sig: starr vs1, vs2
#         format: [op_vs1_4_vs2_4]
#         type: i32
#         dtype: none
#         etype: i32
#   - title: Load from array
#     description: >
#       Load an element from array using accumulator as an index and puts it into accumulator.
#     instructions:
#       - sig: ldarr vs
#         format: [op_vs_8]
#         type: obj
#         dtype: i32
#         etype: i32

#assert that operations with array of i32 works fine
#i32 i;
#for(i=0; i<5; i++) array[i]=i;
#for(i=4; i>=0; i--) assert_eq(i, array[i]);

.function i32 main(){
    movi v0, 5
    newarr v1, v0, i32[]
    movi v2, 0
    ldai 0
loop:
    jeq v0, loop_exit
    starr v1, v2
    inci v2, 1
    lda v2
    jmp loop
loop_exit:
    subi 1
    sta v2
loop2:
    jltz loop2_exit
    ldarr v1
    jne v2, exit_failure
    inci v2, -1
    lda v2
    jmp loop2
loop2_exit:
    ldai 0
    return
exit_failure:
    ldai 1
    return
}