	.file	"sbbmisc.c"
	.section	.debug_abbrev,"",@progbits
.Ldebug_abbrev0:
	.section	.debug_info,"",@progbits
.Ldebug_info0:
	.section	.debug_line,"",@progbits
.Ldebug_line0:
	.text
.Ltext0:
	.cfi_sections	.debug_frame
	.comm	in_b,1,1
	.comm	out_b1,1,1
	.comm	out_b2,1,1
	.comm	in_b2,1,1
	.comm	in_w,2,2
	.comm	out_w1,2,2
	.comm	out_w2,2,2
	.comm	in_l,4,4
	.comm	out_l1,4,4
	.comm	out_l2,4,4
#APP
	
sbb_ib_al:
	movb in_b, %al
	clc
	sbbb $5, %al
	movb %al, out_b1
	movb in_b, %al
	stc
	sbbb $5, %al
	movb %al, out_b2
	ret

	
sbb_iw_ax:
	movw in_w, %ax
	clc
	sbbw $555, %ax
	movw %ax, out_w1
	movw in_w, %ax
	stc
	sbbw $555, %ax
	movw %ax, out_w2
	ret

	
sbb_il_eax:
	movl in_l, %eax
	clc
	sbbl $555666, %eax
	movl %eax, out_l1
	movl in_l, %eax
	stc
	sbbl $555666, %eax
	movl %eax, out_l2
	ret

	
sbb_eb_gb:
	movb in_b, %al
	clc
	sbbb in_b2, %al
	movb %al, out_b1
	movb in_b, %al
	stc
	sbbb in_b2, %al
	movb %al, out_b2
	ret

	
sbb_eb_gb_2:
	pushl %ecx
	movb in_b, %cl
	movb in_b2, %dh
	clc
	sbbb %dh,%cl
	movb %cl, out_b1
	movb in_b, %cl
	movb in_b2, %dh
	stc
	sbbb %dh,%cl
	movb %cl, out_b2
	popl %ecx
	ret

	
adc_eb_gb:
	movb in_b, %al
	clc
	adcb in_b2, %al
	movb %al, out_b1
	movb in_b, %al
	stc
	adcb in_b2, %al
	movb %al, out_b2
	ret

	
adc_eb_gb_2:
	pushl %ecx
	movb in_b, %cl
	movb in_b2, %dh
	clc
	adcb %dh,%cl
	movb %cl, out_b1
	movb in_b, %cl
	movb in_b2, %dh
	stc
	adcb %dh,%cl
	movb %cl, out_b2
	popl %ecx
	ret

	
adc_ib_al:
	movb in_b, %al
	clc
	adcb $5, %al
	movb %al, out_b1
	movb in_b, %al
	stc
	adcb $5, %al
	movb %al, out_b2
	ret

	
adc_iw_ax:
	movw in_w, %ax
	clc
	adcw $555, %ax
	movw %ax, out_w1
	movw in_w, %ax
	stc
	adcw $555, %ax
	movw %ax, out_w2
	ret

	
adc_il_eax:
	movl in_l, %eax
	clc
	adcl $555666, %eax
	movl %eax, out_l1
	movl in_l, %eax
	stc
	adcl $555666, %eax
	movl %eax, out_l2
	ret

	.section	.rodata
.LC0:
	.string	"r1 = %d %d\n"
.LC1:
	.string	"r2 = %d %d\n"
.LC2:
	.string	"r3 = %d %d\n"
.LC3:
	.string	"r4 = %d %d\n"
.LC4:
	.string	"r5 = %d %d\n"
.LC5:
	.string	"r6 = %d %d\n"
.LC6:
	.string	"r7 = %d %d\n"
.LC7:
	.string	"r8 = %d %d\n"
.LC8:
	.string	"r9 = %d %d\n"
.LC9:
	.string	"r10 = %d %d\n"
#NO_APP
	.text
.globl main
	.type	main, @function
