;;; Produced with: gcc -O1 -o hello-loop-uint-O1.s -S hello-loop-uint.c
	.section	__TEXT,__text,regular,pure_instructions
	.build_version macos, 11, 0	sdk_version 12, 1
	.globl	_main                           ; -- Begin function main
	.p2align	2
_main:                                  ; @main
	.cfi_startproc
; %bb.0:
	stp	x20, x19, [sp, #-32]!           ; 16-byte Folded Spill
	stp	x29, x30, [sp, #16]             ; 16-byte Folded Spill
	add	x29, sp, #16                    ; =16
	.cfi_def_cfa w29, 16
	.cfi_offset w30, -8
	.cfi_offset w29, -16
	.cfi_offset w19, -24
	.cfi_offset w20, -32
Lloh0:
	adrp	x19, l_.str@PAGE
Lloh1:
	add	x19, x19, l_.str@PAGEOFF
LBB0_1:                                 ; =>This Inner Loop Header: Depth=1
;;; SB: Where is my loop condition check-and-jump-out??? See SPOILER1 below.
	mov	x0, x19
	bl	_puts
	b	LBB0_1
;;; SB: Where is my return value 42??? See SPOILER2 below.
	.loh AdrpAdd	Lloh0, Lloh1
	.cfi_endproc
                                        ; -- End function
	.section	__TEXT,__cstring,cstring_literals
l_.str:                                 ; @.str
	.asciz	"Hello"

	.subsections_via_symbols
;;; SPOILER1: The compiler performed static analysis and inferred that the
;;;           loop end condition will never be true---and so generated a simple
;;;           infinite loop. 

















	
;;; SPOILER2: The compiler performed static analysis and inferred that the
;;;           loop will never end, so the return statement won't ever be reached.
;;;           Clever compiler. Almost too clever, since it never warned us.
