[InstCombine] Signed saturation tests. NFC
[llvm-complete.git] / test / Transforms / GVN / pr14166.ll
blobc65236001007574386aab8765e6325ceb6c7e4f8
1 ; RUN: opt -disable-basicaa -gvn -S < %s | FileCheck %s
2 target datalayout = "e-p:32:32:32"
3 target triple = "i386-pc-linux-gnu"
4 define <2 x i32> @test1() {
5   %v1 = alloca <2 x i32>
6   call void @anything(<2 x i32>* %v1)
7   %v2 = load <2 x i32>, <2 x i32>* %v1
8   %v3 = inttoptr <2 x i32> %v2 to <2 x i8*>
9   %v4 = bitcast <2 x i32>* %v1 to <2 x i8*>*
10   store <2 x i8*> %v3, <2 x i8*>* %v4
11   %v5 = load <2 x i32>, <2 x i32>* %v1
12   ret <2 x i32> %v5
13 ; CHECK-LABEL: @test1(
14 ; CHECK: %v1 = alloca <2 x i32>
15 ; CHECK: call void @anything(<2 x i32>* %v1)
16 ; CHECK: %v2 = load <2 x i32>, <2 x i32>* %v1
17 ; CHECK: %v3 = inttoptr <2 x i32> %v2 to <2 x i8*>
18 ; CHECK: %v4 = bitcast <2 x i32>* %v1 to <2 x i8*>*
19 ; CHECK: store <2 x i8*> %v3, <2 x i8*>* %v4
20 ; CHECK: ret <2 x i32> %v2
23 declare void @anything(<2 x i32>*)