1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20
; ; RUN: analyze %s -tddatastructure %str = type { int*, int* } implementation void %bar(%str* %S, bool %C) { br bool %C, label %T, label %F T: %A = getelementptr %str* %S, long 0, ubyte 0 br label %Out F: %B = getelementptr %str* %S, long 0, ubyte 1 br label %Out Out: %P = phi int** [%A, %T], [%B, %F] store int* null, int** %P ret void }