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

   1 # NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py
   2 # RUN: llc -mtriple=i386-linux-gnu   -mattr=+sse2 -run-pass=legalizer %s -o - | FileCheck %s --check-prefix=ALL --check-prefix=X32
   3 # RUN: llc -mtriple=x86_64-linux-gnu              -run-pass=legalizer %s -o - | FileCheck %s --check-prefix=ALL --check-prefix=X64
   4
   5 --- |
   6   define void @test_constant() { ret void }
   7   define void @test_fconstant() { ret void }
   8
   9 ...
  10 ---
  11 name:            test_constant
  12 registers:
  13   - { id: 0, class: _ }
  14   - { id: 1, class: _ }
  15   - { id: 2, class: _ }
  16   - { id: 3, class: _ }
  17   - { id: 4, class: _ }
  18 body:             |
  19   bb.1 (%ir-block.0):
  20     ; X32-LABEL: name: test_constant
  21     ; X32: [[C:%[0-9]+]]:_(s32) = G_CONSTANT i32 -1
  22     ; X32: $eax = COPY [[C]](s32)
  23     ; X32: [[C1:%[0-9]+]]:_(s8) = G_CONSTANT i8 8
  24     ; X32: $al = COPY [[C1]](s8)
  25     ; X32: [[C2:%[0-9]+]]:_(s16) = G_CONSTANT i16 16
  26     ; X32: $ax = COPY [[C2]](s16)
  27     ; X32: [[C3:%[0-9]+]]:_(s32) = G_CONSTANT i32 32
  28     ; X32: $eax = COPY [[C3]](s32)
  29     ; X32: [[C4:%[0-9]+]]:_(s32) = G_CONSTANT i32 64
  30     ; X32: [[C5:%[0-9]+]]:_(s32) = G_CONSTANT i32 0
  31     ; X32: [[MV:%[0-9]+]]:_(s64) = G_MERGE_VALUES [[C4]](s32), [[C5]](s32)
  32     ; X32: $rax = COPY [[MV]](s64)
  33     ; X32: RET 0
  34     ; X64-LABEL: name: test_constant
  35     ; X64: [[C:%[0-9]+]]:_(s32) = G_CONSTANT i32 -1
  36     ; X64: $eax = COPY [[C]](s32)
  37     ; X64: [[C1:%[0-9]+]]:_(s8) = G_CONSTANT i8 8
  38     ; X64: $al = COPY [[C1]](s8)
  39     ; X64: [[C2:%[0-9]+]]:_(s16) = G_CONSTANT i16 16
  40     ; X64: $ax = COPY [[C2]](s16)
  41     ; X64: [[C3:%[0-9]+]]:_(s32) = G_CONSTANT i32 32
  42     ; X64: $eax = COPY [[C3]](s32)
  43     ; X64: [[C4:%[0-9]+]]:_(s64) = G_CONSTANT i64 64
  44     ; X64: $rax = COPY [[C4]](s64)
  45     ; X64: RET 0
  46     %0(s1) = G_CONSTANT i1 1
  47     %5:_(s32) = G_ANYEXT %0
  48     $eax = COPY %5
  49
  50     %1(s8) = G_CONSTANT i8 8
  51     $al = COPY %1
  52     %2(s16) = G_CONSTANT i16 16
  53     $ax = COPY %2
  54
  55     %3(s32) = G_CONSTANT i32 32
  56     $eax = COPY %3
  57
  58
  59     %4(s64) = G_CONSTANT i64 64
  60     $rax = COPY %4
  61
  62     RET 0
  63 ...
  64 ---
  65 name:            test_fconstant
  66 registers:
  67   - { id: 0, class: _ }
  68   - { id: 1, class: _ }
  69 body: |
  70   bb.0:
  71
  72     ; X32-LABEL: name: test_fconstant
  73     ; X32: [[C:%[0-9]+]]:_(s32) = G_FCONSTANT float 1.000000e+00
  74     ; X32: $eax = COPY [[C]](s32)
  75     ; X32: [[C1:%[0-9]+]]:_(s64) = G_FCONSTANT double 2.000000e+00
  76     ; X32: $rax = COPY [[C1]](s64)
  77     ; X64-LABEL: name: test_fconstant
  78     ; X64: [[C:%[0-9]+]]:_(s32) = G_FCONSTANT float 1.000000e+00
  79     ; X64: $eax = COPY [[C]](s32)
  80     ; X64: [[C1:%[0-9]+]]:_(s64) = G_FCONSTANT double 2.000000e+00
  81     ; X64: $rax = COPY [[C1]](s64)
  82     %0(s32) = G_FCONSTANT float 1.0
  83     $eax = COPY %0
  84     %1(s64) = G_FCONSTANT double 2.0
  85     $rax = COPY %1
  86 ...
  87