|  | ; RUN: llc -O2 -march=hexagon < %s | FileCheck %s | 
|  |  | 
|  | ; CHECK-DAG: extractu(r{{[0-9]*}}, #3, #4) | 
|  | ; CHECK-DAG: extractu(r{{[0-9]*}}, #8, #7) | 
|  | ; CHECK-DAG: extractu(r{{[0-9]*}}, #8, #16) | 
|  |  | 
|  | ; C source: | 
|  | ; typedef struct { | 
|  | ;   unsigned x1:3; | 
|  | ;   unsigned x2:7; | 
|  | ;   unsigned x3:8; | 
|  | ;   unsigned x4:12; | 
|  | ;   unsigned x5:2; | 
|  | ; } structx_t; | 
|  | ; | 
|  | ; typedef struct { | 
|  | ;   unsigned y1:4; | 
|  | ;   unsigned y2:3; | 
|  | ;   unsigned y3:9; | 
|  | ;   unsigned y4:8; | 
|  | ;   unsigned y5:8; | 
|  | ; } structy_t; | 
|  | ; | 
|  | ; void foo(structx_t *px, structy_t *py) { | 
|  | ;   px->x1 = py->y1; | 
|  | ;   px->x2 = py->y2; | 
|  | ;   px->x3 = py->y3; | 
|  | ;   px->x4 = py->y4; | 
|  | ;   px->x5 = py->y5; | 
|  | ; } | 
|  |  | 
|  | target datalayout = "e-p:32:32:32-i64:64:64-i32:32:32-i16:16:16-i1:32:32-f64:64:64-f32:32:32-v64:64:64-v32:32:32-a0:0-n16:32" | 
|  | target triple = "hexagon" | 
|  |  | 
|  | %struct.structx_t = type { i8, i8, i8, i8 } | 
|  | %struct.structy_t = type { i8, i8, i8, i8 } | 
|  |  | 
|  | define void @foo(%struct.structx_t* nocapture %px, %struct.structy_t* nocapture %py) nounwind { | 
|  | entry: | 
|  | %0 = bitcast %struct.structy_t* %py to i32* | 
|  | %1 = load i32, i32* %0, align 4 | 
|  | %bf.value = and i32 %1, 7 | 
|  | %2 = bitcast %struct.structx_t* %px to i32* | 
|  | %3 = load i32, i32* %2, align 4 | 
|  | %4 = and i32 %3, -8 | 
|  | %5 = or i32 %4, %bf.value | 
|  | store i32 %5, i32* %2, align 4 | 
|  | %6 = load i32, i32* %0, align 4 | 
|  | %7 = lshr i32 %6, 4 | 
|  | %bf.clear1 = shl nuw nsw i32 %7, 3 | 
|  | %8 = and i32 %bf.clear1, 56 | 
|  | %9 = and i32 %5, -1017 | 
|  | %10 = or i32 %8, %9 | 
|  | store i32 %10, i32* %2, align 4 | 
|  | %11 = load i32, i32* %0, align 4 | 
|  | %12 = lshr i32 %11, 7 | 
|  | %bf.value4 = shl i32 %12, 10 | 
|  | %13 = and i32 %bf.value4, 261120 | 
|  | %14 = and i32 %10, -262081 | 
|  | %15 = or i32 %14, %13 | 
|  | store i32 %15, i32* %2, align 4 | 
|  | %16 = load i32, i32* %0, align 4 | 
|  | %17 = lshr i32 %16, 16 | 
|  | %bf.clear5 = shl i32 %17, 18 | 
|  | %18 = and i32 %bf.clear5, 66846720 | 
|  | %19 = and i32 %15, -1073480641 | 
|  | %20 = or i32 %19, %18 | 
|  | store i32 %20, i32* %2, align 4 | 
|  | %21 = load i32, i32* %0, align 4 | 
|  | %22 = lshr i32 %21, 24 | 
|  | %23 = shl i32 %22, 30 | 
|  | %24 = and i32 %20, 67107903 | 
|  | %25 = or i32 %24, %23 | 
|  | store i32 %25, i32* %2, align 4 | 
|  | ret void | 
|  | } |