From: Zvi Rackover <zvi.rackover@intel.com>
Date: Mon, 14 Nov 2016 18:10:44 +0000 (+0000)
Subject: [X86] Adding reproducer for pr30981
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=b0a9b661224c1ba8f00a8569245daabcccac1eea;p=llvm

[X86] Adding reproducer for pr30981

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@286855 91177308-0d34-0410-b5e6-96231b3b80d8
---

diff --git a/test/CodeGen/X86/2009-04-12-FastIselOverflowCrash.ll b/test/CodeGen/X86/2009-04-12-FastIselOverflowCrash.ll
index b1222d1c062..d88b54a7edb 100644
--- a/test/CodeGen/X86/2009-04-12-FastIselOverflowCrash.ll
+++ b/test/CodeGen/X86/2009-04-12-FastIselOverflowCrash.ll
@@ -1,5 +1,7 @@
-; RUN: llc < %s -fast-isel
 ; radr://6772169
+; RUN: llc < %s -fast-isel
+; PR30981
+; RUN: llc < %s -O0 -mcpu=x86-64 -mattr=+avx512f | FileCheck %s
 target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128"
 target triple = "x86_64-apple-darwin10"
 	%0 = type { i32, i1 }		; type %0
@@ -8,6 +10,14 @@ declare %0 @llvm.sadd.with.overflow.i32(i32, i32) nounwind
 
 define fastcc i32 @test() nounwind {
 entry:
+; CHECK-LABEL: _test:
+; CHECK:      ## BB#0:
+; CHECK-NEXT: movl    $1, %eax
+; CHECK-NEXT: addl    $0, %eax
+; CHECK-NEXT: seto    %k0
+; CHECK-NEXT: movl    %eax, -4(%rsp)          ## 4-byte Spill
+; CHECK-NEXT: kmovw   %k0, -6(%rsp)           ## 2-byte Spill
+; CHECK-NEXT: jo      LBB0_2
 	%tmp1 = call %0 @llvm.sadd.with.overflow.i32(i32 1, i32 0)
 	%tmp2 = extractvalue %0 %tmp1, 1
 	br i1 %tmp2, label %.backedge, label %BB3