target triple = "wasm32-unknown-unknown"
; CHECK-LABEL: select_i32:
-; CHECK: get_local 1
+; CHECK: get_local push, 1
; CHECK: set_local [[LOCAL_B:[0-9]]]
-; CHECK: get_local 0
+; CHECK: get_local push, 0
; CHECK: set_local [[LOCAL_A:[0-9]]]
; CHECK: i32.eq push, (get_local 5), (get_local 6)
; CHECK: set_local 7, pop
}
; CHECK-LABEL: select_i64:
-; CHECK: get_local 1
+; CHECK: get_local push, 1
; CHECK: set_local [[LOCAL_B:[0-9]]]
-; CHECK: get_local 0
+; CHECK: get_local push, 0
; CHECK: set_local [[LOCAL_A:[0-9]]]
; CHECK: i32.eq push, (get_local 5), (get_local 6)
; CHECK: set_local 7, pop
}
; CHECK-LABEL: select_f32:
-; CHECK: get_local 1
+; CHECK: get_local push, 1
; CHECK: set_local [[LOCAL_B:[0-9]]]
-; CHECK: get_local 0
+; CHECK: get_local push, 0
; CHECK: set_local [[LOCAL_A:[0-9]]]
; CHECK: i32.eq push, (get_local 5), (get_local 6)
; CHECK: set_local 7, pop
}
; CHECK-LABEL: select_f64:
-; CHECK: get_local 1
+; CHECK: get_local push, 1
; CHECK: set_local [[LOCAL_B:[0-9]]]
-; CHECK: get_local 0
+; CHECK: get_local push, 0
; CHECK: set_local [[LOCAL_A:[0-9]]]
; CHECK: i32.eq push, (get_local 5), (get_local 6)
; CHECK: set_local 7, pop