Differences From Artifact [33a44ab76f]:
- File bs/llr/instruction.h — part of check-in [af650a9e95] at 2019-09-22 14:37:55 on branch trunk — Project renaming. (user: achavasse size: 4337)
To Artifact [ac7e1a6a8b]:
- File bs/llr/instruction.h — part of check-in [2628782ef2] at 2019-09-29 20:30:08 on branch trunk — Added a specific llr instruction for 'not' for the sake of constructing z3 expressions. (user: achavasse size: 4450)
| ︙ | ︙ | |||
41 42 43 44 45 46 47 48 49 50 51 52 53 54 |
Instruction( Phi&& p ) :
m_content( move( p ) )
{}
Instruction( LoadConstStr&& lcs ) :
m_content( move( lcs ) )
{}
Instruction( And&& x ) :
m_content( move( x ) )
{}
Instruction( Or&& x ) :
m_content( move( x ) )
| > > > > | 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 |
Instruction( Phi&& p ) :
m_content( move( p ) )
{}
Instruction( LoadConstStr&& lcs ) :
m_content( move( lcs ) )
{}
Instruction( Not&& x ) :
m_content( move( x ) )
{}
Instruction( And&& x ) :
m_content( move( x ) )
{}
Instruction( Or&& x ) :
m_content( move( x ) )
|
| ︙ | ︙ | |||
150 151 152 153 154 155 156 157 158 159 160 161 162 163 |
GetTemporary,
AllocVar,
GetVar,
SetVar,
Phi,
LoadConstStr,
And,
Or,
Xor,
Shl,
LShr,
AShr,
| > | 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 |
GetTemporary,
AllocVar,
GetVar,
SetVar,
Phi,
LoadConstStr,
Not,
And,
Or,
Xor,
Shl,
LShr,
AShr,
|
| ︙ | ︙ |