X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=test%2FBitcode%2FterminatorInstructions.3.2.ll;h=ba0f5ade2cc1a3b595417d701fd8b8931edf7c9a;hb=00552e3875ee5f382db6c98286a241a7d0efe1b8;hp=d9e51a5996e895064eb0f4d3e34c358456df183e;hpb=994af148ca788984dff71afcdfca99e388325973;p=oota-llvm.git diff --git a/test/Bitcode/terminatorInstructions.3.2.ll b/test/Bitcode/terminatorInstructions.3.2.ll index d9e51a5996e..ba0f5ade2cc 100644 --- a/test/Bitcode/terminatorInstructions.3.2.ll +++ b/test/Bitcode/terminatorInstructions.3.2.ll @@ -1,5 +1,4 @@ -; RUN: llvm-dis < %s.bc| FileCheck %s -; RUN: llvm-uselistorder < %s.bc -preserve-bc-use-list-order -num-shuffles=5 +; 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 @@ -9,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 } @@ -21,7 +20,7 @@ define i32 @uncondbr(){ entry: ; CHECK: br label %uncondLabel br label %uncondLabel - + uncondLabel: ret i32 1 } @@ -30,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 } @@ -42,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 +} +