Skip to content

Instantly share code, notes, and snippets.

View comex's full-sized avatar

comex

1.3k followers · 0 following
View GitHub Profile
@comex
comex / from X86ISelLowering.cpp
Created August 26, 2015 03:32
// LowerUINT_TO_FP_i64 - 64-bit unsigned integer to double expansion.
SDValue X86TargetLowering::LowerUINT_TO_FP_i64(SDValue Op,
SelectionDAG &DAG) const {
// This algorithm is not obvious. Here it is what we're trying to output:
/*
movq %rax, %xmm0
punpckldq (c0), %xmm0 // c0: (uint4){ 0x43300000U, 0x45300000U, 0U, 0U }
subpd (c1), %xmm0 // c1: (double2){ 0x1.0p52, 0x1.0p52 * 0x1.0p32 }
#ifdef __SSE3__
haddpd %xmm0, %xmm0
@comex
comex / ipdtest.cpp
Created April 12, 2016 01:54
#include <stdlib.h>
#include <stdio.h>
#include "OVR_CAPI.h"
int main()
{
ovrResult result = ovr_Initialize(NULL);
if (OVR_FAILURE(result)) {
ovrErrorInfo errorInfo;
ovr_GetLastErrorInfo(&errorInfo);
@comex
comex / results
Last active February 27, 2017 21:18
'dummy' is just two rdtscps in a row plus some shifting instructions generated to interpret the value.
clang-800.0.42.1:
smolset_lookup_simd: cycles=26.260086
smolset_lookup_naive_linear: cycles=34.332955
smolset_lookup_linear_unrollable: cycles=33.906475
smolset_lookup_linear_manualunroll: cycles=32.245281
smolset_lookup_binary_manualunroll: cycles=47.629102
smolset_lookup_naive_binary: cycles=41.811521
@comex
comex / foo.rs
Created April 5, 2018 05:01
// Prove that
// ∀p. ∀q. (p ∨ q)
// implies
// ∀p. ∀q. ¬(¬p ∧ ¬q)
pub fn foo(fa1: ForAll<ForAll<Or<DB2, DB3>>>) -> ForAll<ForAll<Not<And<Not<DB4>, Not<DB5>>>>> {
map!(fa1, |fa2: ForAll<_>| {
map!(fa2, |or: Or<_, _>| {
or.de_morgan()
})
})
@comex
comex / gist:3998384422fad54bcb5b89979a5115a9
Created November 28, 2018 00:33
filtered log.txt when running LustyJuggler
D, [2018-11-27T14:16:24.014704 #40147] DEBUG -- : {:_class=>Neovim::Session, :_method=>:request, :method_name=>:nvim_get_api_info, :request_id=>2, :blocking=>false, :arguments=>[]}
D, [2018-11-27T14:16:24.020182 #40147] DEBUG -- : {:_class=>Neovim::Session, :_method=>:request, :method_name=>"nvim_command", :request_id=>3, :blocking=>false, :arguments=>["au DirChanged * call rpcrequest(3, 'ruby_chdir', v:event)"]}
D, [2018-11-27T14:16:24.022228 #40147] DEBUG -- : {:_class=>Neovim::Session, :_method=>:request, :method_name=>"nvim_eval", :request_id=>4, :blocking=>false, :arguments=>["bufnr('%')"]}
D, [2018-11-27T14:16:24.022503 #40147] DEBUG -- : {:_class=>Neovim::Session, :_method=>:request, :method_name=>"nvim_get_current_buf", :request_id=>5, :blocking=>false, :arguments=>[]}
D, [2018-11-27T14:16:24.022851 #40147] DEBUG -- : {:_class=>Neovim::Session, :_method=>:request, :method_name=>"nvim_get_current_win", :request_id=>6, :blocking=>false, :arguments=>[]}
D, [2018-11-27T14:16:24.029881 #40147] DEBUG -- : {
@comex
comex / prof-41897.html
Created November 28, 2018 00:40
This file has been truncated, but you can view the full file.
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN" "http://www.w3.org/TR/html4/strict.dtd">
<html>
<head>
<style media="all" type="text/css">
table {
border-collapse: collapse;
border: 1px solid #CCC;
font-family: Verdana, Arial, Helvetica, sans-serif;
font-size: 9pt;
@comex
comex / factorial.c
Last active February 25, 2019 01:09
#include <stdint.h>
/*@ logic uint32_t factorial_logic(uint32_t n) =
@ (uint32_t)(
@ (n == 0) ? 1
@ : n * factorial_logic((uint32_t)(n - 1))
@ ); */
/*@ ensures \result == factorial_logic(n); */
static uint32_t factorial_recursive(uint32_t n) {
@comex
comex / hello.c
Created February 25, 2019 01:35
/*
source:
module Main
main : IO ()
main = putStrLn "Hello world"
*/
@comex
comex / foo.cc
Created August 28, 2019 22:50
#include <stdio.h>
#include <threads.h>
#include <stdatomic.h>
#include "librace.h"
#include "model-assert.h"
std::atomic_int x;
std::atomic_int side_channel;
std::atomic_int tests_synchronization;
@comex
comex / boop.rs
Created October 17, 2019 22:15
#[allow(non_camel_case_types)]
type pthread_t = usize;
extern {
fn pthread_testcancel();
fn pthread_self() -> pthread_t;
fn pthread_cancel(pt: pthread_t) -> i32;
}
struct NoisyDrop;
impl Drop for NoisyDrop {