402b989693
In the original motivating test case, [FoldList](d8a2141ff9/llvm/lib/Target/AMDGPU/SIFoldOperands.cpp (L1764)) had entries: ``` #0: UseMI: %224:sreg_32 = S_OR_B32 %219.sub0:sreg_64, %219.sub1:sreg_64, implicit-def dead $scc UseOpNo: 1 #1: UseMI: %224:sreg_32 = S_OR_B32 %219.sub0:sreg_64, %219.sub1:sreg_64, implicit-def dead $scc UseOpNo: 2 ``` After calling [updateOperand(#0)](d8a2141ff9/llvm/lib/Target/AMDGPU/SIFoldOperands.cpp (L1773)), [tryConstantFoldOp(#0.UseMI)](d8a2141ff9/llvm/lib/Target/AMDGPU/SIFoldOperands.cpp (L1786)) removed operand 1, and entry #​1.UseOpNo was no longer valid, resulting in an [assert](4a35214bdd/llvm/include/llvm/ADT/ArrayRef.h (L452)). This change defers constant folding until all operands have been updated so that UseOpNo values remain stable.
16 lines
751 B
YAML
16 lines
751 B
YAML
# NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py UTC_ARGS: --version 5
|
|
# RUN: llc -mtriple=amdgcn-amd-hsa -mcpu=gfx1031 -run-pass=si-fold-operands -o - %s | FileCheck %s
|
|
---
|
|
name: snork
|
|
body: |
|
|
bb.0:
|
|
; CHECK-LABEL: name: snork
|
|
; CHECK: [[S_MOV_B32_:%[0-9]+]]:sreg_32 = S_MOV_B32 0
|
|
; CHECK-NEXT: [[REG_SEQUENCE:%[0-9]+]]:sgpr_128 = REG_SEQUENCE [[S_MOV_B32_]], %subreg.sub0, [[S_MOV_B32_]], %subreg.sub1, [[S_MOV_B32_]], %subreg.sub2, [[S_MOV_B32_]], %subreg.sub3
|
|
; CHECK-NEXT: SI_RETURN
|
|
%0:sreg_32 = S_MOV_B32 0
|
|
%1:sgpr_128 = REG_SEQUENCE %0, %subreg.sub0, %0, %subreg.sub1, %0, %subreg.sub2, %0, %subreg.sub3
|
|
%2:sreg_32 = S_OR_B32 %1.sub0, %1.sub3, implicit-def dead $scc
|
|
SI_RETURN
|
|
...
|