quil-lang/magicl

lots of compiler notes in lapack-csd

stylewarning opened this issue · 1 comments

a bit of a code smell:

; file: magicl/src/extensions/lapack/lapack-csd.lisp
; in: DEFMETHOD CSD-2X2-BASIC (MATRIX/COMPLEX-DOUBLE-FLOAT T T)
;     (ABS MAGICL-LAPACK::A1)
; 
; note: unable to
;   optimize
; due to type uncertainty:
;   The first argument is a SB-ALIEN-INTERNALS:ALIEN-VALUE, not a (SB-ALIEN:ALIEN
;                                                                  (* T)).
; 
; note: unable to optimize because: can't tell function type at compile time

;     (PHASE MAGICL-LAPACK::A1)
; 
; note: unable to
;   optimize
; due to type uncertainty:
;   The first argument is a SB-ALIEN-INTERNALS:ALIEN-VALUE, not a (SB-ALIEN:ALIEN
;                                                                  (* T)).
; 
; note: unable to optimize because: can't tell function type at compile time

;     (CIS (PHASE MAGICL-LAPACK::A1))
; 
; note: unable to
;   optimize
; due to type uncertainty:
;   The first argument is a SB-ALIEN-INTERNALS:ALIEN-VALUE, not a (SB-ALIEN:ALIEN
;                                                                  (* T)).
; 
; note: unable to optimize because: can't tell function type at compile time
; 
; note: unable to
;   optimize
; due to type uncertainty:
;   The first argument is a SB-ALIEN-INTERNALS:ALIEN-VALUE, not a (SB-ALIEN:ALIEN
;                                                                  (* T)).
; 
; note: unable to optimize because: can't tell function type at compile time

;     (ABS MAGICL-LAPACK::A2)
; 
; note: unable to
;   optimize
; due to type uncertainty:
;   The first argument is a SB-ALIEN-INTERNALS:ALIEN-VALUE, not a (SB-ALIEN:ALIEN
;                                                                  (* T)).
; 
; note: unable to optimize because: can't tell function type at compile time

;     (PHASE MAGICL-LAPACK::A2)
; 
; note: unable to
;   optimize
; due to type uncertainty:
;   The first argument is a SB-ALIEN-INTERNALS:ALIEN-VALUE, not a (SB-ALIEN:ALIEN
;                                                                  (* T)).
; 
; note: unable to optimize because: can't tell function type at compile time

;     (CIS (PHASE MAGICL-LAPACK::A2))
; 
; note: unable to
;   optimize
; due to type uncertainty:
;   The first argument is a SB-ALIEN-INTERNALS:ALIEN-VALUE, not a (SB-ALIEN:ALIEN
;                                                                  (* T)).
; 
; note: unable to optimize because: can't tell function type at compile time
; 
; note: unable to
;   optimize
; due to type uncertainty:
;   The first argument is a SB-ALIEN-INTERNALS:ALIEN-VALUE, not a (SB-ALIEN:ALIEN
;                                                                  (* T)).
; 
; note: unable to optimize because: can't tell function type at compile time

;     (ATAN MAGICL-LAPACK::S MAGICL-LAPACK::C)
; 
; note: unable to
;   optimize
; due to type uncertainty:
;   The first argument is a SB-ALIEN-INTERNALS:ALIEN-VALUE, not a (SB-ALIEN:ALIEN
;                                                                  (* T)).
; 
; note: unable to optimize because: can't tell function type at compile time

;     (CIS (PHASE MAGICL-LAPACK::A2))
; 
; note: could not stack allocate: (CIS (PHASE A2))

;     (ABS MAGICL-LAPACK::A2)
; 
; note: could not stack allocate: (ABS A2)

;     (CIS (PHASE MAGICL-LAPACK::A1))
; 
; note: could not stack allocate: (CIS (PHASE A1))

;     (ABS MAGICL-LAPACK::A1)
; 
; note: could not stack allocate: (ABS A1)
; 
; note: doing SAP to pointer coercion (cost 20), for:
;       the second argument of INIT-SLOT
; 
; note: doing float to pointer coercion (cost 13)
; 
; note: doing float to pointer coercion (cost 13)

;     (PHASE MAGICL-LAPACK::A1)
; 
; note: doing SAP to pointer coercion (cost 20), for:
;       the second argument of INIT-SLOT
; 
; note: doing float to pointer coercion (cost 13)
; 
; note: doing float to pointer coercion (cost 13)

;     (CIS (PHASE MAGICL-LAPACK::A1))
; 
; note: doing SAP to pointer coercion (cost 20), for:
;       the second argument of INIT-SLOT
; 
; note: doing SAP to pointer coercion (cost 20), for:
;       the second argument of INIT-SLOT

;     (ABS MAGICL-LAPACK::A2)
; 
; note: doing SAP to pointer coercion (cost 20), for:
;       the second argument of INIT-SLOT
; 
; note: doing float to pointer coercion (cost 13)
; 
; note: doing float to pointer coercion (cost 13)

;     (PHASE MAGICL-LAPACK::A2)
; 
; note: doing SAP to pointer coercion (cost 20), for:
;       the second argument of INIT-SLOT
; 
; note: doing float to pointer coercion (cost 13)
; 
; note: doing float to pointer coercion (cost 13)

;     (CIS (PHASE MAGICL-LAPACK::A2))
; 
; note: doing SAP to pointer coercion (cost 20), for:
;       the second argument of INIT-SLOT
; 
; note: doing SAP to pointer coercion (cost 20), for:
;       the second argument of INIT-SLOT

;     (ATAN MAGICL-LAPACK::S MAGICL-LAPACK::C)
; 
; note: doing SAP to pointer coercion (cost 20), for:
;       the second argument of INIT-SLOT

; processing (DEFMETHOD LAPACK-CSD ...)
; processing (DEFMETHOD CSD-EXTENSION ...)

Do you have any idea what are those ALEIN-VALUE thingies? I'm also encountering them when optimizing a floating-point program.