Skip to content

Commit a1d710a

Browse files
author
git apple-llvm automerger
committed
Merge commit 'b944b543d60c' from llvm.org/main into next
2 parents 1f53011 + b944b54 commit a1d710a

File tree

1 file changed

+62
-0
lines changed

1 file changed

+62
-0
lines changed
Lines changed: 62 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,62 @@
1+
# NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py UTC_ARGS: --version 4
2+
# RUN: llc %s -o - -mtriple=riscv64 -mattr=v -run-pass=riscv-coalesce-vsetvli -verify-machineinstrs | FileCheck %s
3+
4+
---
5+
name: dead_avl_addi
6+
tracksRegLiveness: true
7+
body: |
8+
bb.0:
9+
; CHECK-LABEL: name: dead_avl_addi
10+
; CHECK: $x0 = PseudoVSETIVLI 3, 216 /* e64, m1, ta, ma */, implicit-def $vl, implicit-def $vtype
11+
; CHECK-NEXT: dead %x:gpr = PseudoVMV_X_S $noreg, 6 /* e64 */
12+
; CHECK-NEXT: $v0 = PseudoVADD_VV_M1 $noreg, $noreg, $noreg, 3, 6 /* e64 */, 0 /* tu, mu */
13+
; CHECK-NEXT: PseudoRET
14+
%avl:gprnox0 = ADDI $x0, 42
15+
dead $x0 = PseudoVSETVLI %avl, 216, implicit-def $vl, implicit-def $vtype
16+
%x:gpr = PseudoVMV_X_S $noreg, 6
17+
dead $x0 = PseudoVSETIVLI 3, 216, implicit-def $vl, implicit-def $vtype
18+
$v0 = PseudoVADD_VV_M1 $noreg, $noreg, $noreg, 3, 6, 0
19+
PseudoRET
20+
...
21+
---
22+
name: dead_avl_nonvolatile_load
23+
tracksRegLiveness: true
24+
body: |
25+
bb.0:
26+
liveins: $x1
27+
; CHECK-LABEL: name: dead_avl_nonvolatile_load
28+
; CHECK: liveins: $x1
29+
; CHECK-NEXT: {{ $}}
30+
; CHECK-NEXT: dead %avl:gprnox0 = LW $x1, 0 :: (dereferenceable load (s32))
31+
; CHECK-NEXT: $x0 = PseudoVSETIVLI 3, 216 /* e64, m1, ta, ma */, implicit-def $vl, implicit-def $vtype
32+
; CHECK-NEXT: dead %x:gpr = PseudoVMV_X_S $noreg, 6 /* e64 */
33+
; CHECK-NEXT: $v0 = PseudoVADD_VV_M1 $noreg, $noreg, $noreg, 3, 6 /* e64 */, 0 /* tu, mu */
34+
; CHECK-NEXT: PseudoRET
35+
%avl:gprnox0 = LW $x1, 0 :: (dereferenceable load (s32))
36+
dead $x0 = PseudoVSETVLI %avl, 216, implicit-def $vl, implicit-def $vtype
37+
%x:gpr = PseudoVMV_X_S $noreg, 6
38+
dead $x0 = PseudoVSETIVLI 3, 216, implicit-def $vl, implicit-def $vtype
39+
$v0 = PseudoVADD_VV_M1 $noreg, $noreg, $noreg, 3, 6, 0
40+
PseudoRET
41+
...
42+
---
43+
name: dead_avl_volatile_load
44+
tracksRegLiveness: true
45+
body: |
46+
bb.0:
47+
liveins: $x1
48+
; CHECK-LABEL: name: dead_avl_volatile_load
49+
; CHECK: liveins: $x1
50+
; CHECK-NEXT: {{ $}}
51+
; CHECK-NEXT: dead %avl:gprnox0 = LW $x1, 0 :: (volatile dereferenceable load (s32))
52+
; CHECK-NEXT: $x0 = PseudoVSETIVLI 3, 216 /* e64, m1, ta, ma */, implicit-def $vl, implicit-def $vtype
53+
; CHECK-NEXT: dead %x:gpr = PseudoVMV_X_S $noreg, 6 /* e64 */
54+
; CHECK-NEXT: $v0 = PseudoVADD_VV_M1 $noreg, $noreg, $noreg, 3, 6 /* e64 */, 0 /* tu, mu */
55+
; CHECK-NEXT: PseudoRET
56+
%avl:gprnox0 = LW $x1, 0 :: (volatile dereferenceable load (s32))
57+
dead $x0 = PseudoVSETVLI %avl, 216, implicit-def $vl, implicit-def $vtype
58+
%x:gpr = PseudoVMV_X_S $noreg, 6
59+
dead $x0 = PseudoVSETIVLI 3, 216, implicit-def $vl, implicit-def $vtype
60+
$v0 = PseudoVADD_VV_M1 $noreg, $noreg, $noreg, 3, 6, 0
61+
PseudoRET
62+
...

0 commit comments

Comments
 (0)