; 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)