Skip to content

Instantly share code, notes, and snippets.

Avatar

Juneyoung Lee aqjune

View GitHub Profile
@aqjune
aqjune / bufferize-fail.mlir
Created Nov 11, 2021
bufferize-fail.mlir
View bufferize-fail.mlir
#map0 = affine_map<(d0, d1) -> (d0, d1)>
#map1 = affine_map<(d0) -> (d0)>
#map2 = affine_map<(d0, d1) -> (d0)>
module {
func @encrypt(%arg0: tensor<18x131072xi64>, %arg1: tensor<18x131072xi64>) -> tensor<18x131072xi64> {
%cst = arith.constant dense<[1, 131072]> : tensor<2xi64>
%cst_0 = arith.constant dense<1> : tensor<1xi64>
%cst_1 = arith.constant dense<131072> : tensor<1xi64>
%cst_2 = arith.constant dense<[30, 1]> : tensor<2xi64>
%c18 = arith.constant 18 : index
@aqjune
aqjune / ff_seek_frame_binary.c
Created Oct 18, 2021
A function that is in seek-preproc.c
View ff_seek_frame_binary.c
int ff_seek_frame_binary(AVFormatContext *s, int stream_index,
int64_t target_ts, int flags)
{
const AVInputFormat *const avif = s->iformat;
int64_t pos_min=pos_min, pos_max=pos_max, pos, pos_limit;
int64_t ts_min, ts_max, ts;
int index;
int64_t ret;
AVStream *st;
FFStream *sti;
View gist:0dc142cfeb7417d637a1f3682a87d7dc
int ff_seek_frame_binary(AVFormatContext *s, int stream_index,
int64_t target_ts, int flags)
{
const AVInputFormat *const avif = s->iformat;
int64_t pos_min=pos_min, pos_max=pos_max, pos, pos_limit;
int64_t ts_min, ts_max, ts;
int index;
int64_t ret;
AVStream *st;
FFStream *sti;
@aqjune
aqjune / conv2d_to_img2col_opt.mlir
Created Jun 17, 2021
conv2d_to_img2col_opt.mlir
View conv2d_to_img2col_opt.mlir
// RUN: iree-opt -split-input-file -iree-codegen-convert-conv-to-img2col %s
#map0 = affine_map<(d0, d1, d2, d3, d4, d5) -> (d0, d1 + d3, d2 + d4, d5)>
#map1 = affine_map<(d0, d1, d2, d3, d4, d5) -> (d0, d1, d2, d3, d4, d5)>
module {
func @conv_16433136(%arg0: tensor<1x16x16x4xf32>, %arg1: tensor<3x3x4x16xf32>, %arg2: tensor<1x14x14x16xf32>) -> tensor<1x14x14x16xf32> {
%0 = linalg.init_tensor [1, 14, 14, 3, 3, 4] : tensor<1x14x14x3x3x4xf32>
%1 = linalg.generic {indexing_maps = [#map0, #map1], iterator_types = ["parallel", "parallel", "parallel", "parallel", "parallel", "parallel"]} ins(%arg0 : tensor<1x16x16x4xf32>) outs(%0 : tensor<1x14x14x3x3x4xf32>) {
^bb0(%arg3: f32, %arg4: f32): // no predecessors
linalg.yield %arg3 : f32
View tellg.cpp
#include<iostream>
#include<sstream>
using namespace std;
int main() {
stringstream ss;
ss << "aa\nbb\n";
string str1;
getline(ss, str1);
cout << "str(): " << ss.str() << endl;
@aqjune
aqjune / output.txt
Created Feb 18, 2021
select-safe-bool-transforms.ll translation validation
View output.txt
----------------------------------------
define i1 @merge_logical_and_and(i1 %X, i1 %Y) {
%0:
%c = select i1 %X, i1 %Y, i1 0
%res = and i1 %X, %c
ret i1 %res
}
=>
define i1 @merge_logical_and_and(i1 %X, i1 %Y) {
View addnsw.patch
diff --git a/ir/instr.cpp b/ir/instr.cpp
index 21e015a..4d93443 100644
--- a/ir/instr.cpp
+++ b/ir/instr.cpp
@@ -367,8 +367,17 @@ StateValue BinOp::toSMT(State &s) const {
case Add:
fn = [&](auto a, auto ap, auto b, auto bp) -> StateValue {
expr non_poison = true;
- if (flags & NSW)
+ if (flags & NSW) {
@aqjune
aqjune / res.txt
Created Feb 8, 2021
list-nodiffs.sh results
View res.txt
NODIFF: ./constexpr/ret.src.ll
NODIFF: ./constexpr/shufflevector-nocopy.src.ll
NODIFF: ./unordered-bbs.src.ll
NODIFF: ./memory/calloc-undef.src.ll
ill-formed test: ./calls/fncall-noreturn2.srctgt.ll
ill-formed test: ./globals/const2.srctgt.ll
NODIFF: ./libcalls/gettimeofday.srctgt.ll
NODIFF: ./attrs/dereferenceable-shrink.srctgt.ll
ill-formed test: ./memory/glb-6.srctgt.ll
ill-formed test: ./memory/bitcast.srctgt.ll
@aqjune
aqjune / list-nodiffs.sh
Last active Feb 8, 2021
list-nodiffs.sh
View list-nodiffs.sh
tempsrc=`mktemp`
temptgt=`mktemp`
# 1. src.ll/tgt.ll tests
for i in `find . -name "*.src.ll"`; do
itgt="${i%.src.ll}.tgt.ll"
grep -v '^;' $i | awk 'NF' >$tempsrc # ignore comments and whitespaces
grep -v '^;' $itgt | awk 'NF' >$temptgt
View a.diff
diff --git a/llvm/lib/Transforms/InstCombine/InstCombineSelect.cpp b/llvm/lib/Transforms/InstCombine/InstCombineSelect.cpp
index 6a7fe9d707a2..ad4b13a52300 100644
--- a/llvm/lib/Transforms/InstCombine/InstCombineSelect.cpp
+++ b/llvm/lib/Transforms/InstCombine/InstCombineSelect.cpp
@@ -49,7 +49,7 @@ using namespace PatternMatch;
/// FIXME: Enabled by default until the pattern is supported well.
static cl::opt<bool> EnableUnsafeSelectTransform(
- "instcombine-unsafe-select-transform", cl::init(true),
+ "instcombine-unsafe-select-transform", cl::init(false),