mirror of
https://github.com/RPCSX/llvm.git
synced 2024-11-24 20:29:53 +00:00
Let StructRetPromotion check if all if its users are really calls or invokesn,
not other instructions. This fixes a crash with the added testcase. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@51992 91177308-0d34-0410-b5e6-96231b3b80d8
This commit is contained in:
parent
257da0a7fc
commit
47c6fd7317
@ -165,6 +165,10 @@ bool SRETPromotion::isSafeToUpdateAllCallers(Function *F) {
|
||||
|
||||
CallSite CS = CallSite::get(*FnUseI);
|
||||
Instruction *Call = CS.getInstruction();
|
||||
// The function is used by something else than a call or invoke instruction,
|
||||
// we can't change it!
|
||||
if (!Call)
|
||||
return false;
|
||||
CallSite::arg_iterator AI = CS.arg_begin();
|
||||
Value *FirstArg = *AI;
|
||||
|
||||
|
20
test/Transforms/SRETPromotion/2008-06-05-non-call-use.ll
Normal file
20
test/Transforms/SRETPromotion/2008-06-05-non-call-use.ll
Normal file
@ -0,0 +1,20 @@
|
||||
; This test shows an sret function that is used as an operand to a bitcast.
|
||||
; StructRetPromotion used to assume that a function was only used by call or
|
||||
; invoke instructions, making this code cause an assertion failure.
|
||||
|
||||
; We're mainly testing for opt not to crash, but we'll check to see if the sret
|
||||
; attribute is still there for good measure.
|
||||
; RUN: llvm-as < %s | opt -sretpromotion | llvm-dis | grep sret
|
||||
|
||||
%struct.S = type <{ i32, i32 }>
|
||||
|
||||
define i32 @main() {
|
||||
entry:
|
||||
%bar = bitcast void (%struct.S*)* @foo to i32 ()*
|
||||
ret i32 undef
|
||||
}
|
||||
|
||||
define internal void @foo(%struct.S* sret) {
|
||||
entry:
|
||||
ret void
|
||||
}
|
Loading…
Reference in New Issue
Block a user