File: PhiNoEliminate.ll

package info (click to toggle)
llvm-3.0 3.0-10
  • links: PTS, VCS
  • area: main
  • in suites: wheezy
  • size: 75,412 kB
  • sloc: cpp: 468,043; asm: 109,345; ansic: 13,782; sh: 12,935; ml: 4,716; python: 4,351; perl: 2,096; makefile: 1,905; pascal: 1,578; exp: 389; xml: 283; lisp: 187; csh: 117
file content (27 lines) | stat: -rw-r--r-- 1,096 bytes parent folder | download | duplicates (22)
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
; RUN: opt < %s -simplifycfg -S | \
; RUN:   not grep select

;; The PHI node in this example should not be turned into a select, as we are
;; not able to ifcvt the entire block.  As such, converting to a select just 
;; introduces inefficiency without saving copies.

define i32 @bar(i1 %C) {
entry:
        br i1 %C, label %then, label %endif
then:           ; preds = %entry
        %tmp.3 = call i32 @qux( )               ; <i32> [#uses=0]
        br label %endif
endif:          ; preds = %then, %entry
        %R = phi i32 [ 123, %entry ], [ 12312, %then ]          ; <i32> [#uses=1]
        ;; stuff to disable tail duplication
        call i32 @qux( )                ; <i32>:0 [#uses=0]
        call i32 @qux( )                ; <i32>:1 [#uses=0]
        call i32 @qux( )                ; <i32>:2 [#uses=0]
        call i32 @qux( )                ; <i32>:3 [#uses=0]
        call i32 @qux( )                ; <i32>:4 [#uses=0]
        call i32 @qux( )                ; <i32>:5 [#uses=0]
        call i32 @qux( )                ; <i32>:6 [#uses=0]
        ret i32 %R
}

declare i32 @qux()