File: 2003-05-30-BadPreselectPhi.ll

package info (click to toggle)
llvm 2.2-12
  • links: PTS, VCS
  • area: main
  • in suites: lenny
  • size: 38,648 kB
  • ctags: 28,258
  • sloc: cpp: 215,479; sh: 12,132; ansic: 10,002; yacc: 5,525; perl: 2,352; ml: 1,580; makefile: 956; pascal: 718; lex: 602; exp: 320; ada: 193; lisp: 160; csh: 116; objc: 59; python: 59; tcl: 20
file content (34 lines) | stat: -rw-r--r-- 1,261 bytes parent folder | download
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
; RUN: llvm-upgrade %s | llvm-as | llc

;; Date:     May 28, 2003.
;; From:     test/Programs/SingleSource/richards_benchmark.c
;; Function: struct task *handlerfn(struct packet *pkt)
;;
;; Error:    PreSelection puts the arguments of the Phi just before
;;           the Phi instead of in predecessor blocks.  This later
;;           causes llc to produces an invalid register <NULL VALUE>
;;           for the phi arguments.

	%struct..packet = type { %struct..packet*, int, int, int, [4 x sbyte] }
	%struct..task = type { %struct..task*, int, int, %struct..packet*, int, %struct..task* (%struct..packet*)*, int, int }
%v1 = external global int
%v2 = external global int

implementation   ; Functions:

%struct..task* %handlerfn(%struct..packet* %pkt.2) {
entry:		; No predecessors!
	%tmp.1 = setne %struct..packet* %pkt.2, null
	br bool %tmp.1, label %cond_false, label %cond_continue

cond_false:		; preds = %entry
	br label %cond_continue

cond_continue:		; preds = %entry, %cond_false
	%mem_tmp.0 = phi int* [ %v2, %cond_false ], [ %v1, %entry ]
	%tmp.12 = cast int* %mem_tmp.0 to %struct..packet*
	call void %append( %struct..packet* %pkt.2, %struct..packet* %tmp.12 )
	ret %struct..task* null
}

declare void %append(%struct..packet*, %struct..packet*)