certik

program bench3
implicit none
integer :: c
c = 0
call g1(c)
call g2(c)
call g3(c)
call g4(c)
call g5(c)

certik

(TranslationUnit [(Module MaxwellEddy [] [] [(Subroutine destroy_system [(sys)] [] [(Declaration [(sys "type" [] [(Attribute intent [(inout)] [])] ())]) (Declaration [(default "type" [] [] ())])] [(Print () []) (If (FuncCallOrArray allocated [g0] []) [(Print () [])] []) (If (FuncCallOrArray allocated [eps] []) [(Print () [])] []) (If (FuncCallOrArray allocated [mu] []) [(Print () [])] []) (If (FuncCallOrArray allocated [sigma] []) [(Print () [])] []) (If (FuncCallOrArray allocated [emask] []) [(Print () [])] []) (If (FuncCallOrArray allocated [mtr1] []) [(Print () [])] []) (If (FuncCallOrArray allocated [mtr2] []) [(Print () [])] []) (If (FuncCallOrArray allocated [mtr3] []) [(Print () [])] []) (If (FuncCallOrArray allocated [w0mask] []) [(Print () [])] []) (If (FuncCallOrArray allocated [w1mask] []) [(Print () [])] []) (SubroutineCall destroy_msr_matrix [a0]) (SubroutineCall destroy_msr_matrix [a1]) (SubroutineCall destroy [ehist]) (SubroutineCall destroy [bhist]) (= sys default)] []) (Subroutine set_initial

certik

This contains the contents of https://get.haskellstack.org/stable/osx-x86_64.tar.gz

certik

#include <memory>
#include <iostream>

class objectA {
public:
   ~objectA() {
      std::cout << "A";
   }
};

certik

program exceptions
use iso_fortran_env, only: Out_of_memory
implicit none
integer :: s

block enable (Out_of_memory)
    ! Possible failure will be caught in the `handle` block
    call mysum(5, s)
    print *, s
end block

certik

program exceptions
implicit none
integer :: s, stat

try
    ! Possible failure will be caught in the `catch default` block
    call mysum(5, s)
catch default
    error stop
end try

certik

[  0%] Built target intrinsics_gen
[ 90%] Built target LLVMEnzyme-8
[100%] Running enzyme regression tests
-- Testing: 139 tests, 8 threads --
PASS: Enzyme :: Enzyme/add.ll (1 of 139)
PASS: Enzyme :: Enzyme/addOneMem.ll (2 of 139)
PASS: Enzyme :: Enzyme/augmentconst.ll (3 of 139)
PASS: Enzyme :: Enzyme/badarg.ll (4 of 139)
PASS: Enzyme :: Enzyme/badcall.ll (5 of 139)
PASS: Enzyme :: Enzyme/badcall2.ll (6 of 139)

certik

[  0%] Built target intrinsics_gen
[ 90%] Built target LLVMEnzyme-6
[100%] Running enzyme regression tests
-- Testing: 139 tests, 8 threads --
FAIL: Enzyme :: Enzyme/allocacache.ll (1 of 139)
******************** TEST 'Enzyme :: Enzyme/allocacache.ll' FAILED ********************
Script:
--
/usr/lib/llvm-6.0/bin/opt < /home/ondrej/repos/Enzyme/enzyme/test/Enzyme/allocacache.ll  -load=/home/ondrej/repos/Enzyme/enzyme/build/Enzyme/LLVMEnzyme-6.so -enzyme -enzyme_preopt=false -mem2reg -sroa -simplifycfg -instcombine -adce -S | FileCheck /home/ondrej/repos/Enzyme/enzyme/test/Enzyme/allocacache.ll
--

certik

Keybase proof

I hereby claim:

• I am certik on github.
• I am certik (https://keybase.io/certik) on keybase.
• I have a public key ASBUEfu4O4_mPskgJx7LFCL5MgvOGKaZkudxVgJ3E8mWago

To claim this, I am signing this object:

certik

certik@pn1935394:~$ julia
               _
   _       _ _(_)_     |  Documentation: https://docs.julialang.org
  (_)     | (_) (_)    |
   _ _   _| |_  __ _   |  Type "?" for help, "]?" for Pkg help.
  | | | | | | |/ _` |  |
  | | |_| | | | (_| |  |  Version 1.2.0 (2019-08-20)
 _/ |\__'_|_|_|\__'_|  |  Official https://julialang.org/ release
|__/                   |