# RUN: llc -mtriple=aarch64-linux-gnu -O0 -run-pass=legalizer -global-isel %s -o - | FileCheck %s

---
name:            test_extracts_1
body: |
  bb.0:
    liveins: %w0

    ; Low part of extraction takes entirity of the low register entirely, so
    ; value stored is forwarded directly from first load.

    ; CHECK-LABEL: name: test_extracts_1
    ; CHECK: [[LO:%[0-9]+]](s64) = G_LOAD
    ; CHECK: {{%[0-9]+}}(s64) = G_LOAD
    ; CHECK: [[VAL:%[0-9]+]](s64) = COPY [[LO]]
    ; CHECK: G_STORE [[VAL]]
    %0:_(s64) = COPY %x0
    %1:_(s32) = COPY %w1
    %2:_(p0) = COPY %x2
    %3:_(s128) = G_LOAD %2(p0) :: (load 16)
    %4:_(s64) = G_EXTRACT %3(s128), 0
    G_STORE %4(s64), %2(p0) :: (store 8)
    RET_ReallyLR
...

---
name:            test_extracts_2
body: |
  bb.0:
    liveins: %w0

      ; Low extraction wipes takes whole low register. High extraction is real.
    ; CHECK-LABEL: name: test_extracts_2
    ; CHECK: [[LO_TMP:%[0-9]+]](s64) = G_LOAD
    ; CHECK: [[HI:%[0-9]+]](s64) = G_LOAD
    ; CHECK: [[LO:%[0-9]+]](s64) = COPY [[LO_TMP]]
    ; CHECK: [[NEWHI_TMP:%[0-9]+]](s32) = G_EXTRACT [[HI]](s64), 0
    ; CHECK: [[NEWHI:%[0-9]+]](s32) = COPY [[NEWHI_TMP]]
    ; CHECK: G_STORE [[LO]]
    ; CHECK: G_STORE [[NEWHI]]
    %0:_(s64) = COPY %x0
    %1:_(s32) = COPY %w1
    %2:_(p0) = COPY %x2
    %3:_(s128) = G_LOAD %2(p0) :: (load 16)
    %4:_(s64) = G_EXTRACT %3(s128), 0
    %5:_(s32) = G_EXTRACT %3(s128), 64
    G_STORE %4(s64), %2(p0) :: (store 8)
    G_STORE %5(s32), %2(p0) :: (store 4)
    RET_ReallyLR
...

---
name:            test_extracts_3
body: |
  bb.0:
    liveins: %x0, %x1, %x2


    ; CHECK-LABEL: name: test_extracts_3
    ; CHECK: [[LO:%[0-9]+]](s32) = G_EXTRACT %0(s64), 32
    ; CHECK: [[HI:%[0-9]+]](s32) = G_EXTRACT %1(s64), 0
    ; CHECK: %3(s64) = G_MERGE_VALUES [[LO]](s32), [[HI]](s32)
    %0:_(s64) = COPY %x0
    %1:_(s64) = COPY %x1
    %2:_(s128) = G_MERGE_VALUES %0, %1
    %3:_(s64) = G_EXTRACT %2, 32
    RET_ReallyLR
...

---
name:            test_extracts_4
body: |
  bb.0:
    liveins: %x0, %x1, %x2


    ; CHECK-LABEL: name: test_extracts_4
    ; CHECK: [[LO_TMP:%[0-9]+]](s32) = G_EXTRACT %0(s64), 32
    ; CHECK: %3(s32) = COPY [[LO_TMP]]
    %0:_(s64) = COPY %x0
    %1:_(s64) = COPY %x1
    %2:_(s128) = G_MERGE_VALUES %0, %1
    %3:_(s32) = G_EXTRACT %2, 32
    RET_ReallyLR
...