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

--- |
  target datalayout = "e-m:o-i64:64-i128:128-n32:64-S128"
  target triple = "aarch64--"
  define void @test_ext() {
  entry:
    ret void
  }
...

---
name:            test_ext
registers:
  - { id: 0, class: _ }
  - { id: 1, class: _ }
  - { id: 2, class: _ }
  - { id: 3, class: _ }
  - { id: 4, class: _ }
  - { id: 5, class: _ }
  - { id: 6, class: _ }
  - { id: 7, class: _ }
  - { id: 8, class: _ }
  - { id: 9, class: _ }
  - { id: 10, class: _ }
  - { id: 11, class: _ }
  - { id: 12, class: _ }
  - { id: 13, class: _ }
  - { id: 14, class: _ }
  - { id: 15, class: _ }
  - { id: 16, class: _ }
  - { id: 17, class: _ }
  - { id: 18, class: _ }
body: |
  bb.0.entry:
    liveins: %x0, %x1, %x2, %x3
    %0(s64) = COPY %x0

    ; CHECK: %1:_(s1) = G_TRUNC %0
    ; CHECK: %2:_(s8) = G_TRUNC %0
    ; CHECK: %3:_(s16) = G_TRUNC %0
    ; CHECK: %4:_(s32) = G_TRUNC %0
    %1(s1) = G_TRUNC %0
    %2(s8) = G_TRUNC %0
    %3(s16) = G_TRUNC %0
    %4(s32) = G_TRUNC %0

    ; CHECK: %5:_(s64) = G_ANYEXT %1
    ; CHECK: %6:_(s64) = G_ZEXT %2
    ; CHECK: %7:_(s64) = G_ANYEXT %3
    ; CHECK: %8:_(s64) = G_SEXT %4
    %5(s64) = G_ANYEXT %1
    %6(s64) = G_ZEXT %2
    %7(s64) = G_ANYEXT %3
    %8(s64) = G_SEXT %4

    ; CHECK: %9:_(s32) = G_SEXT %1
    ; CHECK: %10:_(s32) = G_ZEXT %2
    ; CHECK: %11:_(s32) = G_ANYEXT %3
    %9(s32) = G_SEXT %1
    %10(s32) = G_ZEXT %2
    %11(s32) = G_ANYEXT %3

    ; CHECK: %12:_(s32) = G_ZEXT %1
    ; CHECK: %13:_(s32) = G_ANYEXT %2
    ; CHECK: %14:_(s32) = G_SEXT %3
    %12(s32) = G_ZEXT %1
    %13(s32) = G_ANYEXT %2
    %14(s32) = G_SEXT %3

    ; CHECK: %15:_(s8) = G_ZEXT %1
    ; CHECK: %16:_(s16) = G_ANYEXT %2
    %15(s8) = G_ZEXT %1
    %16(s16) = G_ANYEXT %2

    ; CHECK: %18:_(s64) = G_FPEXT %17
    %17(s32) = G_TRUNC  %0
    %18(s64) = G_FPEXT %17
...