llvm/test/Feature/terminators.ll
Chris Lattner 50b136dae9 add bitcode reader support for blockaddress. We can now fully
round trip blockaddress through .ll and .bc files, so add a testcase.

There are still a bunch of places in the optimizer and other places
that need to be updated to work with these constructs, but at least
the basics are in now.


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@85377 91177308-0d34-0410-b5e6-96231b3b80d8
2009-10-28 05:53:48 +00:00

44 lines
911 B
LLVM

; RUN: llvm-as < %s | llvm-dis > %t1.ll
; RUN: llvm-as %t1.ll -o - | llvm-dis > %t2.ll
; RUN: diff %t1.ll %t2.ll
%int = type i32
define i32 @squared(i32 %i0) {
switch i32 %i0, label %Default [
i32 1, label %Case1
i32 2, label %Case2
i32 4, label %Case4
]
Default: ; preds = %0
ret i32 -1
Case1: ; preds = %0
ret i32 1
Case2: ; preds = %0
ret i32 4
Case4: ; preds = %0
ret i32 16
}
@Addr = global i8* blockaddress(@indbrtest, %BB1)
@Addr3 = global i8* blockaddress(@squared, %Case1)
define i32 @indbrtest(i8* %P, i32* %Q) {
indirectbr i8* %P, [label %BB1, label %BB2, label %BB3]
BB1:
indirectbr i32* %Q, []
BB2:
%R = bitcast i8* blockaddress(@indbrtest, %BB3) to i8*
indirectbr i8* %R, [label %BB1, label %BB2, label %BB3]
BB3:
ret i32 2
}