summaryrefslogtreecommitdiff
path: root/test/Transforms/SCCP/calltest.ll
blob: 43df00c6940663f26ed71392aa23b9da94a9eb4e (plain)
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
; RUN: llvm-upgrade < %s | llvm-as | opt -sccp -adce -simplifycfg | llvm-dis | \
; RUN:   not grep br

; No matter how hard you try, sqrt(1.0) is always 1.0.  This allows the
; optimizer to delete this loop.

declare double %sqrt(double)

double %test(uint %param) {
entry:
	br label %Loop

Loop:
	%I2 = phi uint [ 0, %entry ], [ %I3, %Loop ]
	%V  = phi double [ 1.0, %entry], [ %V2, %Loop ]

	%V2 = call double %sqrt(double %V)

	%I3 = add uint %I2, 1
	%tmp.7 = setne uint %I3, %param
	br bool %tmp.7, label %Loop, label %Exit

Exit:
	ret double %V
}