104 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py2; RUN: llc < %s -mtriple=x86_64-linux -mattr=-bmi | FileCheck %s --check-prefix=CHECK3; RUN: llc < %s -mtriple=x86_64-linux-gnux32 -mattr=-bmi | FileCheck %s --check-prefix=GNUX324 5; LLVM creates virtual registers for values live across blocks6; based on the type of the value. Make sure that the extracts7; here use the GR64_NOREX register class for their result,8; instead of plain GR64.9 10define i64 @foo(i64 %a, i64 %b, i64 %c, i64 %d, i64 %e, i64 %f, i64 %g, i64 %h) {11; CHECK-LABEL: foo:12; CHECK: # %bb.0:13; CHECK-NEXT: pushq %rbp14; CHECK-NEXT: .cfi_def_cfa_offset 1615; CHECK-NEXT: pushq %rbx16; CHECK-NEXT: .cfi_def_cfa_offset 2417; CHECK-NEXT: .cfi_offset %rbx, -2418; CHECK-NEXT: .cfi_offset %rbp, -1619; CHECK-NEXT: movq %rsi, %rax20; CHECK-NEXT: movq %rdi, %rbx21; CHECK-NEXT: movzbl %bh, %esi22; CHECK-NEXT: movzbl %ah, %edi23; CHECK-NEXT: movzbl %dh, %edx24; CHECK-NEXT: movzbl %ch, %ebp25; CHECK-NEXT: movq %r8, %rax26; CHECK-NEXT: movzbl %ah, %ecx27; CHECK-NEXT: movq %r9, %rax28; CHECK-NEXT: movzbl %ah, %ebx29; CHECK-NEXT: movzbl {{[0-9]+}}(%rsp), %eax30; CHECK-NEXT: movzbl {{[0-9]+}}(%rsp), %r8d31; CHECK-NEXT: addq %rdi, %rsi32; CHECK-NEXT: addq %rbp, %rdx33; CHECK-NEXT: addq %rsi, %rdx34; CHECK-NEXT: addq %rbx, %rcx35; CHECK-NEXT: addq %r8, %rax36; CHECK-NEXT: addq %rcx, %rax37; CHECK-NEXT: addq %rdx, %rax38; CHECK-NEXT: popq %rbx39; CHECK-NEXT: .cfi_def_cfa_offset 1640; CHECK-NEXT: popq %rbp41; CHECK-NEXT: .cfi_def_cfa_offset 842; CHECK-NEXT: retq43;44; GNUX32-LABEL: foo:45; GNUX32: # %bb.0:46; GNUX32-NEXT: pushq %rbp47; GNUX32-NEXT: .cfi_def_cfa_offset 1648; GNUX32-NEXT: pushq %rbx49; GNUX32-NEXT: .cfi_def_cfa_offset 2450; GNUX32-NEXT: .cfi_offset %rbx, -2451; GNUX32-NEXT: .cfi_offset %rbp, -1652; GNUX32-NEXT: movq %rsi, %rax53; GNUX32-NEXT: movq %rdi, %rbx54; GNUX32-NEXT: movzbl %bh, %esi55; GNUX32-NEXT: movzbl %ah, %edi56; GNUX32-NEXT: movzbl %dh, %edx57; GNUX32-NEXT: movzbl %ch, %ebp58; GNUX32-NEXT: movq %r8, %rax59; GNUX32-NEXT: movzbl %ah, %ecx60; GNUX32-NEXT: movq %r9, %rax61; GNUX32-NEXT: movzbl %ah, %ebx62; GNUX32-NEXT: movzbl {{[0-9]+}}(%esp), %eax63; GNUX32-NEXT: movzbl {{[0-9]+}}(%esp), %r8d64; GNUX32-NEXT: addq %rdi, %rsi65; GNUX32-NEXT: addq %rbp, %rdx66; GNUX32-NEXT: addq %rsi, %rdx67; GNUX32-NEXT: addq %rbx, %rcx68; GNUX32-NEXT: addq %r8, %rax69; GNUX32-NEXT: addq %rcx, %rax70; GNUX32-NEXT: addq %rdx, %rax71; GNUX32-NEXT: popq %rbx72; GNUX32-NEXT: .cfi_def_cfa_offset 1673; GNUX32-NEXT: popq %rbp74; GNUX32-NEXT: .cfi_def_cfa_offset 875; GNUX32-NEXT: retq76 %sa = lshr i64 %a, 877 %A = and i64 %sa, 25578 %sb = lshr i64 %b, 879 %B = and i64 %sb, 25580 %sc = lshr i64 %c, 881 %C = and i64 %sc, 25582 %sd = lshr i64 %d, 883 %D = and i64 %sd, 25584 %se = lshr i64 %e, 885 %E = and i64 %se, 25586 %sf = lshr i64 %f, 887 %F = and i64 %sf, 25588 %sg = lshr i64 %g, 889 %G = and i64 %sg, 25590 %sh = lshr i64 %h, 891 %H = and i64 %sh, 25592 br label %next93 94next:95 %u = add i64 %A, %B96 %v = add i64 %C, %D97 %w = add i64 %E, %F98 %x = add i64 %G, %H99 %y = add i64 %u, %v100 %z = add i64 %w, %x101 %t = add i64 %y, %z102 ret i64 %t103}104