test/CodeGen/WebAssembly/GlobalISel/instructions/select.ll

; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py UTC_ARGS: --version 6
; RUN: llc < %s -O0 -mtriple=wasm32-unknown-unknown --global-isel -disable-wasm-fallthrough-return-opt -wasm-keep-registers | FileCheck %s --check-prefixes=CHECK,WASM32
; RUN: llc < %s -O0 -mtriple=wasm64-unknown-unknown --global-isel -disable-wasm-fallthrough-return-opt -wasm-keep-registers | FileCheck %s --check-prefixes=CHECK,WASM64

define i8 @select_i8(i1 %cond, i8 %x, i8 %y) {
; CHECK-LABEL: select_i8:
; CHECK:         .functype select_i8 (i32, i32, i32) -> (i32)
; CHECK-NEXT:  # %bb.0:
; CHECK-NEXT:    local.get $push5=, 1
; CHECK-NEXT:    local.get $push4=, 2
; CHECK-NEXT:    local.get $push3=, 0
; CHECK-NEXT:    i32.const $push2=, 1
; CHECK-NEXT:    i32.and $push1=, $pop3, $pop2
; CHECK-NEXT:    i32.select $push0=, $pop5, $pop4, $pop1
; CHECK-NEXT:    return $pop0
  %a = select i1 %cond, i8 %x, i8 %y
  ret i8 %a
}

define i16 @select_i16(i1 %cond, i16 %x, i16 %y) {
; CHECK-LABEL: select_i16:
; CHECK:         .functype select_i16 (i32, i32, i32) -> (i32)
; CHECK-NEXT:  # %bb.0:
; CHECK-NEXT:    local.get $push5=, 1
; CHECK-NEXT:    local.get $push4=, 2
; CHECK-NEXT:    local.get $push3=, 0
; CHECK-NEXT:    i32.const $push2=, 1
; CHECK-NEXT:    i32.and $push1=, $pop3, $pop2
; CHECK-NEXT:    i32.select $push0=, $pop5, $pop4, $pop1
; CHECK-NEXT:    return $pop0
  %a = select i1 %cond, i16 %x, i16 %y
  ret i16 %a
}

define i32 @select_i32(i1 %cond, i32 %x, i32 %y) {
; CHECK-LABEL: select_i32:
; CHECK:         .functype select_i32 (i32, i32, i32) -> (i32)
; CHECK-NEXT:  # %bb.0:
; CHECK-NEXT:    local.get $push5=, 1
; CHECK-NEXT:    local.get $push4=, 2
; CHECK-NEXT:    local.get $push3=, 0
; CHECK-NEXT:    i32.const $push2=, 1
; CHECK-NEXT:    i32.and $push1=, $pop3, $pop2
; CHECK-NEXT:    i32.select $push0=, $pop5, $pop4, $pop1
; CHECK-NEXT:    return $pop0
  %a = select i1 %cond, i32 %x, i32 %y
  ret i32 %a
}

define i64 @select_i64(i1 %cond, i64 %x, i64 %y) {
; CHECK-LABEL: select_i64:
; CHECK:         .functype select_i64 (i32, i64, i64) -> (i64)
; CHECK-NEXT:  # %bb.0:
; CHECK-NEXT:    local.get $push5=, 1
; CHECK-NEXT:    local.get $push4=, 2
; CHECK-NEXT:    local.get $push3=, 0
; CHECK-NEXT:    i32.const $push2=, 1
; CHECK-NEXT:    i32.and $push1=, $pop3, $pop2
; CHECK-NEXT:    i64.select $push0=, $pop5, $pop4, $pop1
; CHECK-NEXT:    return $pop0
  %a = select i1 %cond, i64 %x, i64 %y
  ret i64 %a
}

define float @select_f32(i1 %cond, float %x, float %y) {
; CHECK-LABEL: select_f32:
; CHECK:         .functype select_f32 (i32, f32, f32) -> (f32)
; CHECK-NEXT:  # %bb.0:
; CHECK-NEXT:    local.get $push5=, 1
; CHECK-NEXT:    local.get $push4=, 2
; CHECK-NEXT:    local.get $push3=, 0
; CHECK-NEXT:    i32.const $push2=, 1
; CHECK-NEXT:    i32.and $push1=, $pop3, $pop2
; CHECK-NEXT:    f32.select $push0=, $pop5, $pop4, $pop1
; CHECK-NEXT:    return $pop0
  %a = select i1 %cond, float %x, float %y
  ret float %a
}

