Home | History | Annotate | Download | only in X86
      1 ; RUN: llc < %s -march=x86 -mattr=-bmi | FileCheck %s
      2 
      3 ; Use h-register extract and zero-extend.
      4 
      5 define double @foo8(double* nocapture inreg %p, i32 inreg %x) nounwind readonly {
      6   %t0 = lshr i32 %x, 8
      7   %t1 = and i32 %t0, 255
      8   %t2 = getelementptr double, double* %p, i32 %t1
      9   %t3 = load double, double* %t2, align 8
     10   ret double %t3
     11 }
     12 ; CHECK: foo8:
     13 ; CHECK: movzbl %{{[abcd]}}h, %e
     14 
     15 define float @foo4(float* nocapture inreg %p, i32 inreg %x) nounwind readonly {
     16   %t0 = lshr i32 %x, 8
     17   %t1 = and i32 %t0, 255
     18   %t2 = getelementptr float, float* %p, i32 %t1
     19   %t3 = load float, float* %t2, align 8
     20   ret float %t3
     21 }
     22 ; CHECK: foo4:
     23 ; CHECK: movzbl %{{[abcd]}}h, %e
     24 
     25 define i16 @foo2(i16* nocapture inreg %p, i32 inreg %x) nounwind readonly {
     26   %t0 = lshr i32 %x, 8
     27   %t1 = and i32 %t0, 255
     28   %t2 = getelementptr i16, i16* %p, i32 %t1
     29   %t3 = load i16, i16* %t2, align 8
     30   ret i16 %t3
     31 }
     32 ; CHECK: foo2:
     33 ; CHECK: movzbl %{{[abcd]}}h, %e
     34 
     35 define i8 @foo1(i8* nocapture inreg %p, i32 inreg %x) nounwind readonly {
     36   %t0 = lshr i32 %x, 8
     37   %t1 = and i32 %t0, 255
     38   %t2 = getelementptr i8, i8* %p, i32 %t1
     39   %t3 = load i8, i8* %t2, align 8
     40   ret i8 %t3
     41 }
     42 ; CHECK: foo1:
     43 ; CHECK: movzbl %{{[abcd]}}h, %e
     44 
     45 define i8 @bar8(i8* nocapture inreg %p, i32 inreg %x) nounwind readonly {
     46   %t0 = lshr i32 %x, 5
     47   %t1 = and i32 %t0, 2040
     48   %t2 = getelementptr i8, i8* %p, i32 %t1
     49   %t3 = load i8, i8* %t2, align 8
     50   ret i8 %t3
     51 }
     52 ; CHECK: bar8:
     53 ; CHECK: movzbl %{{[abcd]}}h, %e
     54 
     55 define i8 @bar4(i8* nocapture inreg %p, i32 inreg %x) nounwind readonly {
     56   %t0 = lshr i32 %x, 6
     57   %t1 = and i32 %t0, 1020
     58   %t2 = getelementptr i8, i8* %p, i32 %t1
     59   %t3 = load i8, i8* %t2, align 8
     60   ret i8 %t3
     61 }
     62 ; CHECK: bar4:
     63 ; CHECK: movzbl %{{[abcd]}}h, %e
     64 
     65 define i8 @bar2(i8* nocapture inreg %p, i32 inreg %x) nounwind readonly {
     66   %t0 = lshr i32 %x, 7
     67   %t1 = and i32 %t0, 510
     68   %t2 = getelementptr i8, i8* %p, i32 %t1
     69   %t3 = load i8, i8* %t2, align 8
     70   ret i8 %t3
     71 }
     72 ; CHECK: bar2:
     73 ; CHECK: movzbl %{{[abcd]}}h, %e
     74 ; CHECK: ret
     75