1; RUN: llc -mtriple=s390x-linux-gnu -mcpu=z10 -verify-machineinstrs -systemz-subreg-liveness < %s | FileCheck %s
2
3; Check for successful compilation.
4; CHECK: lgfrl %r1, g_65
5
6target datalayout = "E-m:e-i1:8:16-i8:8:16-i64:64-f128:64-a:8:16-n32:64"
7target triple = "s390x-ibm-linux"
8
9@g_65 = external dso_local global i32, align 4
10
11; Function Attrs: nounwind
12define void @main(i1 %x) #0 {
13bb:
14  br label %bb1
15
16bb1:                                              ; preds = %bb
17  %tmp = load i32, i32* @g_65, align 4
18  %tmp2 = sext i32 %tmp to i64
19  %tmp3 = shl i32 %tmp, 16
20  %tmp4 = ashr exact i32 %tmp3, 16
21  %tmp5 = shl i32 %tmp4, 0
22  %tmp6 = zext i32 %tmp5 to i64
23  %tmp7 = shl i64 %tmp6, 48
24  %tmp8 = ashr exact i64 %tmp7, 48
25  br i1 undef, label %bb12, label %bb9
26
27bb9:                                              ; preds = %bb1
28  %tmp10 = select i1 %x, i64 0, i64 %tmp2
29  %tmp11 = add nsw i64 %tmp10, %tmp8
30  br label %bb12
31
32bb12:                                             ; preds = %bb9, %bb1
33  %tmp13 = phi i64 [ %tmp11, %bb9 ], [ %tmp8, %bb1 ]
34  %tmp14 = trunc i64 %tmp13 to i32
35  %tmp15 = and i32 %tmp14, 255
36  %tmp16 = shl i32 %tmp15, 0
37  %tmp17 = trunc i32 %tmp16 to i8
38  %tmp18 = icmp eq i8 %tmp17, 0
39  br i1 %tmp18, label %bb20, label %bb19
40
41bb19:                                             ; preds = %bb12
42  unreachable
43
44bb20:                                             ; preds = %bb12
45  unreachable
46}
47
48attributes #0 = { nounwind "correctly-rounded-divide-sqrt-fp-math"="false" "disable-tail-calls"="false" "less-precise-fpmad"="false" "frame-pointer"="none" "no-infs-fp-math"="false" "no-jump-tables"="false" "no-nans-fp-math"="false" "no-signed-zeros-fp-math"="false" "no-trapping-math"="false" "stack-protector-buffer-size"="8" "target-cpu"="z10" "unsafe-fp-math"="false" "use-soft-float"="false" }
49