105 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py2; RUN: llc -o - %s -mtriple=x86_64-- | FileCheck %s3; Example of a decref operation with "immortal" objects.4; void decref(long* refcount) {5; long count = *refcount;6; if (count == 1) { free_object() }7; else if (count > 1) { *refcount = count - 1; }8; else { /* immortal */ }9; }10; Resulting assembly should share flags from single CMP instruction for both11; conditions!12define void @decref(ptr %p) {13; CHECK-LABEL: decref:14; CHECK: # %bb.0:15; CHECK-NEXT: movl (%rdi), %eax16; CHECK-NEXT: cmpl $1, %eax17; CHECK-NEXT: jne .LBB0_218; CHECK-NEXT: # %bb.1: # %bb_free19; CHECK-NEXT: pushq %rax20; CHECK-NEXT: .cfi_def_cfa_offset 1621; CHECK-NEXT: callq free_object@PLT22; CHECK-NEXT: addq $8, %rsp23; CHECK-NEXT: .cfi_def_cfa_offset 824; CHECK-NEXT: .LBB0_4: # %end25; CHECK-NEXT: retq26; CHECK-NEXT: .LBB0_2: # %bb227; CHECK-NEXT: jle .LBB0_428; CHECK-NEXT: # %bb.3: # %bb_dec29; CHECK-NEXT: decl %eax30; CHECK-NEXT: movl %eax, (%rdi)31; CHECK-NEXT: retq32 %count = load i32, ptr %p, align 433 %cmp0 = icmp eq i32 %count, 134 br i1 %cmp0, label %bb_free, label %bb235 36bb2:37 %cmp1 = icmp sgt i32 %count, 138 br i1 %cmp1, label %bb_dec, label %end39 40bb_dec:41 %dec = add nsw i32 %count, -142 store i32 %dec, ptr %p, align 443 br label %end44 45bb_free:46 call void @free_object()47 br label %end48 49end:50 ret void51}52 53declare void @free_object()54 55; Check TEST instruction would not be combined with CMP.56define i1 @pr155586(i8 %0) {57; CHECK-LABEL: pr155586:58; CHECK: # %bb.0: # %entry59; CHECK-NEXT: cmpb $1, %dil60; CHECK-NEXT: setne %cl61; CHECK-NEXT: testb $1, %dil62; CHECK-NEXT: sete %al63; CHECK-NEXT: andb %cl, %al64; CHECK-NEXT: retq65entry:66 %cmp88.not = icmp eq i8 %0, 167 %1 = and i8 %0, 168 %tobool161.not = icmp eq i8 %1, 069 %common.ret.op = select i1 %cmp88.not, i1 false, i1 %tobool161.not70 ret i1 %common.ret.op71}72 73; Check TEST8rr instruction would not be combined with TEST8ri.74define i32 @pr155828() {75; CHECK-LABEL: pr155828:76; CHECK: # %bb.0: # %entry77; CHECK-NEXT: xorl %eax, %eax78; CHECK-NEXT: .p2align 479; CHECK-NEXT: .LBB2_1: # %func_188.exit.i.i80; CHECK-NEXT: # =>This Inner Loop Header: Depth=181; CHECK-NEXT: movl %eax, %ecx82; CHECK-NEXT: movl $1, %eax83; CHECK-NEXT: testb $1, %cl84; CHECK-NEXT: jne .LBB2_185; CHECK-NEXT: # %bb.2: # %if.else.i.i.i86; CHECK-NEXT: xorl %eax, %eax87; CHECK-NEXT: testb %cl, %cl88; CHECK-NEXT: setg %al89; CHECK-NEXT: retq90entry:91 br label %func_188.exit.i.i92 93func_188.exit.i.i: ; preds = %func_188.exit.i.i, %entry94 %or659.i167180.i.i = phi i32 [ 0, %entry ], [ 1, %func_188.exit.i.i ]95 %conv48.i.i = trunc i32 %or659.i167180.i.i to i896 %and.i.i.i = and i32 %or659.i167180.i.i, 197 %tobool80.not.i.i.i = icmp eq i32 %and.i.i.i, 098 br i1 %tobool80.not.i.i.i, label %if.else.i.i.i, label %func_188.exit.i.i99 100if.else.i.i.i: ; preds = %func_188.exit.i.i101 %cmp183.i.i.i = icmp sgt i8 %conv48.i.i, 0102 %ext = zext i1 %cmp183.i.i.i to i32103 ret i32 %ext104}105