Skip to content

Commit

Permalink
Update some test outputs with inconsequential changes.
Browse files Browse the repository at this point in the history
  • Loading branch information
@cfallin
cfallin committed Jan 18, 2023
1 parent 35de219 commit 1494936
Show file tree
Hide file tree
Showing 2 changed files with 11 additions and 43 deletions.
38 changes: 9 additions & 29 deletions cranelift/filetests/filetests/wasm/duplicate-loads-dynamic-memory.wat
View file
Original file line number Diff line number Diff line change
Expand Up @@ -49,31 +49,22 @@
;;
;; block0(v0: i32, v1: i64):
;; @0057 v4 = uextend.i64 v0
;; v14 -> v4
;; @0057 v5 = iconst.i64 4
;; v15 -> v5
;; @0057 v6 = uadd_overflow_trap v4, v5, heap_oob ; v5 = 4
;; v16 -> v6
;; @0057 v7 = load.i64 notrap aligned v1+8
;; v17 -> v7
;; @0057 v8 = load.i64 notrap aligned v1
;; v18 -> v8
;; @0057 v9 = iadd v8, v4
;; v19 -> v9
;; @0057 v10 = iconst.i64 0
;; v20 -> v10
;; @0057 v11 = icmp ugt v6, v7
;; v21 -> v11
;; @0057 v10 = iconst.i64 0
;; @0057 v9 = iadd v8, v4
;; @0057 v12 = select_spectre_guard v11, v10, v9 ; v10 = 0
;; v22 -> v12
;; @0057 v13 = load.i32 little heap v12
;; v2 -> v13
;; v23 -> v13
;; @005c v23 = load.i32 little heap v12
;; v3 -> v23
;; @005f jump block1
;;
;; block1:
;; @005f return v13, v13
;; @005f return v13, v23
;; }
;;
;; function u0:1(i32, i64 vmctx) -> i32, i32 fast {
Expand All @@ -83,33 +74,22 @@
;;
;; block0(v0: i32, v1: i64):
;; @0064 v4 = uextend.i64 v0
;; v15 -> v4
;; @0064 v5 = iconst.i64 1238
;; v16 -> v5
;; @0064 v6 = uadd_overflow_trap v4, v5, heap_oob ; v5 = 1238
;; v17 -> v6
;; @0064 v7 = load.i64 notrap aligned v1+8
;; v18 -> v7
;; @0064 v8 = load.i64 notrap aligned v1
;; v19 -> v8
;; @0064 v12 = icmp ugt v6, v7
;; @0064 v11 = iconst.i64 0
;; @0064 v9 = iadd v8, v4
;; v20 -> v9
;; v26 = iconst.i64 1234
;; v27 -> v26
;; @0064 v10 = iadd v9, v26 ; v26 = 1234
;; v21 -> v10
;; @0064 v11 = iconst.i64 0
;; v22 -> v11
;; @0064 v12 = icmp ugt v6, v7
;; v23 -> v12
;; @0064 v13 = select_spectre_guard v12, v11, v10 ; v11 = 0
;; v24 -> v13
;; @0064 v14 = load.i32 little heap v13
;; v2 -> v14
;; v25 -> v14
;; @006a v25 = load.i32 little heap v13
;; v3 -> v25
;; @006e jump block1
;;
;; block1:
;; @006e return v14, v14
;; }
;; @006e return v14, v25
;; }
16 changes: 2 additions & 14 deletions cranelift/filetests/filetests/wasm/duplicate-loads-static-memory.wat
View file
Original file line number Diff line number Diff line change
Expand Up @@ -43,16 +43,11 @@
;; gv1 = load.i64 notrap aligned readonly gv0
;;
;; block0(v0: i32, v1: i64):
;; @0057 v4 = uextend.i64 v0
;; v8 -> v4
;; @0057 v5 = load.i64 notrap aligned readonly v1
;; v9 -> v5
;; @0057 v4 = uextend.i64 v0
;; @0057 v6 = iadd v5, v4
;; v10 -> v6
;; @0057 v7 = load.i32 little heap v6
;; v2 -> v7
;; v11 -> v7
;; v3 -> v11
;; @005f jump block1
;;
;; block1:
Expand All @@ -64,20 +59,13 @@
;; gv1 = load.i64 notrap aligned readonly gv0
;;
;; block0(v0: i32, v1: i64):
;; @0064 v4 = uextend.i64 v0
;; v9 -> v4
;; @0064 v5 = load.i64 notrap aligned readonly v1
;; v10 -> v5
;; @0064 v4 = uextend.i64 v0
;; @0064 v6 = iadd v5, v4
;; v11 -> v6
;; v14 = iconst.i64 1234
;; v15 -> v14
;; @0064 v7 = iadd v6, v14 ; v14 = 1234
;; v12 -> v7
;; @0064 v8 = load.i32 little heap v7
;; v2 -> v8
;; v13 -> v8
;; v3 -> v13
;; @006e jump block1
;;
;; block1:
Expand Down

0 comments on commit 1494936

Please sign in to comment.