[InstCombine] Signed saturation patterns
[llvm-complete.git] / test / CodeGen / SystemZ / alias-01.ll
blob45d871e79dfec24aa38737f1bd094132be7ede31
1 ; Test 32-bit ANDs in which the second operand is variable.
3 ; RUN: llc < %s -mtriple=s390x-linux-gnu | FileCheck %s
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
10   %val = load <16 x i32>, <16 x i32> *%src1, !tbaa !1
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
17 !0 = !{ !"root" }
18 !1 = !{ !"set1", !0 }
19 !2 = !{ !"set2", !0 }