File: 2008-06-04-function-pointer-passing.ll

package info (click to toggle)
llvm-2.7 2.7-6
  • links: PTS
  • area: main
  • in suites: squeeze
  • size: 59,992 kB
  • ctags: 49,499
  • sloc: cpp: 373,792; ansic: 16,885; sh: 12,614; asm: 6,809; ada: 3,083; ml: 2,942; python: 2,671; perl: 2,404; makefile: 1,691; pascal: 1,235; exp: 399; objc: 291; lisp: 184; csh: 117; xml: 38; f90: 36
file content (24 lines) | stat: -rw-r--r-- 776 bytes parent folder | download | duplicates (2) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
 
; This test lures sretpromotion into promoting the sret argument of foo, even
; when the function is used as an argument to bar. It used to not check for
; this, assuming that all users of foo were direct calls, resulting in an
; assertion failure later on.

; We're mainly testing for opt not to crash, but we'll check to see if the sret
; attribute is still there for good measure.
; RUN: opt < %s -sretpromotion -S | grep sret

%struct.S = type <{ i32, i32 }>

define i32 @main() {
entry:
	%tmp = alloca %struct.S		; <%struct.S*> [#uses=1]
	call void @bar( %struct.S* sret  %tmp, void (%struct.S*, ...)* @foo )
	ret i32 undef
}

declare void @bar(%struct.S* sret , void (%struct.S*, ...)*)

define internal void @foo(%struct.S* sret  %agg.result, ...) {
entry:
	ret void
}