1 files changed, 139 insertions, 0 deletions
diff --git a/test/torture-s/pr58831.c.s b/test/torture-s/pr58831.c.s
new file mode 100644
index 000000000..8a8aa685a
--- /dev/null
+++ b/test/torture-s/pr58831.c.s
@@ -0,0 +1,139 @@
+	.text
+	.file	"/b/build/slave/linux/build/src/buildbot/work/gcc/gcc/testsuite/gcc.c-torture/execute/pr58831.c"
+	.globl	main
+	.type	main,@function
+main:                                   # @main
+	.result 	i32
+	.local  	i32, i32
+# BB#0:                                 # %entry
+	call    	fn2
+	i32.const	$0=, 0
+	i32.load	$1=, b($0)
+	i32.const	$push0=, r
+	i32.store	$discard=, i($0), $pop0
+	call    	fn1, $1
+	return  	$0
+func_end0:
+	.size	main, func_end0-main
+
+	.type	fn2,@function
+fn2:                                    # @fn2
+	.local  	i32
+# BB#0:                                 # %entry
+	i32.const	$0=, 0
+	i32.store16	$push0=, o($0), $0
+	i32.const	$push1=, 42
+	i32.store	$discard=, f($pop0), $pop1
+	return
+func_end1:
+	.size	fn2, func_end1-fn2
+
+	.type	fn1,@function
+fn1:                                    # @fn1
+	.param  	i32
+	.local  	i32, i32
+# BB#0:                                 # %entry
+	i32.const	$1=, 0
+	block   	BB2_2
+	i32.load	$push0=, p($1)
+	i32.const	$push7=, 0
+	i32.eq  	$push8=, $pop0, $pop7
+	br_if   	$pop8, BB2_2
+BB2_1:                                  # %for.body
+                                        # =>This Inner Loop Header: Depth=1
+	loop    	BB2_2
+	i32.const	$push1=, 1
+	i32.store	$2=, 0($0), $pop1
+	i32.load	$push2=, p($1)
+	i32.add 	$push3=, $pop2, $2
+	i32.store	$push4=, p($1), $pop3
+	br_if   	$pop4, BB2_1
+BB2_2:                                  # %for.end
+	i32.const	$push5=, d
+	i32.store	$push6=, r($1), $pop5
+	i32.store	$discard=, b($1), $pop6
+	return
+func_end2:
+	.size	fn1, func_end2-fn1
+
+	.type	i,@object               # @i
+	.bss
+	.globl	i
+	.align	2
+i:
+	.int32	0
+	.size	i, 4
+
+	.type	b,@object               # @b
+	.globl	b
+	.align	2
+b:
+	.int32	0
+	.size	b, 4
+
+	.type	a,@object               # @a
+	.globl	a
+	.align	2
+a:
+	.int32	0                       # 0x0
+	.size	a, 4
+
+	.type	c,@object               # @c
+	.globl	c
+	.align	2
+c:
+	.int32	0                       # 0x0
+	.size	c, 4
+
+	.type	d,@object               # @d
+	.globl	d
+	.align	2
+d:
+	.int32	0                       # 0x0
+	.size	d, 4
+
+	.type	f,@object               # @f
+	.globl	f
+	.align	2
+f:
+	.int32	0                       # 0x0
+	.size	f, 4
+
+	.type	p,@object               # @p
+	.globl	p
+	.align	2
+p:
+	.int32	0                       # 0x0
+	.size	p, 4
+
+	.type	q,@object               # @q
+	.globl	q
+	.align	2
+q:
+	.int32	0                       # 0x0
+	.size	q, 4
+
+	.type	r,@object               # @r
+	.globl	r
+	.align	2
+r:
+	.int32	0
+	.size	r, 4
+
+	.type	o,@object               # @o
+	.globl	o
+	.align	1
+o:
+	.int16	0                       # 0x0
+	.size	o, 2
+
+	.type	j,@object               # @j
+	.globl	j
+	.align	1
+j:
+	.int16	0                       # 0x0
+	.size	j, 2
+
+
+	.ident	"clang version 3.8.0 "
+	.section	".note.GNU-stack","",@progbits