Mercurial > hg > Members > tobaru > cbc > CbC_llvm

view test/Integer/unreachable_bt.ll @ 100:7d135dc70f03

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
LLVM 3.9
author Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp>
date Tue, 26 Jan 2016 22:53:40 +0900
parents 95c75e76d11b
children
line wrap: on
line source

; 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.
}