mirror of
https://github.com/c64scene-ar/llvm-6502.git
synced 2024-09-01 04:29:57 +00:00
Check opaque, abstract, and recursive type handling
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@479 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
parent
fcc8897ec1
commit
fd84023f5f
57
test/Feature/opaquetypes.ll
Normal file
57
test/Feature/opaquetypes.ll
Normal file
@ -0,0 +1,57 @@
|
||||
; This test case is used to test opaque type processing, forward references,
|
||||
; and recursive types. Oh my.
|
||||
;
|
||||
|
||||
%SQ1 = type { int }
|
||||
%ITy = type opaque
|
||||
%SQ2 = type { %ITy }
|
||||
%ITy = type int
|
||||
|
||||
|
||||
%CCC = type { \2* }
|
||||
%BBB = type { \2*, \2 * }
|
||||
%AAA = type { \2*, {\2*}, [{\2*}], {[1x{\2*}]} }
|
||||
|
||||
; Test numbered types
|
||||
type %CCC
|
||||
type %BBB
|
||||
%Composite = type { %0, %1 }
|
||||
|
||||
; Test simple opaque type resolution...
|
||||
%intty = type opaque
|
||||
%intty = type int
|
||||
|
||||
; Perform a simple forward reference...
|
||||
%ty1 = type { %ty2, int }
|
||||
%ty2 = type float
|
||||
|
||||
; Do a recursive type...
|
||||
%list = type { %list * }
|
||||
%listp = type { %listp } *
|
||||
|
||||
; Do two mutually recursive types...
|
||||
%TyA = type { %ty2, %TyB * }
|
||||
%TyB = type { double, %TyA * }
|
||||
|
||||
; A complex recursive type...
|
||||
%Y = type { {%Y*}, %Y* }
|
||||
%Z = type { { %Z * }, [%Z] *, {{{ %Z * }}} }
|
||||
|
||||
; More ridiculous test cases...
|
||||
%A = type [ 123x %A*]
|
||||
%M = type %M (%M, %M) *
|
||||
%P = type %P*
|
||||
|
||||
; Recursive ptrs
|
||||
%u = type %v*
|
||||
%v = type %u*
|
||||
|
||||
; Test the parser for unnamed recursive types...
|
||||
%P1 = type \1 *
|
||||
%Y1 = type { { \3 * }, \2 * }
|
||||
%Z1 = type { { \3 * }, [\3] *, { { { \5 * } } } }
|
||||
|
||||
implementation
|
||||
|
||||
|
||||
|
Loading…
Reference in New Issue
Block a user