similar to: [LLVMdev] C Bindings

Dear all, I would like to share a paper I co-authored with Prof. Alper Sen. This paper describes an algorithm to generate testbenches from SystemC models represented with LLVM IR. It was accepted and presented at International Conference on Hardware/Software Codesign and System Synthesis (CODES/ISSS), 2012. A link to the paper is accessible from acm or Alper's website:

Dear all, I'm happy to share a recent publication on a bounded model checker for concurrent programs represented in LLVM IR that integrates the verification framework that I'm developing: Marcelo Sousa, and Alper Sen, LLVMVF: A Generic Approach for Verification of Multicore Software. Journal of Electronic Testing: Theory and Applications, September 2013. (

Hi Bill, With the latest llvm version I'm getting the following error: opt -instnamer < core-device.c.bc > core-device.o.bc Attribute 'nobuiltin' only applies to functions! void (%struct.fw_csr_iterator*, i32*)* @fw_csr_iterator_init Broken module found, compilation aborted! 0 opt 0x0000000001914bf1 llvm::sys::PrintStackTrace(_IO_FILE*) + 38 1 opt

Hello, I'm getting an error when running opt with what seems to be a valid bytecode file compiled from one the Linux Kernel files. The error is: opt: /home/scratch/llvm/lib/IR/Attributes.cpp:119: llvm::StringRef llvm::Attribute::getKindAsString() const: Assertion `isStringAttribute() && "Invalid attribute type to get the kind as a string!"' failed. I send you in attach

I am interested in type-based verification of LLVM IR in the areas of certified compilation and software verification. It seems to me that the LLVM IR type system is rather informal in the sense that there is no paper with a proper formalization of the type rules, and for example, a proof of soundness for well-formedness of the code. I would like to know if you are aware of any work in this

Hi Marcelo, That should be fixed now at r184239. Sorry about the failure! -bw On Jun 17, 2013, at 6:16 AM, Marcelo Sousa <marceloabsousa at gmail.com> wrote: > Hello, > > I'm getting an error when running opt with what seems to be a valid bytecode file compiled from one the Linux Kernel files. > The error is: > opt: /home/scratch/llvm/lib/IR/Attributes.cpp:119:

Hello, According to the notes in [1] there was a plan to raise inline assembly blocks to the level of LLVM intrinsics or 'actual' LLVM IR. Is anyone aware of progress in this area? I'm aware that a complete solution in general is unlikely but a partial solution (that handles a subset of instructions directly mappable to the LLVM IR AST) could be very relevant. [1]

Hello, Is there a way to generate LLVM IR without constant expressions by promoting constant expressions to registers? e.g.: %tmp1 = tail call i8* @foo(i8* bitcast (i32* @x to i8*), i8* %tmp, i64 4) #1 would be converted to: %tmp1 = bitcast i32* @x to i8* %tmp2 = tail call i8* @foo(i8* %tmp1, i8* %tmp, i64 4) #1 I find quite inconvenient and redundant to maintain constant expressions when

Hi Duncan, >Hi Marcelo, > >> How can I retrieve the identifier in a alloca instruction? > >except for globals, identifier names in LLVM IR are only there to make the IR >easier to read: they are optional and can't be relied upon to exist, or to mean >anything or be "correct" if they exist. Use debug info to map things back to >variable names in the

Hello, In the following code snippet: %tmp49 = call i64 asm "movq %gs:${1:P},$0", "=r,im,,~{fpsr},~{flags}"(i64* @kernel_stack) #6, !dbg !6625, !srcloc !5841 I would expect for the inline asm call to receive two arguments because of the ${1:P} corresponding to a %P1 that will append the $1 to %%gs:. Can someone explain why there is only one argument in this call? Moreover,

On 4/3/13 8:21 AM, Marcelo Sousa wrote: > I am interested in type-based verification of LLVM IR in the areas of > certified compilation and software Can you explain what you mean by type-based verification? Do you mean that you want to use a set of typing rules to perform verification, or do you mean something else? > verification. It seems to me that the LLVM IR type system is

Hello, this is a request for assistance that I submitted earlier, this time with the dataset. My mistake for taking up bandwidth. I've also rephrased the question to address an additional concern. I'm working on a windows XP machine with R 2.8.1 1). I'd like a barchart (or other lattice type display) HSI ~ of the three factors (Region, Scenario and HydroState). However

Hello everybody, First a big thanks for tinc-vpn I am still using it next to wireguard and openvpn. I am having a setup where the tinc debian appliance is at 100% cpu load doing about 7.5MB/s. Compression = 9 PMTU = 1400 PMTUDiscovery = yes Cipher = aes-128-cbc How can I pick a cipher that is the fasted for my CPU and don't create a CPU bottleneck at 100%. Kind regards, Jelle de Jong

I would like to hear from some one who has ecb, multiple modes with ruby mode + html mode, rails mode all working together and playing well. I had ecb working with Ruby syntax highlighting. That was a no-brainer since I just had to apt-get them on my Debian Sarge box. It got a bit more comlex after I got most of the .el files in the articles http://www.emacswiki.org/cgi-bin/emacs/RubyOnRails

Hi folks, I'm playing with this version of OpenSSL: openssl-SNAP-20100804 On x86 using clang I can build it and run all tests successfully. On x86-64 using clang r110287 I get the error message below during "make test". Not sure if anyone has time to look into this but I'm probably not the right person to start debugging it... Thanks, John Regehr

Features: * Management WEBrick - start, stop * Viewing log files * Abbrev from TextMate * Switching between View/Action http://www.emacswiki.org/cgi-bin/emacs/rails.el

Hi, I'm a group of functions and I would like to create a package for load in R. I have created a directory named INE and a directory below that named R, for the files of R functions. A have created the files DESCRIPTION and INDEX in the INE directory. The installation from local zip files, in the R 2.3.0, results but to load the package I get an error like: 'INE' is not a

Hi, Currently, we have at my job a Samba 4 AD DC with 2 DC are running over Samba 4.1.11 version. I know both servers are out date. I want to update this version to the latest version (4.9.3), but I'm not confident about the process to do it. I've read on wiki.samba.org that is recommended read all release notes to version x.x.0 and all release notes the latest version you pretend update

Hello, It is possible to return the path of the current working R-file (in execution)? Thanks, Rita Sousa. [[alternative HTML version deleted]]

Join new DC (from virtual machine) https://wiki.samba.org/index.php/Joining_a_Samba_DC_to_an_Existing_Active_Directory (or 2. from 2 vm!) with bind/dhcp/.. Then demote old DC https://wiki.samba.org/index.php/Demoting_a_Samba_AD_DC and install (clean) 4.9.3, then join it again, demote vm,.. 01.12.2018 0:40, Igor Sousa via samba пишет: > I've tried use samba-tool domain backup, but the