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