# 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.

# Copy of arrays-02.pa but checks llvm aot options

#! CHECKER     No LLVM assertion with compiler-non-optimizing=true
#! RUN_LLVM    options: "--compiler-non-optimizing=true"

.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
}