[InstCombine] Signed saturation patterns
[llvm-complete.git] / test / Transforms / InferAddressSpaces / NVPTX / bug31948.ll
blobb4e05b2e429e7cf66923cb5902c4b34d97aea050
1 ; RUN: opt -S -mtriple=nvptx64-nvidia-cuda -infer-address-spaces %s | FileCheck %s
3 target datalayout = "e-i64:64-v16:16-v32:32-n16:32:64"
5 %struct.bar = type { float, float* }
7 @var1 = local_unnamed_addr addrspace(3) externally_initialized global %struct.bar undef, align 8
9 ; CHECK-LABEL: @bug31948(
10 ; CHECK: %tmp = load float*, float* addrspace(3)* getelementptr inbounds (%struct.bar, %struct.bar addrspace(3)* @var1, i64 0, i32 1), align 8
11 ; CHECK: %tmp1 = load float, float* %tmp, align 4
12 ; CHECK: store float %conv1, float* %tmp, align 4
13 ; CHECK: store i32 32, i32 addrspace(3)* bitcast (float* addrspace(3)* getelementptr inbounds (%struct.bar, %struct.bar addrspace(3)* @var1, i64 0, i32 1) to i32 addrspace(3)*), align 4
14 define void @bug31948(float %a, float* nocapture readnone %x, float* nocapture readnone %y) local_unnamed_addr #0 {
15 entry:
16   %tmp = load float*, float** getelementptr (%struct.bar, %struct.bar* addrspacecast (%struct.bar addrspace(3)* @var1 to %struct.bar*), i64 0, i32 1), align 8
17   %tmp1 = load float, float* %tmp, align 4
18   %conv1 = fadd float %tmp1, 1.000000e+00
19   store float %conv1, float* %tmp, align 4
20   store i32 32, i32* bitcast (float** getelementptr (%struct.bar, %struct.bar* addrspacecast (%struct.bar addrspace(3)* @var1 to %struct.bar*), i64 0, i32 1) to i32*), align 4
21   ret void
24 attributes #0 = { norecurse nounwind }