6502/llvm-6502
1
0
Fork 0
mirror of https://github.com/c64scene-ar/llvm-6502.git synced 2024-12-28 19:31:58 +00:00
Code Issues Projects Releases Wiki Activity

New testcases for verifier

Browse Source 
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@2763 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Chris Lattner 2002-06-08 17:33:16 +00:00
parent db241dcf51
commit 23e07e73a8
2 changed files with 23 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
test/Verifier/AmbiguousPhi.ll Normal file
View File

@ -0,0 +1,8 @@
int "test"(int %i, int %j, bool %c) {
br bool %c, label %A, label %A
A:
%a = phi int [%i, %0], [%j, %0] ; Error, different values from same block!
ret int %a
}

15
test/Verifier/PhiGrouping.ll Normal file
View File

@ -0,0 +1,15 @@
int "test"(int %i, int %j, bool %c) {
br bool %c, label %A, label %B
A:
br label %C
B:
br label %C
C:
%a = phi int [%i, %A], [%j, %B]
%x = add int %a, 0 ; Error, PHI's should be grouped!
%b = phi int [%i, %A], [%j, %B]
ret int %x
}