| Reid Kleckner | 9ccce99 | 2014-10-28 01:29:26 +0000 | [diff] [blame] | 1 | ; RUN: llc -mtriple=i686-pc-win32 -mattr=+sse2 < %s | FileCheck %s --check-prefix=CHECK --check-prefix=X86 |
| 2 | ; RUN: llc -mtriple=x86_64-pc-win32 < %s | FileCheck %s --check-prefix=CHECK --check-prefix=X64 |
| 3 | |
| 4 | ; Test integer arguments. |
| 5 | |
| 6 | define x86_vectorcallcc i32 @test_int_1() { |
| 7 | ret i32 0 |
| 8 | } |
| 9 | |
| 10 | ; CHECK-LABEL: {{^}}test_int_1@@0: |
| 11 | ; CHECK: xorl %eax, %eax |
| 12 | |
| 13 | define x86_vectorcallcc i32 @test_int_2(i32 inreg %a) { |
| 14 | ret i32 %a |
| 15 | } |
| 16 | |
| 17 | ; X86-LABEL: {{^}}test_int_2@@4: |
| 18 | ; X64-LABEL: {{^}}test_int_2@@8: |
| 19 | ; CHECK: movl %ecx, %eax |
| 20 | |
| 21 | define x86_vectorcallcc i32 @test_int_3(i64 inreg %a) { |
| 22 | %at = trunc i64 %a to i32 |
| 23 | ret i32 %at |
| 24 | } |
| 25 | |
| 26 | ; X86-LABEL: {{^}}test_int_3@@8: |
| 27 | ; X64-LABEL: {{^}}test_int_3@@8: |
| 28 | ; CHECK: movl %ecx, %eax |
| 29 | |
| 30 | define x86_vectorcallcc i32 @test_int_4(i32 inreg %a, i32 inreg %b) { |
| 31 | %s = add i32 %a, %b |
| 32 | ret i32 %s |
| 33 | } |
| 34 | |
| 35 | ; X86-LABEL: {{^}}test_int_4@@8: |
| 36 | ; X86: leal (%ecx,%edx), %eax |
| 37 | |
| 38 | ; X64-LABEL: {{^}}test_int_4@@16: |
| 39 | ; X64: leal (%rcx,%rdx), %eax |
| 40 | |
| 41 | define x86_vectorcallcc i32 @"\01test_int_5"(i32, i32) { |
| 42 | ret i32 0 |
| 43 | } |
| 44 | ; CHECK-LABEL: {{^}}test_int_5: |
| 45 | |
| 46 | define x86_vectorcallcc double @test_fp_1(double %a, double %b) { |
| 47 | ret double %b |
| 48 | } |
| 49 | ; CHECK-LABEL: {{^}}test_fp_1@@16: |
| 50 | ; CHECK: movaps %xmm1, %xmm0 |
| 51 | |
| 52 | define x86_vectorcallcc double @test_fp_2( |
| 53 | double, double, double, double, double, double, double %r) { |
| 54 | ret double %r |
| 55 | } |
| 56 | ; CHECK-LABEL: {{^}}test_fp_2@@56: |
| 57 | ; CHECK: movsd {{[0-9]+\(%[re]sp\)}}, %xmm0 |
| 58 | |
| 59 | define x86_vectorcallcc {double, double, double, double} @test_fp_3() { |
| 60 | ret {double, double, double, double} |
| 61 | { double 0.0, double 0.0, double 0.0, double 0.0 } |
| 62 | } |
| 63 | ; CHECK-LABEL: {{^}}test_fp_3@@0: |
| 64 | ; CHECK: xorps %xmm0 |
| 65 | ; CHECK: xorps %xmm1 |
| 66 | ; CHECK: xorps %xmm2 |
| 67 | ; CHECK: xorps %xmm3 |
| 68 | |
| 69 | ; FIXME: Returning via x87 isn't compatible, but its hard to structure the |
| 70 | ; tablegen any other way. |
| 71 | define x86_vectorcallcc {double, double, double, double, double} @test_fp_4() { |
| 72 | ret {double, double, double, double, double} |
| 73 | { double 0.0, double 0.0, double 0.0, double 0.0, double 0.0 } |
| 74 | } |
| 75 | ; CHECK-LABEL: {{^}}test_fp_4@@0: |
| 76 | ; CHECK: fldz |
| 77 | ; CHECK: xorps %xmm0 |
| 78 | ; CHECK: xorps %xmm1 |
| 79 | ; CHECK: xorps %xmm2 |
| 80 | ; CHECK: xorps %xmm3 |
| 81 | |
| 82 | define x86_vectorcallcc <16 x i8> @test_vec_1(<16 x i8> %a, <16 x i8> %b) { |
| 83 | ret <16 x i8> %b |
| 84 | } |
| 85 | ; CHECK-LABEL: {{^}}test_vec_1@@32: |
| 86 | ; CHECK: movaps %xmm1, %xmm0 |
| 87 | |
| 88 | define x86_vectorcallcc <16 x i8> @test_vec_2( |
| 89 | double, <16 x i8>, <16 x i8>, <16 x i8>, <16 x i8>, <16 x i8>, <16 x i8> %r) { |
| 90 | ret <16 x i8> %r |
| 91 | } |
| 92 | ; CHECK-LABEL: {{^}}test_vec_2@@104: |
| 93 | ; CHECK: movaps (%{{[re]}}cx), %xmm0 |