main:
.LFB0:
	.file 1 "sbbmisc.c"
	.loc 1 198 0
	.cfi_startproc
	pushl	%ebp
	.cfi_def_cfa_offset 8
	.cfi_offset 5, -8
	movl	%esp, %ebp
	.cfi_def_cfa_register 5
	andl	$-16, %esp
	subl	$16, %esp
	.loc 1 199 0
	movb	$99, in_b
	.loc 1 200 0
	call	sbb_ib_al
	.loc 1 201 0
	movzbl	out_b2, %eax
	movsbl	%al, %ecx
	movzbl	out_b1, %eax
	movsbl	%al, %edx
	movl	$.LC0, %eax
	movl	%ecx, 8(%esp)
	movl	%edx, 4(%esp)
	movl	%eax, (%esp)
	call	printf
	.loc 1 203 0
	movw	$-15537, in_w
	.loc 1 204 0
	call	sbb_iw_ax
	.loc 1 205 0
	movzwl	out_w2, %eax
	movswl	%ax, %ecx
	movzwl	out_w1, %eax
	movswl	%ax, %edx
	movl	$.LC1, %eax
	movl	%ecx, 8(%esp)
	movl	%edx, 4(%esp)
	movl	%eax, (%esp)
	call	printf
	.loc 1 207 0
	movl	$-268435456, in_l
	.loc 1 208 0
	call	sbb_il_eax
	.loc 1 209 0
	movl	out_l2, %ecx
	movl	out_l1, %edx
	movl	$.LC2, %eax
	movl	%ecx, 8(%esp)
	movl	%edx, 4(%esp)
	movl	%eax, (%esp)
	call	printf
	.loc 1 211 0
	movb	$99, in_b
	.loc 1 212 0
	movb	$88, in_b2
	.loc 1 213 0
	call	sbb_eb_gb
	.loc 1 214 0
	movzbl	out_b2, %eax
	movsbl	%al, %ecx
	movzbl	out_b1, %eax
	movsbl	%al, %edx
	movl	$.LC3, %eax
	movl	%ecx, 8(%esp)
	movl	%edx, 4(%esp)
	movl	%eax, (%esp)
	call	printf
	.loc 1 216 0
	movb	$66, in_b
	.loc 1 217 0
	movb	$77, in_b2
	.loc 1 218 0
	call	sbb_eb_gb_2
	.loc 1 219 0
	movzbl	out_b2, %eax
	movsbl	%al, %ecx
	movzbl	out_b1, %eax
	movsbl	%al, %edx
	movl	$.LC4, %eax
	movl	%ecx, 8(%esp)
	movl	%edx, 4(%esp)
	movl	%eax, (%esp)
	call	printf
	.loc 1 221 0
	movb	$99, in_b
	.loc 1 222 0
	movb	$88, in_b2
	.loc 1 223 0
	call	adc_eb_gb
	.loc 1 224 0
	movzbl	out_b2, %eax
	movsbl	%al, %ecx
	movzbl	out_b1, %eax
	movsbl	%al, %edx
	movl	$.LC5, %eax
	movl	%ecx, 8(%esp)
	movl	%edx, 4(%esp)
	movl	%eax, (%esp)
	call	printf
	.loc 1 226 0
	movb	$66, in_b
	.loc 1 227 0
	movb	$77, in_b2
	.loc 1 228 0
	call	adc_eb_gb_2
	.loc 1 229 0
	movzbl	out_b2, %eax
	movsbl	%al, %ecx
	movzbl	out_b1, %eax
	movsbl	%al, %edx
	movl	$.LC6, %eax
	movl	%ecx, 8(%esp)
	movl	%edx, 4(%esp)
	movl	%eax, (%esp)
	call	printf
	.loc 1 231 0
	movb	$99, in_b
	.loc 1 232 0
	call	adc_ib_al
	.loc 1 233 0
	movzbl	out_b2, %eax
	movsbl	%al, %ecx
	movzbl	out_b1, %eax
	movsbl	%al, %edx
	movl	$.LC7, %eax
	movl	%ecx, 8(%esp)
	movl	%edx, 4(%esp)
	movl	%eax, (%esp)
	call	printf
	.loc 1 235 0
	movw	$-15537, in_w
	.loc 1 236 0
	call	adc_iw_ax
	.loc 1 237 0
	movzwl	out_w2, %eax
	movswl	%ax, %ecx
	movzwl	out_w1, %eax
	movswl	%ax, %edx
	movl	$.LC8, %eax
	movl	%ecx, 8(%esp)
	movl	%edx, 4(%esp)
	movl	%eax, (%esp)
	call	printf
	.loc 1 239 0
	movl	$-268435456, in_l
	.loc 1 240 0
	call	adc_il_eax
	.loc 1 241 0
	movl	out_l2, %ecx
	movl	out_l1, %edx
	movl	$.LC9, %eax
	movl	%ecx, 8(%esp)
	movl	%edx, 4(%esp)
	movl	%eax, (%esp)
	call	printf
	.loc 1 243 0
	movl	$0, %eax
	.loc 1 244 0
	leave
	.cfi_restore 5
	.cfi_def_cfa 4, 4
	ret
	.cfi_endproc
