From 1b4d2184e19c29c9ad9d7b6452ff7b4b5b1b4e13 Mon Sep 17 00:00:00 2001
From: Nirav Dave <niravd@google.com>
Date: Wed, 18 Jul 2018 18:34:52 +0000
Subject: [PATCH] [DAG] Add testcase.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@337414 91177308-0d34-0410-b5e6-96231b3b80d8
---
 test/CodeGen/X86/pr37826.ll | 67 +++++++++++++++++++++++++++++++++++++
 1 file changed, 67 insertions(+)
 create mode 100644 test/CodeGen/X86/pr37826.ll

diff --git a/test/CodeGen/X86/pr37826.ll b/test/CodeGen/X86/pr37826.ll
new file mode 100644
index 00000000000..5718b2dbdfb
--- /dev/null
+++ b/test/CodeGen/X86/pr37826.ll
@@ -0,0 +1,67 @@
+; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
+; RUN: llc -o - %s -mtriple=x86_64--unknown-linux-gnu | FileCheck %s
+
+; When compiled and run this should print zero.
+
+
+@c = common local_unnamed_addr global i32 0, align 4
+@f = common local_unnamed_addr global i32 0, align 4
+@e = common local_unnamed_addr global i32 0, align 4
+@.str.1 = private unnamed_addr constant [4 x i8] c"%d\0A\00", align 1
+
+; FIXME The generated code here is incorrect. We should only see a
+; single store to f (a bytes store to f+3).
+define void @k(i32 %l) {
+; CHECK-LABEL: k:
+; CHECK:       # %bb.0:
+; CHECK-NEXT:    movl {{.*}}(%rip), %eax
+; CHECK-NEXT:    movl %eax, %ecx
+; CHECK-NEXT:    andl $2097151, %ecx # imm = 0x1FFFFF
+; CHECK-NEXT:    xorl {{.*}}(%rip), %ecx
+; CHECK-NEXT:    xorl $2097151, %ecx # imm = 0x1FFFFF
+; CHECK-NEXT:    andl $-16777216, %eax # imm = 0xFF000000
+; CHECK-NEXT:    orl %ecx, %eax
+; CHECK-NEXT:    movl %eax, {{.*}}(%rip)
+; CHECK-NEXT:    shrl $24, %eax
+; CHECK-NEXT:    movb %al, f+{{.*}}(%rip)
+; CHECK-NEXT:    retq
+  %load = load i32, i32* @c, align 4
+  %load6 = load i32, i32* @f, align 4
+  %clear7 = and i32 %load6, 16777215
+  store i32 %clear7, i32* @c, align 4
+  %neg = and i32 %load6, 2097151
+  %value = xor i32 %neg, 2097151
+  store i32 %load, i32* @c, align 4
+  %t0 = load i32, i32* @e, align 4
+  %value15 = xor i32 %t0, %value
+  %clear16 = and i32 %load6, -16777216
+  %set17 = or i32 %value15, %clear16
+  store i32 %set17, i32* @f, align 4
+  %clear25 = and i32 %set17, -16777216
+  %set26 = or i32 %clear25, %clear7
+  store i32 %set26, i32* @f, align 4
+  ret void
+}
+
+declare i32 @printf(i8* nocapture readonly, ...)
+
+define i32 @main() {
+; CHECK-LABEL: main:
+; CHECK:       # %bb.0:
+; CHECK-NEXT:    pushq %rax
+; CHECK-NEXT:    .cfi_def_cfa_offset 16
+; CHECK-NEXT:    movl $1, %edi
+; CHECK-NEXT:    callq k
+; CHECK-NEXT:    movl {{.*}}(%rip), %esi
+; CHECK-NEXT:    movl $.L.str.1, %edi
+; CHECK-NEXT:    xorl %eax, %eax
+; CHECK-NEXT:    callq printf
+; CHECK-NEXT:    xorl %eax, %eax
+; CHECK-NEXT:    popq %rcx
+; CHECK-NEXT:    .cfi_def_cfa_offset 8
+; CHECK-NEXT:    retq
+  tail call void @k(i32 1)
+  %load = load i32, i32* @f, align 4
+  %call = tail call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str.1, i64 0, i64 0), i32 %load)
+  ret i32 0
+}
-- 
2.50.1