| ; RUN: llc %s -o - -enable-shrink-wrap=true | FileCheck %s |
| ; RUN: llc %s -o - -enable-shrink-wrap=false | FileCheck %s |
| target datalayout = "e-m:x-p:32:32-i64:64-f80:32-n8:16:32-a:0:32-S32" |
| target triple = "i686-pc-windows-msvc18.0.0" |
| |
| %struct.S = type { i32 } |
| |
| ; Check that we do not use a basic block that has EFLAGS as live-in |
| ; if we need to realign the stack. |
| ; PR27531. |
| ; CHECK-LABEL: stackRealignment: |
| ; Prologue code. |
| ; CHECK: pushl |
| ; Make sure we actually perform some stack realignment. |
| ; CHECK: andl ${{[-0-9]+}}, %esp |
| ; This is the end of the entry block. |
| ; The prologue should have happened before that point because past |
| ; this point, EFLAGS is live. |
| ; CHECK: jg |
| define x86_thiscallcc void @stackRealignment(ptr %this) { |
| entry: |
| %data = alloca [1 x i32], align 4 |
| %d = alloca double, align 8 |
| %tmp1 = load i32, ptr %this, align 4 |
| %cmp = icmp sgt i32 %tmp1, 32 |
| %cond = select i1 %cmp, i32 42, i32 128 |
| store i32 %cond, ptr %data, align 4 |
| %cmp3 = icmp slt i32 %tmp1, 32 |
| br i1 %cmp3, label %cleanup, label %if.end |
| |
| if.end: ; preds = %entry |
| call x86_thiscallcc void @bar(ptr nonnull %this, ptr %data, ptr nonnull %d) |
| br label %cleanup |
| |
| cleanup: ; preds = %if.end, %entry |
| ret void |
| } |
| |
| ; Function Attrs: optsize |
| declare x86_thiscallcc void @bar(ptr, ptr, ptr) |