.LFE0:
	.size	main, .-main
.Letext0:
	.section	.debug_info
	.long	0x1bc
	.value	0x3
	.long	.Ldebug_abbrev0
	.byte	0x4
	.uleb128 0x1
	.long	.LASF20
	.byte	0x1
	.long	.LASF21
	.long	.LASF22
	.long	.Ltext0
	.long	.Letext0
	.long	.Ldebug_line0
	.uleb128 0x2
	.byte	0x4
	.byte	0x7
	.long	.LASF0
	.uleb128 0x2
	.byte	0x1
	.byte	0x8
	.long	.LASF1
	.uleb128 0x2
	.byte	0x2
	.byte	0x7
	.long	.LASF2
	.uleb128 0x2
	.byte	0x4
	.byte	0x7
	.long	.LASF3
	.uleb128 0x2
	.byte	0x1
	.byte	0x6
	.long	.LASF4
	.uleb128 0x2
	.byte	0x2
	.byte	0x5
	.long	.LASF5
	.uleb128 0x3
	.byte	0x4
	.byte	0x5
	.string	"int"
	.uleb128 0x2
	.byte	0x8
	.byte	0x5
	.long	.LASF6
	.uleb128 0x2
	.byte	0x8
	.byte	0x7
	.long	.LASF7
	.uleb128 0x2
	.byte	0x4
	.byte	0x5
	.long	.LASF8
	.uleb128 0x2
	.byte	0x1
	.byte	0x6
	.long	.LASF9
	.uleb128 0x4
	.byte	0x1
	.long	.LASF23
	.byte	0x1
	.byte	0xc5
	.byte	0x1
	.long	0x4f
	.long	.LFB0
	.long	.LFE0
	.byte	0x1
	.byte	0x9c
	.uleb128 0x5
	.long	.LASF10
	.byte	0x1
	.byte	0x4
	.long	0x6b
	.byte	0x1
	.byte	0x1
	.uleb128 0x5
	.long	.LASF11
	.byte	0x1
	.byte	0x4
	.long	0x6b
	.byte	0x1
	.byte	0x1
	.uleb128 0x5
	.long	.LASF12
	.byte	0x1
	.byte	0x4
	.long	0x6b
	.byte	0x1
	.byte	0x1
	.uleb128 0x5
	.long	.LASF13
	.byte	0x1
	.byte	0x4
	.long	0x6b
	.byte	0x1
	.byte	0x1
	.uleb128 0x5
	.long	.LASF14
	.byte	0x1
	.byte	0x6
	.long	0x48
	.byte	0x1
	.byte	0x1
	.uleb128 0x5
	.long	.LASF15
	.byte	0x1
	.byte	0x6
	.long	0x48
	.byte	0x1
	.byte	0x1
	.uleb128 0x5
	.long	.LASF16
	.byte	0x1
	.byte	0x6
	.long	0x48
	.byte	0x1
	.byte	0x1
	.uleb128 0x5
	.long	.LASF17
	.byte	0x1
	.byte	0x8
	.long	0x4f
	.byte	0x1
	.byte	0x1
	.uleb128 0x5
	.long	.LASF18
	.byte	0x1
	.byte	0x8
	.long	0x4f
	.byte	0x1
	.byte	0x1
	.uleb128 0x5
	.long	.LASF19
	.byte	0x1
	.byte	0x8
	.long	0x4f
	.byte	0x1
	.byte	0x1
	.uleb128 0x6
	.long	.LASF10
	.byte	0x1
	.byte	0x4
	.long	0x6b
	.byte	0x1
	.byte	0x5
	.byte	0x3
	.long	in_b
	.uleb128 0x6
	.long	.LASF11
	.byte	0x1
	.byte	0x4
	.long	0x6b
	.byte	0x1
	.byte	0x5
	.byte	0x3
	.long	out_b1
	.uleb128 0x6
	.long	.LASF12
	.byte	0x1
	.byte	0x4
	.long	0x6b
	.byte	0x1
	.byte	0x5
	.byte	0x3
	.long	out_b2
	.uleb128 0x6
	.long	.LASF13
	.byte	0x1
	.byte	0x4
	.long	0x6b
	.byte	0x1
	.byte	0x5
	.byte	0x3
	.long	in_b2
	.uleb128 0x6
	.long	.LASF14
	.byte	0x1
	.byte	0x6
	.long	0x48
	.byte	0x1
	.byte	0x5
	.byte	0x3
	.long	in_w
	.uleb128 0x6
	.long	.LASF15
	.byte	0x1
	.byte	0x6
	.long	0x48
	.byte	0x1
	.byte	0x5
	.byte	0x3
	.long	out_w1
	.uleb128 0x6
	.long	.LASF16
	.byte	0x1
	.byte	0x6
	.long	0x48
	.byte	0x1
	.byte	0x5
	.byte	0x3
	.long	out_w2
	.uleb128 0x6
	.long	.LASF17
	.byte	0x1
	.byte	0x8
	.long	0x4f
	.byte	0x1
	.byte	0x5
	.byte	0x3
	.long	in_l
	.uleb128 0x6
	.long	.LASF18
	.byte	0x1
	.byte	0x8
	.long	0x4f
	.byte	0x1
	.byte	0x5
	.byte	0x3
	.long	out_l1
	.uleb128 0x6
	.long	.LASF19
	.byte	0x1
	.byte	0x8
	.long	0x4f
	.byte	0x1
	.byte	0x5
	.byte	0x3
	.long	out_l2
	.byte	0x0
	.section	.debug_abbrev
	.uleb128 0x1
	.uleb128 0x11
	.byte	0x1
	.uleb128 0x25
	.uleb128 0xe
	.uleb128 0x13
	.uleb128 0xb
	.uleb128 0x3
	.uleb128 0xe
	.uleb128 0x1b
	.uleb128 0xe
	.uleb128 0x11
	.uleb128 0x1
	.uleb128 0x12
	.uleb128 0x1
	.uleb128 0x10
	.uleb128 0x6
	.byte	0x0
	.byte	0x0
	.uleb128 0x2
	.uleb128 0x24
	.byte	0x0
	.uleb128 0xb
	.uleb128 0xb
	.uleb128 0x3e
	.uleb128 0xb
	.uleb128 0x3
	.uleb128 0xe
	.byte	0x0
	.byte	0x0
	.uleb128 0x3
	.uleb128 0x24
	.byte	0x0
	.uleb128 0xb
	.uleb128 0xb
	.uleb128 0x3e
	.uleb128 0xb
	.uleb128 0x3
	.uleb128 0x8
	.byte	0x0
	.byte	0x0
	.uleb128 0x4
	.uleb128 0x2e
	.byte	0x0
	.uleb128 0x3f
	.uleb128 0xc
	.uleb128 0x3
	.uleb128 0xe
	.uleb128 0x3a
	.uleb128 0xb
	.uleb128 0x3b
	.uleb128 0xb
	.uleb128 0x27
	.uleb128 0xc
	.uleb128 0x49
	.uleb128 0x13
	.uleb128 0x11
	.uleb128 0x1
	.uleb128 0x12
	.uleb128 0x1
	.uleb128 0x40
	.uleb128 0xa
	.byte	0x0
	.byte	0x0
	.uleb128 0x5
	.uleb128 0x34
	.byte	0x0
	.uleb128 0x3
	.uleb128 0xe
	.uleb128 0x3a
	.uleb128 0xb
	.uleb128 0x3b
	.uleb128 0xb
	.uleb128 0x49
	.uleb128 0x13
	.uleb128 0x3f
	.uleb128 0xc
	.uleb128 0x3c
	.uleb128 0xc
	.byte	0x0
	.byte	0x0
	.uleb128 0x6
	.uleb128 0x34
	.byte	0x0
	.uleb128 0x3
	.uleb128 0xe
	.uleb128 0x3a
	.uleb128 0xb
	.uleb128 0x3b
	.uleb128 0xb
	.uleb128 0x49
	.uleb128 0x13
	.uleb128 0x3f
	.uleb128 0xc
	.uleb128 0x2
	.uleb128 0xa
	.byte	0x0
	.byte	0x0
	.byte	0x0
	.section	.debug_pubnames,"",@progbits
	.long	0x7e
	.value	0x2
	.long	.Ldebug_info0
	.long	0x1c0
	.long	0x72
	.string	"main"
	.long	0x10b
	.string	"in_b"
	.long	0x11d
	.string	"out_b1"
	.long	0x12f
	.string	"out_b2"
	.long	0x141
	.string	"in_b2"
	.long	0x153
	.string	"in_w"
	.long	0x165
	.string	"out_w1"
	.long	0x177
	.string	"out_w2"
	.long	0x189
	.string	"in_l"
	.long	0x19b
	.string	"out_l1"
	.long	0x1ad
	.string	"out_l2"
	.long	0x0
	.section	.debug_pubtypes,"",@progbits
	.long	0xe
	.value	0x2
	.long	.Ldebug_info0
	.long	0x1c0
	.long	0x0
	.section	.debug_aranges,"",@progbits
	.long	0x1c
	.value	0x2
	.long	.Ldebug_info0
	.byte	0x4
	.byte	0x0
	.value	0x0
	.value	0x0
	.long	.Ltext0
	.long	.Letext0-.Ltext0
	.long	0x0
	.long	0x0
	.section	.debug_str,"MS",@progbits,1
