test/CodeGen/WebAssembly/GlobalISel/instructions/zextload.mir

# NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py UTC_ARGS: --version 6
# RUN: llc -mtriple=wasm32-unknown-unknown -run-pass=legalizer,reg-bank-select,instruction-select %s -o - | FileCheck %s --check-prefixes=WASM32
# RUN: llc -mtriple=wasm64-unknown-unknown -run-pass=legalizer,reg-bank-select,instruction-select %s -o - | FileCheck %s --check-prefixes=WASM64

---
name: zextload_i1_i32
tracksRegLiveness: true
body: |
  bb.1.entry:
    liveins: $arguments

    ; WASM32-LABEL: name: zextload_i1_i32
    ; WASM32: liveins: $arguments
    ; WASM32-NEXT: {{  $}}
    ; WASM32-NEXT: [[DEF:%[0-9]+]]:i32 = IMPLICIT_DEF
    ; WASM32-NEXT: [[LOAD8_U_I32_A32_:%[0-9]+]]:i32 = LOAD8_U_I32_A32 0, 0, [[DEF]], implicit-def dead $arguments :: (load (i8))
    ; WASM32-NEXT: RETURN [[LOAD8_U_I32_A32_]], implicit-def $arguments
    ;
    ; WASM64-LABEL: name: zextload_i1_i32
    ; WASM64: liveins: $arguments
    ; WASM64-NEXT: {{  $}}
    ; WASM64-NEXT: [[DEF:%[0-9]+]]:i64 = IMPLICIT_DEF
    ; WASM64-NEXT: [[LOAD8_U_I32_A64_:%[0-9]+]]:i32 = LOAD8_U_I32_A64 0, 0, [[DEF]], implicit-def dead $arguments :: (load (i8))
    ; WASM64-NEXT: RETURN [[LOAD8_U_I32_A64_]], implicit-def $arguments
    %0:_(p0) = G_IMPLICIT_DEF
    %1:_(i32) = G_ZEXTLOAD %0(p0) :: (load (i1))
    RETURN %1(i32), implicit-def $arguments
...
---
name: zextload_i1_i64
tracksRegLiveness: true
body: |
  bb.1.entry:
    liveins: $arguments

    ; WASM32-LABEL: name: zextload_i1_i64
    ; WASM32: liveins: $arguments
    ; WASM32-NEXT: {{  $}}
    ; WASM32-NEXT: [[DEF:%[0-9]+]]:i32 = IMPLICIT_DEF
    ; WASM32-NEXT: [[LOAD8_U_I64_A32_:%[0-9]+]]:i64 = LOAD8_U_I64_A32 0, 0, [[DEF]], implicit-def dead $arguments :: (load (i8))
    ; WASM32-NEXT: RETURN [[LOAD8_U_I64_A32_]], implicit-def $arguments
    ;
    ; WASM64-LABEL: name: zextload_i1_i64
    ; WASM64: liveins: $arguments
    ; WASM64-NEXT: {{  $}}
    ; WASM64-NEXT: [[DEF:%[0-9]+]]:i64 = IMPLICIT_DEF
    ; WASM64-NEXT: [[LOAD8_U_I64_A64_:%[0-9]+]]:i64 = LOAD8_U_I64_A64 0, 0, [[DEF]], implicit-def dead $arguments :: (load (i8))
    ; WASM64-NEXT: RETURN [[LOAD8_U_I64_A64_]], implicit-def $arguments
    %0:_(p0) = G_IMPLICIT_DEF
    %1:_(i64) = G_ZEXTLOAD %0(p0) :: (load (i1))
    RETURN %1(i64), implicit-def $arguments
...
---
name: zextload_i8_i32
tracksRegLiveness: true
body: |
  bb.1.entry:
    liveins: $arguments

    ; WASM32-LABEL: name: zextload_i8_i32
    ; WASM32: liveins: $arguments
    ; WASM32-NEXT: {{  $}}
    ; WASM32-NEXT: [[DEF:%[0-9]+]]:i32 = IMPLICIT_DEF
    ; WASM32-NEXT: [[LOAD8_U_I32_A32_:%[0-9]+]]:i32 = LOAD8_U_I32_A32 0, 0, [[DEF]], implicit-def dead $arguments :: (load (i8))
    ; WASM32-NEXT: RETURN [[LOAD8_U_I32_A32_]], implicit-def $arguments
    ;
    ; WASM64-LABEL: name: zextload_i8_i32
    ; WASM64: liveins: $arguments
    ; WASM64-NEXT: {{  $}}
    ; WASM64-NEXT: [[DEF:%[0-9]+]]:i64 = IMPLICIT_DEF
    ; WASM64-NEXT: [[LOAD8_U_I32_A64_:%[0-9]+]]:i32 = LOAD8_U_I32_A64 0, 0, [[DEF]], implicit-def dead $arguments :: (load (i8))
    ; WASM64-NEXT: RETURN [[LOAD8_U_I32_A64_]], implicit-def $arguments
    %0:_(p0) = G_IMPLICIT_DEF
    %1:_(i32) = G_ZEXTLOAD %0(p0) :: (load (i8))
    RETURN %1(i32), implicit-def $arguments
