Skip to content

Instantly share code, notes, and snippets.

View confused.ll
; ModuleID = 'confused.ll'
source_filename = "boke.7rcbfp3g-cgu.2"
target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128"
target triple = "x86_64-apple-macosx10.7.0"
%"alloc::vec::Vec<i32>" = type { [0 x i64], { i32*, i64 }, [0 x i64], i64, [0 x i64] }
%"alloc::vec::Vec<u8>" = type { [0 x i64], { i8*, i64 }, [0 x i64], i64, [0 x i64] }
%"unwind::libunwind::_Unwind_Exception" = type { [0 x i64], i64, [0 x i64], void (i32, %"unwind::libunwind::_Unwind_Exception"*)*, [0 x i64], [6 x i64], [0 x i64] }
%"unwind::libunwind::_Unwind_Context" = type { [0 x i8] }
View a.rs
mod private {
pub trait Super {
fn foo(self);
}
pub trait Child: Super {}
impl Super for u32 {
fn foo(self) {}
}
impl Child for u32 {}
View lol_abi.cpp
int add_example(int a, int b);
template <> struct std::call_abi<add_example> {
// caller_stub is force-inlined into everyone who calls add_example:
int &caller_stub(int a, int b) {
regs.rdi = (uint64_t)a;
regs.rsi = (uint64_t)b;
callee_stub();
return regs.rax;
}
View lol_abi.cpp
MyType my_function(int arg1, int arg2);
int add_example(int a, int b);
template <> struct std::call_abi<add_example> {
// caller_stub is force-inlined into everyone who calls add_example:
int &caller_stub(int a, int b) {
regs.rdi = (uint64_t)a;
regs.rsi = (uint64_t)b;
callee_stub();
return regs.rax;
View boop.rs
#[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 {
View foo.cc
#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;
View hello.c
/*
source:
module Main
main : IO ()
main = putStrLn "Hello world"
*/
View factorial.c
#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) {
View prof-41897.html
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;
@comex
comex / gist:3998384422fad54bcb5b89979a5115a9
Created Nov 28, 2018
filtered log.txt when running LustyJuggler
View gist:3998384422fad54bcb5b89979a5115a9
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 -- : {