search for: mikhail

...ve in the scenario). As a result, wrong floating point values are produced. The issue disappears when using llvm::CodeGenOpt::None instead of Default, but of course this is too big hammer for using as a workaround. Is it a bug, or am I missing some smart settings to prohibit reordering? Regards, Mikhail -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20140128/40725ac0/attachment.html>

On Tue, 12 Feb 2019, 14:32 Paulo Matos <pmatos at linki.tools wrote: > > > On 12 February 2019 18:59:21 CET, Mikhail Ramalho < > mikhail.ramalho at gmail.com> wrote: > >I _think_ there is a problem with the license as well: Z3 is MIT, so > >clang > >would have to be released with Z3's license. > > I don't think that's a problem. You are not releasing z3 with clang. Thi...

Hi Sanjiv, On Sun, Sep 6, 2009 at 8:07 PM, Mikhail Glushenkov<the.dead.shall.rise at gmail.com> wrote: > [...] [Sorry, the formatting was a bit off] > The following snippet gives the expected behaviour (not tested, but > you should get the idea): (case (switch_on "O0"), (append_cmd "-disable-opt"),...

OK, I've managed to do it: I was trying to push it from a build/ directory, maybe that's why the git apply was failing. Pushing the commit from the root of the repo worked. Em qua, 28 de nov de 2018 às 16:40, Mikhail Ramalho < mikhail.ramalho at gmail.com> escreveu: > Hi, > > The patch only changes one file in clang. Here's the patch: > https://reviews.llvm.org/D54974 > > Attached the log. It seems to complain about the git apply -p2. > > Maybe it's something related to ar...

Hi Sanjiv, On Sun, Sep 6, 2009 at 8:13 PM, Mikhail Glushenkov<the.dead.shall.rise at gmail.com> wrote: > Hi Sanjiv, > > On Sun, Sep 6, 2009 at 8:07 PM, Mikhail > Glushenkov<the.dead.shall.rise at gmail.com> wrote: >> [...] > > [Sorry, the formatting was a bit off] > >> The following snippet gives the exp...

...dix Carstensen has suggested that someone with both C and R knowledge might be able to develop a function to do this for R, perhaps in consultation with Homam Hosseini if converting his code to R or using his approach would be a helpful starting point. Any takers? With best wishes, Amy -- Amy Mikhail Program Manager, ACTc Afghanistan Malaria Project London School of Hygiene & Tropical Medicine HPRO, Charahi-e-Shahid, Shar-e-Naw, Kabul, Afghanistan Email (Afg): amy.mikhail@googlemail.com Email (UK): Amy.Mikhail@lshtm.ac.uk Tel (Afg): +93 (0)706 126627 Tel (UK): +44 (0)781 4176107 [[altern...

...hes-first-subprogram.ll... Checking patch test/Transforms/GCOVProfiling/three-element-mdnode.ll... Patch doesn't apply: maybe you should try `git pull -r` first? From: llvm-dev [mailto:llvm-dev-bounces at lists.llvm.org] On Behalf Of via llvm-dev Sent: Wednesday, November 28, 2018 2:39 PM To: mikhail.ramalho at gmail.com; jyknight at google.com Cc: llvm-dev at lists.llvm.org; vedant_kumar at apple.com Subject: Re: [llvm-dev] 'git llvm push' not working for me on Windows And now it's failing for me also… complaining about "no such file or directory" on a file that plainly...

Excellent, thanks! --paulr From: James Y Knight [mailto:jyknight at google.com] Sent: Thursday, November 29, 2018 12:00 PM To: Robinson, Paul Cc: Mikhail Ramalho; vedant_kumar at apple.com; llvm-dev Subject: Re: [llvm-dev] 'git llvm push' not working for me on Windows Aha! From your output I figured out what I screwed up. Sorry about the trouble... Illustration of the issue: svn checkout --depth=empty https://llvm.org/svn/llvm-project svn...

...o use scale_fill_identity to manually define the order of both the breaks and the labels. This is however unsuitable for me (at least in the unmodified form), as this is part of a script that does not know in advance how many levels there arae in f1. Is there a way round this problem? Many thanks Mikhail Spivakov Mikhail Spivakov PhD Postdoctoral Fellow EMBL/EBI Germany/UK [[alternative HTML version deleted]]

...te. That will give authors and reviewers more transparency on what's going on during the build process. For now only members of "pre-merge beta testing" [0] group are affected. As usual, please tell us if something is off. [0] https://reviews.llvm.org/project/view/78/ Kind regards, Mikhail -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20200603/84a1d158/attachment.html>

...RBuilder::CreateAlloca appears in a conditional block). Perhaps the issue can be fixed by using indirect call via 64-bit register or replicating service routines inside jitted block. Is it known issue? Repro is available on demand, just let us know in which form you'd like to get it. Regards, Mikhail -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.llvm.org/pipermail/llvm-dev/attachments/20140117/3f7e80bd/attachment.html>

...29, 2018 at 1:18 PM via llvm-dev <llvm-dev at lists.llvm.org<mailto:llvm-dev at lists.llvm.org>> wrote: Excellent, thanks! --paulr From: James Y Knight [mailto:jyknight at google.com<mailto:jyknight at google.com>] Sent: Thursday, November 29, 2018 12:00 PM To: Robinson, Paul Cc: Mikhail Ramalho; vedant_kumar at apple.com<mailto:vedant_kumar at apple.com>; llvm-dev Subject: Re: [llvm-dev] 'git llvm push' not working for me on Windows Aha! From your output I figured out what I screwed up. Sorry about the trouble... Illustration of the issue: svn checkout --depth=empt...

...nd/or text direction? Stretching the "windows" device window manually also helps, but I found that setting the parameters for the pdf device (where my scripts should print the data), such as paper="a4r" just results in a lot of empty space at both sides. Thanks for your help! Mikhail ==== Mikhail Spivakov, PhD Postdoctoral Fellow EMBL/EBI UK & Germany -- View this message in context: http://www.nabble.com/ggplo2%3A-x_discrete-labels-size-direction-tp17077479p17077479.html Sent from the R help mailing list archive at Nabble.com.

Hi MyDeveloperDay, We are using the released version of clang-format / clang-tidy (not necessarily the latest release). I think it makes sense to use most recent versions of the tools: https://github.com/google/llvm-premerge-checks/issues/196 Kind regards, Mikhail On Wed, Jun 3, 2020 at 3:40 PM MyDeveloper Day <mydeveloperday at gmail.com> wrote: > Mikhail > > Firstly let me say that I love the pre-merge checks...but I recently saw > something a little odd > > A recent change I made to clang-format failed the pre-merge checks >...

Hello! Currently, when a program built without OpenMP (-fopenmp) is trying to dlopen a library, built with the feature, the result is a crash from "bad system call": #0 0x00000008009a223c in ksem_init () from /lib/libc.so.7 #1 0x0000000800998a8f in sem_init () from /lib/libc.so.7 #2 0x00000008011a6537 in omp_get_nested () from /usr/lib/libgomp.so.1 #3

Hi Mikhail, As Brian noted, stuff like this works better in the new pass manager. Even in the old pass manager I thought it should work though. Did you initialize the pass, via `INITIALIZE_PASS_DEPENDENCY(PostDominatorTreeWrapperPass)`? Did you require it, via ` AU.addRequired<PostDominatorTreeWrapper...

Hello! I have an old Dell Latitude C800 laptop (with Pentium3 CPU in it). FreeBSD 6.3-STABLE was running fine on it, but I decided to update the machine to 9.1-STABLE. Well, neither my own custom kernel, nor even the official 9.1-RELEASE CD1 would boot... In both cases the boot process runs up to detecting uhub0, then either hangs forever or shuts off after a short while. Again, I thought I

Mikhail Glushenkov wrote: > > > 2. Is there anyway to call a C++ hook from inside actions? > > for example > > (actions (case > > (not_empty "Wl,"), (append_cmd "$CALL(Myhook)" ))) > > Not yet, this is something I'm working on right now. >...

Hi Mikhail, Thanks for your wonderful help so far. I have few more questions to ask: How do I modify the driver to pick tools from where the driver itself resides, rather than from the PATH? And how to make sure that we have same behavior on Windows as far as paths (/ Vs \) and picking up tools from the d...

We are currently implementing the backends for other solvers (you can follow the progress here: https://github.com/mikhailramalho/clang). So far we got Boolector, MathSAT and Yices ready. CVC4 should be done soon. When used to refute bugs, they all give roughly the same results: a ~5% speedup if there are refuted bugs or a ~5% slowdown if no bug is refuted. I've only tried to analyze one full project (tmux) with...