Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

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

Open
stylewarning opened this issue Apr 25, 2020 · 2 comments
Open
Labels

Comments

@stylewarning
Copy link
Member

; 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 stylewarning changed the title PPC64 broken when compining CLADIV PPC64 broken when compiling CLADIV due to a type derivation error Apr 25, 2020
@stylewarning
Copy link
Member Author

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
Copy link
Member Author

Also ZDOT*

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

No branches or pull requests

1 participant