• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1# RUN: not llc -march=x86-64 -run-pass none -o /dev/null %s 2>&1 | FileCheck %s
2# This test ensures that the Machine Verifier detects tied physical registers
3# that doesn't match.
4
5--- |
6
7  define i32 @foo() {
8  entry:
9    ret i32 0
10  }
11
12...
13---
14name:            foo
15body: |
16  bb.0.entry:
17    liveins: $rdi
18
19    ; CHECK: Tied physical registers must match.
20    $rbx = AND64rm killed $rdx, killed $rdi, 1, _, 0, _, implicit-def dead $eflags
21    RETQ $rbx
22...
23