1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py 2; RUN: llc -O0 -mtriple=x86_64-- -verify-machineinstrs < %s | FileCheck %s 3 4define void @repro(ptr %a0, i1 %a1) nounwind { 5; CHECK-LABEL: repro: 6; CHECK: # %bb.0: 7; CHECK-NEXT: subq $24, %rsp 8; CHECK-NEXT: movb %sil, %al 9; CHECK-NEXT: movb %al, {{[-0-9]+}}(%r{{[sb]}}p) # 1-byte Spill 10; CHECK-NEXT: movq (%rdi), %rax 11; CHECK-NEXT: movq %rax, {{[-0-9]+}}(%r{{[sb]}}p) # 8-byte Spill 12; CHECK-NEXT: callq *%rax 13; CHECK-NEXT: movb {{[-0-9]+}}(%r{{[sb]}}p), %al # 1-byte Reload 14; CHECK-NEXT: testb $1, %al 15; CHECK-NEXT: jne .LBB0_1 16; CHECK-NEXT: jmp .LBB0_2 17; CHECK-NEXT: .LBB0_1: # %bb1 18; CHECK-NEXT: movq {{[-0-9]+}}(%r{{[sb]}}p), %rax # 8-byte Reload 19; CHECK-NEXT: callq *%rax 20; CHECK-NEXT: addq $24, %rsp 21; CHECK-NEXT: retq 22; CHECK-NEXT: .LBB0_2: # %bb2 23; CHECK-NEXT: addq $24, %rsp 24; CHECK-NEXT: retq 25 %tmp0 = load ptr, ptr %a0 26 call void %tmp0() 27 br i1 %a1, label %bb1, label %bb2 28 29bb1: 30 call void %tmp0() 31 ret void 32 33bb2: 34 ret void 35} 36