mirror of
https://github.com/c64scene-ar/llvm-6502.git
synced 2024-09-07 16:54:48 +00:00
Revert 75571; I'm convinced this isn't the right thing to do.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@75642 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
parent
c23197a26f
commit
fa196e34b0
@ -109,8 +109,6 @@ static bool MarkAliveBlocks(BasicBlock *BB,
|
|||||||
if (!Reachable.insert(BB))
|
if (!Reachable.insert(BB))
|
||||||
continue;
|
continue;
|
||||||
|
|
||||||
bool AsmFound = false;
|
|
||||||
StoreInst *UndefStore = 0;
|
|
||||||
// Do a quick scan of the basic block, turning any obviously unreachable
|
// Do a quick scan of the basic block, turning any obviously unreachable
|
||||||
// instructions into LLVM unreachable insts. The instruction combining pass
|
// instructions into LLVM unreachable insts. The instruction combining pass
|
||||||
// canonicalizes unreachable insts into stores to null or undef.
|
// canonicalizes unreachable insts into stores to null or undef.
|
||||||
@ -127,27 +125,20 @@ static bool MarkAliveBlocks(BasicBlock *BB,
|
|||||||
}
|
}
|
||||||
break;
|
break;
|
||||||
}
|
}
|
||||||
if (isa<InlineAsm>(CI->getOperand(0)))
|
|
||||||
AsmFound = true;
|
|
||||||
}
|
}
|
||||||
|
|
||||||
if (StoreInst *SI = dyn_cast<StoreInst>(BBI)) {
|
if (StoreInst *SI = dyn_cast<StoreInst>(BBI)) {
|
||||||
Value *Ptr = SI->getOperand(1);
|
Value *Ptr = SI->getOperand(1);
|
||||||
|
|
||||||
if ((isa<UndefValue>(Ptr) ||
|
if (isa<UndefValue>(Ptr) ||
|
||||||
(isa<ConstantPointerNull>(Ptr) &&
|
(isa<ConstantPointerNull>(Ptr) &&
|
||||||
cast<PointerType>(Ptr->getType())->getAddressSpace() == 0)) &&
|
cast<PointerType>(Ptr->getType())->getAddressSpace() == 0)) {
|
||||||
!UndefStore)
|
ChangeToUnreachable(SI, Context);
|
||||||
UndefStore = SI;
|
Changed = true;
|
||||||
|
break;
|
||||||
|
}
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
// We can't delete asm's just because their inputs are undefined;
|
|
||||||
// xor R, R is a common idiom for zeroing a register, for example.
|
|
||||||
// Assume user knows what he is doing.
|
|
||||||
if (UndefStore && !AsmFound) {
|
|
||||||
ChangeToUnreachable(UndefStore, Context);
|
|
||||||
Changed = true;
|
|
||||||
}
|
|
||||||
|
|
||||||
// Turn invokes that call 'nounwind' functions into ordinary calls.
|
// Turn invokes that call 'nounwind' functions into ordinary calls.
|
||||||
if (InvokeInst *II = dyn_cast<InvokeInst>(BB->getTerminator()))
|
if (InvokeInst *II = dyn_cast<InvokeInst>(BB->getTerminator()))
|
||||||
|
@ -1,11 +0,0 @@
|
|||||||
; RUN: llvm-as < %s | opt -simplifycfg | llvm-dis | grep xor
|
|
||||||
; ModuleID = '<stdin>'
|
|
||||||
target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f80:128:128"
|
|
||||||
target triple = "i386-apple-darwin9.6"
|
|
||||||
|
|
||||||
define void @bar() nounwind {
|
|
||||||
entry:
|
|
||||||
store i16 undef, i16* null
|
|
||||||
%asmtmp = call i32 asm sideeffect "xor $0, $0", "=={bx},rm,~{dirflag},~{fpsr},~{flags},~{memory}"(i16 undef) nounwind ; <i32> [#uses=0]
|
|
||||||
ret void
|
|
||||||
}
|
|
Loading…
Reference in New Issue
Block a user