From 740f981cfd55604d46598144dccac26dd53f643c Mon Sep 17 00:00:00 2001
From: Andrew Waterman <waterman@s141.Millennium.Berkeley.EDU>
Date: Sun, 12 Jun 2011 20:27:10 -0700
Subject: [sim] renamed to riscv-isa-run

---
 riscv/insns/vsetvl.h | 3 ---
 1 file changed, 3 deletions(-)
 delete mode 100644 riscv/insns/vsetvl.h

(limited to 'riscv/insns/vsetvl.h')

diff --git a/riscv/insns/vsetvl.h b/riscv/insns/vsetvl.h
deleted file mode 100644
index c2212ff..0000000
--- a/riscv/insns/vsetvl.h
+++ /dev/null
@@ -1,3 +0,0 @@
-require_vector;
-setvl(RS1);
-RD = VL;
-- 
cgit v1.1