blob: 58239e85c40e3cbc2fd09e798e458125a86d4f3b [file] [log] [blame]
Matthias Braun71f95642016-05-20 23:14:56 +00001# RUN: llc -march=amdgcn -run-pass liveintervals -verify-machineinstrs -o /dev/null -debug-only=regalloc %s 2>&1 | FileCheck %s
2# REQUIRES: asserts
3# We currently maintain a main liveness range which operates like a superset of
4# all subregister liveranges. We may need to create additional SSA values at
5# merge point in this main liverange even though none of the subregister
6# liveranges needed it.
7#
8# Should see three distinct value numbers:
Francis Visoiu Mistrih93ef1452017-11-30 12:12:19 +00009# CHECK: %0 [{{.*}}:0)[{{.*}}:1)[{{.*}}:2) 0@{{[0-9]+[Berd]}} 1@{{[0-9]+[Berd]}} 2@{{[0-9]+B-phi}}
Matthias Braun71f95642016-05-20 23:14:56 +000010--- |
Matt Arsenault3dbeefa2017-03-21 21:39:51 +000011 define amdgpu_kernel void @test0() { ret void }
Matthias Braun71f95642016-05-20 23:14:56 +000012...
13---
14name: test0
15registers:
16 - { id: 0, class: sreg_64 }
17body: |
18 bb.0:
Matthias Braun333e4682016-07-26 21:49:34 +000019 S_NOP 0, implicit-def undef %0.sub0
Puyan Lotfi43e94b12018-01-31 22:04:26 +000020 S_CBRANCH_VCCNZ %bb.1, implicit undef $vcc
Matthias Braun71f95642016-05-20 23:14:56 +000021 S_BRANCH %bb.2
22
23 bb.1:
Matthias Braun333e4682016-07-26 21:49:34 +000024 S_NOP 0, implicit-def %0.sub1
25 S_NOP 0, implicit %0.sub1
Matthias Braun71f95642016-05-20 23:14:56 +000026 S_BRANCH %bb.2
27
28 bb.2:
Matthias Braun333e4682016-07-26 21:49:34 +000029 S_NOP 0, implicit %0.sub0
Matthias Braun71f95642016-05-20 23:14:56 +000030...