...
---
name: zextload_i8_i64
tracksRegLiveness: true
body: |
  bb.1.entry:
    liveins: $arguments

    ; WASM32-LABEL: name: zextload_i8_i64
    ; WASM32: liveins: $arguments
    ; WASM32-NEXT: {{  $}}
    ; WASM32-NEXT: [[DEF:%[0-9]+]]:i32 = IMPLICIT_DEF
    ; WASM32-NEXT: [[LOAD8_U_I64_A32_:%[0-9]+]]:i64 = LOAD8_U_I64_A32 0, 0, [[DEF]], implicit-def dead $arguments :: (load (i8))
    ; WASM32-NEXT: RETURN [[LOAD8_U_I64_A32_]], implicit-def $arguments
    ;
    ; WASM64-LABEL: name: zextload_i8_i64
    ; WASM64: liveins: $arguments
    ; WASM64-NEXT: {{  $}}
    ; WASM64-NEXT: [[DEF:%[0-9]+]]:i64 = IMPLICIT_DEF
    ; WASM64-NEXT: [[LOAD8_U_I64_A64_:%[0-9]+]]:i64 = LOAD8_U_I64_A64 0, 0, [[DEF]], implicit-def dead $arguments :: (load (i8))
    ; WASM64-NEXT: RETURN [[LOAD8_U_I64_A64_]], implicit-def $arguments
    %0:_(p0) = G_IMPLICIT_DEF
    %1:_(i64) = G_ZEXTLOAD %0(p0) :: (load (i8))
    RETURN %1(i64), implicit-def $arguments
...
---
name: zextload_i16_i32
tracksRegLiveness: true
body: |
  bb.1.entry:
    liveins: $arguments

    ; WASM32-LABEL: name: zextload_i16_i32
    ; WASM32: liveins: $arguments
    ; WASM32-NEXT: {{  $}}
    ; WASM32-NEXT: [[DEF:%[0-9]+]]:i32 = IMPLICIT_DEF
    ; WASM32-NEXT: [[LOAD16_U_I32_A32_:%[0-9]+]]:i32 = LOAD16_U_I32_A32 0, 0, [[DEF]], implicit-def dead $arguments :: (load (i16))
    ; WASM32-NEXT: RETURN [[LOAD16_U_I32_A32_]], implicit-def $arguments
    ;
    ; WASM64-LABEL: name: zextload_i16_i32
    ; WASM64: liveins: $arguments
    ; WASM64-NEXT: {{  $}}
    ; WASM64-NEXT: [[DEF:%[0-9]+]]:i64 = IMPLICIT_DEF
    ; WASM64-NEXT: [[LOAD16_U_I32_A64_:%[0-9]+]]:i32 = LOAD16_U_I32_A64 0, 0, [[DEF]], implicit-def dead $arguments :: (load (i16))
    ; WASM64-NEXT: RETURN [[LOAD16_U_I32_A64_]], implicit-def $arguments
    %0:_(p0) = G_IMPLICIT_DEF
    %1:_(i32) = G_ZEXTLOAD %0(p0) :: (load (i16))
    RETURN %1(i32), implicit-def $arguments
...
---
name: zextload_i16_i64
tracksRegLiveness: true
body: |
  bb.1.entry:
    liveins: $arguments

    ; WASM32-LABEL: name: zextload_i16_i64
    ; WASM32: liveins: $arguments
    ; WASM32-NEXT: {{  $}}
    ; WASM32-NEXT: [[DEF:%[0-9]+]]:i32 = IMPLICIT_DEF
    ; WASM32-NEXT: [[LOAD16_U_I64_A32_:%[0-9]+]]:i64 = LOAD16_U_I64_A32 0, 0, [[DEF]], implicit-def dead $arguments :: (load (i16))
    ; WASM32-NEXT: RETURN [[LOAD16_U_I64_A32_]], implicit-def $arguments
    ;
    ; WASM64-LABEL: name: zextload_i16_i64
    ; WASM64: liveins: $arguments
    ; WASM64-NEXT: {{  $}}
    ; WASM64-NEXT: [[DEF:%[0-9]+]]:i64 = IMPLICIT_DEF
    ; WASM64-NEXT: [[LOAD16_U_I64_A64_:%[0-9]+]]:i64 = LOAD16_U_I64_A64 0, 0, [[DEF]], implicit-def dead $arguments :: (load (i16))
    ; WASM64-NEXT: RETURN [[LOAD16_U_I64_A64_]], implicit-def $arguments
    %0:_(p0) = G_IMPLICIT_DEF
    %1:_(i64) = G_ZEXTLOAD %0(p0) :: (load (i16))
    RETURN %1(i64), implicit-def $arguments
