| Richard Sandiford | 39c1ce4 | 2013-10-28 11:17:59 +0000 | [diff] [blame] | 1 | ; Test 32-bit ANDs in which the second operand is variable. |
| 2 | ; |
| Richard Sandiford | 094e609 | 2013-10-28 13:53:37 +0000 | [diff] [blame] | 3 | ; RUN: llc < %s -mtriple=s390x-linux-gnu | FileCheck %s |
| Richard Sandiford | 39c1ce4 | 2013-10-28 11:17:59 +0000 | [diff] [blame] | 4 | |
| Richard Sandiford | 39c1ce4 | 2013-10-28 11:17:59 +0000 | [diff] [blame] | 5 | ; Check that there are no spills. |
| 6 | define void @f1(<16 x i32> *%src1, <16 x float> *%dest) { |
| 7 | ; CHECK-LABEL: f1: |
| 8 | ; CHECK-NOT: %r15 |
| 9 | ; CHECK: br %r14 |
| Ulrich Weigand | 9dd23b8 | 2018-07-20 12:12:10 +0000 | [diff] [blame] | 10 | %val = load <16 x i32>, <16 x i32> *%src1, !tbaa !1 |
| Richard Sandiford | 39c1ce4 | 2013-10-28 11:17:59 +0000 | [diff] [blame] | 11 | %add = add <16 x i32> %val, %val |
| 12 | %res = bitcast <16 x i32> %add to <16 x float> |
| 13 | store <16 x float> %res, <16 x float> *%dest, !tbaa !2 |
| 14 | ret void |
| 15 | } |
| 16 | |
| Duncan P. N. Exon Smith | be7ea19 | 2014-12-15 19:07:53 +0000 | [diff] [blame] | 17 | !0 = !{ !"root" } |
| 18 | !1 = !{ !"set1", !0 } |
| 19 | !2 = !{ !"set2", !0 } |