[InstCombine] Signed saturation patterns
[llvm-complete.git] / test / CodeGen / X86 / h-register-addressing-64.ll
blob8d8b44ce28267dac5dc8d73a12ef615957388255
1 ; RUN: llc < %s -mtriple=x86_64-- -mattr=-bmi | FileCheck %s
3 ; Use h-register extract and zero-extend.
5 define double @foo8(double* nocapture inreg %p, i64 inreg %x) nounwind readonly {
6   %t0 = lshr i64 %x, 8
7   %t1 = and i64 %t0, 255
8   %t2 = getelementptr double, double* %p, i64 %t1
9   %t3 = load double, double* %t2, align 8
10   ret double %t3
12 ; CHECK: foo8:
13 ; CHECK: movzbl %{{[abcd]}}h, %e
15 define float @foo4(float* nocapture inreg %p, i64 inreg %x) nounwind readonly {
16   %t0 = lshr i64 %x, 8
17   %t1 = and i64 %t0, 255
18   %t2 = getelementptr float, float* %p, i64 %t1
19   %t3 = load float, float* %t2, align 8
20   ret float %t3
22 ; CHECK: foo4:
23 ; CHECK: movzbl %{{[abcd]}}h, %e
25 define i16 @foo2(i16* nocapture inreg %p, i64 inreg %x) nounwind readonly {
26   %t0 = lshr i64 %x, 8
27   %t1 = and i64 %t0, 255
28   %t2 = getelementptr i16, i16* %p, i64 %t1
29   %t3 = load i16, i16* %t2, align 8
30   ret i16 %t3
32 ; CHECK: foo2:
33 ; CHECK: movzbl %{{[abcd]}}h, %e
35 define i8 @foo1(i8* nocapture inreg %p, i64 inreg %x) nounwind readonly {
36   %t0 = lshr i64 %x, 8
37   %t1 = and i64 %t0, 255
38   %t2 = getelementptr i8, i8* %p, i64 %t1
39   %t3 = load i8, i8* %t2, align 8
40   ret i8 %t3
42 ; CHECK: foo1:
43 ; CHECK: movzbl %{{[abcd]}}h, %e
45 define i8 @bar8(i8* nocapture inreg %p, i64 inreg %x) nounwind readonly {
46   %t0 = lshr i64 %x, 5
47   %t1 = and i64 %t0, 2040
48   %t2 = getelementptr i8, i8* %p, i64 %t1
49   %t3 = load i8, i8* %t2, align 8
50   ret i8 %t3
52 ; CHECK: bar8:
53 ; CHECK: movzbl %{{[abcd]}}h, %e
55 define i8 @bar4(i8* nocapture inreg %p, i64 inreg %x) nounwind readonly {
56   %t0 = lshr i64 %x, 6
57   %t1 = and i64 %t0, 1020
58   %t2 = getelementptr i8, i8* %p, i64 %t1
59   %t3 = load i8, i8* %t2, align 8
60   ret i8 %t3
62 ; CHECK: bar4:
63 ; CHECK: movzbl %{{[abcd]}}h, %e
65 define i8 @bar2(i8* nocapture inreg %p, i64 inreg %x) nounwind readonly {
66   %t0 = lshr i64 %x, 7
67   %t1 = and i64 %t0, 510
68   %t2 = getelementptr i8, i8* %p, i64 %t1
69   %t3 = load i8, i8* %t2, align 8
70   ret i8 %t3
72 ; CHECK: bar2:
73 ; CHECK: movzbl %{{[abcd]}}h, %e
74 ; CHECK: ret