Marco Borgeaud
Marco Borgeaud
Scancode
## Purpose Scancodes are a very important feature that's been asked to be implemented in SFML for a long time. It gives developers a layout independent way of reading keyboard...
This one was quite hard to reduce, even with the help of bugpoint. Hence why the snippet is not as short as I'd liked. ```llvm target datalayout = "e-p:32:32-i64:64-v16:16-v24:32-v32:32-v48:64-v96:128-v192:256-v256:256-v512:512-v1024:1024" target...
The following LLVM IR results in a crash when running `clspv` or `clspv-opt`. ```llvm target datalayout = "e-p:32:32-i64:64-v16:16-v24:32-v32:32-v48:64-v96:128-v192:256-v256:256-v512:512-v1024:1024" target triple = "spir-unknown-unknown" %TYPE = type { } define dso_local spir_kernel...
Elements not covered by the initial support we intend to upstream: - Constant expressions, cf https://github.com/google/clspv/pull/655/files#r510348777 - Additional LLVM intrinsics, cf #666 - Phi nodes, cf #686 - More complex...
The following OpenCL C code results in a crash because `foo` is not defined. ``` void foo(void); kernel void bar() { foo(); } ``` I'm not sure whether this should...
The following IR crashes clspv in clspv::ComputeStructuredOrder. It was produced while reducing another issue using bugpoint. ``` target datalayout = "e-p:32:32-i64:64-v16:16-v24:32-v32:32-v48:64-v96:128-v192:256-v256:256-v512:512-v1024:1024" target triple = "spir-unknown-unknown" define dso_local spir_kernel void @kernel()...
The [documentation](https://github.com/google/clspv/blob/master/docs/OpenCLCOnVulkan.md#vector-data-load-and-store-functions) says that vload and vstore built-in functions must not be used, yet clspv happily consumes those in my sample programs. I suspect that those are not supported under...
The following program makes Leon's ImperativeCodeElimination crash. ```scala object Dummy { case class M(var value: Int) def barM(m: M) = { m.value = m.value + 1 303 } def foo(m:...
The following program make verification crash, apparently in RecursionCountInstrumenter, but the bug might be due to some other component. ```scala /* Copyright 2009-2016 EPFL, Lausanne */ import leon.annotation.extern object Aliasing3...
This particular piece of code will trigger a postcondition violation on evaluation and an invalid verification with an empty counter example for `_main` but should not. ```scala /* Copyright 2009-2016...