equal
deleted
inserted
replaced
68 { |
68 { |
69 morekeywords={if_icmpgt,if_icmpge,iconst_m1,if_icmple} |
69 morekeywords={if_icmpgt,if_icmpge,iconst_m1,if_icmple} |
70 }[keywords] |
70 }[keywords] |
71 |
71 |
72 \lstdefinelanguage{LLVMIR}{ |
72 \lstdefinelanguage{LLVMIR}{ |
73 otherkeywords={let,in,add,mul}, |
73 otherkeywords={let,in,add,mul,KLet}, |
74 }[strings] |
74 }[strings] |
75 |
75 |
76 \newcommand{\code}[1]{{\lstinline{#1}}} |
76 \newcommand{\code}[1]{{\lstinline{#1}}} |
77 \newcommand{\instr}[1]{\mbox{\lstinline[language=JVMIS2]{#1}}} |
77 \newcommand{\instr}[1]{\mbox{\lstinline[language=JVMIS2]{#1}}} |
78 \newcommand{\pcode}[1]{\mbox{\lstset{language={},keywordstyle=\color{black}}\lstinline!#1!}} |
78 \newcommand{\pcode}[1]{\mbox{\lstset{language={},keywordstyle=\color{black}}\lstinline!#1!}} |