xref: /llvm-project/llvm/test/CodeGen/AMDGPU/fold-omod-crash.mir (revision a156362e93eba9513611dc0989d516e9946cae48)
1*a156362eSJay Foad# NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py UTC_ARGS: --version 5
2*a156362eSJay Foad# RUN: llc -mtriple=amdgcn -mcpu=gfx900 -run-pass=si-fold-operands %s -verify-machineinstrs -o - | FileCheck %s -check-prefix=GFX9
3*a156362eSJay Foad
4*a156362eSJay Foad# When V_ADD_F32 is replaced with an output modifier on V_RSQ_F32, check that
5*a156362eSJay Foad# the kill flag is cleared on the use of %4 in V_MUL_F32.
6*a156362eSJay Foad---
7*a156362eSJay Foadname: main
8*a156362eSJay FoadtracksRegLiveness: true
9*a156362eSJay FoadmachineFunctionInfo:
10*a156362eSJay Foad  mode:
11*a156362eSJay Foad    ieee: false
12*a156362eSJay Foad    fp32-input-denormals: false
13*a156362eSJay Foad    fp32-output-denormals: false
14*a156362eSJay Foadbody: |
15*a156362eSJay Foad  ; GFX9-LABEL: name: main
16*a156362eSJay Foad  ; GFX9: bb.0:
17*a156362eSJay Foad  ; GFX9-NEXT:   successors: %bb.1(0x80000000)
18*a156362eSJay Foad  ; GFX9-NEXT:   liveins: $vgpr0, $vgpr1, $vgpr2, $vgpr3, $vgpr4, $vgpr5, $vgpr6, $vgpr7, $vgpr8, $vgpr9
19*a156362eSJay Foad  ; GFX9-NEXT: {{  $}}
20*a156362eSJay Foad  ; GFX9-NEXT:   [[DEF:%[0-9]+]]:vgpr_32 = IMPLICIT_DEF
21*a156362eSJay Foad  ; GFX9-NEXT:   [[DEF1:%[0-9]+]]:sreg_64 = IMPLICIT_DEF
22*a156362eSJay Foad  ; GFX9-NEXT:   [[V_RSQ_F32_e64_:%[0-9]+]]:vgpr_32 = nofpexcept V_RSQ_F32_e64 0, undef [[DEF]], 0, 1, implicit $mode, implicit $exec
23*a156362eSJay Foad  ; GFX9-NEXT: {{  $}}
24*a156362eSJay Foad  ; GFX9-NEXT: bb.1:
25*a156362eSJay Foad  ; GFX9-NEXT:   successors: %bb.1(0x40000000), %bb.2(0x40000000)
26*a156362eSJay Foad  ; GFX9-NEXT: {{  $}}
27*a156362eSJay Foad  ; GFX9-NEXT:   [[DEF2:%[0-9]+]]:vgpr_32 = IMPLICIT_DEF
28*a156362eSJay Foad  ; GFX9-NEXT:   [[V_MUL_F32_e64_:%[0-9]+]]:vgpr_32 = V_MUL_F32_e64 0, killed undef [[DEF2]], 0, [[V_RSQ_F32_e64_]], 0, 0, implicit $mode, implicit $exec
29*a156362eSJay Foad  ; GFX9-NEXT:   SI_LOOP undef [[DEF1]], %bb.1, implicit-def dead $exec, implicit-def dead $scc, implicit $exec
30*a156362eSJay Foad  ; GFX9-NEXT:   S_BRANCH %bb.2
31*a156362eSJay Foad  ; GFX9-NEXT: {{  $}}
32*a156362eSJay Foad  ; GFX9-NEXT: bb.2:
33*a156362eSJay Foad  ; GFX9-NEXT:   S_ENDPGM 0
34*a156362eSJay Foad  bb.0:
35*a156362eSJay Foad    liveins: $vgpr0, $vgpr1, $vgpr2, $vgpr3, $vgpr4, $vgpr5, $vgpr6, $vgpr7, $vgpr8, $vgpr9
36*a156362eSJay Foad
37*a156362eSJay Foad    %0:vgpr_32 = IMPLICIT_DEF
38*a156362eSJay Foad    %1:sreg_64 = IMPLICIT_DEF
39*a156362eSJay Foad    %2:vgpr_32 = nofpexcept V_RSQ_F32_e64 0, undef %0, 0, 0, implicit $mode, implicit $exec
40*a156362eSJay Foad
41*a156362eSJay Foad  bb.1:
42*a156362eSJay Foad    %3:vgpr_32 = IMPLICIT_DEF
43*a156362eSJay Foad    %4:vgpr_32 = nsz reassoc nofpexcept V_ADD_F32_e64 0, undef %2, 0, undef %2, 0, 0, implicit $mode, implicit $exec
44*a156362eSJay Foad    %5:vgpr_32 = V_MUL_F32_e64 0, killed undef %3, 0, killed %4, 0, 0, implicit $mode, implicit $exec
45*a156362eSJay Foad    SI_LOOP undef %1, %bb.1, implicit-def dead $exec, implicit-def dead $scc, implicit $exec
46*a156362eSJay Foad    S_BRANCH %bb.2
47*a156362eSJay Foad
48*a156362eSJay Foad  bb.2:
49*a156362eSJay Foad    S_ENDPGM 0
50*a156362eSJay Foad...
51