SROA crash (fuzz testing)

[Quuxplusone]

Bugzilla Link	PR30416
Status	NEW
Importance	P normal
Reported by	Paul Robinson (paul_robinson@playstation.sony.com)
Reported on	2016-09-16 13:20:14 -0700
Last modified on	2018-02-26 14:31:43 -0800
Version	trunk
Hardware	PC Windows NT
CC	hfinkel@anl.gov, konstantin.belochapka@sony.com, llvm-bugs@lists.llvm.org
Fixed by commit(s)
Attachments	SROA-crash.log (5773 bytes, application/octet-stream)
Blocks
Blocked by
See also

Created attachment 17283
Traceback from assertion

Fuzz testing got this crash; bugpoint-reduced IR file attached.
I admit it looks pretty bogus, the original IR is not quite so stupid.
But a crash is a crash, so I figured I'd file it anyway.

$ cat SROA-crash.ll
; ModuleID = 'bugpoint-reduced-simplified.bc'
; source_filename = "bugpoint-output-0a7776e.bc"
target triple = "x86_64-scei-ps4"

; Function Attrs: norecurse noreturn nounwind
define void @autogen_SD998899922() #0 {
CF419:
  %A4 = alloca <4 x i64>, align 32
  br label %CF434

CF434:                                            ; preds = %CF434, %CF419
  br label %CF434

CF449:                                            ; preds = %CF449
  br label %CF449

CF423:                                            ; preds = %CF423
  store <4 x i64> %L38, <4 x i64>* %A4, align 32
  %L38 = load <4 x i64>, <4 x i64>* %A4, align 32
  store <4 x i64> zeroinitializer, <4 x i64>* %A4, align 32
  br label %CF423
}

attributes #0 = { noreturn nounwind }
$ opt -sroa SROA-crash.ll -S -o output.ll
opt: /home/probinson/projects/llvm-org/trunk/llvm/lib/IR/Value.cpp:373: void llv
m::Value::replaceAllUsesWith(llvm::Value*): Assertion `!contains(New, this) && "
this->replaceAllUsesWith(expr(this)) is NOT valid!"' failed.

(full log attached)

[Quuxplusone]

Attached SROA-crash.log (5773 bytes, application/octet-stream): Traceback from assertion

[Quuxplusone]

posted potential fix on Phabricator
https://reviews.llvm.org/D43544