39 lines · plain
1; RUN: llc < %s -mtriple=x86_64-apple-macosx | FileCheck %s2; This is supposed to be testing BranchFolding's common3; code hoisting logic, but has been erroneously passing due4; to there being a redundant xorl in the entry block5; and no common code to hoist.6; However, now that MachineSink sinks the redundant xor7; hoist-common looks at it and rejects it for hoisting,8; which causes this test to fail.9; Since it seems this test is broken, marking XFAIL for now10; until someone decides to remove it or fix what it tests.11; XFAIL: *12 13; Common "xorb al, al" instruction in the two successor blocks should be14; moved to the entry block above the test + je.15 16; rdar://914555817 18define zeroext i1 @t(i32 %c) nounwind ssp {19entry:20; CHECK-LABEL: t:21; CHECK: xorl %eax, %eax22; CHECK: test23; CHECK: je24 %tobool = icmp eq i32 %c, 025 br i1 %tobool, label %return, label %if.then26 27if.then:28; CHECK: callq29 %call = tail call zeroext i1 (...) @foo() nounwind30 br label %return31 32return:33; CHECK: ret34 %retval.0 = phi i1 [ %call, %if.then ], [ false, %entry ]35 ret i1 %retval.036}37 38declare zeroext i1 @foo(...)39