6502/llvm-6502
1
0
Fork 0
mirror of https://github.com/c64scene-ar/llvm-6502.git synced 2025-07-25 13:24:46 +00:00
Code Issues Projects Releases Wiki Activity

Teach dead store elimination that certain intrinsics write to memory just like

Browse Source 
a store.


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@86359 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Nick Lewycky
2009-11-07 08:34:40 +00:00
parent 60a0063d2a
commit 4de9b7f51f
3 changed files with 183 additions and 62 deletions
Download Patch File Download Diff File Expand all files Collapse all files

19
test/Transforms/DeadStoreElimination/lifetime.ll Normal file
View File

@@ -0,0 +1,19 @@
; RUN: opt -S -dse < %s | FileCheck %s
declare void @llvm.lifetime.end(i64, i8*)
declare void @llvm.memset.i8(i8*, i8, i8, i32)
define void @test1() {
; CHECK: @test1
%A = alloca i8
store i8 0, i8* %A ;; Written to by memset
call void @llvm.lifetime.end(i64 1, i8* %A)
; CHECK: lifetime.end
call void @llvm.memset.i8(i8* %A, i8 0, i8 -1, i32 0)
; CHECK-NOT: memset
ret void
; CHECK: ret void
}

47
test/Transforms/DeadStoreElimination/memintrinsics.ll Normal file
View File

@@ -0,0 +1,47 @@
; RUN: opt -S -dse < %s | FileCheck %s
declare void @llvm.memcpy.i8(i8*, i8*, i8, i32)
declare void @llvm.memmove.i8(i8*, i8*, i8, i32)
declare void @llvm.memset.i8(i8*, i8, i8, i32)
define void @test1() {
; CHECK: @test1
%A = alloca i8
%B = alloca i8
store i8 0, i8* %A ;; Written to by memcpy
; CHECK-NOT: store
call void @llvm.memcpy.i8(i8* %A, i8* %B, i8 -1, i32 0)
ret void
; CHECK: ret void
}
define void @test2() {
; CHECK: @test2
%A = alloca i8
%B = alloca i8
store i8 0, i8* %A ;; Written to by memmove
; CHECK-NOT: store
call void @llvm.memmove.i8(i8* %A, i8* %B, i8 -1, i32 0)
ret void
; CHECK: ret void
}
define void @test3() {
; CHECK: @test3
%A = alloca i8
%B = alloca i8
store i8 0, i8* %A ;; Written to by memset
; CHECK-NOT: store
call void @llvm.memset.i8(i8* %A, i8 0, i8 -1, i32 0)
ret void
; CHECK: ret void
}