1b1994897Sopenharmony_ci# Copyright (c) 2021-2022 Huawei Device Co., Ltd.
2b1994897Sopenharmony_ci# Licensed under the Apache License, Version 2.0 (the "License");
3b1994897Sopenharmony_ci# you may not use this file except in compliance with the License.
4b1994897Sopenharmony_ci# You may obtain a copy of the License at
5b1994897Sopenharmony_ci#
6b1994897Sopenharmony_ci# http://www.apache.org/licenses/LICENSE-2.0
7b1994897Sopenharmony_ci#
8b1994897Sopenharmony_ci# Unless required by applicable law or agreed to in writing, software
9b1994897Sopenharmony_ci# distributed under the License is distributed on an "AS IS" BASIS,
10b1994897Sopenharmony_ci# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
11b1994897Sopenharmony_ci# See the License for the specific language governing permissions and
12b1994897Sopenharmony_ci# limitations under the License.
13b1994897Sopenharmony_ci
14b1994897Sopenharmony_ci# check that 0x8000000000000000 / (-1) = 0x8000000000000000.
15b1994897Sopenharmony_ci
16b1994897Sopenharmony_ci.function i32 main() {
17b1994897Sopenharmony_ci    ldai.64 0x8000000000000000
18b1994897Sopenharmony_ci    movi.64 v0, -1
19b1994897Sopenharmony_ci    div2.64 v0
20b1994897Sopenharmony_ci    movi.64 v0, 0x8000000000000000
21b1994897Sopenharmony_ci    cmp.64 v0
22b1994897Sopenharmony_ci    return
23b1994897Sopenharmony_ci}
24