2011-02-22 08:19:54 +01:00
|
|
|
; RUN: llc -O0 -mtriple=x86_64-linux -asm-verbose=false < %s | FileCheck %s
|
|
|
|
|
; RUN: llc -O0 -mtriple=x86_64-win32 -asm-verbose=false < %s | FileCheck %s
|
2010-08-21 04:32:36 +02:00
|
|
|
; rdar://8337108
|
|
|
|
|
|
|
|
|
|
; Fast-isel shouldn't try to look through the compare because it's in a
|
|
|
|
|
; different basic block, so its operands aren't necessarily exported
|
|
|
|
|
; for cross-block usage.
|
|
|
|
|
|
2011-02-22 08:19:54 +01:00
|
|
|
; CHECK: movb %al, [[OFS:[0-9]*]](%rsp)
|
2010-08-21 04:32:36 +02:00
|
|
|
; CHECK: callq {{_?}}bar
|
2011-02-22 08:19:54 +01:00
|
|
|
; CHECK: movb [[OFS]](%rsp), %al
|
2010-08-21 04:32:36 +02:00
|
|
|
|
|
|
|
|
declare void @bar()
|
|
|
|
|
|
|
|
|
|
define void @foo(i32 %a, i32 %b) nounwind {
|
|
|
|
|
entry:
|
|
|
|
|
%q = add i32 %a, 7
|
|
|
|
|
%r = add i32 %b, 9
|
|
|
|
|
%t = icmp ult i32 %q, %r
|
|
|
|
|
invoke void @bar() to label %next unwind label %unw
|
|
|
|
|
next:
|
|
|
|
|
br i1 %t, label %true, label %return
|
|
|
|
|
true:
|
|
|
|
|
call void @bar()
|
|
|
|
|
br label %return
|
|
|
|
|
return:
|
|
|
|
|
ret void
|
|
|
|
|
unw:
|
|
|
|
|
unreachable
|
|
|
|
|
}
|
