[WebAssembly] Make expression-stack pushing explicit
[oota-llvm.git] / test / CodeGen / WebAssembly / select.ll
index 83b4d13e74b6db46d4c67e3d30a21a2077d0c119..42dc38489468874a42115bf0b899cae987bf38cd 100644 (file)
@@ -11,9 +11,9 @@ target triple = "wasm32-unknown-unknown"
 ; CHECK: set_local [[LOCAL_B:[0-9]]]
 ; CHECK: get_local 0
 ; CHECK: set_local [[LOCAL_A:[0-9]]]
-; CHECK: i32.eq (get_local 5), (get_local 6)
+; CHECK: i32.eq push, (get_local 5), (get_local 6)
 ; CHECK: set_local 7, pop
-; CHECK: i32.select (get_local 7), (get_local [[LOCAL_A]]), (get_local [[LOCAL_B]])
+; CHECK: i32.select push, (get_local 7), (get_local [[LOCAL_A]]), (get_local [[LOCAL_B]])
 define i32 @select_i32(i32 %a, i32 %b, i32 %cond) {
  %cc = icmp eq i32 %cond, 0
  %result = select i1 %cc, i32 %a, i32 %b
@@ -25,9 +25,9 @@ define i32 @select_i32(i32 %a, i32 %b, i32 %cond) {
 ; CHECK: set_local [[LOCAL_B:[0-9]]]
 ; CHECK: get_local 0
 ; CHECK: set_local [[LOCAL_A:[0-9]]]
-; CHECK: i32.eq (get_local 5), (get_local 6)
+; CHECK: i32.eq push, (get_local 5), (get_local 6)
 ; CHECK: set_local 7, pop
-; CHECK: i64.select (get_local 7), (get_local [[LOCAL_A]]), (get_local [[LOCAL_B]])
+; CHECK: i64.select push, (get_local 7), (get_local [[LOCAL_A]]), (get_local [[LOCAL_B]])
 define i64 @select_i64(i64 %a, i64 %b, i32 %cond) {
  %cc = icmp eq i32 %cond, 0
  %result = select i1 %cc, i64 %a, i64 %b
@@ -39,9 +39,9 @@ define i64 @select_i64(i64 %a, i64 %b, i32 %cond) {
 ; CHECK: set_local [[LOCAL_B:[0-9]]]
 ; CHECK: get_local 0
 ; CHECK: set_local [[LOCAL_A:[0-9]]]
-; CHECK: i32.eq (get_local 5), (get_local 6)
+; CHECK: i32.eq push, (get_local 5), (get_local 6)
 ; CHECK: set_local 7, pop
-; CHECK: f32.select (get_local 7), (get_local [[LOCAL_A]]), (get_local [[LOCAL_B]])
+; CHECK: f32.select push, (get_local 7), (get_local [[LOCAL_A]]), (get_local [[LOCAL_B]])
 define float @select_f32(float %a, float %b, i32 %cond) {
  %cc = icmp eq i32 %cond, 0
  %result = select i1 %cc, float %a, float %b
@@ -53,9 +53,9 @@ define float @select_f32(float %a, float %b, i32 %cond) {
 ; CHECK: set_local [[LOCAL_B:[0-9]]]
 ; CHECK: get_local 0
 ; CHECK: set_local [[LOCAL_A:[0-9]]]
-; CHECK: i32.eq (get_local 5), (get_local 6)
+; CHECK: i32.eq push, (get_local 5), (get_local 6)
 ; CHECK: set_local 7, pop
-; CHECK: f64.select (get_local 7), (get_local [[LOCAL_A]]), (get_local [[LOCAL_B]])
+; CHECK: f64.select push, (get_local 7), (get_local [[LOCAL_A]]), (get_local [[LOCAL_B]])
 define double @select_f64(double %a, double %b, i32 %cond) {
  %cc = icmp eq i32 %cond, 0
  %result = select i1 %cc, double %a, double %b