[InstCombine] Signed saturation patterns
[llvm-complete.git] / test / CodeGen / SystemZ / combine_loads_from_build_pair.ll
blob4e76ea6caaec4d22c9423006aa87dd083caa6870
1 ; RUN: llc -verify-machineinstrs  -mtriple=s390x-linux-gnu < %s -debug -stop-after=machineverifier 2>&1 | FileCheck %s
3 ; REQUIRES: asserts
4 define i128 @func1({ i128, i8* } %struct) {
5 ; Verify that we get a combine on the build_pair, creating a LD8 load somewhere
6 ; between "Initial selection DAG" and "Optimized lowered selection DAG".
7 ; The target is big-endian, and stack grows towards higher addresses,
8 ; so we expect the LD8 to load from the address used in the original HIBITS
9 ; load.
10 ; CHECK-LABEL: Initial selection DAG:
11 ; CHECK:     [[LOBITS:t[0-9]+]]: i64,ch = load<(load 8)>
12 ; CHECK:     [[HIBITS:t[0-9]+]]: i64,ch = load<(load 8)>
13 ; CHECK: Combining: t{{[0-9]+}}: i128 = build_pair [[LOBITS]], [[HIBITS]]
14 ; CHECK-NEXT: Creating new node
15 ; CHECK-SAME: load<(load 16, align 8)>
16 ; CHECK-NEXT: into
17 ; CHECK-SAME: load<(load 16, align 8)>
18 ; CHECK-LABEL: Optimized lowered selection DAG:
19   %result = extractvalue {i128, i8* } %struct, 0
20   ret i128 %result