mirror of
https://github.com/c64scene-ar/llvm-6502.git
synced 2025-02-25 19:29:53 +00:00
1870668beb
In the test case here, the 'unreachable' BB was removed by BranchFolding because its empty. It then rewrote the jump from 'entry' to jump to its fallthrough, which was a landing pad. This results in 'entry' jumping to 2 different landing pads, which fails the machine verifier. rdar://problem/20750162 git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@236248 91177308-0d34-0410-b5e6-96231b3b80d8
46 lines
1.4 KiB
LLVM
46 lines
1.4 KiB
LLVM
; RUN: llc %s -o - -verify-machineinstrs | FileCheck %s
|
|
|
|
target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128"
|
|
target triple = "x86_64-unknown-unknown"
|
|
|
|
; The machine level BranchFolding pass will try to remove the 'unreachable' block
|
|
; and rewrite 'entry' to jump to the block 'unreachable' falls through to.
|
|
; That will be a landing pad and result in 'entry' jumping to 2 landing pads.
|
|
; This tests that we don't do this change when the fallthrough is itself a landing
|
|
; pad.
|
|
|
|
declare i32 @__gxx_personality_v0(...)
|
|
declare void @foo()
|
|
|
|
; Function Attrs: noreturn
|
|
declare void @_throw()
|
|
|
|
; CHECK-LABEL: @main
|
|
; CHECK: %unreachable
|
|
|
|
define i32 @main(i8* %cleanup) {
|
|
entry:
|
|
invoke void @_throw() #0
|
|
to label %unreachable unwind label %catch.dispatch9
|
|
|
|
catch.dispatch9: ; preds = %entry
|
|
%tmp13 = landingpad { i8*, i32 } personality i8* bitcast (i32 (...)* @__gxx_personality_v0 to i8*)
|
|
cleanup
|
|
catch i8* null
|
|
invoke void @_throw() #0
|
|
to label %unreachable unwind label %lpad31
|
|
|
|
lpad31: ; preds = %catch.dispatch9
|
|
%tmp20 = landingpad { i8*, i32 } personality i8* bitcast (i32 (...)* @__gxx_personality_v0 to i8*)
|
|
cleanup
|
|
catch i8* null
|
|
call void @foo()
|
|
unreachable
|
|
|
|
unreachable: ; preds = %catch.dispatch9, %entry
|
|
unreachable
|
|
}
|
|
|
|
attributes #0 = { noreturn }
|
|
|