100 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py2; RUN: llc < %s -mtriple=i386-apple-darwin10.0 | FileCheck %s --check-prefix=CHECK-X863; RUN: llc < %s -mtriple=x86_64-grtev4-linux-gnu | FileCheck %s --check-prefix=CHECK-X644 5@g_14 = dso_local global i8 -6, align 1 ; <ptr> [#uses=1]6 7declare i32 @func_16(i8 signext %p_19, i32 %p_20) nounwind8 9define dso_local i32 @func_35(i64 %p_38) nounwind ssp {10; CHECK-X86-LABEL: func_35:11; CHECK-X86: ## %bb.0: ## %entry12; CHECK-X86-NEXT: subl $12, %esp13; CHECK-X86-NEXT: movsbl _g_14, %eax14; CHECK-X86-NEXT: xorl %ecx, %ecx15; CHECK-X86-NEXT: testl $255, %eax16; CHECK-X86-NEXT: setg %cl17; CHECK-X86-NEXT: subl $8, %esp18; CHECK-X86-NEXT: pushl %ecx19; CHECK-X86-NEXT: pushl %eax20; CHECK-X86-NEXT: calll _func_1621; CHECK-X86-NEXT: addl $16, %esp22; CHECK-X86-NEXT: movl $1, %eax23; CHECK-X86-NEXT: addl $12, %esp24; CHECK-X86-NEXT: retl25;26; CHECK-X64-LABEL: func_35:27; CHECK-X64: # %bb.0: # %entry28; CHECK-X64-NEXT: pushq %rax29; CHECK-X64-NEXT: movsbl g_14(%rip), %edi30; CHECK-X64-NEXT: xorl %esi, %esi31; CHECK-X64-NEXT: testl $255, %edi32; CHECK-X64-NEXT: setg %sil33; CHECK-X64-NEXT: callq func_16@PLT34; CHECK-X64-NEXT: movl $1, %eax35; CHECK-X64-NEXT: popq %rcx36; CHECK-X64-NEXT: retq37entry:38 %tmp = load i8, ptr @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 144}45 46define dso_local void @fail(i16 %a, <2 x i8> %b) {47; CHECK-X86-LABEL: fail:48; CHECK-X86: ## %bb.0:49; CHECK-X86-NEXT: subl $12, %esp50; CHECK-X86-NEXT: .cfi_def_cfa_offset 1651; CHECK-X86-NEXT: movzwl {{[0-9]+}}(%esp), %ecx52; CHECK-X86-NEXT: cmpb $123, {{[0-9]+}}(%esp)53; CHECK-X86-NEXT: sete %al54; CHECK-X86-NEXT: testl $263, %ecx ## imm = 0x10755; CHECK-X86-NEXT: je LBB1_356; CHECK-X86-NEXT: ## %bb.1:57; CHECK-X86-NEXT: testb %al, %al58; CHECK-X86-NEXT: jne LBB1_359; CHECK-X86-NEXT: ## %bb.2: ## %no60; CHECK-X86-NEXT: calll _bar61; CHECK-X86-NEXT: LBB1_3: ## %yes62; CHECK-X86-NEXT: addl $12, %esp63; CHECK-X86-NEXT: retl64;65; CHECK-X64-LABEL: fail:66; CHECK-X64: # %bb.0:67; CHECK-X64-NEXT: pslld $8, %xmm068; CHECK-X64-NEXT: pcmpeqb {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %xmm069; CHECK-X64-NEXT: pextrw $1, %xmm0, %eax70; CHECK-X64-NEXT: xorb $1, %al71; CHECK-X64-NEXT: testl $263, %edi # imm = 0x10772; CHECK-X64-NEXT: setne %cl73; CHECK-X64-NEXT: testb %al, %cl74; CHECK-X64-NEXT: jne .LBB1_275; CHECK-X64-NEXT: # %bb.1: # %yes76; CHECK-X64-NEXT: retq77; CHECK-X64-NEXT: .LBB1_2: # %no78; CHECK-X64-NEXT: pushq %rax79; CHECK-X64-NEXT: .cfi_def_cfa_offset 1680; CHECK-X64-NEXT: callq bar@PLT81; CHECK-X64-NEXT: popq %rax82; CHECK-X64-NEXT: .cfi_def_cfa_offset 883; CHECK-X64-NEXT: retq84 %1 = icmp eq <2 x i8> %b, <i8 40, i8 123>85 %2 = extractelement <2 x i1> %1, i32 186 %3 = and i16 %a, 26387 %4 = icmp eq i16 %3, 088 %merge = or i1 %4, %289 br i1 %merge, label %yes, label %no90 91yes: ; preds = %092 ret void93 94no: ; preds = %095 call void @bar()96 ret void97}98 99declare void @bar()100