File: branch-cond-prop.ll

package info (click to toggle)
llvm-3.1 3.1-1
  • links: PTS, VCS
  • area: main
  • in suites: wheezy
  • size: 80,224 kB
  • sloc: cpp: 491,014; asm: 110,971; ansic: 14,579; sh: 13,120; python: 6,152; ml: 4,719; makefile: 1,830; pascal: 1,553; perl: 874; xml: 283; lisp: 187; csh: 117; exp: 4
file content (17 lines) | stat: -rw-r--r-- 522 bytes parent folder | download | duplicates (22) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
 
; RUN: opt < %s -simplifycfg -S | not grep call

declare void @bar()

define void @test(i32 %X, i32 %Y) {
entry:
        %tmp.2 = icmp slt i32 %X, %Y            ; <i1> [#uses=2]
        br i1 %tmp.2, label %shortcirc_next, label %UnifiedReturnBlock
shortcirc_next:         ; preds = %entry
        br i1 %tmp.2, label %UnifiedReturnBlock, label %then
then:           ; preds = %shortcirc_next
        call void @bar( )
        ret void
UnifiedReturnBlock:             ; preds = %shortcirc_next, %entry
        ret void
}