6502/llvm-6502
1
0
Fork 0
mirror of https://github.com/c64scene-ar/llvm-6502.git synced 2025-08-05 13:26:55 +00:00
Code Issues Projects Releases Wiki Activity

Kill some duplicated code for removing unreachable BBs.

Browse Source 
This moves removeUnreachableBlocksFromFn from SimplifyCFGPass.cpp
to Utils/Local.cpp and uses it to replace the implementation of
llvm::removeUnreachableBlocks, which appears to do a strict subset
of what removeUnreachableBlocksFromFn does.

Differential Revision: http://llvm-reviews.chandlerc.com/D1334

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@188119 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
Peter Collingbourne
2013-08-09 22:47:24 +00:00
parent aaae6e9cb8
commit 835738ce54
3 changed files with 152 additions and 174 deletions
Download Patch File Download Diff File Expand all files Collapse all files

14
test/Instrumentation/DataFlowSanitizer/args-unreachable-bb.ll
View File

@@ -1,8 +1,8 @@
; RUN: opt < %s -dfsan -verify -dfsan-args-abi -S | FileCheck %s
target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64-S128"
define i8 @unreachable_bb() {
; CHECK: @unreachable_bb
; CHECK-LABEL: @unreachable_bb1
define i8 @unreachable_bb1() {
; CHECK: ret { i8, i16 } { i8 1, i16 0 }
; CHECK-NOT: bb2:
; CHECK-NOT: bb3:
@@ -18,3 +18,13 @@ bb3:
bb4:
br label %bb3
}
declare void @abort() noreturn
; CHECK-LABEL: @unreachable_bb2
define i8 @unreachable_bb2() {
call void @abort() noreturn
; CHECK-NOT: i8 12
; CHECK: unreachable
ret i8 12
}