89 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py2; RUN: llc < %s -mtriple=x86_64-unknown-unknown -mcpu=haswell | FileCheck %s3 4; Checks if "%7 = add nuw nsw i64 %4, %2" is moved before the last call5; to minimize live-range.6 7define i64 @test(i1 %a, i64 %r1, i64 %r2, i64 %s1, i64 %s2, i64 %t1, i64 %t2) {8; CHECK-LABEL: test:9; CHECK: # %bb.0: # %entry10; CHECK-NEXT: pushq %r1511; CHECK-NEXT: .cfi_def_cfa_offset 1612; CHECK-NEXT: pushq %r1413; CHECK-NEXT: .cfi_def_cfa_offset 2414; CHECK-NEXT: pushq %rbx15; CHECK-NEXT: .cfi_def_cfa_offset 3216; CHECK-NEXT: .cfi_offset %rbx, -3217; CHECK-NEXT: .cfi_offset %r14, -2418; CHECK-NEXT: .cfi_offset %r15, -1619; CHECK-NEXT: movq %rcx, %rbx20; CHECK-NEXT: movl $4, %r14d21; CHECK-NEXT: testb $1, %dil22; CHECK-NEXT: je .LBB0_223; CHECK-NEXT: # %bb.1: # %then24; CHECK-NEXT: movq {{[0-9]+}}(%rsp), %r925; CHECK-NEXT: movl $10, %r14d26; CHECK-NEXT: movq %rdx, %rsi27; CHECK-NEXT: movq %r8, %rbx28; CHECK-NEXT: .LBB0_2: # %else29; CHECK-NEXT: addq %r9, %rbx30; CHECK-NEXT: addq %rsi, %r1431; CHECK-NEXT: callq _Z3foov@PLT32; CHECK-NEXT: movl %eax, %r15d33; CHECK-NEXT: addq %r14, %r1534; CHECK-NEXT: callq _Z3foov@PLT35; CHECK-NEXT: movl %eax, %r14d36; CHECK-NEXT: callq _Z3foov@PLT37; CHECK-NEXT: movl %eax, %eax38; CHECK-NEXT: addq %r14, %rax39; CHECK-NEXT: addq %r15, %rax40; CHECK-NEXT: addq %rbx, %rax41; CHECK-NEXT: popq %rbx42; CHECK-NEXT: .cfi_def_cfa_offset 2443; CHECK-NEXT: popq %r1444; CHECK-NEXT: .cfi_def_cfa_offset 1645; CHECK-NEXT: popq %r1546; CHECK-NEXT: .cfi_def_cfa_offset 847; CHECK-NEXT: retq48entry:49 br i1 %a, label %then, label %else50 51then:52 br label %else53 54else:55 %0 = phi i64 [ 4, %entry ], [ 10, %then ]56 %r = phi i64 [ %r1, %entry ], [ %r2, %then ]57 %s = phi i64 [ %s1, %entry ], [ %s2, %then ]58 %t = phi i64 [ %t1, %entry ], [ %t2, %then ]59 %1 = tail call i32 @_Z3foov()60 %2 = zext i32 %1 to i6461 %3 = tail call i32 @_Z3foov()62 %4 = zext i32 %3 to i6463 %5 = tail call i32 @_Z3foov()64 %6 = zext i32 %5 to i6465 %7 = add nuw nsw i64 %0, %r66 tail call void @llvm.dbg.value(metadata i64 %7, i64 0, metadata !5, metadata !DIExpression()), !dbg !667 %8 = add nuw nsw i64 %2, %768 %9 = add nuw nsw i64 %4, %869 %10 = add nuw nsw i64 %6, %970 %11 = add nuw nsw i64 %s, %t71 tail call void @llvm.dbg.value(metadata i64 %11, i64 0, metadata !5, metadata !DIExpression()), !dbg !672 %12 = add nuw nsw i64 %10, %1173 ret i64 %1274}75 76declare i32 @_Z3foov()77declare void @llvm.dbg.value(metadata, i64, metadata, metadata)78 79!llvm.dbg.cu = !{!0}80!llvm.module.flags = !{!1, !2}81 82!0 = distinct !DICompileUnit(language: DW_LANG_C_plus_plus, file: !3, emissionKind: FullDebug)83!1 = !{i32 2, !"Dwarf Version", i32 4}84!2 = !{i32 2, !"Debug Info Version", i32 3}85!3 = !DIFile(filename: "a.c", directory: "./")86!4 = distinct !DISubprogram(name: "test", scope: !3, unit: !0)87!5 = !DILocalVariable(name: "x", scope: !4)88!6 = !DILocation(line: 4, scope: !4)89