test/CodeGen/AArch64/GlobalISel/prelegalizercombiner-extending-loads-s1.mir

   1 # NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py
   2 # RUN: llc -mtriple aarch64 -O0 -run-pass=aarch64-prelegalizer-combiner -global-isel -verify-machineinstrs %s -o - | FileCheck %s
   3
   4 # Check we don't try to combine a load of < s8 as that will end up creating a illegal non-extending load.
   5 --- |
   6   define i8 @test(i1* %ptr) {
   7     ret i8 undef
   8   }
   9
  10 ...
  11 ---
  12 name:            test
  13 alignment:       4
  14 tracksRegLiveness: true
  15 registers:
  16   - { id: 0, class: _ }
  17   - { id: 1, class: _ }
  18   - { id: 2, class: _ }
  19   - { id: 3, class: _ }
  20 body:             |
  21   bb.1 (%ir-block.0):
  22     liveins: $x0
  23
  24     ; CHECK-LABEL: name: test
  25     ; CHECK: liveins: $x0
  26     ; CHECK: [[COPY:%[0-9]+]]:_(p0) = COPY $x0
  27     ; CHECK: [[LOAD:%[0-9]+]]:_(s1) = G_LOAD [[COPY]](p0) :: (load 1 from %ir.ptr)
  28     ; CHECK: [[ZEXT:%[0-9]+]]:_(s8) = G_ZEXT [[LOAD]](s1)
  29     ; CHECK: [[ANYEXT:%[0-9]+]]:_(s32) = G_ANYEXT [[ZEXT]](s8)
  30     ; CHECK: $w0 = COPY [[ANYEXT]](s32)
  31     ; CHECK: RET_ReallyLR implicit $w0
  32     %0:_(p0) = COPY $x0
  33     %1:_(s1) = G_LOAD %0(p0) :: (load 1 from %ir.ptr)
  34     %2:_(s8) = G_ZEXT %1(s1)
  35     %3:_(s32) = G_ANYEXT %2(s8)
  36     $w0 = COPY %3(s32)
  37     RET_ReallyLR implicit $w0
  38
  39 ...