1; RUN: llc -verify-machineinstrs  -mtriple=s390x-linux-gnu < %s -debug -stop-after=machineverifier 2>&1 | FileCheck %s
2
3; REQUIRES: asserts
4define 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
21}
22
23