summaryrefslogtreecommitdiff
path: root/test/i64-setTempRet0.fromasm.imprecise
diff options
context:
space:
mode:
Diffstat (limited to 'test/i64-setTempRet0.fromasm.imprecise')
-rw-r--r--test/i64-setTempRet0.fromasm.imprecise45
1 files changed, 13 insertions, 32 deletions
diff --git a/test/i64-setTempRet0.fromasm.imprecise b/test/i64-setTempRet0.fromasm.imprecise
index 63abc8aef..c1ead5c79 100644
--- a/test/i64-setTempRet0.fromasm.imprecise
+++ b/test/i64-setTempRet0.fromasm.imprecise
@@ -1,47 +1,28 @@
(module
- (type $FUNCSIG$j (func (result i64)))
(type $legaltype$illegalImportResult (func (result i32)))
- (import "env" "illegalImportResult" (func $illegalImportResult (result i64)))
(import "env" "illegalImportResult" (func $legalimport$illegalImportResult (result i32)))
(global $tempRet0 (mut i32) (i32.const 0))
(export "illegalResult" (func $legalstub$illegalResult))
(export "imports" (func $imports))
- (func $illegalResult (; 2 ;) (result i64)
- (i64.const 8589934593)
- )
- (func $imports (; 3 ;) (result i32)
+ (func $imports (; 1 ;) (result i32)
(i32.wrap/i64
- (call $legalfunc$illegalImportResult)
- )
- )
- (func $legalstub$illegalResult (; 4 ;) (result i32)
- (local $0 i64)
- (set_local $0
- (call $illegalResult)
- )
- (set_global $tempRet0
- (i32.wrap/i64
- (i64.shr_u
- (get_local $0)
+ (i64.or
+ (i64.extend_u/i32
+ (call $legalimport$illegalImportResult)
+ )
+ (i64.shl
+ (i64.extend_u/i32
+ (get_global $tempRet0)
+ )
(i64.const 32)
)
)
)
- (i32.wrap/i64
- (get_local $0)
- )
)
- (func $legalfunc$illegalImportResult (; 5 ;) (result i64)
- (i64.or
- (i64.extend_u/i32
- (call $legalimport$illegalImportResult)
- )
- (i64.shl
- (i64.extend_u/i32
- (get_global $tempRet0)
- )
- (i64.const 32)
- )
+ (func $legalstub$illegalResult (; 2 ;) (result i32)
+ (set_global $tempRet0
+ (i32.const 2)
)
+ (i32.const 1)
)
)