109 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py UTC_ARGS: --version 52; RUN: llc < %s -mtriple=x86_64 -mattr=+nf -verify-machineinstrs | FileCheck %s3 4define void @convertToThreeAddress(ptr %arg, ptr %arg1) {5; CHECK-LABEL: convertToThreeAddress:6; CHECK: # %bb.0: # %entry7; CHECK-NEXT: movslq (%rdi), %rax8; CHECK-NEXT: movslq (%rsi), %rcx9; CHECK-NEXT: subq %rax, %rcx10; CHECK-NEXT: leaq 1(%rcx), %rax11; CHECK-NEXT: js .LBB0_112; CHECK-NEXT: .p2align 413; CHECK-NEXT: .LBB0_6: # %bb14; CHECK-NEXT: # =>This Inner Loop Header: Depth=115; CHECK-NEXT: cmpq $1, %rax16; CHECK-NEXT: jg .LBB0_617; CHECK-NEXT: .LBB0_5: # %bb1618; CHECK-NEXT: retq19; CHECK-NEXT: .LBB0_1:20; CHECK-NEXT: xorl %edx, %edx21; CHECK-NEXT: .p2align 422; CHECK-NEXT: .LBB0_2: # %bb1023; CHECK-NEXT: # =>This Inner Loop Header: Depth=124; CHECK-NEXT: testb %dl, %dl25; CHECK-NEXT: je .LBB0_326; CHECK-NEXT: # %bb.7: # %bb1127; CHECK-NEXT: # in Loop: Header=BB0_2 Depth=128; CHECK-NEXT: testq %rcx, %rcx29; CHECK-NEXT: jns .LBB0_230; CHECK-NEXT: jmp .LBB0_531; CHECK-NEXT: .LBB0_3: # %bb1032; CHECK-NEXT: xorl %ecx, %ecx33; CHECK-NEXT: testb %cl, %cl34; CHECK-NEXT: jne .LBB0_535; CHECK-NEXT: .p2align 436; CHECK-NEXT: .LBB0_4: # %bb1237; CHECK-NEXT: # =>This Inner Loop Header: Depth=138; CHECK-NEXT: cmpq $1, %rax39; CHECK-NEXT: jg .LBB0_440; CHECK-NEXT: jmp .LBB0_541entry:42 %i = load i32, ptr %arg, align 443 %i2 = sext i32 %i to i6444 %i3 = load i32, ptr %arg1, align 445 %i4 = sext i32 %i3 to i6446 %i5 = sub nsw i64 %i4, %i247 %i6 = add nsw i64 %i5, 148 %i7 = icmp sgt i64 %i5, -149 br i1 %i7, label %bb, label %bb1050 51bb: ; preds = %bb, %entry52 %i8 = phi i64 [ %i6, %entry ], [ poison, %bb ]53 %i9 = icmp sgt i64 %i8, 154 br i1 %i9, label %bb, label %bb1655 56bb10: ; preds = %bb11, %entry57 switch i32 poison, label %bb16 [58 i32 1, label %bb1159 i32 2, label %bb1260 ]61 62bb11: ; preds = %bb1063 br i1 %i7, label %bb10, label %bb1664 65bb12: ; preds = %bb14, %bb1066 %i13 = phi i64 [ poison, %bb14 ], [ %i6, %bb10 ]67 br label %bb1468 69bb14: ; preds = %bb1270 %i15 = icmp sgt i64 %i13, 171 br i1 %i15, label %bb12, label %bb1672 73bb16: ; preds = %bb14, %bb11, %bb10, %bb74 ret void75}76 77; We must not try to replace CMP with AND_NF as it sets no flags78define void @cmp_peephole_and_nf(i64 %arg0, ptr %ptr1, ptr %ptr2) {79; CHECK-LABEL: cmp_peephole_and_nf:80; CHECK: # %bb.0: # %entry81; CHECK-NEXT: negq %rdi82; CHECK-NEXT: movl %edi, %eax83; CHECK-NEXT: {nf} andl $1, %eax84; CHECK-NEXT: jb .LBB1_285; CHECK-NEXT: # %bb.1: # %true86; CHECK-NEXT: testq %rax, %rax87; CHECK-NEXT: sete (%rsi)88; CHECK-NEXT: retq89; CHECK-NEXT: .LBB1_2: # %false90; CHECK-NEXT: movq %rdi, (%rsi)91; CHECK-NEXT: movq %rax, (%rdx)92; CHECK-NEXT: retq93entry:94 %sub_flag = sub i64 0, %arg095 %and_nf = and i64 %sub_flag, 196 %elim = icmp eq i64 0, %arg097 br i1 %elim, label %true, label %false98 99true:100 %8 = icmp eq i64 %and_nf, 0101 store i1 %8, ptr %ptr1102 ret void103 104false:105 store i64 %sub_flag, ptr %ptr1106 store i64 %and_nf, ptr %ptr2107 ret void108}109