.LASF6:
	.string	"long long int"
.LASF20:
	.string	"GNU C 4.4.5 20101112 (Red Hat 4.4.5-2)"
.LASF0:
	.string	"unsigned int"
.LASF14:
	.string	"in_w"
.LASF13:
	.string	"in_b2"
.LASF3:
	.string	"long unsigned int"
.LASF7:
	.string	"long long unsigned int"
.LASF18:
	.string	"out_l1"
.LASF19:
	.string	"out_l2"
.LASF1:
	.string	"unsigned char"
.LASF23:
	.string	"main"
.LASF15:
	.string	"out_w1"
.LASF16:
	.string	"out_w2"
.LASF8:
	.string	"long int"
.LASF11:
	.string	"out_b1"
.LASF12:
	.string	"out_b2"
.LASF21:
	.string	"sbbmisc.c"
.LASF2:
	.string	"short unsigned int"
.LASF4:
	.string	"signed char"
.LASF22:
	.string	"/root/genprog-many-bugs/valgrind-bug-12474-12475/valgrind/none/tests/x86"
.LASF10:
	.string	"in_b"
.LASF5:
	.string	"short int"
.LASF9:
	.string	"char"
.LASF17:
	.string	"in_l"
	.ident	"GCC: (GNU) 4.4.5 20101112 (Red Hat 4.4.5-2)"
	.section	.note.GNU-stack,"",@progbits
