From 5ca98fd98791947eba83a1ed3f2c8191ef7afa6c Mon Sep 17 00:00:00 2001 From: Dimitry Andric Date: Mon, 24 Nov 2014 09:08:18 +0000 Subject: Vendor import of llvm RELEASE_350/final tag r216957 (effectively, 3.5.0 release): https://llvm.org/svn/llvm-project/llvm/tags/RELEASE_350/final@216957 --- test/CodeGen/X86/sunkaddr-ext.ll | 26 ++++++++++++++++++++++++++ 1 file changed, 26 insertions(+) create mode 100644 test/CodeGen/X86/sunkaddr-ext.ll (limited to 'test/CodeGen/X86/sunkaddr-ext.ll') diff --git a/test/CodeGen/X86/sunkaddr-ext.ll b/test/CodeGen/X86/sunkaddr-ext.ll new file mode 100644 index 000000000000..6d238678ce30 --- /dev/null +++ b/test/CodeGen/X86/sunkaddr-ext.ll @@ -0,0 +1,26 @@ +; RUN: llc < %s | FileCheck %s + +; Test to make sure that if math that can roll over has been used we don't +; use the potential overflow as the basis for an address calculation later by +; sinking it into a different basic block. + +target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128" +target triple = "x86_64-apple-macosx10.9.0" + +; Function Attrs: nounwind ssp uwtable +define void @test_sink(i8* %arg1, i32 %arg2, i8 %arg3) #0 { + %tmp1 = add i32 -2147483648, %arg2 + %tmp2 = add i32 -2147483648, %tmp1 + %tmp3 = getelementptr i8* %arg1, i32 %arg2 + br label %bb1 + +bb1: + %tmp4 = getelementptr i8* %arg1, i32 %tmp2 + store i8 %arg3, i8* %tmp4 + ret void; +} + +; CHECK-LABEL: test_sink: +; CHECK: movslq %esi, [[TEMP:%[a-z0-9]+]] +; CHECK: movb %dl, (%rdi,[[TEMP]]) +; CHECK: retq -- cgit v1.3