test/CodeGen/AArch64/GlobalISel/legalize-constant.mir

   1 # NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py
   2 # RUN: llc -O0 -run-pass=legalizer %s -o - | FileCheck %s
   3
   4 --- |
   5   target datalayout = "e-m:o-i64:64-i128:128-n32:64-S128"
   6   target triple = "aarch64--"
   7   define void @test_constant() {
   8   entry:
   9     ret void
  10   }
  11   define void @test_fconstant() {
  12   entry:
  13     ret void
  14   }
  15   @var = global i8 0
  16   define i8* @test_global() { ret i8* undef }
  17 ...
  18
  19 ---
  20 name:            test_constant
  21 registers:
  22   - { id: 0, class: _ }
  23   - { id: 1, class: _ }
  24   - { id: 2, class: _ }
  25   - { id: 3, class: _ }
  26   - { id: 4, class: _ }
  27   - { id: 5, class: _ }
  28 body: |
  29   bb.0.entry:
  30
  31     ; CHECK-LABEL: name: test_constant
  32     ; CHECK: [[C:%[0-9]+]]:_(s32) = G_CONSTANT i32 0
  33     ; CHECK: $w0 = COPY [[C]](s32)
  34     ; CHECK: [[C1:%[0-9]+]]:_(s32) = G_CONSTANT i32 42
  35     ; CHECK: $w0 = COPY [[C1]](s32)
  36     ; CHECK: [[C2:%[0-9]+]]:_(s32) = G_CONSTANT i32 -1
  37     ; CHECK: [[COPY:%[0-9]+]]:_(s32) = COPY [[C2]](s32)
  38     ; CHECK: $w0 = COPY [[COPY]](s32)
  39     ; CHECK: $w0 = COPY [[C2]](s32)
  40     ; CHECK: [[C3:%[0-9]+]]:_(s64) = G_CONSTANT i64 1
  41     ; CHECK: $x0 = COPY [[C3]](s64)
  42     ; CHECK: [[C4:%[0-9]+]]:_(s64) = G_CONSTANT i64 0
  43     ; CHECK: $x0 = COPY [[C4]](s64)
  44     %0(s1) = G_CONSTANT i1 0
  45     %6:_(s32) = G_ANYEXT %0
  46     $w0 = COPY %6
  47     %1(s8) = G_CONSTANT i8 42
  48     %7:_(s32) = G_ANYEXT %1
  49     $w0 = COPY %7
  50     %2(s16) = G_CONSTANT i16 65535
  51     %8:_(s32) = G_ANYEXT %2
  52     $w0 = COPY %8
  53     %3(s32) = G_CONSTANT i32 -1
  54     $w0 = COPY %3
  55     %4(s64) = G_CONSTANT i64 1
  56     $x0 = COPY %4
  57     %5(s64) = G_CONSTANT i64 0
  58     $x0 = COPY %5
  59 ...
  60
  61 ---
  62 name:            test_fconstant
  63 registers:
  64   - { id: 0, class: _ }
  65   - { id: 1, class: _ }
  66   - { id: 2, class: _ }
  67 body: |
  68   bb.0.entry:
  69
  70     ; CHECK-LABEL: name: test_fconstant
  71     ; CHECK: [[C:%[0-9]+]]:_(s32) = G_FCONSTANT float 1.000000e+00
  72     ; CHECK: $w0 = COPY [[C]](s32)
  73     ; CHECK: [[C1:%[0-9]+]]:_(s64) = G_FCONSTANT double 2.000000e+00
  74     ; CHECK: $x0 = COPY [[C1]](s64)
  75     ; CHECK: [[C2:%[0-9]+]]:_(s32) = G_FCONSTANT float 0.000000e+00
  76     ; CHECK: [[FPTRUNC:%[0-9]+]]:_(s16) = G_FPTRUNC [[C2]](s32)
  77     ; CHECK: [[ANYEXT:%[0-9]+]]:_(s32) = G_ANYEXT [[FPTRUNC]](s16)
  78     ; CHECK: $w0 = COPY [[ANYEXT]](s32)
  79     %0(s32) = G_FCONSTANT float 1.0
  80     $w0 = COPY %0
  81     %1(s64) = G_FCONSTANT double 2.0
  82     $x0 = COPY %1
  83     %2(s16) = G_FCONSTANT half 0.0
  84     %3:_(s32) = G_ANYEXT %2
  85     $w0 = COPY %3
  86 ...
  87
  88 ---
  89 name:            test_global
  90 registers:
  91   - { id: 0, class: _ }
  92 body: |
  93   bb.0:
  94
  95     ; CHECK-LABEL: name: test_global
  96     ; CHECK: [[GV:%[0-9]+]]:_(p0) = G_GLOBAL_VALUE @var
  97     ; CHECK: [[PTRTOINT:%[0-9]+]]:_(s64) = G_PTRTOINT [[GV]](p0)
  98     ; CHECK: $x0 = COPY [[PTRTOINT]](s64)
  99     %0(p0) = G_GLOBAL_VALUE @var
 100     %1:_(s64) = G_PTRTOINT %0
 101     $x0 = COPY %1
 102 ...