1 files changed, 128 insertions, 0 deletions
diff --git a/test/torture-s/pr51466.c.s b/test/torture-s/pr51466.c.s
new file mode 100644
index 000000000..5f20f3d24
--- /dev/null
+++ b/test/torture-s/pr51466.c.s
@@ -0,0 +1,128 @@
+	.text
+	.file	"/b/build/slave/linux/build/src/buildbot/work/gcc/gcc/testsuite/gcc.c-torture/execute/pr51466.c"
+	.globl	foo
+	.type	foo,@function
+foo:                                    # @foo
+	.param  	i32
+	.result 	i32
+	.local  	i32, i32, i32, i32, i32
+# BB#0:                                 # %entry
+	i32.const	$1=, __stack_pointer
+	i32.load	$1=, 0($1)
+	i32.const	$2=, 16
+	i32.sub 	$4=, $1, $2
+	i32.const	$2=, __stack_pointer
+	i32.store	$4=, 0($2), $4
+	i32.const	$push0=, 2
+	i32.shl 	$push1=, $0, $pop0
+	i32.const	$4=, 0
+	i32.add 	$4=, $4, $4
+	i32.add 	$push2=, $4, $pop1
+	i32.const	$push3=, 6
+	i32.store	$push4=, 0($pop2), $pop3
+	i32.const	$3=, 16
+	i32.add 	$4=, $4, $3
+	i32.const	$3=, __stack_pointer
+	i32.store	$4=, 0($3), $4
+	return  	$pop4
+func_end0:
+	.size	foo, func_end0-foo
+
+	.globl	bar
+	.type	bar,@function
+bar:                                    # @bar
+	.param  	i32
+	.result 	i32
+	.local  	i32, i32, i32, i32, i32
+# BB#0:                                 # %entry
+	i32.const	$1=, __stack_pointer
+	i32.load	$1=, 0($1)
+	i32.const	$2=, 16
+	i32.sub 	$4=, $1, $2
+	i32.const	$2=, __stack_pointer
+	i32.store	$4=, 0($2), $4
+	i32.const	$push0=, 2
+	i32.shl 	$push1=, $0, $pop0
+	i32.const	$4=, 0
+	i32.add 	$4=, $4, $4
+	i32.add 	$0=, $4, $pop1
+	i32.const	$push2=, 6
+	i32.store	$discard=, 0($0), $pop2
+	i32.const	$push3=, 8
+	i32.store	$discard=, 0($0), $pop3
+	i32.load	$push4=, 0($0)
+	i32.const	$3=, 16
+	i32.add 	$4=, $4, $3
+	i32.const	$3=, __stack_pointer
+	i32.store	$4=, 0($3), $4
+	return  	$pop4
+func_end1:
+	.size	bar, func_end1-bar
+
+	.globl	baz
+	.type	baz,@function
+baz:                                    # @baz
+	.param  	i32
+	.result 	i32
+	.local  	i32, i32, i32, i32, i32
+# BB#0:                                 # %entry
+	i32.const	$1=, __stack_pointer
+	i32.load	$1=, 0($1)
+	i32.const	$2=, 16
+	i32.sub 	$4=, $1, $2
+	i32.const	$2=, __stack_pointer
+	i32.store	$4=, 0($2), $4
+	i32.const	$push0=, 2
+	i32.shl 	$push1=, $0, $pop0
+	i32.const	$4=, 0
+	i32.add 	$4=, $4, $4
+	i32.add 	$0=, $4, $pop1
+	i32.const	$push2=, 6
+	i32.store	$discard=, 0($0), $pop2
+	i32.const	$push3=, 8
+	i32.store	$discard=, 0($4), $pop3
+	i32.load	$push4=, 0($0)
+	i32.const	$3=, 16
+	i32.add 	$4=, $4, $3
+	i32.const	$3=, __stack_pointer
+	i32.store	$4=, 0($3), $4
+	return  	$pop4
+func_end2:
+	.size	baz, func_end2-baz
+
+	.globl	main
+	.type	main,@function
+main:                                   # @main
+	.result 	i32
+	.local  	i32, i32
+# BB#0:                                 # %entry
+	i32.const	$push0=, 3
+	i32.call	$discard=, foo, $pop0
+	i32.const	$push1=, 2
+	i32.call	$1=, bar, $pop1
+	i32.const	$0=, 8
+	block   	BB3_4
+	i32.ne  	$push2=, $1, $0
+	br_if   	$pop2, BB3_4
+# BB#1:                                 # %lor.lhs.false3
+	i32.const	$1=, 0
+	i32.call	$push3=, baz, $1
+	i32.ne  	$push4=, $pop3, $0
+	br_if   	$pop4, BB3_4
+# BB#2:                                 # %lor.lhs.false6
+	i32.const	$push5=, 1
+	i32.call	$push6=, baz, $pop5
+	i32.const	$push7=, 6
+	i32.ne  	$push8=, $pop6, $pop7
+	br_if   	$pop8, BB3_4
+# BB#3:                                 # %if.end
+	return  	$1
+BB3_4:                                  # %if.then
+	call    	abort
+	unreachable
+func_end3:
+	.size	main, func_end3-main
+
+
+	.ident	"clang version 3.8.0 "
+	.section	".note.GNU-stack","",@progbits