← Back to branch summary

~pali/+junk/llvm-toolchain-3.7

« back to all changes in this revision

Viewing changes to test/Bitcode/terminatorInstructions.3.2.ll

  • Committer: Package Import Robot
  • Author(s): Sylvestre Ledru
  • Date: 2015-07-15 17:51:08 UTC
  • Revision ID: package-import@ubuntu.com-20150715175108-l8mynwovkx4zx697
Tags: upstream-3.7~+rc2
Import upstream version 3.7~+rc2

Show diffs side-by-side

added added

removed removed

Lines of Context:
test/Bitcode/terminatorInstructions.3.2.ll
 
1
; RUN:  llvm-dis < %s.bc| FileCheck %s
 
2
 
 
3
; TerminatorOperations.3.2.ll.bc was generated by passing this file to llvm-as-3.2.
 
4
; The test checks that LLVM does not misread terminator instructions from
 
5
; older bitcode files.
 
6
 
 
7
define i32 @condbr(i1 %cond){
 
8
entry:
 
9
; CHECK: br i1 %cond, label %TrueLabel, label %FalseLabel
 
10
  br i1 %cond, label %TrueLabel, label %FalseLabel
 
11
  
 
12
  TrueLabel:
 
13
  ret i32 1
 
14
  
 
15
  FalseLabel:
 
16
  ret i32 0
 
17
}
 
18
 
 
19
define i32 @uncondbr(){
 
20
entry:
 
21
; CHECK: br label %uncondLabel
 
22
  br label %uncondLabel
 
23
  
 
24
  uncondLabel:
 
25
  ret i32 1
 
26
}
 
27
 
 
28
define i32 @indirectbr(i8* %Addr){
 
29
entry:
 
30
; CHECK: indirectbr i8* %Addr, [label %bb1, label %bb2]
 
31
  indirectbr i8* %Addr, [ label %bb1, label %bb2 ]
 
32
  
 
33
  bb1:
 
34
  ret i32 1
 
35
  
 
36
  bb2:
 
37
  ret i32 0
 
38
}
 
39
 
 
40
define void @unreachable(){
 
41
entry:
 
42
; CHECK: unreachable
 
43
  unreachable
 
44
  
 
45
  ret void
 
46
}
 
47
 
 
48
define i32 @retInstr(){
 
49
entry:
 
50
; CHECK: ret i32 1 
 
51
  ret i32 1 
 
52
}
 
53
 
 
54
define void @retInstr2(){
 
55
entry:
 
56
; CHECK: ret void 
 
57
  ret void
 
58
}
 
59
 
 
60
define i32 @switchInstr(i32 %x){
 
61
entry:
 
62
; CHECK: switch i32 %x, label %label3 [
 
63
  switch i32 %x, label %label3 [
 
64
; CHECK-NEXT: i32 1, label %label1   
 
65
  i32 1, label %label1
 
66
; CHECK-NEXT: i32 2, label %label2  
 
67
  i32 2, label %label2
 
68
  ]
 
69
label1:
 
70
  ret i32 1
 
71
label2:
 
72
  ret i32 2
 
73
label3:
 
74
  ret i32 0
 
75
}
 
76