define double @select_f64(i1 %cond, double %x, double %y) {
; CHECK-LABEL: select_f64:
; CHECK:         .functype select_f64 (i32, f64, f64) -> (f64)
; CHECK-NEXT:  # %bb.0:
; CHECK-NEXT:    local.get $push5=, 1
; CHECK-NEXT:    local.get $push4=, 2
; CHECK-NEXT:    local.get $push3=, 0
; CHECK-NEXT:    i32.const $push2=, 1
; CHECK-NEXT:    i32.and $push1=, $pop3, $pop2
; CHECK-NEXT:    f64.select $push0=, $pop5, $pop4, $pop1
; CHECK-NEXT:    return $pop0
  %a = select i1 %cond, double %x, double %y
  ret double %a
}

define ptr @select_p0(i1 %cond, ptr %x, ptr %y) {
; WASM32-LABEL: select_p0:
; WASM32:         .functype select_p0 (i32, i32, i32) -> (i32)
; WASM32-NEXT:  # %bb.0:
; WASM32-NEXT:    local.get $push5=, 1
; WASM32-NEXT:    local.get $push4=, 2
; WASM32-NEXT:    local.get $push3=, 0
; WASM32-NEXT:    i32.const $push2=, 1
; WASM32-NEXT:    i32.and $push1=, $pop3, $pop2
; WASM32-NEXT:    i32.select $push0=, $pop5, $pop4, $pop1
; WASM32-NEXT:    return $pop0
;
; WASM64-LABEL: select_p0:
; WASM64:         .functype select_p0 (i32, i64, i64) -> (i64)
; WASM64-NEXT:  # %bb.0:
; WASM64-NEXT:    local.get $push5=, 1
; WASM64-NEXT:    local.get $push4=, 2
; WASM64-NEXT:    local.get $push3=, 0
; WASM64-NEXT:    i32.const $push2=, 1
; WASM64-NEXT:    i32.and $push1=, $pop3, $pop2
; WASM64-NEXT:    i64.select $push0=, $pop5, $pop4, $pop1
; WASM64-NEXT:    return $pop0
  %a = select i1 %cond, ptr %x, ptr %y
  ret ptr %a
}

define ptr @select_p0_neq_zero(i32 %cond_src, ptr %x, ptr %y) {
; WASM32-LABEL: select_p0_neq_zero:
; WASM32:         .functype select_p0_neq_zero (i32, i32, i32) -> (i32)
; WASM32-NEXT:  # %bb.0:
; WASM32-NEXT:    local.get $push3=, 1
; WASM32-NEXT:    local.get $push2=, 2
; WASM32-NEXT:    local.get $push1=, 0
; WASM32-NEXT:    i32.select $push0=, $pop3, $pop2, $pop1
; WASM32-NEXT:    return $pop0
;
; WASM64-LABEL: select_p0_neq_zero:
; WASM64:         .functype select_p0_neq_zero (i32, i64, i64) -> (i64)
; WASM64-NEXT:  # %bb.0:
; WASM64-NEXT:    local.get $push3=, 1
; WASM64-NEXT:    local.get $push2=, 2
; WASM64-NEXT:    local.get $push1=, 0
; WASM64-NEXT:    i64.select $push0=, $pop3, $pop2, $pop1
; WASM64-NEXT:    return $pop0
  %cond = icmp ne i32 %cond_src, 0
  %a = select i1 %cond, ptr %x, ptr %y
  ret ptr %a
}

define ptr @select_p0_eq_zero(i32 %cond_src, ptr %x, ptr %y) {
; WASM32-LABEL: select_p0_eq_zero:
; WASM32:         .functype select_p0_eq_zero (i32, i32, i32) -> (i32)
; WASM32-NEXT:  # %bb.0:
; WASM32-NEXT:    local.get $push3=, 2
; WASM32-NEXT:    local.get $push2=, 1
; WASM32-NEXT:    local.get $push1=, 0
; WASM32-NEXT:    i32.select $push0=, $pop3, $pop2, $pop1
; WASM32-NEXT:    return $pop0
;
; WASM64-LABEL: select_p0_eq_zero:
; WASM64:         .functype select_p0_eq_zero (i32, i64, i64) -> (i64)
; WASM64-NEXT:  # %bb.0:
; WASM64-NEXT:    local.get $push3=, 2
; WASM64-NEXT:    local.get $push2=, 1
; WASM64-NEXT:    local.get $push1=, 0
; WASM64-NEXT:    i64.select $push0=, $pop3, $pop2, $pop1
; WASM64-NEXT:    return $pop0
  %cond = icmp eq i32 %cond_src, 0
  %a = select i1 %cond, ptr %x, ptr %y
  ret ptr %a
}