1 files changed, 118 insertions, 0 deletions
diff --git a/test/torture-s/pr57877.c.s b/test/torture-s/pr57877.c.s
new file mode 100644
index 000000000..37dcb90fb
--- /dev/null
+++ b/test/torture-s/pr57877.c.s
@@ -0,0 +1,118 @@
+	.text
+	.file	"/b/build/slave/linux/build/src/buildbot/work/gcc/gcc/testsuite/gcc.c-torture/execute/pr57877.c"
+	.globl	main
+	.type	main,@function
+main:                                   # @main
+	.result 	i32
+	.local  	i64, i32, i32, i32, i32, i32, i32, i32
+# BB#0:                                 # %entry
+	i32.const	$3=, 0
+	i32.load	$7=, g($3)
+	i32.const	$4=, 1
+	block   	BB0_5
+	block   	BB0_2
+	i32.lt_s	$push2=, $7, $4
+	br_if   	$pop2, BB0_2
+# BB#1:                                 # %entry.foo.exit_crit_edge
+	i32.load	$6=, e($3)
+	br      	BB0_5
+BB0_2:                                  # %for.body.lr.ph.i
+	i64.load32_s	$0=, f($3)
+	i32.load	$1=, c($3)
+	i32.load	$2=, a($3)
+	i32.const	$push3=, -1
+	i32.add 	$7=, $7, $pop3
+BB0_3:                                  # %for.body.i
+                                        # =>This Inner Loop Header: Depth=1
+	loop    	BB0_4
+	i32.load	$push0=, 0($1)
+	i32.store	$5=, h($3), $pop0
+	i32.const	$6=, 16
+	i32.const	$push8=, 2
+	i32.add 	$push9=, $7, $pop8
+	i32.store	$discard=, g($3), $pop9
+	i32.shl 	$push4=, $5, $6
+	i32.shr_s	$push5=, $pop4, $6
+	i32.eq  	$push6=, $pop5, $2
+	i64.extend_u/i32	$push7=, $pop6
+	i64.lt_u	$push1=, $pop7, $0
+	i32.store	$6=, e($3), $pop1
+	i32.add 	$7=, $7, $4
+	i32.lt_s	$push10=, $7, $3
+	br_if   	$pop10, BB0_3
+BB0_4:                                  # %for.cond.for.end_crit_edge.i
+	i32.store16	$discard=, d($3), $5
+BB0_5:                                  # %foo.exit
+	block   	BB0_7
+	i32.ne  	$push11=, $6, $4
+	br_if   	$pop11, BB0_7
+# BB#6:                                 # %if.end
+	return  	$3
+BB0_7:                                  # %if.then
+	call    	abort
+	unreachable
+func_end0:
+	.size	main, func_end0-main
+
+	.type	b,@object               # @b
+	.bss
+	.globl	b
+	.align	2
+b:
+	.int32	0                       # 0x0
+	.size	b, 4
+
+	.type	c,@object               # @c
+	.data
+	.globl	c
+	.align	2
+c:
+	.int32	b
+	.size	c, 4
+
+	.type	f,@object               # @f
+	.globl	f
+	.align	2
+f:
+	.int32	6                       # 0x6
+	.size	f, 4
+
+	.type	a,@object               # @a
+	.bss
+	.globl	a
+	.align	2
+a:
+	.int32	0                       # 0x0
+	.size	a, 4
+
+	.type	e,@object               # @e
+	.globl	e
+	.align	2
+e:
+	.int32	0                       # 0x0
+	.size	e, 4
+
+	.type	g,@object               # @g
+	.globl	g
+	.align	2
+g:
+	.int32	0                       # 0x0
+	.size	g, 4
+
+	.type	h,@object               # @h
+	.globl	h
+	.align	2
+h:
+	.int32	0                       # 0x0
+	.size	h, 4
+
+	.type	d,@object               # @d
+	.globl	d
+	.align	1
+d:
+	.int16	0                       # 0x0
+	.size	d, 2
+
+
+	.ident	"clang version 3.8.0 "
+	.section	".note.GNU-stack","",@progbits