mirror of
https://github.com/RPCS3/llvm-mirror.git
synced 2025-02-28 00:07:22 +00:00
b14043cb08
Currently load instructions are added to the cache for invariant pointer group dependencies, but only pointer values are removed currently. That leads to dangling AssertingVHs in the test case below, where we delete a load from an invariant pointer group. We should also remove the entries from the cache. Fixes PR46054. Reviewers: efriedma, hfinkel, asbirlea Reviewed By: efriedma Differential Revision: https://reviews.llvm.org/D81726
82 lines
2.4 KiB
LLVM
82 lines
2.4 KiB
LLVM
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
|
|
; RUN: opt -gvn -S %s | FileCheck %s
|
|
|
|
; Test for PR46054. Make sure we correctly invalidate MemoryDependenceAnalysis,
|
|
; after removing a nonlocaldef.
|
|
|
|
target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
|
|
|
|
define void @test_double(double* %data) {
|
|
; CHECK-LABEL: @test_double(
|
|
; CHECK-NEXT: entry:
|
|
; CHECK-NEXT: [[LUC:%.*]] = tail call noalias nonnull i64* @data()
|
|
; CHECK-NEXT: store i64 1, i64* [[LUC]], align 8, !invariant.group !0
|
|
; CHECK-NEXT: call void @fn(i64 1)
|
|
; CHECK-NEXT: br i1 true, label [[A:%.*]], label [[ENTRY_B_CRIT_EDGE:%.*]]
|
|
; CHECK: entry.B_crit_edge:
|
|
; CHECK-NEXT: br label [[B:%.*]]
|
|
; CHECK: A:
|
|
; CHECK-NEXT: br label [[B]]
|
|
; CHECK: B:
|
|
; CHECK-NEXT: call void @fn(i64 1)
|
|
; CHECK-NEXT: ret void
|
|
;
|
|
entry:
|
|
%luc = tail call noalias nonnull i64* @data()
|
|
store i64 1, i64* %luc, !invariant.group !0
|
|
%QQ = load i64, i64* %luc, !invariant.group !0
|
|
call void @fn(i64 %QQ)
|
|
br i1 true, label %A, label %B
|
|
|
|
A: ; preds = %loop
|
|
br label %B
|
|
|
|
B: ; preds = %A, %loop
|
|
%QQ.1 = load i64, i64* %luc, !invariant.group !0
|
|
call void @fn(i64 %QQ.1)
|
|
ret void
|
|
}
|
|
|
|
declare void @fn(i64)
|
|
|
|
declare noalias i64* @data()
|
|
|
|
|
|
define void @test_double_ptr(double** %data) {
|
|
; CHECK-LABEL: @test_double_ptr(
|
|
; CHECK-NEXT: entry:
|
|
; CHECK-NEXT: [[LUC:%.*]] = tail call noalias nonnull i64** @data.ptr()
|
|
; CHECK-NEXT: store i64* null, i64** [[LUC]], align 8, !invariant.group !0
|
|
; CHECK-NEXT: call void @fn.ptr(i64* null)
|
|
; CHECK-NEXT: br i1 true, label [[A:%.*]], label [[ENTRY_B_CRIT_EDGE:%.*]]
|
|
; CHECK: entry.B_crit_edge:
|
|
; CHECK-NEXT: br label [[B:%.*]]
|
|
; CHECK: A:
|
|
; CHECK-NEXT: br label [[B]]
|
|
; CHECK: B:
|
|
; CHECK-NEXT: call void @fn.ptr(i64* null)
|
|
; CHECK-NEXT: ret void
|
|
;
|
|
entry:
|
|
%luc = tail call noalias nonnull i64** @data.ptr()
|
|
store i64* null, i64** %luc, !invariant.group !0
|
|
%QQ = load i64*, i64** %luc, !invariant.group !0
|
|
call void @fn.ptr(i64* %QQ)
|
|
br i1 true, label %A, label %B
|
|
|
|
A: ; preds = %loop
|
|
br label %B
|
|
|
|
B: ; preds = %A, %loop
|
|
%QQ.1 = load i64*, i64** %luc, !invariant.group !0
|
|
call void @fn.ptr(i64* %QQ.1)
|
|
ret void
|
|
}
|
|
|
|
|
|
declare void @fn.ptr(i64 *)
|
|
|
|
declare noalias i64** @data.ptr()
|
|
|
|
!0 = distinct !{}
|