mirror of
https://github.com/capstone-engine/llvm-capstone.git
synced 2025-03-03 16:13:44 +00:00
Fixed deadstoreelimination bug where negative indices were incorrectly causing the optimisation to occur
Turns out long long + unsigned long long is unsigned. Doh! Fixes http://llvm.org/bugs/show_bug.cgi?id=11455 llvm-svn: 145731
This commit is contained in:
parent
0155a63513
commit
e03fe83d98
@ -416,7 +416,7 @@ static OverwriteResult isOverwrite(const AliasAnalysis::Location &Later,
|
||||
// writes to addresses which will definitely be overwritten later
|
||||
if (LaterOff > EarlierOff &&
|
||||
LaterOff < int64_t(EarlierOff + Earlier.Size) &&
|
||||
LaterOff + Later.Size >= EarlierOff + Earlier.Size)
|
||||
int64_t(LaterOff + Later.Size) >= int64_t(EarlierOff + Earlier.Size))
|
||||
return OverwriteEnd;
|
||||
|
||||
// Otherwise, they don't completely overlap.
|
||||
|
@ -76,3 +76,20 @@ entry:
|
||||
|
||||
declare void @llvm.memcpy.p0i8.p0i8.i64(i8* nocapture, i8* nocapture, i64, i32, i1) nounwind
|
||||
declare void @llvm.memset.p0i8.i64(i8* nocapture, i8, i64, i32, i1) nounwind
|
||||
|
||||
%struct.trapframe = type { i64, i64, i64 }
|
||||
|
||||
; bugzilla 11455 - make sure negative GEP's don't break this optimisation
|
||||
; CHECK: @cpu_lwp_fork
|
||||
define void @cpu_lwp_fork(%struct.trapframe* %md_regs, i64 %pcb_rsp0) nounwind uwtable noinline ssp {
|
||||
entry:
|
||||
%0 = inttoptr i64 %pcb_rsp0 to %struct.trapframe*
|
||||
%add.ptr = getelementptr inbounds %struct.trapframe* %0, i64 -1
|
||||
%1 = bitcast %struct.trapframe* %add.ptr to i8*
|
||||
%2 = bitcast %struct.trapframe* %md_regs to i8*
|
||||
; CHECK: call void @llvm.memcpy.p0i8.p0i8.i64(i8* %1, i8* %2, i64 24, i32 1, i1 false)
|
||||
call void @llvm.memcpy.p0i8.p0i8.i64(i8* %1, i8* %2, i64 24, i32 1, i1 false)
|
||||
%tf_trapno = getelementptr inbounds %struct.trapframe* %0, i64 -1, i32 1
|
||||
store i64 3, i64* %tf_trapno, align 8
|
||||
ret void
|
||||
}
|
||||
|
Loading…
x
Reference in New Issue
Block a user