X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;f=test%2FBitcode%2FterminatorInstructions.3.2.ll;h=ba0f5ade2cc1a3b595417d701fd8b8931edf7c9a;hb=b69b6b56339cffdb675817ff4bab206254141bbe;hp=9c70833ae6158ada21a5d9810ded5ec26a65962d;hpb=15f92a3a7d2a94ceb527d6592a81951f1e3df538;p=oota-llvm.git diff --git a/test/Bitcode/terminatorInstructions.3.2.ll b/test/Bitcode/terminatorInstructions.3.2.ll index 9c70833ae61..ba0f5ade2cc 100644 --- a/test/Bitcode/terminatorInstructions.3.2.ll +++ b/test/Bitcode/terminatorInstructions.3.2.ll @@ -1,4 +1,4 @@ -; RUN: llvm-dis < %s.bc| FileCheck %s +; RUN: llvm-dis < %s.bc| FileCheck %s ; TerminatorOperations.3.2.ll.bc was generated by passing this file to llvm-as-3.2. ; The test checks that LLVM does not misread terminator instructions from @@ -8,10 +8,10 @@ define i32 @condbr(i1 %cond){ entry: ; CHECK: br i1 %cond, label %TrueLabel, label %FalseLabel br i1 %cond, label %TrueLabel, label %FalseLabel - + TrueLabel: ret i32 1 - + FalseLabel: ret i32 0 } @@ -20,7 +20,7 @@ define i32 @uncondbr(){ entry: ; CHECK: br label %uncondLabel br label %uncondLabel - + uncondLabel: ret i32 1 } @@ -29,10 +29,10 @@ define i32 @indirectbr(i8* %Addr){ entry: ; CHECK: indirectbr i8* %Addr, [label %bb1, label %bb2] indirectbr i8* %Addr, [ label %bb1, label %bb2 ] - + bb1: ret i32 1 - + bb2: ret i32 0 } @@ -41,7 +41,36 @@ define void @unreachable(){ entry: ; CHECK: unreachable unreachable + + ret void +} + +define i32 @retInstr(){ +entry: +; CHECK: ret i32 1 + ret i32 1 +} +define void @retInstr2(){ +entry: +; CHECK: ret void ret void } +define i32 @switchInstr(i32 %x){ +entry: +; CHECK: switch i32 %x, label %label3 [ + switch i32 %x, label %label3 [ +; CHECK-NEXT: i32 1, label %label1 + i32 1, label %label1 +; CHECK-NEXT: i32 2, label %label2 + i32 2, label %label2 + ] +label1: + ret i32 1 +label2: + ret i32 2 +label3: + ret i32 0 +} +