6502/llvm-6502
1
0
Fork 0
mirror of https://github.com/c64scene-ar/llvm-6502.git synced 2024-12-26 05:32:25 +00:00
Code Issues Projects Releases Wiki Activity

Two testcases for invalid transformations that instcombine is doing

Browse Source 
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@16446 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Chris Lattner 2004-09-20 10:14:27 +00:00
parent 181e65dff1
commit c804d530c5
2 changed files with 44 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

20
test/Transforms/InstCombine/2004-09-20-BadLoadCombine.llx Normal file
View File

@ -0,0 +1,20 @@
; RUN: llvm-as < %s | opt -instcombine -mem2reg | llvm-dis | not grep 'int 1'
; When propagating the load through the select, make sure that the load is
; inserted where the original load was, not where the select is. Not doing
; so could produce incorrect results!
implementation
int %test(bool %C) {
%X = alloca int
%X2 = alloca int
store int 1, int* %X
store int 2, int* %X2
%Y = select bool %C, int* %X, int* %X2
store int 3, int* %X
%Z = load int* %Y
ret int %Z
}

24
test/Transforms/InstCombine/2004-09-20-BadLoadCombine2.llx Normal file
View File

@ -0,0 +1,24 @@
; RUN: llvm-as < %s | opt -instcombine -mem2reg -simplifycfg | llvm-dis | \
; RUN: grep -v store | not grep 'int 1'
; Test to make sure that instcombine does not accidentally propagate the load
; into the PHI, which would break the program.
int %test(bool %C) {
entry:
%X = alloca int
%X2 = alloca int
store int 1, int* %X
store int 2, int* %X2
br bool %C, label %cond_true.i, label %cond_continue.i
cond_true.i:
br label %cond_continue.i
cond_continue.i:
%mem_tmp.i.0 = phi int* [ %X, %cond_true.i ], [ %X2, %entry ]
store int 3, int* %X
%tmp.3 = load int* %mem_tmp.i.0
ret int %tmp.3
}