...
---
name: zextload_i32_i64
tracksRegLiveness: true
body: |
  bb.1.entry:
    liveins: $arguments

    ; WASM32-LABEL: name: zextload_i32_i64
    ; WASM32: liveins: $arguments
    ; WASM32-NEXT: {{  $}}
    ; WASM32-NEXT: [[DEF:%[0-9]+]]:i32 = IMPLICIT_DEF
    ; WASM32-NEXT: [[LOAD32_U_I64_A32_:%[0-9]+]]:i64 = LOAD32_U_I64_A32 0, 0, [[DEF]], implicit-def dead $arguments :: (load (i32))
    ; WASM32-NEXT: RETURN [[LOAD32_U_I64_A32_]], implicit-def $arguments
    ;
    ; WASM64-LABEL: name: zextload_i32_i64
    ; WASM64: liveins: $arguments
    ; WASM64-NEXT: {{  $}}
    ; WASM64-NEXT: [[DEF:%[0-9]+]]:i64 = IMPLICIT_DEF
    ; WASM64-NEXT: [[LOAD32_U_I64_A64_:%[0-9]+]]:i64 = LOAD32_U_I64_A64 0, 0, [[DEF]], implicit-def dead $arguments :: (load (i32))
    ; WASM64-NEXT: RETURN [[LOAD32_U_I64_A64_]], implicit-def $arguments
    %0:_(p0) = G_IMPLICIT_DEF
    %1:_(i64) = G_ZEXTLOAD %0(p0) :: (load (i32))
    RETURN %1(i64), implicit-def $arguments
...
---
name: zextload_i48_i64
tracksRegLiveness: true
body: |
  bb.1.entry:
    liveins: $arguments

    ; WASM32-LABEL: name: zextload_i48_i64
    ; WASM32: liveins: $arguments
    ; WASM32-NEXT: {{  $}}
    ; WASM32-NEXT: [[DEF:%[0-9]+]]:i32 = IMPLICIT_DEF
    ; WASM32-NEXT: [[LOAD32_U_I64_A32_:%[0-9]+]]:i64 = LOAD32_U_I64_A32 0, 0, [[DEF]], implicit-def dead $arguments :: (load (s32), align 8)
    ; WASM32-NEXT: [[CONST_I32_:%[0-9]+]]:i32 = CONST_I32 4, implicit-def dead $arguments
    ; WASM32-NEXT: [[ADD_I32_:%[0-9]+]]:i32 = nuw inbounds ADD_I32 [[DEF]], [[CONST_I32_]], implicit-def dead $arguments
    ; WASM32-NEXT: [[LOAD16_U_I64_A32_:%[0-9]+]]:i64 = LOAD16_U_I64_A32 0, 0, [[ADD_I32_]], implicit-def dead $arguments :: (load (s16) from unknown-address + 4, align 4)
    ; WASM32-NEXT: [[CONST_I64_:%[0-9]+]]:i64 = CONST_I64 32, implicit-def dead $arguments
    ; WASM32-NEXT: [[SHL_I64_:%[0-9]+]]:i64 = SHL_I64 [[LOAD16_U_I64_A32_]], [[CONST_I64_]], implicit-def dead $arguments
    ; WASM32-NEXT: [[OR_I64_:%[0-9]+]]:i64 = OR_I64 [[SHL_I64_]], [[LOAD32_U_I64_A32_]], implicit-def dead $arguments
    ; WASM32-NEXT: RETURN [[OR_I64_]], implicit-def $arguments
    ;
    ; WASM64-LABEL: name: zextload_i48_i64
    ; WASM64: liveins: $arguments
    ; WASM64-NEXT: {{  $}}
    ; WASM64-NEXT: [[DEF:%[0-9]+]]:i64 = IMPLICIT_DEF
    ; WASM64-NEXT: [[LOAD32_U_I64_A64_:%[0-9]+]]:i64 = LOAD32_U_I64_A64 0, 0, [[DEF]], implicit-def dead $arguments :: (load (s32), align 8)
    ; WASM64-NEXT: [[CONST_I64_:%[0-9]+]]:i64 = CONST_I64 4, implicit-def dead $arguments
    ; WASM64-NEXT: [[ADD_I64_:%[0-9]+]]:i64 = nuw inbounds ADD_I64 [[DEF]], [[CONST_I64_]], implicit-def dead $arguments
    ; WASM64-NEXT: [[LOAD16_U_I64_A64_:%[0-9]+]]:i64 = LOAD16_U_I64_A64 0, 0, [[ADD_I64_]], implicit-def dead $arguments :: (load (s16) from unknown-address + 4, align 4)
    ; WASM64-NEXT: [[CONST_I64_1:%[0-9]+]]:i64 = CONST_I64 32, implicit-def dead $arguments
    ; WASM64-NEXT: [[SHL_I64_:%[0-9]+]]:i64 = SHL_I64 [[LOAD16_U_I64_A64_]], [[CONST_I64_1]], implicit-def dead $arguments
    ; WASM64-NEXT: [[OR_I64_:%[0-9]+]]:i64 = OR_I64 [[SHL_I64_]], [[LOAD32_U_I64_A64_]], implicit-def dead $arguments
    ; WASM64-NEXT: RETURN [[OR_I64_]], implicit-def $arguments
    %0:_(p0) = G_IMPLICIT_DEF
    %1:_(i64) = G_ZEXTLOAD %0(p0) :: (load (i48))
    RETURN %1(i64), implicit-def $arguments
...