1# Copyright (c) 2021-2022 Huawei Device Co., Ltd. 2# Licensed under the Apache License, Version 2.0 (the "License"); 3# you may not use this file except in compliance with the License. 4# You may obtain a copy of the License at 5# 6# http://www.apache.org/licenses/LICENSE-2.0 7# 8# Unless required by applicable law or agreed to in writing, software 9# distributed under the License is distributed on an "AS IS" BASIS, 10# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. 11# See the License for the specific language governing permissions and 12# limitations under the License. 13# 14# The following comment until the empty line must be a valid YAML document 15# containing exact copies of ISA specification assertions relevant to this test. 16#--- 17#- title: Type conversions 18# description: 'Perform specified primitive type conversion of accumulator. 19# 20#' 21# exceptions: 22# - x_none 23# instructions: 24# - sig: i64tof64 25# acc: inout:i64->f64 26# format: 27# - op_none 28# verification: 29# - acc_type 30 31## runner-option: verifier-failure 32## runner-option: bugid: 964, 1653 33## runner-option: tags: verifier 34 35# Test description: 36# Check `i64tof64` with incorrect accumulator type. 37# Load different values (objects, strings, types, 64-bit floating point values, 32-bit integer values) and invokes `i64tof64`. 38# Return 0 to indicate that negative test failed, because this line is unreachable and code will not be executed after verification error. 39# 40 41 42# header 43.function i32 main() { 44# 45 ldai 0 46 i64tof64 47 ldai 0 48 return 49} 50