File: 2002-07-17-PHIAssertion.ll

package info (click to toggle)
llvm 2.6-9.1
  • links: PTS
  • area: main
  • in suites: squeeze
  • size: 57,604 kB
  • ctags: 44,336
  • sloc: cpp: 344,766; sh: 12,407; ansic: 10,617; ada: 3,070; ml: 2,505; perl: 2,496; makefile: 1,426; pascal: 1,163; exp: 389; asm: 307; python: 298; objc: 260; lisp: 182; csh: 117; xml: 38; f90: 36; tcl: 20
file content (48 lines) | stat: -rw-r--r-- 1,629 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
35
36
37
38
39
40
41
42
43
44
45
46
47
48
; This testcase was extracted from the gzip SPEC benchmark
;
; RUN: llvm-as < %s | opt -adce

@bk = external global i32               ; <i32*> [#uses=2]
@hufts = external global i32            ; <i32*> [#uses=1]

define i32 @inflate() {
bb0:
        br label %bb2

bb2:            ; preds = %bb6, %bb0
        %reg128 = phi i32 [ %reg130, %bb6 ], [ 0, %bb0 ]                ; <i32> [#uses=2]
        br i1 true, label %bb4, label %bb3

bb3:            ; preds = %bb2
        br label %UnifiedExitNode

bb4:            ; preds = %bb2
        %reg117 = load i32* @hufts              ; <i32> [#uses=2]
        %cond241 = icmp ule i32 %reg117, %reg128                ; <i1> [#uses=1]
        br i1 %cond241, label %bb6, label %bb5

bb5:            ; preds = %bb4
        br label %bb6

bb6:            ; preds = %bb5, %bb4
        %reg130 = phi i32 [ %reg117, %bb5 ], [ %reg128, %bb4 ]          ; <i32> [#uses=1]
        br i1 false, label %bb2, label %bb7

bb7:            ; preds = %bb6
        %reg126 = load i32* @bk         ; <i32> [#uses=1]
        %cond247 = icmp ule i32 %reg126, 7              ; <i1> [#uses=1]
        br i1 %cond247, label %bb9, label %bb8

bb8:            ; preds = %bb8, %bb7
        %reg119 = load i32* @bk         ; <i32> [#uses=1]
        %cond256 = icmp ugt i32 %reg119, 7              ; <i1> [#uses=1]
        br i1 %cond256, label %bb8, label %bb9

bb9:            ; preds = %bb8, %bb7
        br label %UnifiedExitNode

UnifiedExitNode:                ; preds = %bb9, %bb3
        %UnifiedRetVal = phi i32 [ 7, %bb3 ], [ 0, %bb9 ]               ; <i32> [#uses=1]
        ret i32 %UnifiedRetVal
}