; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
; RUN: llc < %s | FileCheck %s

; Do zextload, instead of a load and a separate zext.

target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f80:128:128"
target triple = "i386-apple-darwin9.6"
	%struct.move_s = type { i32, i32, i32, i32, i32, i32 }
	%struct.node_t = type { i8, i8, i8, i8, i32, i32, ptr, ptr, %struct.move_s }

define fastcc void @set_proof_and_disproof_numbers(ptr nocapture %node) nounwind {
; CHECK-LABEL: set_proof_and_disproof_numbers:
; CHECK:       ## %bb.0: ## %entry
; CHECK-NEXT:    movzbl 0, %eax
; CHECK-NEXT:    cmpl $3, %eax
; CHECK-NEXT:    ja LBB0_3
; CHECK-NEXT:  ## %bb.1: ## %entry
; CHECK-NEXT:    jmpl *LJTI0_0(,%eax,4)
; CHECK-NEXT:  LBB0_3: ## %return
; CHECK-NEXT:    retl
; CHECK-NEXT:  LBB0_2: ## %bb31
; CHECK-NEXT:    ud2
entry:
	%0 = load i8, ptr null, align 1		; <i8> [#uses=1]
	switch i8 %0, label %return [
		i8 2, label %bb31
		i8 0, label %bb80
		i8 1, label %bb82
		i8 3, label %bb84
	]

bb31:		; preds = %entry
	unreachable

bb80:		; preds = %entry
	ret void

bb82:		; preds = %entry
	ret void

bb84:		; preds = %entry
	ret void

return:		; preds = %entry
	ret void
}