llvm/test/CodeGen/X86/bug47278-eflags-error.mir

   1 # NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py
   2 # RUN: llc -mtriple=i386-unknown-linux-musl -verify-machineinstrs -run-pass=regallocfast -o - %s | FileCheck %s
   3 # RUN: llc -mtriple=i386-unknown-linux-musl -verify-machineinstrs -passes=regallocfast -o - %s | FileCheck %s
   4
   5 # Test for correct management of allocatable and non-allocatable
   6 # live-ins in fastregalloc
   7
   8 ---
   9 name: live_through_ecx
  10 tracksRegLiveness: true
  11 body:             |
  12   ; CHECK-LABEL: name: live_through_ecx
  13   ; CHECK: bb.0:
  14   ; CHECK:   successors: %bb.1(0x80000000)
  15   ; CHECK:   liveins: $ecx
  16   ; CHECK:   NOOP implicit $ecx
  17   ; CHECK: bb.1:
  18   ; CHECK:   liveins: $ecx
  19   ; CHECK:   RET implicit killed $ecx
  20   bb.0:
  21     liveins: $ecx
  22     NOOP implicit $ecx
  23
  24   bb.1:
  25     liveins: $ecx
  26
  27     RET implicit $ecx
  28
  29 ...
  30
  31 ---
  32 name: live_out_ecx
  33 tracksRegLiveness: true
  34 body:             |
  35   ; CHECK-LABEL: name: live_out_ecx
  36   ; CHECK: bb.0:
  37   ; CHECK:   successors: %bb.1(0x80000000)
  38   ; CHECK:   liveins: $eax, $ebx
  39   ; CHECK:   renamable $ecx = COPY killed $ebx
  40   ; CHECK: bb.1:
  41   ; CHECK:   liveins: $ecx
  42   ; CHECK:   RET implicit killed $ecx
  43   bb.0:
  44     liveins: $eax, $ebx
  45     %0:gr32 = COPY $eax
  46     %1:gr32 = COPY $ebx
  47     $ecx = COPY %1
  48
  49   bb.1:
  50     liveins: $ecx
  51
  52     RET implicit $ecx
  53
  54 ...
  55
  56 ---
  57 name: live_out_eflags
  58 tracksRegLiveness: true
  59 body:             |
  60   ; CHECK-LABEL: name: live_out_eflags
  61   ; CHECK: bb.0:
  62   ; CHECK:   successors: %bb.1(0x80000000)
  63   ; CHECK:   liveins: $eax, $ebx
  64   ; CHECK:   TEST32rr killed renamable $eax, killed renamable $ebx, implicit-def $eflags
  65   ; CHECK: bb.1:
  66   ; CHECK:   liveins: $eflags
  67   ; CHECK:   RET implicit killed $eflags
  68   bb.0:
  69     liveins: $eax, $ebx
  70     %0:gr32 = COPY $eax
  71     %1:gr32 = COPY $ebx
  72     TEST32rr %0, %1, implicit-def $eflags
  73
  74   bb.1:
  75     liveins: $eflags
  76
  77     RET implicit $eflags
  78
  79 ...