search

quil-lang / magicl

Matrix Algebra proGrams In Common Lisp.
BSD 3-Clause "New" or "Revised" License
235 stars 45 forks source link

PPC64 broken when compiling CLADIV due to a type derivation error #106

Open stylewarning opened 4 years ago

stylewarning commented 4 years ago 
; compiling (CFFI:DEFCFUN ("clacrm_" %%CLACRM ...) ...)
; compiling (COMMON-LISP:DEFUN %CLACRM ...).
; compiling (CFFI:DEFCFUN ("clacrt_" %%CLACRT ...) ...)
; compiling (COMMON-LISP:DEFUN %CLACRT ...)
; compiling (CFFI:DEFCFUN ("cladiv_" %%CLADIV ...) ...)
; file: /home/robert/Source/Rigetti/magicl/src/bindings/lapack00-cffi.lisp
; in:
;      CFFI:DEFCFUN ("cladiv_" %%CLADIV :LIBRARY MAGICL.FOREIGN-LIBRARIES:LIBLAPACK)
;     (CFFI:DEFCFUN ("cladiv_" MAGICL.LAPACK-CFFI::%%CLADIV :LIBRARY
;                    MAGICL.FOREIGN-LIBRARIES:LIBLAPACK)
;         MAGICL.CFFI-TYPES:COMPLEX-SINGLE-FLOAT
;       (MAGICL.LAPACK-CFFI::X :POINTER)
;       (MAGICL.LAPACK-CFFI::Y :POINTER))
; --> PROGN DEFUN PROGN SB-IMPL::%DEFUN SB-IMPL::%DEFUN SB-INT:NAMED-LAMBDA 
; --> FUNCTION BLOCK FUNCALL SB-C::%FUNCALL THE 
; --> SB-KERNEL:%COERCE-CALLABLE-FOR-CALL THE CATCH BLOCK SB-C::%WITHIN-CLEANUP 
; --> RETURN-FROM PROGN BLOCK CFFI:FOREIGN-FUNCALL CFFI:WITH-FOREIGN-OBJECTS 
; --> CFFI:WITH-FOREIGN-OBJECT CFFI-SYS:WITH-FOREIGN-POINTER WITH-ALIEN 
; --> SYMBOL-MACROLET SYMBOL-MACROLET LET LET SB-C::RESTORING-NSP LET 
; --> SYMBOL-MACROLET LET CFFI:WITH-FOREIGN-OBJECTS CFFI:WITH-FOREIGN-OBJECT 
; --> CFFI-SYS:WITH-FOREIGN-POINTER WITH-ALIEN SYMBOL-MACROLET SYMBOL-MACROLET 
; --> LET LET SB-C::RESTORING-NSP LET SYMBOL-MACROLET LET 
; --> CFFI:WITH-FOREIGN-OBJECTS PROGN CFFI:WITH-FOREIGN-OBJECT 
; --> CFFI-SYS:WITH-FOREIGN-POINTER WITH-ALIEN SYMBOL-MACROLET SYMBOL-MACROLET 
; --> LET LET SB-C::RESTORING-NSP LET SYMBOL-MACROLET LET 
; --> CFFI:WITH-FOREIGN-OBJECT CFFI-SYS:WITH-FOREIGN-POINTER WITH-ALIEN 
; --> SYMBOL-MACROLET SYMBOL-MACROLET LET LET SB-C::RESTORING-NSP LET 
; --> SYMBOL-MACROLET LET CFFI:WITH-FOREIGN-SLOTS LET SYMBOL-MACROLET COMPLEX 
; --> REAL CFFI:FOREIGN-SLOT-VALUE CFFI:MEM-REF CFFI-SYS:%MEM-REF 
; ==>
;   (SB-SYS:SAP-REF-SINGLE #:PTR21 0)
; 
; caught COMMON-LISP:WARNING:
;   Derived type of #:PTR21 is
;     (COMMON-LISP:VALUES (COMMON-LISP:COMPLEX COMMON-LISP:SINGLE-FLOAT)
;                         COMMON-LISP:&OPTIONAL),
;   
;   conflicting with its asserted type
;     SB-SYS:SYSTEM-AREA-POINTER.
;   See also:
;     The SBCL Manual, Node "Handling of Types"

; compiling (COMMON-LISP:DEFUN %CLADIV ...).
; file: /home/robert/Source/Rigetti/magicl/src/bindings/lapack00-cffi.lisp
; in: COMMON-LISP:DEFUN %CLADIV
;     (MAGICL.LAPACK-CFFI::%%CLADIV MAGICL.LAPACK-CFFI::X-REF2872
;      MAGICL.LAPACK-CFFI::Y-REF2873)
; --> BLOCK CFFI:FOREIGN-FUNCALL CFFI:WITH-FOREIGN-OBJECTS 
; --> CFFI:WITH-FOREIGN-OBJECT CFFI-SYS:WITH-FOREIGN-POINTER WITH-ALIEN 
; --> SYMBOL-MACROLET SYMBOL-MACROLET LET LET SB-C::RESTORING-NSP LET 
; --> SYMBOL-MACROLET LET CFFI:WITH-FOREIGN-OBJECTS CFFI:WITH-FOREIGN-OBJECT 
; --> CFFI-SYS:WITH-FOREIGN-POINTER WITH-ALIEN SYMBOL-MACROLET SYMBOL-MACROLET 
; --> LET LET SB-C::RESTORING-NSP LET SYMBOL-MACROLET LET 
; --> CFFI:WITH-FOREIGN-OBJECTS PROGN CFFI:WITH-FOREIGN-OBJECT 
; --> CFFI-SYS:WITH-FOREIGN-POINTER WITH-ALIEN SYMBOL-MACROLET SYMBOL-MACROLET 
; --> LET LET SB-C::RESTORING-NSP LET SYMBOL-MACROLET LET 
; --> CFFI:WITH-FOREIGN-OBJECT CFFI-SYS:WITH-FOREIGN-POINTER WITH-ALIEN 
; --> SYMBOL-MACROLET SYMBOL-MACROLET LET LET SB-C::RESTORING-NSP LET 
; --> SYMBOL-MACROLET LET CFFI:WITH-FOREIGN-SLOTS LET SYMBOL-MACROLET COMPLEX 
; --> REAL CFFI:FOREIGN-SLOT-VALUE CFFI:MEM-REF CFFI-SYS:%MEM-REF 
; ==>
;   (SB-SYS:SAP-REF-SINGLE #:PTR49 0)
; 
; caught COMMON-LISP:WARNING:
;   Derived type of #:PTR49 is
;     (COMMON-LISP:VALUES (COMMON-LISP:COMPLEX COMMON-LISP:SINGLE-FLOAT)
;                         COMMON-LISP:&OPTIONAL),
;   
;   conflicting with its asserted type
;     SB-SYS:SYSTEM-AREA-POINTER.
;   See also:
;     The SBCL Manual, Node "Handling of Types"

; compiling (CFFI:DEFCFUN ("claed0_" %%CLAED0 ...) ...)
...
debugger invoked on a UIOP/LISP-BUILD:COMPILE-FILE-ERROR in thread
#<THREAD "main thread" RUNNING {1002C15ADC}>:
  COMPILE-FILE-ERROR while
  compiling #<CL-SOURCE-FILE "magicl" "bindings" "lapack00-cffi">

Type HELP for debugger help, or (SB-EXT:EXIT) to exit from SBCL.

restarts (invokable by number or by possibly-abbreviated name):
  0: [RETRY                        ] Retry
                                     compiling #<CL-SOURCE-FILE "magicl" "bindings" "lapack00-cffi">.
  1: [ACCEPT                       ] Continue, treating
                                     compiling #<CL-SOURCE-FILE "magicl" "bindings" "lapack00-cffi">
                                     as having been successful.
  2:                                 Retry ASDF operation.
  3: [CLEAR-CONFIGURATION-AND-RETRY] Retry ASDF operation after resetting the
                                     configuration.
  4:                                 Retry ASDF operation.
  5:                                 Retry ASDF operation after resetting the
                                     configuration.
  6: [ABORT                        ] Give up on "qvm"
  7:                                 Exit debugger, returning to top level.

(UIOP/LISP-BUILD:CHECK-LISP-COMPILE-RESULTS NIL T T "~/asdf-action::format-action/" ((#<ASDF/LISP-ACTION:COMPILE-OP > . #<ASDF/LISP-ACTION:CL-SOURCE-FILE "magicl" "bindings" "lapack00-cffi">)))
   source: (ERROR 'COMPILE-FILE-ERROR :CONTEXT-FORMAT CONTEXT-FORMAT
                  :CONTEXT-ARGUMENTS CONTEXT-ARGUMENTS)
0] 1
stylewarning commented 4 years ago

Also ZLADIV:

; compiling (CFFI:DEFCFUN ("zladiv_" %%ZLADIV ...) ...)
; file: /home/robert/Source/Rigetti/magicl/src/bindings/lapack06-cffi.lisp
; in:
;      CFFI:DEFCFUN ("zladiv_" %%ZLADIV :LIBRARY MAGICL.FOREIGN-LIBRARIES:LIBLAPACK)
;     (CFFI:DEFCFUN ("zladiv_" MAGICL.LAPACK-CFFI::%%ZLADIV :LIBRARY
;                    MAGICL.FOREIGN-LIBRARIES:LIBLAPACK)
;         MAGICL.CFFI-TYPES:COMPLEX-DOUBLE-FLOAT
;       (MAGICL.LAPACK-CFFI::X :POINTER)
;       (MAGICL.LAPACK-CFFI::Y :POINTER))
; --> PROGN DEFUN PROGN SB-IMPL::%DEFUN SB-IMPL::%DEFUN SB-INT:NAMED-LAMBDA 
; --> FUNCTION BLOCK FUNCALL SB-C::%FUNCALL THE 
; --> SB-KERNEL:%COERCE-CALLABLE-FOR-CALL THE CATCH BLOCK SB-C::%WITHIN-CLEANUP 
; --> RETURN-FROM PROGN BLOCK CFFI:FOREIGN-FUNCALL CFFI:WITH-FOREIGN-OBJECTS 
; --> CFFI:WITH-FOREIGN-OBJECT CFFI-SYS:WITH-FOREIGN-POINTER WITH-ALIEN 
; --> SYMBOL-MACROLET SYMBOL-MACROLET LET LET SB-C::RESTORING-NSP LET 
; --> SYMBOL-MACROLET LET CFFI:WITH-FOREIGN-OBJECTS CFFI:WITH-FOREIGN-OBJECT 
; --> CFFI-SYS:WITH-FOREIGN-POINTER WITH-ALIEN SYMBOL-MACROLET SYMBOL-MACROLET 
; --> LET LET SB-C::RESTORING-NSP LET SYMBOL-MACROLET LET 
; --> CFFI:WITH-FOREIGN-OBJECTS PROGN CFFI:WITH-FOREIGN-OBJECT 
; --> CFFI-SYS:WITH-FOREIGN-POINTER WITH-ALIEN SYMBOL-MACROLET SYMBOL-MACROLET 
; --> LET LET SB-C::RESTORING-NSP LET SYMBOL-MACROLET LET 
; --> CFFI:WITH-FOREIGN-OBJECT CFFI-SYS:WITH-FOREIGN-POINTER WITH-ALIEN 
; --> SYMBOL-MACROLET SYMBOL-MACROLET LET LET SB-C::RESTORING-NSP LET 
; --> SYMBOL-MACROLET LET CFFI:WITH-FOREIGN-SLOTS LET SYMBOL-MACROLET COMPLEX 
; --> REAL CFFI:FOREIGN-SLOT-VALUE CFFI:MEM-REF CFFI-SYS:%MEM-REF 
; ==>
;   (SB-SYS:SAP-REF-DOUBLE #:PTR21 0)
; 
; caught COMMON-LISP:WARNING:
;   Derived type of #:PTR21 is
;     (COMMON-LISP:VALUES (COMMON-LISP:COMPLEX COMMON-LISP:DOUBLE-FLOAT)
;                         COMMON-LISP:&OPTIONAL),
;   
;   conflicting with its asserted type
;     SB-SYS:SYSTEM-AREA-POINTER.
;   See also:
;     The SBCL Manual, Node "Handling of Types"

; compiling (COMMON-LISP:DEFUN %ZLADIV ...).
; file: /home/robert/Source/Rigetti/magicl/src/bindings/lapack06-cffi.lisp
; in: COMMON-LISP:DEFUN %ZLADIV
;     (MAGICL.LAPACK-CFFI::%%ZLADIV MAGICL.LAPACK-CFFI::X-REF20280
;      MAGICL.LAPACK-CFFI::Y-REF20281)
; --> BLOCK CFFI:FOREIGN-FUNCALL CFFI:WITH-FOREIGN-OBJECTS 
; --> CFFI:WITH-FOREIGN-OBJECT CFFI-SYS:WITH-FOREIGN-POINTER WITH-ALIEN 
; --> SYMBOL-MACROLET SYMBOL-MACROLET LET LET SB-C::RESTORING-NSP LET 
; --> SYMBOL-MACROLET LET CFFI:WITH-FOREIGN-OBJECTS CFFI:WITH-FOREIGN-OBJECT 
; --> CFFI-SYS:WITH-FOREIGN-POINTER WITH-ALIEN SYMBOL-MACROLET SYMBOL-MACROLET 
; --> LET LET SB-C::RESTORING-NSP LET SYMBOL-MACROLET LET 
; --> CFFI:WITH-FOREIGN-OBJECTS PROGN CFFI:WITH-FOREIGN-OBJECT 
; --> CFFI-SYS:WITH-FOREIGN-POINTER WITH-ALIEN SYMBOL-MACROLET SYMBOL-MACROLET 
; --> LET LET SB-C::RESTORING-NSP LET SYMBOL-MACROLET LET 
; --> CFFI:WITH-FOREIGN-OBJECT CFFI-SYS:WITH-FOREIGN-POINTER WITH-ALIEN 
; --> SYMBOL-MACROLET SYMBOL-MACROLET LET LET SB-C::RESTORING-NSP LET 
; --> SYMBOL-MACROLET LET CFFI:WITH-FOREIGN-SLOTS LET SYMBOL-MACROLET COMPLEX 
; --> REAL CFFI:FOREIGN-SLOT-VALUE CFFI:MEM-REF CFFI-SYS:%MEM-REF 
; ==>
;   (SB-SYS:SAP-REF-DOUBLE #:PTR49 0)
; 
; caught COMMON-LISP:WARNING:
;   Derived type of #:PTR49 is
;     (COMMON-LISP:VALUES (COMMON-LISP:COMPLEX COMMON-LISP:DOUBLE-FLOAT)
;                         COMMON-LISP:&OPTIONAL),
;   
;   conflicting with its asserted type
;     SB-SYS:SYSTEM-AREA-POINTER.
;   See also:
;     The SBCL Manual, Node "Handling of Types"

; compiling (CFFI:DEFCFUN ("zlaed0_" %%ZLAED0 ...) ...)
stylewarning commented 4 years ago

Also ZDOT*