| ; 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(...) |
