116 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py2; RUN: llc < %s | FileCheck %s3 4target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-f80:128-n8:16:32:64-S128"5target triple = "x86_64-unknown-linux-gnu"6 7; https://github.com/llvm/llvm-project/issues/495098; Stack probes must not clobber live EFLAGS. Previously, the prologue was9; inserted in %bb.2, with "subq $8, %rsp" clobbering the "sets %bl" flag.10 11define i32 @f(i32 %a, i32 %b) #0 {12; CHECK-LABEL: f:13; CHECK: # %bb.0: # %bb13.i14; CHECK-NEXT: pushq %rbp15; CHECK-NEXT: pushq %rbx16; CHECK-NEXT: pushq %rax17; CHECK-NEXT: testl %edi, %edi18; CHECK-NEXT: je .LBB0_119; CHECK-NEXT: # %bb.2: # %bb16.i20; CHECK-NEXT: sets %bl21; CHECK-NEXT: testl %esi, %esi22; CHECK-NEXT: sets %bpl23; CHECK-NEXT: xorl %eax, %eax24; CHECK-NEXT: callq *%rax25; CHECK-NEXT: movb $1, %al26; CHECK-NEXT: testb %al, %al27; CHECK-NEXT: xorb %bpl, %bl28; CHECK-NEXT: testb %al, %al29; CHECK-NEXT: xorb $1, %bl30; CHECK-NEXT: movzbl %bl, %eax31; CHECK-NEXT: jmp .LBB0_332; CHECK-NEXT: .LBB0_1:33; CHECK-NEXT: xorl %eax, %eax34; CHECK-NEXT: .LBB0_3: # %exit235; CHECK-NEXT: addq $8, %rsp36; CHECK-NEXT: popq %rbx37; CHECK-NEXT: popq %rbp38; CHECK-NEXT: retq39bb13.i:40 %0 = icmp eq i32 %a, 041 br i1 %0, label %exit2, label %bb16.i42 43bb16.i: ; preds = %bb13.i44 %1 = icmp slt i32 %a, 045 %2 = icmp slt i32 %b, 046 %sign_z.i = xor i1 %1, %247 br label %exit148 49exit1: ; preds = %bb16.i50 %3 = call { i64, i64 } null()51 %4 = icmp eq i64 0, 052 br i1 %4, label %bb41.i, label %bb33.i53 54bb33.i: ; preds = %exit155 %rcarry.not.i = icmp ult i64 0, 056 br label %bb41.i57 58bb41.i: ; preds = %bb33.i, %exit159 br label %bb62.i60 61bb62.i: ; preds = %bb41.i62 %_109.not.i = icmp eq i8 0, 063 br i1 %_109.not.i, label %bb70.i, label %bb64.i64 65bb64.i: ; preds = %bb62.i66 %5 = icmp ne i64 0, 067 br label %bb70.i68 69bb70.i: ; preds = %bb64.i, %bb62.i70 %spec.select.i.i = select i1 %sign_z.i, i32 0, i32 171 br label %exit272 73exit2: ; preds = %bb70.i, %bb13.i74 %.1.i = phi i32 [ %spec.select.i.i, %bb70.i ], [ 0, %bb13.i ]75 ret i32 %.1.i76}77 78define void @CSE_eflags_live(i64 %length) "probe-stack"="__chkstk_darwin" {79; CHECK-LABEL: CSE_eflags_live:80; CHECK: # %bb.0: # %entry81; CHECK-NEXT: pushq %rbp82; CHECK-NEXT: .cfi_def_cfa_offset 1683; CHECK-NEXT: .cfi_offset %rbp, -1684; CHECK-NEXT: movq %rsp, %rbp85; CHECK-NEXT: .cfi_def_cfa_register %rbp86; CHECK-NEXT: testq %rdi, %rdi87; CHECK-NEXT: je .LBB1_288; CHECK-NEXT: # %bb.1: # %if.end689; CHECK-NEXT: movq $-1, %rax90; CHECK-NEXT: cmovnsq %rdi, %rax91; CHECK-NEXT: addq $15, %rax92; CHECK-NEXT: andq $-16, %rax93; CHECK-NEXT: callq __chkstk_darwin94; CHECK-NEXT: subq %rax, %rsp95; CHECK-NEXT: .LBB1_2: # %cleanup7896; CHECK-NEXT: movq %rbp, %rsp97; CHECK-NEXT: popq %rbp98; CHECK-NEXT: .cfi_def_cfa %rsp, 899; CHECK-NEXT: retq100entry:101 %cmp4 = icmp eq i64 %length, 0102 br i1 %cmp4, label %cleanup78, label %if.end6103 104if.end6:105 %0 = tail call i64 @llvm.smax.i64(i64 %length, i64 -1)106 %vla = alloca i8, i64 %0, align 16107 br label %cleanup78108 109cleanup78:110 ret void111}112 113declare i64 @llvm.smax.i64(i64, i64)114 115attributes #0 = { nounwind "probe-stack"="inline-asm" }116