1 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py 2 ; RUN: llc < %s -mtriple=i386-apple-darwin10.0 | FileCheck %s --check-prefix=CHECK-X86 3 ; RUN: llc < %s -mtriple=x86_64-grtev4-linux-gnu | FileCheck %s --check-prefix=CHECK-X64 4 5 @g_14 = global i8 -6, align 1 ; <i8*> [#uses=1] 6 7 declare i32 @func_16(i8 signext %p_19, i32 %p_20) nounwind 8 9 define i32 @func_35(i64 %p_38) nounwind ssp { 10 ; CHECK-X86-LABEL: func_35: 11 ; CHECK-X86: ## %bb.0: ## %entry 12 ; CHECK-X86-NEXT: subl $12, %esp 13 ; CHECK-X86-NEXT: movsbl _g_14, %eax 14 ; CHECK-X86-NEXT: xorl %ecx, %ecx 15 ; CHECK-X86-NEXT: testl $255, %eax 16 ; CHECK-X86-NEXT: setg %cl 17 ; CHECK-X86-NEXT: subl $8, %esp 18 ; CHECK-X86-NEXT: pushl %ecx 19 ; CHECK-X86-NEXT: pushl %eax 20 ; CHECK-X86-NEXT: calll _func_16 21 ; CHECK-X86-NEXT: addl $16, %esp 22 ; CHECK-X86-NEXT: movl $1, %eax 23 ; CHECK-X86-NEXT: addl $12, %esp 24 ; CHECK-X86-NEXT: retl 25 ; 26 ; CHECK-X64-LABEL: func_35: 27 ; CHECK-X64: # %bb.0: # %entry 28 ; CHECK-X64-NEXT: pushq %rax 29 ; CHECK-X64-NEXT: movsbl {{.*}}(%rip), %edi 30 ; CHECK-X64-NEXT: xorl %esi, %esi 31 ; CHECK-X64-NEXT: testl $255, %edi 32 ; CHECK-X64-NEXT: setg %sil 33 ; CHECK-X64-NEXT: callq func_16 34 ; CHECK-X64-NEXT: movl $1, %eax 35 ; CHECK-X64-NEXT: popq %rcx 36 ; CHECK-X64-NEXT: retq 37 entry: 38 %tmp = load i8, i8* @g_14 ; <i8> [#uses=2] 39 %conv = zext i8 %tmp to i32 ; <i32> [#uses=1] 40 %cmp = icmp sle i32 1, %conv ; <i1> [#uses=1] 41 %conv2 = zext i1 %cmp to i32 ; <i32> [#uses=1] 42 %call = call i32 @func_16(i8 signext %tmp, i32 %conv2) ssp ; <i32> [#uses=1] 43 ret i32 1 44 } 45 46 define void @fail(i16 %a, <2 x i8> %b) { 47 ; CHECK-X86-LABEL: fail: 48 ; CHECK-X86: ## %bb.0: 49 ; CHECK-X86-NEXT: subl $12, %esp 50 ; CHECK-X86-NEXT: .cfi_def_cfa_offset 16 51 ; CHECK-X86-NEXT: movzwl {{[0-9]+}}(%esp), %ecx 52 ; CHECK-X86-NEXT: cmpb $123, {{[0-9]+}}(%esp) 53 ; CHECK-X86-NEXT: sete %al 54 ; CHECK-X86-NEXT: testl $263, %ecx ## imm = 0x107 55 ; CHECK-X86-NEXT: je LBB1_2 56 ; CHECK-X86-NEXT: ## %bb.1: 57 ; CHECK-X86-NEXT: testb %al, %al 58 ; CHECK-X86-NEXT: jne LBB1_2 59 ; CHECK-X86-NEXT: ## %bb.3: ## %no 60 ; CHECK-X86-NEXT: calll _bar 61 ; CHECK-X86-NEXT: addl $12, %esp 62 ; CHECK-X86-NEXT: retl 63 ; CHECK-X86-NEXT: LBB1_2: ## %yes 64 ; CHECK-X86-NEXT: addl $12, %esp 65 ; CHECK-X86-NEXT: retl 66 ; 67 ; CHECK-X64-LABEL: fail: 68 ; CHECK-X64: # %bb.0: 69 ; CHECK-X64-NEXT: pushq %rax 70 ; CHECK-X64-NEXT: .cfi_def_cfa_offset 16 71 ; CHECK-X64-NEXT: testw $263, %di # imm = 0x107 72 ; CHECK-X64-NEXT: je .LBB1_2 73 ; CHECK-X64-NEXT: # %bb.1: 74 ; CHECK-X64-NEXT: pand {{.*}}(%rip), %xmm0 75 ; CHECK-X64-NEXT: pcmpeqd {{.*}}(%rip), %xmm0 76 ; CHECK-X64-NEXT: pshufd {{.*#+}} xmm1 = xmm0[1,0,3,2] 77 ; CHECK-X64-NEXT: pand %xmm0, %xmm1 78 ; CHECK-X64-NEXT: pextrw $4, %xmm1, %eax 79 ; CHECK-X64-NEXT: testb $1, %al 80 ; CHECK-X64-NEXT: jne .LBB1_2 81 ; CHECK-X64-NEXT: # %bb.3: # %no 82 ; CHECK-X64-NEXT: callq bar 83 ; CHECK-X64-NEXT: popq %rax 84 ; CHECK-X64-NEXT: .cfi_def_cfa_offset 8 85 ; CHECK-X64-NEXT: retq 86 ; CHECK-X64-NEXT: .LBB1_2: # %yes 87 ; CHECK-X64-NEXT: .cfi_def_cfa_offset 16 88 ; CHECK-X64-NEXT: popq %rax 89 ; CHECK-X64-NEXT: .cfi_def_cfa_offset 8 90 ; CHECK-X64-NEXT: retq 91 %1 = icmp eq <2 x i8> %b, <i8 40, i8 123> 92 %2 = extractelement <2 x i1> %1, i32 1 93 %3 = and i16 %a, 263 94 %4 = icmp eq i16 %3, 0 95 %merge = or i1 %4, %2 96 br i1 %merge, label %yes, label %no 97 98 yes: ; preds = %0 99 ret void 100 101 no: ; preds = %0 102 call void @bar() 103 ret void 104 } 105 106 declare void @bar() 107
