test/Bitcode/terminatorInstructions.3.2.ll

   1 ; RUN: llvm-dis < %s.bc| FileCheck %s
   2 ; RUN: verify-uselistorder < %s.bc
   3
   4 ; TerminatorOperations.3.2.ll.bc was generated by passing this file to llvm-as-3.2.
   5 ; The test checks that LLVM does not misread terminator instructions from
   6 ; older bitcode files.
   7
   8 define i32 @condbr(i1 %cond){
   9 entry:
  10 ; CHECK: br i1 %cond, label %TrueLabel, label %FalseLabel
  11   br i1 %cond, label %TrueLabel, label %FalseLabel
  12
  13   TrueLabel:
  14   ret i32 1
  15
  16   FalseLabel:
  17   ret i32 0
  18 }
  19
  20 define i32 @uncondbr(){
  21 entry:
  22 ; CHECK: br label %uncondLabel
  23   br label %uncondLabel
  24
  25   uncondLabel:
  26   ret i32 1
  27 }
  28
  29 define i32 @indirectbr(i8* %Addr){
  30 entry:
  31 ; CHECK: indirectbr i8* %Addr, [label %bb1, label %bb2]
  32   indirectbr i8* %Addr, [ label %bb1, label %bb2 ]
  33
  34   bb1:
  35   ret i32 1
  36
  37   bb2:
  38   ret i32 0
  39 }
  40
  41 define void @unreachable(){
  42 entry:
  43 ; CHECK: unreachable
  44   unreachable
  45
  46   ret void
  47 }
  48