| ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py UTC_ARGS: --version 2 |
| ; RUN: llc < %s -mtriple=sparc | FileCheck %s |
| ; RUN: llc < %s -mtriple=sparcel | FileCheck %s --check-prefix=CHECK-LE |
| ; RUN: llc < %s -mtriple=sparcv9 -mattr=+vis | FileCheck %s --check-prefix=CHECK-VIS |
| ; RUN: llc < %s -mtriple=sparcv9 -mattr=+vis,+vis3 | FileCheck %s --check-prefix=CHECK-VIS3 |
| |
| ;; Bitcast should not do a runtime conversion, but rather emit a |
| ;; constant into integer registers directly. |
| |
| define <2 x i32> @bitcast() nounwind { |
| ; CHECK-LABEL: bitcast: |
| ; CHECK: ! %bb.0: |
| ; CHECK-NEXT: sethi 1049856, %o0 |
| ; CHECK-NEXT: retl |
| ; CHECK-NEXT: mov %g0, %o1 |
| ; |
| ; CHECK-LE-LABEL: bitcast: |
| ; CHECK-LE: ! %bb.0: |
| ; CHECK-LE-NEXT: sethi 1049856, %o1 |
| ; CHECK-LE-NEXT: retl |
| ; CHECK-LE-NEXT: mov %g0, %o0 |
| ; |
| ; CHECK-VIS-LABEL: bitcast: |
| ; CHECK-VIS: ! %bb.0: |
| ; CHECK-VIS-NEXT: sethi 1049856, %o0 |
| ; CHECK-VIS-NEXT: retl |
| ; CHECK-VIS-NEXT: mov %g0, %o1 |
| ; |
| ; CHECK-VIS3-LABEL: bitcast: |
| ; CHECK-VIS3: ! %bb.0: |
| ; CHECK-VIS3-NEXT: sethi 1049856, %o0 |
| ; CHECK-VIS3-NEXT: retl |
| ; CHECK-VIS3-NEXT: mov %g0, %o1 |
| %1 = bitcast double 5.0 to <2 x i32> |
| ret <2 x i32> %1 |
| } |
| |
| ;; Same thing for a call using a double (which gets passed in integer |
| ;; registers) |
| |
| declare void @a(double) |
| define void @test_call() nounwind { |
| ; CHECK-LABEL: test_call: |
| ; CHECK: ! %bb.0: |
| ; CHECK-NEXT: save %sp, -96, %sp |
| ; CHECK-NEXT: sethi 1049856, %o0 |
| ; CHECK-NEXT: call a |
| ; CHECK-NEXT: mov %g0, %o1 |
| ; CHECK-NEXT: ret |
| ; CHECK-NEXT: restore |
| ; |
| ; CHECK-LE-LABEL: test_call: |
| ; CHECK-LE: ! %bb.0: |
| ; CHECK-LE-NEXT: save %sp, -96, %sp |
| ; CHECK-LE-NEXT: sethi 1049856, %o1 |
| ; CHECK-LE-NEXT: call a |
| ; CHECK-LE-NEXT: mov %g0, %o0 |
| ; CHECK-LE-NEXT: ret |
| ; CHECK-LE-NEXT: restore |
| ; |
| ; CHECK-VIS-LABEL: test_call: |
| ; CHECK-VIS: ! %bb.0: |
| ; CHECK-VIS-NEXT: save %sp, -176, %sp |
| ; CHECK-VIS-NEXT: sethi %h44(.LCPI1_0), %i0 |
| ; CHECK-VIS-NEXT: add %i0, %m44(.LCPI1_0), %i0 |
| ; CHECK-VIS-NEXT: sllx %i0, 12, %i0 |
| ; CHECK-VIS-NEXT: call a |
| ; CHECK-VIS-NEXT: ldd [%i0+%l44(.LCPI1_0)], %f0 |
| ; CHECK-VIS-NEXT: ret |
| ; CHECK-VIS-NEXT: restore |
| ; |
| ; CHECK-VIS3-LABEL: test_call: |
| ; CHECK-VIS3: ! %bb.0: |
| ; CHECK-VIS3-NEXT: save %sp, -176, %sp |
| ; CHECK-VIS3-NEXT: sethi %h44(.LCPI1_0), %i0 |
| ; CHECK-VIS3-NEXT: add %i0, %m44(.LCPI1_0), %i0 |
| ; CHECK-VIS3-NEXT: sllx %i0, 12, %i0 |
| ; CHECK-VIS3-NEXT: call a |
| ; CHECK-VIS3-NEXT: ldd [%i0+%l44(.LCPI1_0)], %f0 |
| ; CHECK-VIS3-NEXT: ret |
| ; CHECK-VIS3-NEXT: restore |
| call void @a(double 5.0) |
| ret void |
| } |
| |
| ;; And for a libcall emitted from the pow intrinsic. (libcall |
| ;; emission happens after SelectionDAG type legalization, so is a bit |
| ;; different than a normal function call. This was crashing before, |
| ;; due to an earlier broken workaround for this issue.) |
| |
| declare double @llvm.pow.f64(double, double) |
| define double @test_intrins_call() nounwind { |
| ; CHECK-LABEL: test_intrins_call: |
| ; CHECK: ! %bb.0: |
| ; CHECK-NEXT: save %sp, -96, %sp |
| ; CHECK-NEXT: sethi 1048576, %o0 |
| ; CHECK-NEXT: mov %g0, %o1 |
| ; CHECK-NEXT: mov %o0, %o2 |
| ; CHECK-NEXT: call pow |
| ; CHECK-NEXT: mov %g0, %o3 |
| ; CHECK-NEXT: ret |
| ; CHECK-NEXT: restore |
| ; |
| ; CHECK-LE-LABEL: test_intrins_call: |
| ; CHECK-LE: ! %bb.0: |
| ; CHECK-LE-NEXT: save %sp, -96, %sp |
| ; CHECK-LE-NEXT: sethi 1048576, %o1 |
| ; CHECK-LE-NEXT: mov %g0, %o0 |
| ; CHECK-LE-NEXT: mov %g0, %o2 |
| ; CHECK-LE-NEXT: call pow |
| ; CHECK-LE-NEXT: mov %o1, %o3 |
| ; CHECK-LE-NEXT: ret |
| ; CHECK-LE-NEXT: restore |
| ; |
| ; CHECK-VIS-LABEL: test_intrins_call: |
| ; CHECK-VIS: ! %bb.0: |
| ; CHECK-VIS-NEXT: save %sp, -176, %sp |
| ; CHECK-VIS-NEXT: sethi %h44(.LCPI2_0), %i0 |
| ; CHECK-VIS-NEXT: add %i0, %m44(.LCPI2_0), %i0 |
| ; CHECK-VIS-NEXT: sllx %i0, 12, %i0 |
| ; CHECK-VIS-NEXT: ldd [%i0+%l44(.LCPI2_0)], %f0 |
| ; CHECK-VIS-NEXT: fmovd %f0, %f2 |
| ; CHECK-VIS-NEXT: call pow |
| ; CHECK-VIS-NEXT: nop |
| ; CHECK-VIS-NEXT: ret |
| ; CHECK-VIS-NEXT: restore |
| ; |
| ; CHECK-VIS3-LABEL: test_intrins_call: |
| ; CHECK-VIS3: ! %bb.0: |
| ; CHECK-VIS3-NEXT: save %sp, -176, %sp |
| ; CHECK-VIS3-NEXT: sethi %h44(.LCPI2_0), %i0 |
| ; CHECK-VIS3-NEXT: add %i0, %m44(.LCPI2_0), %i0 |
| ; CHECK-VIS3-NEXT: sllx %i0, 12, %i0 |
| ; CHECK-VIS3-NEXT: ldd [%i0+%l44(.LCPI2_0)], %f0 |
| ; CHECK-VIS3-NEXT: fmovd %f0, %f2 |
| ; CHECK-VIS3-NEXT: call pow |
| ; CHECK-VIS3-NEXT: nop |
| ; CHECK-VIS3-NEXT: ret |
| ; CHECK-VIS3-NEXT: restore |
| %1 = call double @llvm.pow.f64(double 2.0, double 2.0) |
| ret double %1 |
| } |
| |
| ;; When we have VIS, f32/f64 zero constant should be materialized from fzero/fzeros. |
| |
| define double @pos_zero_double() nounwind { |
| ; CHECK-LABEL: pos_zero_double: |
| ; CHECK: ! %bb.0: |
| ; CHECK-NEXT: sethi %hi(.LCPI3_0), %o0 |
| ; CHECK-NEXT: retl |
| ; CHECK-NEXT: ldd [%o0+%lo(.LCPI3_0)], %f0 |
| ; |
| ; CHECK-LE-LABEL: pos_zero_double: |
| ; CHECK-LE: ! %bb.0: |
| ; CHECK-LE-NEXT: sethi %hi(.LCPI3_0), %o0 |
| ; CHECK-LE-NEXT: retl |
| ; CHECK-LE-NEXT: ldd [%o0+%lo(.LCPI3_0)], %f0 |
| ; |
| ; CHECK-VIS-LABEL: pos_zero_double: |
| ; CHECK-VIS: ! %bb.0: |
| ; CHECK-VIS-NEXT: retl |
| ; CHECK-VIS-NEXT: fzero %f0 |
| ; |
| ; CHECK-VIS3-LABEL: pos_zero_double: |
| ; CHECK-VIS3: ! %bb.0: |
| ; CHECK-VIS3-NEXT: retl |
| ; CHECK-VIS3-NEXT: fzero %f0 |
| ret double +0.0 |
| } |
| |
| define double @neg_zero_double() nounwind { |
| ; CHECK-LABEL: neg_zero_double: |
| ; CHECK: ! %bb.0: |
| ; CHECK-NEXT: sethi %hi(.LCPI4_0), %o0 |
| ; CHECK-NEXT: retl |
| ; CHECK-NEXT: ldd [%o0+%lo(.LCPI4_0)], %f0 |
| ; |
| ; CHECK-LE-LABEL: neg_zero_double: |
| ; CHECK-LE: ! %bb.0: |
| ; CHECK-LE-NEXT: sethi %hi(.LCPI4_0), %o0 |
| ; CHECK-LE-NEXT: retl |
| ; CHECK-LE-NEXT: ldd [%o0+%lo(.LCPI4_0)], %f0 |
| ; |
| ; CHECK-VIS-LABEL: neg_zero_double: |
| ; CHECK-VIS: ! %bb.0: |
| ; CHECK-VIS-NEXT: fzero %f0 |
| ; CHECK-VIS-NEXT: retl |
| ; CHECK-VIS-NEXT: fnegd %f0, %f0 |
| ; |
| ; CHECK-VIS3-LABEL: neg_zero_double: |
| ; CHECK-VIS3: ! %bb.0: |
| ; CHECK-VIS3-NEXT: fzero %f0 |
| ; CHECK-VIS3-NEXT: retl |
| ; CHECK-VIS3-NEXT: fnegd %f0, %f0 |
| ret double -0.0 |
| } |
| |
| define float @pos_zero_float() nounwind { |
| ; CHECK-LABEL: pos_zero_float: |
| ; CHECK: ! %bb.0: |
| ; CHECK-NEXT: sethi %hi(.LCPI5_0), %o0 |
| ; CHECK-NEXT: retl |
| ; CHECK-NEXT: ld [%o0+%lo(.LCPI5_0)], %f0 |
| ; |
| ; CHECK-LE-LABEL: pos_zero_float: |
| ; CHECK-LE: ! %bb.0: |
| ; CHECK-LE-NEXT: sethi %hi(.LCPI5_0), %o0 |
| ; CHECK-LE-NEXT: retl |
| ; CHECK-LE-NEXT: ld [%o0+%lo(.LCPI5_0)], %f0 |
| ; |
| ; CHECK-VIS-LABEL: pos_zero_float: |
| ; CHECK-VIS: ! %bb.0: |
| ; CHECK-VIS-NEXT: retl |
| ; CHECK-VIS-NEXT: fzeros %f0 |
| ; |
| ; CHECK-VIS3-LABEL: pos_zero_float: |
| ; CHECK-VIS3: ! %bb.0: |
| ; CHECK-VIS3-NEXT: retl |
| ; CHECK-VIS3-NEXT: fzeros %f0 |
| ret float +0.0 |
| } |
| |
| define float @neg_zero_float() nounwind { |
| ; CHECK-LABEL: neg_zero_float: |
| ; CHECK: ! %bb.0: |
| ; CHECK-NEXT: sethi %hi(.LCPI6_0), %o0 |
| ; CHECK-NEXT: retl |
| ; CHECK-NEXT: ld [%o0+%lo(.LCPI6_0)], %f0 |
| ; |
| ; CHECK-LE-LABEL: neg_zero_float: |
| ; CHECK-LE: ! %bb.0: |
| ; CHECK-LE-NEXT: sethi %hi(.LCPI6_0), %o0 |
| ; CHECK-LE-NEXT: retl |
| ; CHECK-LE-NEXT: ld [%o0+%lo(.LCPI6_0)], %f0 |
| ; |
| ; CHECK-VIS-LABEL: neg_zero_float: |
| ; CHECK-VIS: ! %bb.0: |
| ; CHECK-VIS-NEXT: fzeros %f0 |
| ; CHECK-VIS-NEXT: retl |
| ; CHECK-VIS-NEXT: fnegs %f0, %f0 |
| ; |
| ; CHECK-VIS3-LABEL: neg_zero_float: |
| ; CHECK-VIS3: ! %bb.0: |
| ; CHECK-VIS3-NEXT: fzeros %f0 |
| ; CHECK-VIS3-NEXT: retl |
| ; CHECK-VIS3-NEXT: fnegs %f0, %f0 |
| ret float -0.0 |
| } |
| |
| ;; When we have VIS3, f32/f64 +/-0.5 constant should be materialized from sethi. |
| |
| define double @pos_half_double() nounwind { |
| ; CHECK-LABEL: pos_half_double: |
| ; CHECK: ! %bb.0: |
| ; CHECK-NEXT: sethi %hi(.LCPI7_0), %o0 |
| ; CHECK-NEXT: retl |
| ; CHECK-NEXT: ldd [%o0+%lo(.LCPI7_0)], %f0 |
| ; |
| ; CHECK-LE-LABEL: pos_half_double: |
| ; CHECK-LE: ! %bb.0: |
| ; CHECK-LE-NEXT: sethi %hi(.LCPI7_0), %o0 |
| ; CHECK-LE-NEXT: retl |
| ; CHECK-LE-NEXT: ldd [%o0+%lo(.LCPI7_0)], %f0 |
| ; |
| ; CHECK-VIS-LABEL: pos_half_double: |
| ; CHECK-VIS: ! %bb.0: |
| ; CHECK-VIS-NEXT: sethi %h44(.LCPI7_0), %o0 |
| ; CHECK-VIS-NEXT: add %o0, %m44(.LCPI7_0), %o0 |
| ; CHECK-VIS-NEXT: sllx %o0, 12, %o0 |
| ; CHECK-VIS-NEXT: retl |
| ; CHECK-VIS-NEXT: ldd [%o0+%l44(.LCPI7_0)], %f0 |
| ; |
| ; CHECK-VIS3-LABEL: pos_half_double: |
| ; CHECK-VIS3: ! %bb.0: |
| ; CHECK-VIS3-NEXT: sethi 1046528, %o0 |
| ; CHECK-VIS3-NEXT: sllx %o0, 32, %o0 |
| ; CHECK-VIS3-NEXT: retl |
| ; CHECK-VIS3-NEXT: movxtod %o0, %f0 |
| ret double +0.5 |
| } |
| |
| define double @neg_half_double() nounwind { |
| ; CHECK-LABEL: neg_half_double: |
| ; CHECK: ! %bb.0: |
| ; CHECK-NEXT: sethi %hi(.LCPI8_0), %o0 |
| ; CHECK-NEXT: retl |
| ; CHECK-NEXT: ldd [%o0+%lo(.LCPI8_0)], %f0 |
| ; |
| ; CHECK-LE-LABEL: neg_half_double: |
| ; CHECK-LE: ! %bb.0: |
| ; CHECK-LE-NEXT: sethi %hi(.LCPI8_0), %o0 |
| ; CHECK-LE-NEXT: retl |
| ; CHECK-LE-NEXT: ldd [%o0+%lo(.LCPI8_0)], %f0 |
| ; |
| ; CHECK-VIS-LABEL: neg_half_double: |
| ; CHECK-VIS: ! %bb.0: |
| ; CHECK-VIS-NEXT: sethi %h44(.LCPI8_0), %o0 |
| ; CHECK-VIS-NEXT: add %o0, %m44(.LCPI8_0), %o0 |
| ; CHECK-VIS-NEXT: sllx %o0, 12, %o0 |
| ; CHECK-VIS-NEXT: retl |
| ; CHECK-VIS-NEXT: ldd [%o0+%l44(.LCPI8_0)], %f0 |
| ; |
| ; CHECK-VIS3-LABEL: neg_half_double: |
| ; CHECK-VIS3: ! %bb.0: |
| ; CHECK-VIS3-NEXT: sethi 3143680, %o0 |
| ; CHECK-VIS3-NEXT: sllx %o0, 32, %o0 |
| ; CHECK-VIS3-NEXT: retl |
| ; CHECK-VIS3-NEXT: movxtod %o0, %f0 |
| ret double -0.5 |
| } |
| |
| define float @pos_half_float() nounwind { |
| ; CHECK-LABEL: pos_half_float: |
| ; CHECK: ! %bb.0: |
| ; CHECK-NEXT: sethi %hi(.LCPI9_0), %o0 |
| ; CHECK-NEXT: retl |
| ; CHECK-NEXT: ld [%o0+%lo(.LCPI9_0)], %f0 |
| ; |
| ; CHECK-LE-LABEL: pos_half_float: |
| ; CHECK-LE: ! %bb.0: |
| ; CHECK-LE-NEXT: sethi %hi(.LCPI9_0), %o0 |
| ; CHECK-LE-NEXT: retl |
| ; CHECK-LE-NEXT: ld [%o0+%lo(.LCPI9_0)], %f0 |
| ; |
| ; CHECK-VIS-LABEL: pos_half_float: |
| ; CHECK-VIS: ! %bb.0: |
| ; CHECK-VIS-NEXT: sethi %h44(.LCPI9_0), %o0 |
| ; CHECK-VIS-NEXT: add %o0, %m44(.LCPI9_0), %o0 |
| ; CHECK-VIS-NEXT: sllx %o0, 12, %o0 |
| ; CHECK-VIS-NEXT: retl |
| ; CHECK-VIS-NEXT: ld [%o0+%l44(.LCPI9_0)], %f0 |
| ; |
| ; CHECK-VIS3-LABEL: pos_half_float: |
| ; CHECK-VIS3: ! %bb.0: |
| ; CHECK-VIS3-NEXT: sethi 1032192, %o0 |
| ; CHECK-VIS3-NEXT: retl |
| ; CHECK-VIS3-NEXT: movwtos %o0, %f0 |
| ret float +0.5 |
| } |
| |
| define float @neg_half_float() nounwind { |
| ; CHECK-LABEL: neg_half_float: |
| ; CHECK: ! %bb.0: |
| ; CHECK-NEXT: sethi %hi(.LCPI10_0), %o0 |
| ; CHECK-NEXT: retl |
| ; CHECK-NEXT: ld [%o0+%lo(.LCPI10_0)], %f0 |
| ; |
| ; CHECK-LE-LABEL: neg_half_float: |
| ; CHECK-LE: ! %bb.0: |
| ; CHECK-LE-NEXT: sethi %hi(.LCPI10_0), %o0 |
| ; CHECK-LE-NEXT: retl |
| ; CHECK-LE-NEXT: ld [%o0+%lo(.LCPI10_0)], %f0 |
| ; |
| ; CHECK-VIS-LABEL: neg_half_float: |
| ; CHECK-VIS: ! %bb.0: |
| ; CHECK-VIS-NEXT: sethi %h44(.LCPI10_0), %o0 |
| ; CHECK-VIS-NEXT: add %o0, %m44(.LCPI10_0), %o0 |
| ; CHECK-VIS-NEXT: sllx %o0, 12, %o0 |
| ; CHECK-VIS-NEXT: retl |
| ; CHECK-VIS-NEXT: ld [%o0+%l44(.LCPI10_0)], %f0 |
| ; |
| ; CHECK-VIS3-LABEL: neg_half_float: |
| ; CHECK-VIS3: ! %bb.0: |
| ; CHECK-VIS3-NEXT: sethi 3129344, %o0 |
| ; CHECK-VIS3-NEXT: retl |
| ; CHECK-VIS3-NEXT: movwtos %o0, %f0 |
| ret float -0.5 |
| } |
