| ; RUN: llc < %s -mtriple=x86_64-apple-macosx | FileCheck %s | |
| ; Common "xorb al, al" instruction in the two successor blocks should be | |
| ; moved to the entry block above the test + je. | |
| ; rdar://9145558 | |
| define zeroext i1 @t(i32 %c) nounwind ssp { | |
| entry: | |
| ; CHECK: t: | |
| ; CHECK: xorb %al, %al | |
| ; CHECK: test | |
| ; CHECK: je | |
| %tobool = icmp eq i32 %c, 0 | |
| br i1 %tobool, label %return, label %if.then | |
| if.then: | |
| ; CHECK: callq | |
| %call = tail call zeroext i1 (...)* @foo() nounwind | |
| br label %return | |
| return: | |
| ; CHECK: ret | |
| %retval.0 = phi i1 [ %call, %if.then ], [ false, %entry ] | |
| ret i1 %retval.0 | |
| } | |
| declare zeroext i1 @foo(...) |