mirror of
				https://github.com/c64scene-ar/llvm-6502.git
				synced 2025-11-04 05:17:07 +00:00 
			
		
		
		
	Generate extract instructions (via intrinsics) before the DAG combiner folds shifts into unrecognizable forms. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@242163 91177308-0d34-0410-b5e6-96231b3b80d8
		
			
				
	
	
		
			77 lines
		
	
	
		
			2.0 KiB
		
	
	
	
		
			LLVM
		
	
	
	
	
	
			
		
		
	
	
			77 lines
		
	
	
		
			2.0 KiB
		
	
	
	
		
			LLVM
		
	
	
	
	
	
; 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
 | 
						|
}
 |