# RUN: llc %s -o - -run-pass=machine-cse -mtriple=x86_64-- | FileCheck %s
# RUN: llc %s -o - -passes=machine-cse -mtriple=x86_64-- | FileCheck %s
#
# This test examines machine-cse's behaviour when dealing with copy propagation,
# the code for which is lifted from test/CodeGen/X86/machine-cse.ll. There are
# two (MIR) function that have SHL/LEA instructions CSE'd in the bb.1.bb1 block.
# They both depend on the COPY of a vreg to %100 in the entry block.
#
# In the first (@t) there's only one use of %100, and that gets CSE'd away. The
# corresponding COPY is deleted, and all DBG_VALUEs that refer to it must be
# updated.
#
# In the second (@u) there are two uses of %100, one of which isn't deleted. The
# DBG_VALUE users of %100 don't need to be updated -- test that they're not.
--- |
target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
target triple = "x86_64-unknown-unknown"
%struct.s2 = type { i32, ptr, ptr, [256 x ptr], [8 x i32], i64, ptr, i32, i64, i64, i32, ptr, ptr, [49 x i64] }
%struct.s1 = type { %ptr, %ptr }
%ptr = type { ptr }
%struct.s3 = type { ptr, ptr, i32, i32, i32 }
; Function Attrs: nounwind readnone speculatable
declare void @llvm.dbg.value(metadata, metadata, metadata) #0
define fastcc ptr @t(i32 %base) !dbg !3 {
entry:
%0 = zext i32 %base to i64
%1 = getelementptr inbounds %struct.s2, ptr null, i64 %0
br i1 undef, label %bb1, label %bb2
bb1: ; preds = %entry
%2 = getelementptr inbounds %struct.s2, ptr null, i64 %0, i32 0
call void @llvm.dbg.value(metadata ptr %2, metadata !4, metadata !DIExpression()), !dbg !7
call void @bar(ptr %2)
unreachable
bb2: ; preds = %entry
%3 = ptrtoint ptr %1 to i64
call void @baz(i64 %3)
unreachable
}
; This is a stub replicating bb structure of @t
define fastcc ptr @u(i32 %base) !dbg !33 {
entry:
br i1 undef, label %bb1, label %bb2
bb1: ; preds = %entry
unreachable
bb2: ; preds = %entry
unreachable
}
declare void @bar(ptr)
declare void @baz(i64)
declare ptr @foo(ptr)
; Function Attrs: nounwind
declare void @llvm.stackprotector(ptr, ptr) #1
attributes #0 = { nounwind readnone speculatable }
attributes #1 = { nounwind }
!llvm.module.flags = !{!0}
!llvm.dbg.cu = !{!1}
!0 = !{i32 2, !"Debug Info Version", i32 3}
!1 = distinct !DICompileUnit(language: DW_LANG_C_plus_plus, file: !2, producer: "beards", isOptimized: true, runtimeVersion: 4, emissionKind: FullDebug)
!2 = !DIFile(filename: "bees.cpp", directory: "")
!3 = distinct !DISubprogram(name: "nope", scope: !1, file: !2, line: 1, spFlags: DISPFlagDefinition, unit: !1, retainedNodes: !8)
!33 = distinct !DISubprogram(name: "alsonope", scope: !1, file: !2, line: 1, spFlags: DISPFlagDefinition, unit: !1, retainedNodes: !8)
!4 = !DILocalVariable(name: "bees", scope: !3, type: !5)
!5 = !DIDerivedType(tag: DW_TAG_pointer_type, baseType: !6, size: 64)
!6 = !DIBasicType(name: "int", size: 32, encoding: DW_ATE_signed)
!7 = !DILocation(line: 0, scope: !3)
!8 = !{!4}
; CHECK: ![[METAVAR:[0-9]+]] = !DILocalVariable(name: "bees",
...
---
name: t
# CHECK-LABEL: name: t
tracksRegLiveness: true
liveins:
- { reg: '$edi', virtual-reg: '%2' }
frameInfo:
hasCalls: true
body: |
bb.0.entry:
successors: %bb.1(0x40000000), %bb.2(0x40000000)
liveins: $edi
; Capture vreg num for subreg move for later checks; test that the COPY
; of that vreg is optimized out.
; CHECK-LABEL: bb.0.entry:
; CHECK: %[[BASEVREG:[0-9]+]]:gr64 = SUBREG_TO_REG
; CHECK-NOT: COPY %[[BASEVREG]]:gr64
%2:gr32 = COPY $edi
%3:gr32 = MOV32rr %2
%0:gr64 = SUBREG_TO_REG 0, killed %3, %subreg.sub_32bit
%4:gr64_nosp = SHL64ri %0, 9, implicit-def dead $eflags
%1:gr64 = LEA64r %4, 4, %4, 0, $noreg
%5:gr32 = MOV32r0 implicit-def dead $eflags
%6:gr8 = COPY %5.sub_8bit
%100:gr64 = COPY %0:gr64
TEST8rr %6, %6, implicit-def $eflags
JCC_1 %bb.2, 5, implicit $eflags
JMP_1 %bb.1
bb.1.bb1:
successors:
; Check for CSE happening and DBG_VALUE updating.
; CHECK-LABEL: bb.1.bb1:
; CHECK-NOT: SHL64ri
; CHECK-NOT: LEA64r
; CHECK: DBG_VALUE %[[BASEVREG]], $noreg, ![[METAVAR]],
; CHECK-NEXT: ADJCALLSTACKDOWN64
%7:gr64_nosp = SHL64ri %100, 9, implicit-def dead $eflags
%8:gr64 = LEA64r %7, 4, %7, 0, $noreg
DBG_VALUE %100, $noreg, !4, !DIExpression(), debug-location !7
ADJCALLSTACKDOWN64 0, 0, 0, implicit-def dead $rsp, implicit-def dead $eflags, implicit-def dead $ssp, implicit $rsp, implicit $ssp
$rdi = COPY %8
CALL64pcrel32 @bar, csr_64, implicit $rsp, implicit $ssp, implicit $rdi, implicit-def $rsp, implicit-def $ssp
ADJCALLSTACKUP64 0, 0, implicit-def dead $rsp, implicit-def dead $eflags, implicit-def dead $ssp, implicit $rsp, implicit $ssp
bb.2.bb2:
; As the COPY to %100 dies, the DBG_VALUE below should be updated too.
; CHECK-LABEL: bb.2.bb2:
; CHECK: ADJCALLSTACKDOWN64
; CHECK-NEXT: $rdi = COPY
; CHECK-NEXT: DBG_VALUE %[[BASEVREG]], $noreg, ![[METAVAR]],
; CHECK-NEXT: CALL64pcrel32
ADJCALLSTACKDOWN64 0, 0, 0, implicit-def dead $rsp, implicit-def dead $eflags, implicit-def dead $ssp, implicit $rsp, implicit $ssp
$rdi = COPY %1
DBG_VALUE %100, $noreg, !4, !DIExpression(), debug-location !7
CALL64pcrel32 @baz, csr_64, implicit $rsp, implicit $ssp, implicit $rdi, implicit-def $rsp, implicit-def $ssp
ADJCALLSTACKUP64 0, 0, implicit-def dead $rsp, implicit-def dead $eflags, implicit-def dead $ssp, implicit $rsp, implicit $ssp
...
---
name: u
# CHECK-LABEL: name: u
tracksRegLiveness: true
liveins:
- { reg: '$edi', virtual-reg: '%2' }
frameInfo:
hasCalls: true
body: |
bb.0.entry:
successors: %bb.1(0x40000000), %bb.2(0x40000000)
liveins: $edi
; In this function, the COPY to %100 should not be optimized out, and as a
; result the DBG_VALUEs should not be rewritten.
; CHECK-LABEL: bb.0.entry:
; CHECK: %[[BASEVREG:[0-9]+]]:gr64 = SUBREG_TO_REG
; CHECK: %[[COPIEDVREG:[0-9]+]]:gr64 = COPY %[[BASEVREG]]
%2:gr32 = COPY $edi
%3:gr32 = MOV32rr %2
%0:gr64 = SUBREG_TO_REG 0, killed %3, %subreg.sub_32bit
%4:gr64_nosp = SHL64ri %0, 9, implicit-def dead $eflags
%1:gr64 = LEA64r %4, 4, %4, 0, $noreg
%5:gr32 = MOV32r0 implicit-def dead $eflags
%6:gr8 = COPY %5.sub_8bit
%100:gr64 = COPY %0:gr64
TEST8rr %6, %6, implicit-def $eflags
JCC_1 %bb.2, 5, implicit $eflags
JMP_1 %bb.1
bb.1.bb1:
successors:
; CSE should happen, DBG_VALUE updating should not.
; CHECK-LABEL: bb.1.bb1:
; CHECK-NOT: SHL64ri
; CHECK-NOT: LEA64r
; CHECK: DBG_VALUE %[[COPIEDVREG]], $noreg, ![[METAVAR]],
; CHECK-NEXT: ADJCALLSTACKDOWN64
%7:gr64_nosp = SHL64ri %100, 9, implicit-def dead $eflags
%8:gr64 = LEA64r %7, 4, %7, 0, $noreg
DBG_VALUE %100, $noreg, !4, !DIExpression(), debug-location !7
ADJCALLSTACKDOWN64 0, 0, 0, implicit-def dead $rsp, implicit-def dead $eflags, implicit-def dead $ssp, implicit $rsp, implicit $ssp
$rdi = COPY %8
CALL64pcrel32 @bar, csr_64, implicit $rsp, implicit $ssp, implicit $rdi, implicit-def $rsp, implicit-def $ssp
ADJCALLSTACKUP64 0, 0, implicit-def dead $rsp, implicit-def dead $eflags, implicit-def dead $ssp, implicit $rsp, implicit $ssp
bb.2.bb2:
; Test that the copy-read of %100 below is preserved, and the DBG_VALUE
; operand is too.
; CHECK-LABEL: bb.2.bb2:
; CHECK: ADJCALLSTACKDOWN64
; CHECK-NEXT: $rdi = COPY %[[COPIEDVREG]]
; CHECK-NEXT: DBG_VALUE %[[COPIEDVREG]], $noreg, ![[METAVAR]],
; CHECK-NEXT: CALL64pcrel32
ADJCALLSTACKDOWN64 0, 0, 0, implicit-def dead $rsp, implicit-def dead $eflags, implicit-def dead $ssp, implicit $rsp, implicit $ssp
$rdi = COPY %100
DBG_VALUE %100, $noreg, !4, !DIExpression(), debug-location !7
CALL64pcrel32 @baz, csr_64, implicit $rsp, implicit $ssp, implicit $rdi, implicit-def $rsp, implicit-def $ssp
ADJCALLSTACKUP64 0, 0, implicit-def dead $rsp, implicit-def dead $eflags, implicit-def dead $ssp, implicit $rsp, implicit $ssp
...
Codebase Browser
llvm