; 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
}