+test -deadcode

Author: akiramenai

llvm/lib/Target/EVM/EVMPeephole.cpp

@@ -54,12 +54,7 @@ static bool isNegatedAndJumpedOn(const MachineBasicBlock &MBB,
     ++I;
   if (I == MBB.end())
     return false;
-  if (I->getOpcode() == EVM::PseudoJUMPI)
-    return true;
-  if (I->getOpcode() != EVM::PUSH4_S)
-    return false;
-  ++I;
-  return I != MBB.end() && I->getOpcode() == EVM::JUMPI;
+  return I->getOpcode() == EVM::PseudoJUMPI;
 }
 
 bool EVMPeephole::optimizeConditionaJumps(MachineBasicBlock &MBB) const {

llvm/test/CodeGen/EVM/brcond.ll

@@ -423,3 +423,31 @@ false:
   unreachable
 }
 
+define void @br_or(i256 %a, i256 %b, i256 %c) {
+; CHECK-LABEL: br_or:
+; CHECK:       ; %bb.0:
+; CHECK-NEXT:    JUMPDEST
+; CHECK-NEXT:    SWAP3
+; CHECK-NEXT:    POP
+; CHECK-NEXT:    SWAP1
+; CHECK-NEXT:    DUP3
+; CHECK-NEXT:    SWAP1
+; CHECK-NEXT:    EQ
+; CHECK-NEXT:    ISZERO
+; CHECK-NEXT:    SWAP2
+; CHECK-NEXT:    SUB
+; CHECK-NEXT:    OR
+; CHECK-NEXT:    PUSH4 @.BB20_2
+; CHECK-NEXT:    JUMPI
+; CHECK-NEXT:  ; %bb.1: ; %false
+; CHECK-NEXT:  .BB20_2: ; %true
+; CHECK-NEXT:    JUMPDEST
+  %cond1 = icmp ne i256 %a, %b
+  %cond2 = icmp ne i256 %a, %c
+  %cond = or i1 %cond1, %cond2
+  br i1 %cond, label %true, label %false
+false:
+  unreachable
+true:
+  unreachable
+}