62 morestring=[b]", |
62 morestring=[b]", |
63 otherkeywords={=,!=,:=,<,>,\%;*,/}, |
63 otherkeywords={=,!=,:=,<,>,\%;*,/}, |
64 }[keywords,comments,strings] |
64 }[keywords,comments,strings] |
65 |
65 |
66 |
66 |
67 \lstdefinelanguage{JVMIS2}{ |
67 \lstdefinelanguage{JVMIS2}[]{JVMIS} |
68 morekeywords={ldc,iload,istore,ifeq,if_icmpge,if_icmpgt,iadd,goto}, |
68 { |
|
69 morekeywords={if_icmpgt,if_icmpge}, %{ldc,iload,istore,ifeq,,,goto}, |
|
70 %%morecomment=[s]{}{\:} |
69 }[keywords] |
71 }[keywords] |
70 |
72 |
71 \lstdefinelanguage{LLVMIR}{ |
73 \lstdefinelanguage{LLVMIR}{ |
72 otherkeywords={let,in,add,mul}, |
74 otherkeywords={let,in,add,mul}, |
73 }[strings] |
75 }[strings] |
74 |
76 |
75 \newcommand{\code}[1]{{\lstinline{#1}}} |
77 \newcommand{\code}[1]{{\lstinline{#1}}} |
|
78 \newcommand{\instr}[1]{\mbox{\lstinline[language=JVMIS2]{#1}}} |
76 \newcommand{\pcode}[1]{\mbox{\lstset{language={},keywordstyle=\color{black}}\lstinline!#1!}} |
79 \newcommand{\pcode}[1]{\mbox{\lstset{language={},keywordstyle=\color{black}}\lstinline!#1!}} |
77 \newcommand{\scode}[1]{\mbox{\lstset{language={},basicstyle=\ttfamily\color{codegreen}}\lstinline!#1!}} |
80 \newcommand{\scode}[1]{\mbox{\lstset{language={},basicstyle=\ttfamily\color{codegreen}}\lstinline!#1!}} |
78 \makeatother |
81 \makeatother |
79 |
82 |
80 %%\lstset{escapeinside={(*@}{@*)}} |
83 %%\lstset{escapeinside={(*@}{@*)}} |