| NAKAMURA Takumi | 37947c6 | 2011-03-16 13:52:51 +0000 | [diff] [blame] | 1 | ; RUN: llc < %s -o - -mtriple=x86_64-linux | FileCheck %s |
| 2 | ; RUN: llc < %s -o - -mtriple=x86_64-win32 | FileCheck %s -check-prefix=WIN64 |
| Dan Gohman | 607a050 | 2009-09-09 14:22:57 +0000 | [diff] [blame] | 3 | ; PR4891 |
| 4 | |
| 5 | ; Both loads should happen before either store. |
| 6 | |
| Jakob Stoklund Olesen | 2e3e720 | 2011-06-03 22:45:21 +0000 | [diff] [blame] | 7 | ; CHECK: movl (%rdi), %[[R1:...]] |
| 8 | ; CHECK: movl (%rsi), %[[R2:...]] |
| 9 | ; CHECK: movl %[[R2]], (%rdi) |
| 10 | ; CHECK: movl %[[R1]], (%rsi) |
| Dan Gohman | 607a050 | 2009-09-09 14:22:57 +0000 | [diff] [blame] | 11 | |
| Jakob Stoklund Olesen | 2e3e720 | 2011-06-03 22:45:21 +0000 | [diff] [blame] | 12 | ; WIN64: movl (%rcx), %[[R1:...]] |
| 13 | ; WIN64: movl (%rdx), %[[R2:...]] |
| 14 | ; WIN64: movl %[[R2]], (%rcx) |
| 15 | ; WIN64: movl %[[R1]], (%rdx) |
| NAKAMURA Takumi | 37947c6 | 2011-03-16 13:52:51 +0000 | [diff] [blame] | 16 | |
| Dan Gohman | 607a050 | 2009-09-09 14:22:57 +0000 | [diff] [blame] | 17 | define void @short2_int_swap(<2 x i16>* nocapture %b, i32* nocapture %c) nounwind { |
| 18 | entry: |
| 19 | %0 = load <2 x i16>* %b, align 2 ; <<2 x i16>> [#uses=1] |
| 20 | %1 = load i32* %c, align 4 ; <i32> [#uses=1] |
| 21 | %tmp1 = bitcast i32 %1 to <2 x i16> ; <<2 x i16>> [#uses=1] |
| 22 | store <2 x i16> %tmp1, <2 x i16>* %b, align 2 |
| 23 | %tmp5 = bitcast <2 x i16> %0 to <1 x i32> ; <<1 x i32>> [#uses=1] |
| 24 | %tmp3 = extractelement <1 x i32> %tmp5, i32 0 ; <i32> [#uses=1] |
| 25 | store i32 %tmp3, i32* %c, align 4 |
| 26 | ret void |
| 27 | } |