llvm-mirror/test/Integer/unreachable_bt.ll

; RUN: llvm-as %s -o - | llvm-dis > %t1.ll
; RUN: llvm-as %t1.ll -o - | llvm-dis > %t2.ll
; RUN: diff %t1.ll %t2.ll


declare void @bar()

define i9 @foo() {  ;; Calling this function has undefined behavior
	unreachable
}

define double @xyz() {
	call void @bar()
	unreachable          ;; Bar must not return.
}
New test cases for bit accurate integers developed by Guoling Han. llvm-svn: 33259 2007-01-16 19:08:22 +01:00			`; RUN: llvm-as %s -o - \| llvm-dis > %t1.ll`
			`; RUN: llvm-as %t1.ll -o - \| llvm-dis > %t2.ll`
			`; RUN: diff %t1.ll %t2.ll`



For PR761: Remove "target endian/pointersize" or add "target datalayout" to make the test parse properly or set the datalayout because defaults changes. For PR645: Make global names use the @ prefix. For llvm-upgrade changes: Fix test cases or completely remove use of llvm-upgrade for test cases that cannot survive the new renaming or upgrade capabilities. llvm-svn: 33533 2007-01-26 09:25:06 +01:00			`declare void @bar()`
New test cases for bit accurate integers developed by Guoling Han. llvm-svn: 33259 2007-01-16 19:08:22 +01:00
For PR761: Remove "target endian/pointersize" or add "target datalayout" to make the test parse properly or set the datalayout because defaults changes. For PR645: Make global names use the @ prefix. For llvm-upgrade changes: Fix test cases or completely remove use of llvm-upgrade for test cases that cannot survive the new renaming or upgrade capabilities. llvm-svn: 33533 2007-01-26 09:25:06 +01:00			`define i9 @foo() { ;; Calling this function has undefined behavior`
New test cases for bit accurate integers developed by Guoling Han. llvm-svn: 33259 2007-01-16 19:08:22 +01:00			`unreachable`
			`}`

For PR761: Remove "target endian/pointersize" or add "target datalayout" to make the test parse properly or set the datalayout because defaults changes. For PR645: Make global names use the @ prefix. For llvm-upgrade changes: Fix test cases or completely remove use of llvm-upgrade for test cases that cannot survive the new renaming or upgrade capabilities. llvm-svn: 33533 2007-01-26 09:25:06 +01:00			`define double @xyz() {`
			`call void @bar()`
New test cases for bit accurate integers developed by Guoling Han. llvm-svn: 33259 2007-01-16 19:08:22 +01:00			`unreachable ;; Bar must not return.`
			`}`