test/Transforms/DSAnalysis/physicalsubtype.ll


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

; A test for "physical subtyping" used in some C programs...
;
; RUN: llvm-as < %s | opt -analyze -tddatastructure
;
%ST = type { int, int* }            ; "Subtype"
%DT = type { int, int*, int }       ; "derived type"

int %test(%DT* %DT) {
	%DTp = getelementptr %DT* %DT, long 0, ubyte 0
	%A = load int* %DTp
	%ST = cast %DT* %DT to %ST*
	%STp = getelementptr %ST* %ST, long 0, ubyte 0
	%B = load int* %STp
	%C = sub int %A, %B         ; A & B are equal, %C = 0
	ret int %C
}