blob: 3516f0fa69bfe0c93060e84b89add52816dc2a1b (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
|
;; NOTE: Assertions have been generated by update_lit_checks.py and should not be edited.
;; RUN: wasm-opt %s -all --optimize-instructions -S -o - | filecheck %s
(module
;; CHECK: (func $string.checks (type $0) (param $a (ref string)) (param $b (ref string))
;; CHECK-NEXT: (drop
;; CHECK-NEXT: (string.eq
;; CHECK-NEXT: (local.get $a)
;; CHECK-NEXT: (local.get $b)
;; CHECK-NEXT: )
;; CHECK-NEXT: )
;; CHECK-NEXT: (drop
;; CHECK-NEXT: (i32.and
;; CHECK-NEXT: (string.compare
;; CHECK-NEXT: (local.get $a)
;; CHECK-NEXT: (local.get $b)
;; CHECK-NEXT: )
;; CHECK-NEXT: (i32.const 1)
;; CHECK-NEXT: )
;; CHECK-NEXT: )
;; CHECK-NEXT: )
(func $string.checks (param $a (ref string)) (param $b (ref string))
;; Equals returns 0/1, so the &1 operation can be removed.
(drop
(i32.and
(string.eq
(local.get $a)
(local.get $b)
)
(i32.const 1)
)
)
;; Compare returns -1/0/1, so we cannot change anything here.
(drop
(i32.and
(string.compare
(local.get $a)
(local.get $b)
)
(i32.const 1)
)
)
)
)
|
