| ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py |
| ; RUN: llc < %s | FileCheck %s |
| |
| target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-f80:128-n8:16:32:64-S128" |
| target triple = "x86_64-unknown-linux-gnu" |
| |
| ; https://github.com/llvm/llvm-project/issues/49509 |
| ; Stack probes must not clobber live EFLAGS. Previously, the prologue was |
| ; inserted in %bb.2, with "subq $8, %rsp" clobbering the "sets %bl" flag. |
| |
| define i32 @f(i32 %a, i32 %b) #0 { |
| ; CHECK-LABEL: f: |
| ; CHECK: # %bb.0: # %bb13.i |
| ; CHECK-NEXT: pushq %rbp |
| ; CHECK-NEXT: pushq %rbx |
| ; CHECK-NEXT: pushq %rax |
| ; CHECK-NEXT: testl %edi, %edi |
| ; CHECK-NEXT: je .LBB0_1 |
| ; CHECK-NEXT: # %bb.2: # %bb16.i |
| ; CHECK-NEXT: sets %bl |
| ; CHECK-NEXT: testl %esi, %esi |
| ; CHECK-NEXT: sets %bpl |
| ; CHECK-NEXT: xorl %eax, %eax |
| ; CHECK-NEXT: callq *%rax |
| ; CHECK-NEXT: movb $1, %al |
| ; CHECK-NEXT: testb %al, %al |
| ; CHECK-NEXT: xorb %bpl, %bl |
| ; CHECK-NEXT: testb %al, %al |
| ; CHECK-NEXT: xorb $1, %bl |
| ; CHECK-NEXT: movzbl %bl, %eax |
| ; CHECK-NEXT: jmp .LBB0_3 |
| ; CHECK-NEXT: .LBB0_1: |
| ; CHECK-NEXT: xorl %eax, %eax |
| ; CHECK-NEXT: .LBB0_3: # %exit2 |
| ; CHECK-NEXT: addq $8, %rsp |
| ; CHECK-NEXT: popq %rbx |
| ; CHECK-NEXT: popq %rbp |
| ; CHECK-NEXT: retq |
| bb13.i: |
| %0 = icmp eq i32 %a, 0 |
| br i1 %0, label %exit2, label %bb16.i |
| |
| bb16.i: ; preds = %bb13.i |
| %1 = icmp slt i32 %a, 0 |
| %2 = icmp slt i32 %b, 0 |
| %sign_z.i = xor i1 %1, %2 |
| br label %exit1 |
| |
| exit1: ; preds = %bb16.i |
| %3 = call { i64, i64 } null() |
| %4 = icmp eq i64 0, 0 |
| br i1 %4, label %bb41.i, label %bb33.i |
| |
| bb33.i: ; preds = %exit1 |
| %rcarry.not.i = icmp ult i64 0, 0 |
| br label %bb41.i |
| |
| bb41.i: ; preds = %bb33.i, %exit1 |
| br label %bb62.i |
| |
| bb62.i: ; preds = %bb41.i |
| %_109.not.i = icmp eq i8 0, 0 |
| br i1 %_109.not.i, label %bb70.i, label %bb64.i |
| |
| bb64.i: ; preds = %bb62.i |
| %5 = icmp ne i64 0, 0 |
| br label %bb70.i |
| |
| bb70.i: ; preds = %bb64.i, %bb62.i |
| %spec.select.i.i = select i1 %sign_z.i, i32 0, i32 1 |
| br label %exit2 |
| |
| exit2: ; preds = %bb70.i, %bb13.i |
| %.1.i = phi i32 [ %spec.select.i.i, %bb70.i ], [ 0, %bb13.i ] |
| ret i32 %.1.i |
| } |
| |
| define void @CSE_eflags_live(i64 %length) "probe-stack"="__chkstk_darwin" { |
| ; CHECK-LABEL: CSE_eflags_live: |
| ; CHECK: # %bb.0: # %entry |
| ; CHECK-NEXT: pushq %rbp |
| ; CHECK-NEXT: .cfi_def_cfa_offset 16 |
| ; CHECK-NEXT: .cfi_offset %rbp, -16 |
| ; CHECK-NEXT: movq %rsp, %rbp |
| ; CHECK-NEXT: .cfi_def_cfa_register %rbp |
| ; CHECK-NEXT: testq %rdi, %rdi |
| ; CHECK-NEXT: je .LBB1_2 |
| ; CHECK-NEXT: # %bb.1: # %if.end6 |
| ; CHECK-NEXT: movq $-1, %rax |
| ; CHECK-NEXT: cmovnsq %rdi, %rax |
| ; CHECK-NEXT: addq $15, %rax |
| ; CHECK-NEXT: andq $-16, %rax |
| ; CHECK-NEXT: callq __chkstk_darwin |
| ; CHECK-NEXT: subq %rax, %rsp |
| ; CHECK-NEXT: .LBB1_2: # %cleanup78 |
| ; CHECK-NEXT: movq %rbp, %rsp |
| ; CHECK-NEXT: popq %rbp |
| ; CHECK-NEXT: .cfi_def_cfa %rsp, 8 |
| ; CHECK-NEXT: retq |
| entry: |
| %cmp4 = icmp eq i64 %length, 0 |
| br i1 %cmp4, label %cleanup78, label %if.end6 |
| |
| if.end6: |
| %0 = tail call i64 @llvm.smax.i64(i64 %length, i64 -1) |
| %vla = alloca i8, i64 %0, align 16 |
| br label %cleanup78 |
| |
| cleanup78: |
| ret void |
| } |
| |
| declare i64 @llvm.smax.i64(i64, i64) |
| |
| attributes #0 = { nounwind "probe-stack"="inline-asm" } |