hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-23 15:55:18 +02:00
Code Issues Packages Projects Releases Wiki Activity

C++: Only ignore constant folding for certain binary operations.

Browse Source
This commit is contained in:
Mathias Vorreiter Pedersen
2024-03-19 13:17:49 +00:00
parent a97891cbc1
commit a88d8b260d
6 changed files with 268 additions and 317 deletions
Download Patch File Download Diff File Expand all files Collapse all files

24
cpp/ql/lib/semmle/code/cpp/ir/implementation/raw/internal/TranslatedElement.qll
View File

@@ -40,15 +40,25 @@ IRTempVariable getIRTempVariable(Locatable ast, TempVariableTag tag) {
result.getTag() = tag
}
/** Gets an operand of `binOp`. */
private Expr getAnOperand(BinaryOperation binOp) { result = binOp.getAnOperand() }
/** Gets an operand of `op`. */
private Expr getAnOperand(Operation op) { result = op.getAnOperand() }
/**
* Gets the number of nested operands of `binOp`. For example,
* Gets the number of nested operands of `op`. For example,
* `getNumberOfNestedBinaryOperands((1 + 2) + 3))` is `3`.
*/
private int getNumberOfNestedBinaryOperands(BinaryOperation binOp) {
result = count(getAnOperand*(binOp))
private int getNumberOfNestedBinaryOperands(Operation op) { result = count(getAnOperand*(op)) }
/**
* Holds if `op` should not be translated to a `ConstantInstruction` as part of
* IR generation, even if the value of `op` is constant.
*/
private predicate ignoreConstantValue(Operation op) {
op instanceof BitwiseAndExpr
or
op instanceof BitwiseOrExpr
or
op instanceof BitwiseXorExpr
}
/**
@@ -58,14 +68,14 @@ private int getNumberOfNestedBinaryOperands(BinaryOperation binOp) {
*/
predicate isIRConstant(Expr expr) {
exists(expr.getValue()) and
// We avoid constant folding binary operations since it's often useful to
// We avoid constant folding certain operations since it's often useful to
// mark one of those as a source in dataflow, and if the operation is
// constant folded it's not possible to mark its operands as a source (or
// sink).
// But to avoid creating an outrageous amount of IR from very large
// constant expressions we fall back to constant folding if the operation
// has more than 50 operands (i.e., 1 + 2 + 3 + 4 + ... + 50)
if expr instanceof BinaryOperation then getNumberOfNestedBinaryOperands(expr) > 50 else any()
if ignoreConstantValue(expr) then getNumberOfNestedBinaryOperands(expr) > 50 else any()
}
// Pulled out for performance. See

386
cpp/ql/test/library-tests/ir/ir/PrintAST.expected
View File

@@ -18674,45 +18674,45 @@ ir.cpp:
# 2381| <params>:
# 2381| getEntryPoint(): [BlockStmt] { ... }
# 2382| getStmt(0): [ReturnStmt] return ...
# 2382| getExpr(): [AddExpr] ... + ...
# 2382| getExpr(): [BitwiseXorExpr] ... ^ ...
# 2382| Type = [IntType] int
# 2382| Value = [AddExpr] 2
# 2382| Value = [BitwiseXorExpr] 3
# 2382| ValueCategory = prvalue
# 2382| getLeftOperand(): [Literal] 1
# 2382| Type = [IntType] int
# 2382| Value = [Literal] 1
# 2382| ValueCategory = prvalue
# 2382| getRightOperand(): [Literal] 1
# 2382| getRightOperand(): [Literal] 2
# 2382| Type = [IntType] int
# 2382| Value = [Literal] 1
# 2382| Value = [Literal] 2
# 2382| ValueCategory = prvalue
# 2392| [TopLevelFunction] int large_operation_should_be_constant_folded()
# 2392| <params>:
# 2392| getEntryPoint(): [BlockStmt] { ... }
# 2393| getStmt(0): [ReturnStmt] return ...
# 2393| getExpr(): [AddExpr] ... + ...
# 2393| getExpr(): [BitwiseXorExpr] ... ^ ...
# 2393| Type = [IntType] int
# 2393| Value = [AddExpr] 64
# 2393| Value = [BitwiseXorExpr] 0
# 2393| ValueCategory = prvalue
# 2393| getLeftOperand(): [AddExpr] ... + ...
# 2393| getLeftOperand(): [BitwiseXorExpr] ... ^ ...
# 2393| Type = [IntType] int
# 2393| Value = [AddExpr] 32
# 2393| Value = [BitwiseXorExpr] 0
# 2393| ValueCategory = prvalue
# 2393| getLeftOperand(): [AddExpr] ... + ...
# 2393| getLeftOperand(): [BitwiseXorExpr] ... ^ ...
# 2393| Type = [IntType] int
# 2393| Value = [AddExpr] 16
# 2393| Value = [BitwiseXorExpr] 0
# 2393| ValueCategory = prvalue
# 2393| getLeftOperand(): [AddExpr] ... + ...
# 2393| getLeftOperand(): [BitwiseXorExpr] ... ^ ...
# 2393| Type = [IntType] int
# 2393| Value = [AddExpr] 8
# 2393| Value = [BitwiseXorExpr] 0
# 2393| ValueCategory = prvalue
# 2393| getLeftOperand(): [AddExpr] ... + ...
# 2393| getLeftOperand(): [BitwiseXorExpr] ... ^ ...
# 2393| Type = [IntType] int
# 2393| Value = [AddExpr] 4
# 2393| Value = [BitwiseXorExpr] 0
# 2393| ValueCategory = prvalue
# 2393| getLeftOperand(): [AddExpr] ... + ...
# 2393| getLeftOperand(): [BitwiseXorExpr] ... ^ ...
# 2393| Type = [IntType] int
# 2393| Value = [AddExpr] 2
# 2393| Value = [BitwiseXorExpr] 0
# 2393| ValueCategory = prvalue
# 2393| getLeftOperand(): [Literal] 1
# 2393| Type = [IntType] int
@@ -18722,9 +18722,9 @@ ir.cpp:
# 2393| Type = [IntType] int
# 2393| Value = [Literal] 1
# 2393| ValueCategory = prvalue
# 2393| getRightOperand(): [AddExpr] ... + ...
# 2393| getRightOperand(): [BitwiseXorExpr] ... ^ ...
# 2393| Type = [IntType] int
# 2393| Value = [AddExpr] 2
# 2393| Value = [BitwiseXorExpr] 0
# 2393| ValueCategory = prvalue
# 2393| getLeftOperand(): [Literal] 1
# 2393| Type = [IntType] int
@@ -18736,19 +18736,19 @@ ir.cpp:
# 2393| ValueCategory = prvalue
# 2393| getLeftOperand().getFullyConverted(): [ParenthesisExpr] (...)
# 2393| Type = [IntType] int
# 2393| Value = [ParenthesisExpr] 2
# 2393| Value = [ParenthesisExpr] 0
# 2393| ValueCategory = prvalue
# 2393| getRightOperand().getFullyConverted(): [ParenthesisExpr] (...)
# 2393| Type = [IntType] int
# 2393| Value = [ParenthesisExpr] 2
# 2393| Value = [ParenthesisExpr] 0
# 2393| ValueCategory = prvalue
# 2393| getRightOperand(): [AddExpr] ... + ...
# 2393| getRightOperand(): [BitwiseXorExpr] ... ^ ...
# 2393| Type = [IntType] int
# 2393| Value = [AddExpr] 4
# 2393| Value = [BitwiseXorExpr] 0
# 2393| ValueCategory = prvalue
# 2393| getLeftOperand(): [AddExpr] ... + ...
# 2393| getLeftOperand(): [BitwiseXorExpr] ... ^ ...
# 2393| Type = [IntType] int
# 2393| Value = [AddExpr] 2
# 2393| Value = [BitwiseXorExpr] 0
# 2393| ValueCategory = prvalue
# 2393| getLeftOperand(): [Literal] 1
# 2393| Type = [IntType] int
@@ -18758,9 +18758,9 @@ ir.cpp:
# 2393| Type = [IntType] int
# 2393| Value = [Literal] 1
# 2393| ValueCategory = prvalue
# 2393| getRightOperand(): [AddExpr] ... + ...
# 2393| getRightOperand(): [BitwiseXorExpr] ... ^ ...
# 2393| Type = [IntType] int
# 2393| Value = [AddExpr] 2
# 2393| Value = [BitwiseXorExpr] 0
# 2393| ValueCategory = prvalue
# 2393| getLeftOperand(): [Literal] 1
# 2393| Type = [IntType] int
@@ -18772,31 +18772,31 @@ ir.cpp:
# 2393| ValueCategory = prvalue
# 2393| getLeftOperand().getFullyConverted(): [ParenthesisExpr] (...)
# 2393| Type = [IntType] int
# 2393| Value = [ParenthesisExpr] 2
# 2393| Value = [ParenthesisExpr] 0
# 2393| ValueCategory = prvalue
# 2393| getRightOperand().getFullyConverted(): [ParenthesisExpr] (...)
# 2393| Type = [IntType] int
# 2393| Value = [ParenthesisExpr] 2
# 2393| Value = [ParenthesisExpr] 0
# 2393| ValueCategory = prvalue
# 2393| getLeftOperand().getFullyConverted(): [ParenthesisExpr] (...)
# 2393| Type = [IntType] int
# 2393| Value = [ParenthesisExpr] 4
# 2393| Value = [ParenthesisExpr] 0
# 2393| ValueCategory = prvalue
# 2393| getRightOperand().getFullyConverted(): [ParenthesisExpr] (...)
# 2393| Type = [IntType] int
# 2393| Value = [ParenthesisExpr] 4
# 2393| Value = [ParenthesisExpr] 0
# 2393| ValueCategory = prvalue
# 2393| getRightOperand(): [AddExpr] ... + ...
# 2393| getRightOperand(): [BitwiseXorExpr] ... ^ ...
# 2393| Type = [IntType] int
# 2393| Value = [AddExpr] 8
# 2393| Value = [BitwiseXorExpr] 0
# 2393| ValueCategory = prvalue
# 2393| getLeftOperand(): [AddExpr] ... + ...
# 2393| getLeftOperand(): [BitwiseXorExpr] ... ^ ...
# 2393| Type = [IntType] int
# 2393| Value = [AddExpr] 4
# 2393| Value = [BitwiseXorExpr] 0
# 2393| ValueCategory = prvalue
# 2393| getLeftOperand(): [AddExpr] ... + ...
# 2393| getLeftOperand(): [BitwiseXorExpr] ... ^ ...
# 2393| Type = [IntType] int
# 2393| Value = [AddExpr] 2
# 2393| Value = [BitwiseXorExpr] 0
# 2393| ValueCategory = prvalue
# 2393| getLeftOperand(): [Literal] 1
# 2393| Type = [IntType] int
@@ -18806,9 +18806,9 @@ ir.cpp:
# 2393| Type = [IntType] int
# 2393| Value = [Literal] 1
# 2393| ValueCategory = prvalue
# 2393| getRightOperand(): [AddExpr] ... + ...
# 2393| getRightOperand(): [BitwiseXorExpr] ... ^ ...
# 2393| Type = [IntType] int
# 2393| Value = [AddExpr] 2
# 2393| Value = [BitwiseXorExpr] 0
# 2393| ValueCategory = prvalue
# 2393| getLeftOperand(): [Literal] 1
# 2393| Type = [IntType] int
@@ -18820,19 +18820,19 @@ ir.cpp:
# 2393| ValueCategory = prvalue
# 2393| getLeftOperand().getFullyConverted(): [ParenthesisExpr] (...)
# 2393| Type = [IntType] int
# 2393| Value = [ParenthesisExpr] 2
# 2393| Value = [ParenthesisExpr] 0
# 2393| ValueCategory = prvalue
# 2393| getRightOperand().getFullyConverted(): [ParenthesisExpr] (...)
# 2393| Type = [IntType] int
# 2393| Value = [ParenthesisExpr] 2
# 2393| Value = [ParenthesisExpr] 0
# 2393| ValueCategory = prvalue
# 2393| getRightOperand(): [AddExpr] ... + ...
# 2393| getRightOperand(): [BitwiseXorExpr] ... ^ ...
# 2393| Type = [IntType] int
# 2393| Value = [AddExpr] 4
# 2393| Value = [BitwiseXorExpr] 0
# 2393| ValueCategory = prvalue
# 2393| getLeftOperand(): [AddExpr] ... + ...
# 2393| getLeftOperand(): [BitwiseXorExpr] ... ^ ...
# 2393| Type = [IntType] int
# 2393| Value = [AddExpr] 2
# 2393| Value = [BitwiseXorExpr] 0
# 2393| ValueCategory = prvalue
# 2393| getLeftOperand(): [Literal] 1
# 2393| Type = [IntType] int
@@ -18842,9 +18842,9 @@ ir.cpp:
# 2393| Type = [IntType] int
# 2393| Value = [Literal] 1
# 2393| ValueCategory = prvalue
# 2393| getRightOperand(): [AddExpr] ... + ...
# 2393| getRightOperand(): [BitwiseXorExpr] ... ^ ...
# 2393| Type = [IntType] int
# 2393| Value = [AddExpr] 2
# 2393| Value = [BitwiseXorExpr] 0
# 2393| ValueCategory = prvalue
# 2393| getLeftOperand(): [Literal] 1
# 2393| Type = [IntType] int
@@ -18856,43 +18856,43 @@ ir.cpp:
# 2393| ValueCategory = prvalue
# 2393| getLeftOperand().getFullyConverted(): [ParenthesisExpr] (...)
# 2393| Type = [IntType] int
# 2393| Value = [ParenthesisExpr] 2
# 2393| Value = [ParenthesisExpr] 0
# 2393| ValueCategory = prvalue
# 2393| getRightOperand().getFullyConverted(): [ParenthesisExpr] (...)
# 2393| Type = [IntType] int
# 2393| Value = [ParenthesisExpr] 2
# 2393| Value = [ParenthesisExpr] 0
# 2393| ValueCategory = prvalue
# 2393| getLeftOperand().getFullyConverted(): [ParenthesisExpr] (...)
# 2393| Type = [IntType] int
# 2393| Value = [ParenthesisExpr] 4
# 2393| Value = [ParenthesisExpr] 0
# 2393| ValueCategory = prvalue
# 2393| getRightOperand().getFullyConverted(): [ParenthesisExpr] (...)
# 2393| Type = [IntType] int
# 2393| Value = [ParenthesisExpr] 4
# 2393| Value = [ParenthesisExpr] 0
# 2393| ValueCategory = prvalue
# 2393| getLeftOperand().getFullyConverted(): [ParenthesisExpr] (...)
# 2393| Type = [IntType] int
# 2393| Value = [ParenthesisExpr] 8
# 2393| Value = [ParenthesisExpr] 0
# 2393| ValueCategory = prvalue
# 2393| getRightOperand().getFullyConverted(): [ParenthesisExpr] (...)
# 2393| Type = [IntType] int
# 2393| Value = [ParenthesisExpr] 8
# 2393| Value = [ParenthesisExpr] 0
# 2393| ValueCategory = prvalue
# 2393| getRightOperand(): [AddExpr] ... + ...
# 2393| getRightOperand(): [BitwiseXorExpr] ... ^ ...
# 2393| Type = [IntType] int
# 2393| Value = [AddExpr] 16
# 2393| Value = [BitwiseXorExpr] 0
# 2393| ValueCategory = prvalue
# 2393| getLeftOperand(): [AddExpr] ... + ...
# 2393| getLeftOperand(): [BitwiseXorExpr] ... ^ ...
# 2393| Type = [IntType] int
# 2393| Value = [AddExpr] 8
# 2393| Value = [BitwiseXorExpr] 0
# 2393| ValueCategory = prvalue
# 2393| getLeftOperand(): [AddExpr] ... + ...
# 2393| getLeftOperand(): [BitwiseXorExpr] ... ^ ...
# 2393| Type = [IntType] int
# 2393| Value = [AddExpr] 4
# 2393| Value = [BitwiseXorExpr] 0
# 2393| ValueCategory = prvalue
# 2393| getLeftOperand(): [AddExpr] ... + ...
# 2393| getLeftOperand(): [BitwiseXorExpr] ... ^ ...
# 2393| Type = [IntType] int
# 2393| Value = [AddExpr] 2
# 2393| Value = [BitwiseXorExpr] 0
# 2393| ValueCategory = prvalue
# 2393| getLeftOperand(): [Literal] 1
# 2393| Type = [IntType] int
@@ -18902,9 +18902,9 @@ ir.cpp:
# 2393| Type = [IntType] int
# 2393| Value = [Literal] 1
# 2393| ValueCategory = prvalue
# 2393| getRightOperand(): [AddExpr] ... + ...
# 2393| getRightOperand(): [BitwiseXorExpr] ... ^ ...
# 2393| Type = [IntType] int
# 2393| Value = [AddExpr] 2
# 2393| Value = [BitwiseXorExpr] 0
# 2393| ValueCategory = prvalue
# 2393| getLeftOperand(): [Literal] 1
# 2393| Type = [IntType] int
@@ -18916,19 +18916,19 @@ ir.cpp:
# 2393| ValueCategory = prvalue
# 2393| getLeftOperand().getFullyConverted(): [ParenthesisExpr] (...)
# 2393| Type = [IntType] int
# 2393| Value = [ParenthesisExpr] 2
# 2393| Value = [ParenthesisExpr] 0
# 2393| ValueCategory = prvalue
# 2393| getRightOperand().getFullyConverted(): [ParenthesisExpr] (...)
# 2393| Type = [IntType] int
# 2393| Value = [ParenthesisExpr] 2
# 2393| Value = [ParenthesisExpr] 0
# 2393| ValueCategory = prvalue
# 2393| getRightOperand(): [AddExpr] ... + ...
# 2393| getRightOperand(): [BitwiseXorExpr] ... ^ ...
# 2393| Type = [IntType] int
# 2393| Value = [AddExpr] 4
# 2393| Value = [BitwiseXorExpr] 0
# 2393| ValueCategory = prvalue
# 2393| getLeftOperand(): [AddExpr] ... + ...
# 2393| getLeftOperand(): [BitwiseXorExpr] ... ^ ...
# 2393| Type = [IntType] int
# 2393| Value = [AddExpr] 2
# 2393| Value = [BitwiseXorExpr] 0
# 2393| ValueCategory = prvalue
# 2393| getLeftOperand(): [Literal] 1
# 2393| Type = [IntType] int
@@ -18938,9 +18938,9 @@ ir.cpp:
# 2393| Type = [IntType] int
# 2393| Value = [Literal] 1
# 2393| ValueCategory = prvalue
# 2393| getRightOperand(): [AddExpr] ... + ...
# 2393| getRightOperand(): [BitwiseXorExpr] ... ^ ...
# 2393| Type = [IntType] int
# 2393| Value = [AddExpr] 2
# 2393| Value = [BitwiseXorExpr] 0
# 2393| ValueCategory = prvalue
# 2393| getLeftOperand(): [Literal] 1
# 2393| Type = [IntType] int
@@ -18952,31 +18952,31 @@ ir.cpp:
# 2393| ValueCategory = prvalue
# 2393| getLeftOperand().getFullyConverted(): [ParenthesisExpr] (...)
# 2393| Type = [IntType] int
# 2393| Value = [ParenthesisExpr] 2
# 2393| Value = [ParenthesisExpr] 0
# 2393| ValueCategory = prvalue
# 2393| getRightOperand().getFullyConverted(): [ParenthesisExpr] (...)
# 2393| Type = [IntType] int
# 2393| Value = [ParenthesisExpr] 2
# 2393| Value = [ParenthesisExpr] 0
# 2393| ValueCategory = prvalue
# 2393| getLeftOperand().getFullyConverted(): [ParenthesisExpr] (...)
# 2393| Type = [IntType] int
# 2393| Value = [ParenthesisExpr] 4
# 2393| Value = [ParenthesisExpr] 0
# 2393| ValueCategory = prvalue
# 2393| getRightOperand().getFullyConverted(): [ParenthesisExpr] (...)
# 2393| Type = [IntType] int
# 2393| Value = [ParenthesisExpr] 4
# 2393| Value = [ParenthesisExpr] 0
# 2393| ValueCategory = prvalue
# 2393| getRightOperand(): [AddExpr] ... + ...
# 2393| getRightOperand(): [BitwiseXorExpr] ... ^ ...
# 2393| Type = [IntType] int
# 2393| Value = [AddExpr] 8
# 2393| Value = [BitwiseXorExpr] 0
# 2393| ValueCategory = prvalue
# 2393| getLeftOperand(): [AddExpr] ... + ...
# 2393| getLeftOperand(): [BitwiseXorExpr] ... ^ ...
# 2393| Type = [IntType] int
# 2393| Value = [AddExpr] 4
# 2393| Value = [BitwiseXorExpr] 0
# 2393| ValueCategory = prvalue
# 2393| getLeftOperand(): [AddExpr] ... + ...
# 2393| getLeftOperand(): [BitwiseXorExpr] ... ^ ...
# 2393| Type = [IntType] int
# 2393| Value = [AddExpr] 2
# 2393| Value = [BitwiseXorExpr] 0
# 2393| ValueCategory = prvalue
# 2393| getLeftOperand(): [Literal] 1
# 2393| Type = [IntType] int
@@ -18986,9 +18986,9 @@ ir.cpp:
# 2393| Type = [IntType] int
# 2393| Value = [Literal] 1
# 2393| ValueCategory = prvalue
# 2393| getRightOperand(): [AddExpr] ... + ...
# 2393| getRightOperand(): [BitwiseXorExpr] ... ^ ...
# 2393| Type = [IntType] int
# 2393| Value = [AddExpr] 2
# 2393| Value = [BitwiseXorExpr] 0
# 2393| ValueCategory = prvalue
# 2393| getLeftOperand(): [Literal] 1
# 2393| Type = [IntType] int
@@ -19000,19 +19000,19 @@ ir.cpp:
# 2393| ValueCategory = prvalue
# 2393| getLeftOperand().getFullyConverted(): [ParenthesisExpr] (...)
# 2393| Type = [IntType] int
# 2393| Value = [ParenthesisExpr] 2
# 2393| Value = [ParenthesisExpr] 0
# 2393| ValueCategory = prvalue
# 2393| getRightOperand().getFullyConverted(): [ParenthesisExpr] (...)
# 2393| Type = [IntType] int
# 2393| Value = [ParenthesisExpr] 2
# 2393| Value = [ParenthesisExpr] 0
# 2393| ValueCategory = prvalue
# 2393| getRightOperand(): [AddExpr] ... + ...
# 2393| getRightOperand(): [BitwiseXorExpr] ... ^ ...
# 2393| Type = [IntType] int
# 2393| Value = [AddExpr] 4
# 2393| Value = [BitwiseXorExpr] 0
# 2393| ValueCategory = prvalue
# 2393| getLeftOperand(): [AddExpr] ... + ...
# 2393| getLeftOperand(): [BitwiseXorExpr] ... ^ ...
# 2393| Type = [IntType] int
# 2393| Value = [AddExpr] 2
# 2393| Value = [BitwiseXorExpr] 0
# 2393| ValueCategory = prvalue
# 2393| getLeftOperand(): [Literal] 1
# 2393| Type = [IntType] int
@@ -19022,9 +19022,9 @@ ir.cpp:
# 2393| Type = [IntType] int
# 2393| Value = [Literal] 1
# 2393| ValueCategory = prvalue
# 2393| getRightOperand(): [AddExpr] ... + ...
# 2393| getRightOperand(): [BitwiseXorExpr] ... ^ ...
# 2393| Type = [IntType] int
# 2393| Value = [AddExpr] 2
# 2393| Value = [BitwiseXorExpr] 0
# 2393| ValueCategory = prvalue
# 2393| getLeftOperand(): [Literal] 1
# 2393| Type = [IntType] int
@@ -19036,55 +19036,55 @@ ir.cpp:
# 2393| ValueCategory = prvalue
# 2393| getLeftOperand().getFullyConverted(): [ParenthesisExpr] (...)
# 2393| Type = [IntType] int
# 2393| Value = [ParenthesisExpr] 2
# 2393| Value = [ParenthesisExpr] 0
# 2393| ValueCategory = prvalue
# 2393| getRightOperand().getFullyConverted(): [ParenthesisExpr] (...)
# 2393| Type = [IntType] int
# 2393| Value = [ParenthesisExpr] 2
# 2393| Value = [ParenthesisExpr] 0
# 2393| ValueCategory = prvalue
# 2393| getLeftOperand().getFullyConverted(): [ParenthesisExpr] (...)
# 2393| Type = [IntType] int
# 2393| Value = [ParenthesisExpr] 4
# 2393| Value = [ParenthesisExpr] 0
# 2393| ValueCategory = prvalue
# 2393| getRightOperand().getFullyConverted(): [ParenthesisExpr] (...)
# 2393| Type = [IntType] int
# 2393| Value = [ParenthesisExpr] 4
# 2393| Value = [ParenthesisExpr] 0
# 2393| ValueCategory = prvalue
# 2393| getLeftOperand().getFullyConverted(): [ParenthesisExpr] (...)
# 2393| Type = [IntType] int
# 2393| Value = [ParenthesisExpr] 8
# 2393| Value = [ParenthesisExpr] 0
# 2393| ValueCategory = prvalue
# 2393| getRightOperand().getFullyConverted(): [ParenthesisExpr] (...)
# 2393| Type = [IntType] int
# 2393| Value = [ParenthesisExpr] 8
# 2393| Value = [ParenthesisExpr] 0
# 2393| ValueCategory = prvalue
# 2393| getLeftOperand().getFullyConverted(): [ParenthesisExpr] (...)
# 2393| Type = [IntType] int
# 2393| Value = [ParenthesisExpr] 16
# 2393| Value = [ParenthesisExpr] 0
# 2393| ValueCategory = prvalue
# 2393| getRightOperand().getFullyConverted(): [ParenthesisExpr] (...)
# 2393| Type = [IntType] int
# 2393| Value = [ParenthesisExpr] 16
# 2393| Value = [ParenthesisExpr] 0
# 2393| ValueCategory = prvalue
# 2393| getRightOperand(): [AddExpr] ... + ...
# 2393| getRightOperand(): [BitwiseXorExpr] ... ^ ...
# 2393| Type = [IntType] int
# 2393| Value = [AddExpr] 32
# 2393| Value = [BitwiseXorExpr] 0
# 2393| ValueCategory = prvalue
# 2393| getLeftOperand(): [AddExpr] ... + ...
# 2393| getLeftOperand(): [BitwiseXorExpr] ... ^ ...
# 2393| Type = [IntType] int
# 2393| Value = [AddExpr] 16
# 2393| Value = [BitwiseXorExpr] 0
# 2393| ValueCategory = prvalue
# 2393| getLeftOperand(): [AddExpr] ... + ...
# 2393| getLeftOperand(): [BitwiseXorExpr] ... ^ ...
# 2393| Type = [IntType] int
# 2393| Value = [AddExpr] 8
# 2393| Value = [BitwiseXorExpr] 0
# 2393| ValueCategory = prvalue
# 2393| getLeftOperand(): [AddExpr] ... + ...
# 2393| getLeftOperand(): [BitwiseXorExpr] ... ^ ...
# 2393| Type = [IntType] int
# 2393| Value = [AddExpr] 4
# 2393| Value = [BitwiseXorExpr] 0
# 2393| ValueCategory = prvalue
# 2393| getLeftOperand(): [AddExpr] ... + ...
# 2393| getLeftOperand(): [BitwiseXorExpr] ... ^ ...
# 2393| Type = [IntType] int
# 2393| Value = [AddExpr] 2
# 2393| Value = [BitwiseXorExpr] 0
# 2393| ValueCategory = prvalue
# 2393| getLeftOperand(): [Literal] 1
# 2393| Type = [IntType] int
@@ -19094,9 +19094,9 @@ ir.cpp:
# 2393| Type = [IntType] int
# 2393| Value = [Literal] 1
# 2393| ValueCategory = prvalue
# 2393| getRightOperand(): [AddExpr] ... + ...
# 2393| getRightOperand(): [BitwiseXorExpr] ... ^ ...
# 2393| Type = [IntType] int
# 2393| Value = [AddExpr] 2
# 2393| Value = [BitwiseXorExpr] 0
# 2393| ValueCategory = prvalue
# 2393| getLeftOperand(): [Literal] 1
# 2393| Type = [IntType] int
@@ -19108,19 +19108,19 @@ ir.cpp:
# 2393| ValueCategory = prvalue
# 2393| getLeftOperand().getFullyConverted(): [ParenthesisExpr] (...)
# 2393| Type = [IntType] int
# 2393| Value = [ParenthesisExpr] 2
# 2393| Value = [ParenthesisExpr] 0
# 2393| ValueCategory = prvalue
# 2393| getRightOperand().getFullyConverted(): [ParenthesisExpr] (...)
# 2393| Type = [IntType] int
# 2393| Value = [ParenthesisExpr] 2
# 2393| Value = [ParenthesisExpr] 0
# 2393| ValueCategory = prvalue
# 2393| getRightOperand(): [AddExpr] ... + ...
# 2393| getRightOperand(): [BitwiseXorExpr] ... ^ ...
# 2393| Type = [IntType] int
# 2393| Value = [AddExpr] 4
# 2393| Value = [BitwiseXorExpr] 0
# 2393| ValueCategory = prvalue
# 2393| getLeftOperand(): [AddExpr] ... + ...
# 2393| getLeftOperand(): [BitwiseXorExpr] ... ^ ...
# 2393| Type = [IntType] int
# 2393| Value = [AddExpr] 2
# 2393| Value = [BitwiseXorExpr] 0
# 2393| ValueCategory = prvalue
# 2393| getLeftOperand(): [Literal] 1
# 2393| Type = [IntType] int
@@ -19130,9 +19130,9 @@ ir.cpp:
# 2393| Type = [IntType] int
# 2393| Value = [Literal] 1
# 2393| ValueCategory = prvalue
# 2393| getRightOperand(): [AddExpr] ... + ...
# 2393| getRightOperand(): [BitwiseXorExpr] ... ^ ...
# 2393| Type = [IntType] int
# 2393| Value = [AddExpr] 2
# 2393| Value = [BitwiseXorExpr] 0
# 2393| ValueCategory = prvalue
# 2393| getLeftOperand(): [Literal] 1
# 2393| Type = [IntType] int
@@ -19144,31 +19144,31 @@ ir.cpp:
# 2393| ValueCategory = prvalue
# 2393| getLeftOperand().getFullyConverted(): [ParenthesisExpr] (...)
# 2393| Type = [IntType] int
# 2393| Value = [ParenthesisExpr] 2
# 2393| Value = [ParenthesisExpr] 0
# 2393| ValueCategory = prvalue
# 2393| getRightOperand().getFullyConverted(): [ParenthesisExpr] (...)
# 2393| Type = [IntType] int
# 2393| Value = [ParenthesisExpr] 2
# 2393| Value = [ParenthesisExpr] 0
# 2393| ValueCategory = prvalue
# 2393| getLeftOperand().getFullyConverted(): [ParenthesisExpr] (...)
# 2393| Type = [IntType] int
# 2393| Value = [ParenthesisExpr] 4
# 2393| Value = [ParenthesisExpr] 0
# 2393| ValueCategory = prvalue
# 2393| getRightOperand().getFullyConverted(): [ParenthesisExpr] (...)
# 2393| Type = [IntType] int
# 2393| Value = [ParenthesisExpr] 4
# 2393| Value = [ParenthesisExpr] 0
# 2393| ValueCategory = prvalue
# 2393| getRightOperand(): [AddExpr] ... + ...
# 2393| getRightOperand(): [BitwiseXorExpr] ... ^ ...
# 2393| Type = [IntType] int
# 2393| Value = [AddExpr] 8
# 2393| Value = [BitwiseXorExpr] 0
# 2393| ValueCategory = prvalue
# 2393| getLeftOperand(): [AddExpr] ... + ...
# 2393| getLeftOperand(): [BitwiseXorExpr] ... ^ ...
# 2393| Type = [IntType] int
# 2393| Value = [AddExpr] 4
# 2393| Value = [BitwiseXorExpr] 0
# 2393| ValueCategory = prvalue
# 2393| getLeftOperand(): [AddExpr] ... + ...
# 2393| getLeftOperand(): [BitwiseXorExpr] ... ^ ...
# 2393| Type = [IntType] int
# 2393| Value = [AddExpr] 2
# 2393| Value = [BitwiseXorExpr] 0
# 2393| ValueCategory = prvalue
# 2393| getLeftOperand(): [Literal] 1
# 2393| Type = [IntType] int
@@ -19178,9 +19178,9 @@ ir.cpp:
# 2393| Type = [IntType] int
# 2393| Value = [Literal] 1
# 2393| ValueCategory = prvalue
# 2393| getRightOperand(): [AddExpr] ... + ...
# 2393| getRightOperand(): [BitwiseXorExpr] ... ^ ...
# 2393| Type = [IntType] int
# 2393| Value = [AddExpr] 2
# 2393| Value = [BitwiseXorExpr] 0
# 2393| ValueCategory = prvalue
# 2393| getLeftOperand(): [Literal] 1
# 2393| Type = [IntType] int
@@ -19192,19 +19192,19 @@ ir.cpp:
# 2393| ValueCategory = prvalue
# 2393| getLeftOperand().getFullyConverted(): [ParenthesisExpr] (...)
# 2393| Type = [IntType] int
# 2393| Value = [ParenthesisExpr] 2
# 2393| Value = [ParenthesisExpr] 0
# 2393| ValueCategory = prvalue
# 2393| getRightOperand().getFullyConverted(): [ParenthesisExpr] (...)
# 2393| Type = [IntType] int
# 2393| Value = [ParenthesisExpr] 2
# 2393| Value = [ParenthesisExpr] 0
# 2393| ValueCategory = prvalue
# 2393| getRightOperand(): [AddExpr] ... + ...
# 2393| getRightOperand(): [BitwiseXorExpr] ... ^ ...
# 2393| Type = [IntType] int
# 2393| Value = [AddExpr] 4
# 2393| Value = [BitwiseXorExpr] 0
# 2393| ValueCategory = prvalue
# 2393| getLeftOperand(): [AddExpr] ... + ...
# 2393| getLeftOperand(): [BitwiseXorExpr] ... ^ ...
# 2393| Type = [IntType] int
# 2393| Value = [AddExpr] 2
# 2393| Value = [BitwiseXorExpr] 0
# 2393| ValueCategory = prvalue
# 2393| getLeftOperand(): [Literal] 1
# 2393| Type = [IntType] int
@@ -19214,9 +19214,9 @@ ir.cpp:
# 2393| Type = [IntType] int
# 2393| Value = [Literal] 1
# 2393| ValueCategory = prvalue
# 2393| getRightOperand(): [AddExpr] ... + ...
# 2393| getRightOperand(): [BitwiseXorExpr] ... ^ ...
# 2393| Type = [IntType] int
# 2393| Value = [AddExpr] 2
# 2393| Value = [BitwiseXorExpr] 0
# 2393| ValueCategory = prvalue
# 2393| getLeftOperand(): [Literal] 1
# 2393| Type = [IntType] int
@@ -19228,43 +19228,43 @@ ir.cpp:
# 2393| ValueCategory = prvalue
# 2393| getLeftOperand().getFullyConverted(): [ParenthesisExpr] (...)
# 2393| Type = [IntType] int
# 2393| Value = [ParenthesisExpr] 2
# 2393| Value = [ParenthesisExpr] 0
# 2393| ValueCategory = prvalue
# 2393| getRightOperand().getFullyConverted(): [ParenthesisExpr] (...)
# 2393| Type = [IntType] int
# 2393| Value = [ParenthesisExpr] 2
# 2393| Value = [ParenthesisExpr] 0
# 2393| ValueCategory = prvalue
# 2393| getLeftOperand().getFullyConverted(): [ParenthesisExpr] (...)
# 2393| Type = [IntType] int
# 2393| Value = [ParenthesisExpr] 4
# 2393| Value = [ParenthesisExpr] 0
# 2393| ValueCategory = prvalue
# 2393| getRightOperand().getFullyConverted(): [ParenthesisExpr] (...)
# 2393| Type = [IntType] int
# 2393| Value = [ParenthesisExpr] 4
# 2393| Value = [ParenthesisExpr] 0
# 2393| ValueCategory = prvalue
# 2393| getLeftOperand().getFullyConverted(): [ParenthesisExpr] (...)
# 2393| Type = [IntType] int
# 2393| Value = [ParenthesisExpr] 8
# 2393| Value = [ParenthesisExpr] 0
# 2393| ValueCategory = prvalue
# 2393| getRightOperand().getFullyConverted(): [ParenthesisExpr] (...)
# 2393| Type = [IntType] int
# 2393| Value = [ParenthesisExpr] 8
# 2393| Value = [ParenthesisExpr] 0
# 2393| ValueCategory = prvalue
# 2393| getRightOperand(): [AddExpr] ... + ...
# 2393| getRightOperand(): [BitwiseXorExpr] ... ^ ...
# 2393| Type = [IntType] int
# 2393| Value = [AddExpr] 16
# 2393| Value = [BitwiseXorExpr] 0
# 2393| ValueCategory = prvalue
# 2393| getLeftOperand(): [AddExpr] ... + ...
# 2393| getLeftOperand(): [BitwiseXorExpr] ... ^ ...
# 2393| Type = [IntType] int
# 2393| Value = [AddExpr] 8
# 2393| Value = [BitwiseXorExpr] 0
# 2393| ValueCategory = prvalue
# 2393| getLeftOperand(): [AddExpr] ... + ...
# 2393| getLeftOperand(): [BitwiseXorExpr] ... ^ ...
# 2393| Type = [IntType] int
# 2393| Value = [AddExpr] 4
# 2393| Value = [BitwiseXorExpr] 0
# 2393| ValueCategory = prvalue
# 2393| getLeftOperand(): [AddExpr] ... + ...
# 2393| getLeftOperand(): [BitwiseXorExpr] ... ^ ...
# 2393| Type = [IntType] int
# 2393| Value = [AddExpr] 2
# 2393| Value = [BitwiseXorExpr] 0
# 2393| ValueCategory = prvalue
# 2393| getLeftOperand(): [Literal] 1
# 2393| Type = [IntType] int
@@ -19274,9 +19274,9 @@ ir.cpp:
# 2393| Type = [IntType] int
# 2393| Value = [Literal] 1
# 2393| ValueCategory = prvalue
# 2393| getRightOperand(): [AddExpr] ... + ...
# 2393| getRightOperand(): [BitwiseXorExpr] ... ^ ...
# 2393| Type = [IntType] int
# 2393| Value = [AddExpr] 2
# 2393| Value = [BitwiseXorExpr] 0
# 2393| ValueCategory = prvalue
# 2393| getLeftOperand(): [Literal] 1
# 2393| Type = [IntType] int
@@ -19288,19 +19288,19 @@ ir.cpp:
# 2393| ValueCategory = prvalue
# 2393| getLeftOperand().getFullyConverted(): [ParenthesisExpr] (...)
# 2393| Type = [IntType] int
# 2393| Value = [ParenthesisExpr] 2
# 2393| Value = [ParenthesisExpr] 0
# 2393| ValueCategory = prvalue
# 2393| getRightOperand().getFullyConverted(): [ParenthesisExpr] (...)
# 2393| Type = [IntType] int
# 2393| Value = [ParenthesisExpr] 2
# 2393| Value = [ParenthesisExpr] 0
# 2393| ValueCategory = prvalue
# 2393| getRightOperand(): [AddExpr] ... + ...
# 2393| getRightOperand(): [BitwiseXorExpr] ... ^ ...
# 2393| Type = [IntType] int
# 2393| Value = [AddExpr] 4
# 2393| Value = [BitwiseXorExpr] 0
# 2393| ValueCategory = prvalue
# 2393| getLeftOperand(): [AddExpr] ... + ...
# 2393| getLeftOperand(): [BitwiseXorExpr] ... ^ ...
# 2393| Type = [IntType] int
# 2393| Value = [AddExpr] 2
# 2393| Value = [BitwiseXorExpr] 0
# 2393| ValueCategory = prvalue
# 2393| getLeftOperand(): [Literal] 1
# 2393| Type = [IntType] int
@@ -19310,9 +19310,9 @@ ir.cpp:
# 2393| Type = [IntType] int
# 2393| Value = [Literal] 1
# 2393| ValueCategory = prvalue
# 2393| getRightOperand(): [AddExpr] ... + ...
# 2393| getRightOperand(): [BitwiseXorExpr] ... ^ ...
# 2393| Type = [IntType] int
# 2393| Value = [AddExpr] 2
# 2393| Value = [BitwiseXorExpr] 0
# 2393| ValueCategory = prvalue
# 2393| getLeftOperand(): [Literal] 1
# 2393| Type = [IntType] int
@@ -19324,31 +19324,31 @@ ir.cpp:
# 2393| ValueCategory = prvalue
# 2393| getLeftOperand().getFullyConverted(): [ParenthesisExpr] (...)
# 2393| Type = [IntType] int
# 2393| Value = [ParenthesisExpr] 2
# 2393| Value = [ParenthesisExpr] 0
# 2393| ValueCategory = prvalue
# 2393| getRightOperand().getFullyConverted(): [ParenthesisExpr] (...)
# 2393| Type = [IntType] int
# 2393| Value = [ParenthesisExpr] 2
# 2393| Value = [ParenthesisExpr] 0
# 2393| ValueCategory = prvalue
# 2393| getLeftOperand().getFullyConverted(): [ParenthesisExpr] (...)
# 2393| Type = [IntType] int
# 2393| Value = [ParenthesisExpr] 4
# 2393| Value = [ParenthesisExpr] 0
# 2393| ValueCategory = prvalue
# 2393| getRightOperand().getFullyConverted(): [ParenthesisExpr] (...)
# 2393| Type = [IntType] int
# 2393| Value = [ParenthesisExpr] 4
# 2393| Value = [ParenthesisExpr] 0
# 2393| ValueCategory = prvalue
# 2393| getRightOperand(): [AddExpr] ... + ...
# 2393| getRightOperand(): [BitwiseXorExpr] ... ^ ...
# 2393| Type = [IntType] int
# 2393| Value = [AddExpr] 8
# 2393| Value = [BitwiseXorExpr] 0
# 2393| ValueCategory = prvalue
# 2393| getLeftOperand(): [AddExpr] ... + ...
# 2393| getLeftOperand(): [BitwiseXorExpr] ... ^ ...
# 2393| Type = [IntType] int
# 2393| Value = [AddExpr] 4
# 2393| Value = [BitwiseXorExpr] 0
# 2393| ValueCategory = prvalue
# 2393| getLeftOperand(): [AddExpr] ... + ...
# 2393| getLeftOperand(): [BitwiseXorExpr] ... ^ ...
# 2393| Type = [IntType] int
# 2393| Value = [AddExpr] 2
# 2393| Value = [BitwiseXorExpr] 0
# 2393| ValueCategory = prvalue
# 2393| getLeftOperand(): [Literal] 1
# 2393| Type = [IntType] int
@@ -19358,9 +19358,9 @@ ir.cpp:
# 2393| Type = [IntType] int
# 2393| Value = [Literal] 1
# 2393| ValueCategory = prvalue
# 2393| getRightOperand(): [AddExpr] ... + ...
# 2393| getRightOperand(): [BitwiseXorExpr] ... ^ ...
# 2393| Type = [IntType] int
# 2393| Value = [AddExpr] 2
# 2393| Value = [BitwiseXorExpr] 0
# 2393| ValueCategory = prvalue
# 2393| getLeftOperand(): [Literal] 1
# 2393| Type = [IntType] int
@@ -19372,19 +19372,19 @@ ir.cpp:
# 2393| ValueCategory = prvalue
# 2393| getLeftOperand().getFullyConverted(): [ParenthesisExpr] (...)
# 2393| Type = [IntType] int
# 2393| Value = [ParenthesisExpr] 2
# 2393| Value = [ParenthesisExpr] 0
# 2393| ValueCategory = prvalue
# 2393| getRightOperand().getFullyConverted(): [ParenthesisExpr] (...)
# 2393| Type = [IntType] int
# 2393| Value = [ParenthesisExpr] 2
# 2393| Value = [ParenthesisExpr] 0
# 2393| ValueCategory = prvalue
# 2393| getRightOperand(): [AddExpr] ... + ...
# 2393| getRightOperand(): [BitwiseXorExpr] ... ^ ...
# 2393| Type = [IntType] int
# 2393| Value = [AddExpr] 4
# 2393| Value = [BitwiseXorExpr] 0
# 2393| ValueCategory = prvalue
# 2393| getLeftOperand(): [AddExpr] ... + ...
# 2393| getLeftOperand(): [BitwiseXorExpr] ... ^ ...
# 2393| Type = [IntType] int
# 2393| Value = [AddExpr] 2
# 2393| Value = [BitwiseXorExpr] 0
# 2393| ValueCategory = prvalue
# 2393| getLeftOperand(): [Literal] 1
# 2393| Type = [IntType] int
@@ -19394,9 +19394,9 @@ ir.cpp:
# 2393| Type = [IntType] int
# 2393| Value = [Literal] 1
# 2393| ValueCategory = prvalue
# 2393| getRightOperand(): [AddExpr] ... + ...
# 2393| getRightOperand(): [BitwiseXorExpr] ... ^ ...
# 2393| Type = [IntType] int
# 2393| Value = [AddExpr] 2
# 2393| Value = [BitwiseXorExpr] 0
# 2393| ValueCategory = prvalue
# 2393| getLeftOperand(): [Literal] 1
# 2393| Type = [IntType] int
@@ -19408,47 +19408,47 @@ ir.cpp:
# 2393| ValueCategory = prvalue
# 2393| getLeftOperand().getFullyConverted(): [ParenthesisExpr] (...)
# 2393| Type = [IntType] int
# 2393| Value = [ParenthesisExpr] 2
# 2393| Value = [ParenthesisExpr] 0
# 2393| ValueCategory = prvalue
# 2393| getRightOperand().getFullyConverted(): [ParenthesisExpr] (...)
# 2393| Type = [IntType] int
# 2393| Value = [ParenthesisExpr] 2
# 2393| Value = [ParenthesisExpr] 0
# 2393| ValueCategory = prvalue
# 2393| getLeftOperand().getFullyConverted(): [ParenthesisExpr] (...)
# 2393| Type = [IntType] int
# 2393| Value = [ParenthesisExpr] 4
# 2393| Value = [ParenthesisExpr] 0
# 2393| ValueCategory = prvalue
# 2393| getRightOperand().getFullyConverted(): [ParenthesisExpr] (...)
# 2393| Type = [IntType] int
# 2393| Value = [ParenthesisExpr] 4
# 2393| Value = [ParenthesisExpr] 0
# 2393| ValueCategory = prvalue
# 2393| getLeftOperand().getFullyConverted(): [ParenthesisExpr] (...)
# 2393| Type = [IntType] int
# 2393| Value = [ParenthesisExpr] 8
# 2393| Value = [ParenthesisExpr] 0
# 2393| ValueCategory = prvalue
# 2393| getRightOperand().getFullyConverted(): [ParenthesisExpr] (...)
# 2393| Type = [IntType] int
# 2393| Value = [ParenthesisExpr] 8
# 2393| Value = [ParenthesisExpr] 0
# 2393| ValueCategory = prvalue
# 2393| getLeftOperand().getFullyConverted(): [ParenthesisExpr] (...)
# 2393| Type = [IntType] int
# 2393| Value = [ParenthesisExpr] 16
# 2393| Value = [ParenthesisExpr] 0
# 2393| ValueCategory = prvalue
# 2393| getRightOperand().getFullyConverted(): [ParenthesisExpr] (...)
# 2393| Type = [IntType] int
# 2393| Value = [ParenthesisExpr] 16
# 2393| Value = [ParenthesisExpr] 0
# 2393| ValueCategory = prvalue
# 2393| getLeftOperand().getFullyConverted(): [ParenthesisExpr] (...)
# 2393| Type = [IntType] int
# 2393| Value = [ParenthesisExpr] 32
# 2393| Value = [ParenthesisExpr] 0
# 2393| ValueCategory = prvalue
# 2393| getRightOperand().getFullyConverted(): [ParenthesisExpr] (...)
# 2393| Type = [IntType] int
# 2393| Value = [ParenthesisExpr] 32
# 2393| Value = [ParenthesisExpr] 0
# 2393| ValueCategory = prvalue
# 2393| getExpr().getFullyConverted(): [ParenthesisExpr] (...)
# 2393| Type = [IntType] int
# 2393| Value = [ParenthesisExpr] 64
# 2393| Value = [ParenthesisExpr] 0
# 2393| ValueCategory = prvalue
perf-regression.cpp:
# 4| [CopyAssignmentOperator] Big& Big::operator=(Big const&)

60
cpp/ql/test/library-tests/ir/ir/aliased_ir.expected
View File

@@ -1457,15 +1457,13 @@ ir.cpp:
# 43| m43_3(unknown) = InitializeNonLocal :
# 43| m43_4(unknown) = Chi : total:m43_2, partial:m43_3
# 44| r44_1(glval<int>) = VariableAddress[x] :
# 44| r44_2(int) = Constant[5] :
# 44| r44_3(int) = Constant[12] :
# 44| r44_4(int) = Add : r44_2, r44_3
# 44| m44_5(int) = Store[x] : &:r44_1, r44_4
# 44| r44_2(int) = Constant[17] :
# 44| m44_3(int) = Store[x] : &:r44_1, r44_2
# 45| r45_1(glval<short>) = VariableAddress[y] :
# 45| r45_2(short) = Constant[7] :
# 45| m45_3(short) = Store[y] : &:r45_1, r45_2
# 46| r46_1(glval<int>) = VariableAddress[x] :
# 46| r46_2(int) = Load[x] : &:r46_1, m44_5
# 46| r46_2(int) = Load[x] : &:r46_1, m44_3
# 46| r46_3(glval<short>) = VariableAddress[y] :
# 46| r46_4(short) = Load[y] : &:r46_3, m45_3
# 46| r46_5(int) = Convert : r46_4
@@ -1474,7 +1472,7 @@ ir.cpp:
# 46| r46_8(glval<short>) = VariableAddress[y] :
# 46| m46_9(short) = Store[y] : &:r46_8, r46_7
# 47| r47_1(glval<int>) = VariableAddress[x] :
# 47| r47_2(int) = Load[x] : &:r47_1, m44_5
# 47| r47_2(int) = Load[x] : &:r47_1, m44_3
# 47| r47_3(glval<short>) = VariableAddress[y] :
# 47| r47_4(short) = Load[y] : &:r47_3, m46_9
# 47| r47_5(int) = Convert : r47_4
@@ -6104,30 +6102,14 @@ ir.cpp:
# 913| m913_6(int) = InitializeParameter[x] : &:r913_5
# 914| r914_1(glval<bool>) = VariableAddress[a] :
# 914| r914_2(bool) = Constant[1] :
# 914| v914_3(void) = ConditionalBranch : r914_2
#-----| False -> Block 4
#-----| True -> Block 2
# 914| Block 1
# 914| r914_4(glval<bool>) = VariableAddress[#temp914:12] :
# 914| r914_5(bool) = Constant[1] :
# 914| m914_6(bool) = Store[#temp914:12] : &:r914_4, r914_5
# 914| r914_7(glval<bool>) = VariableAddress[#temp914:12] :
# 914| r914_8(bool) = Load[#temp914:12] : &:r914_7, m914_6
# 914| m914_9(bool) = Store[a] : &:r914_1, r914_8
# 915| r915_1(glval<int>) = VariableAddress[b] :
# 915| r915_2(bool) = Constant[1] :
# 915| v915_3(void) = ConditionalBranch : r915_2
#-----| False -> Block 4
#-----| True -> Block 3
# 914| Block 2
# 914| r914_10(bool) = Constant[1] :
# 914| v914_11(void) = ConditionalBranch : r914_10
#-----| False -> Block 4
# 914| m914_3(bool) = Store[a] : &:r914_1, r914_2
# 915| r915_1(glval<int>) = VariableAddress[b] :
# 915| r915_2(bool) = Constant[1] :
# 915| v915_3(void) = ConditionalBranch : r915_2
#-----| False -> Block 2
#-----| True -> Block 1
# 915| Block 3
# 915| Block 1
# 915| r915_4(glval<int>) = VariableAddress[x] :
# 915| r915_5(int) = Load[x] : &:r915_4, m913_6
# 915| r915_6(glval<int>) = VariableAddress[#temp915:11] :
@@ -6140,7 +6122,7 @@ ir.cpp:
# 913| v913_8(void) = AliasedUse : m913_3
# 913| v913_9(void) = ExitFunction :
# 913| Block 4
# 913| Block 2
# 913| v913_10(void) = Unreached :
# 949| void OperatorNew()
@@ -7736,17 +7718,15 @@ ir.cpp:
# 1215| r1215_4(glval<__attribute((vector_size(16UL))) int>) = VariableAddress[vi4] :
# 1215| r1215_5(__attribute((vector_size(16UL))) int) = Load[vi4] : &:r1215_4, m1214_8
# 1215| r1215_6(int) = Constant[3] :
# 1215| r1215_7(int) = Constant[0] :
# 1215| r1215_8(int) = Add : r1215_6, r1215_7
# 1215| r1215_9(int) = Constant[2] :
# 1215| r1215_10(int) = Constant[1] :
# 1215| r1215_11(int) = Constant[0] :
# 1215| r1215_12(__attribute((vector_size(16))) int) = BuiltIn[__builtin_shufflevector] : 0:r1215_3, 1:r1215_5, 2:r1215_8, 3:r1215_9, 4:r1215_10, 5:r1215_11
# 1215| m1215_13(__attribute((vector_size(16UL))) int) = Store[vi4_shuffle] : &:r1215_1, r1215_12
# 1215| r1215_7(int) = Constant[2] :
# 1215| r1215_8(int) = Constant[1] :
# 1215| r1215_9(int) = Constant[0] :
# 1215| r1215_10(__attribute((vector_size(16))) int) = BuiltIn[__builtin_shufflevector] : 0:r1215_3, 1:r1215_5, 2:r1215_6, 3:r1215_7, 4:r1215_8, 5:r1215_9
# 1215| m1215_11(__attribute((vector_size(16UL))) int) = Store[vi4_shuffle] : &:r1215_1, r1215_10
# 1216| r1216_1(glval<__attribute((vector_size(16UL))) int>) = VariableAddress[vi4] :
# 1216| r1216_2(__attribute((vector_size(16UL))) int) = Load[vi4] : &:r1216_1, m1214_8
# 1216| r1216_3(glval<__attribute((vector_size(16UL))) int>) = VariableAddress[vi4_shuffle] :
# 1216| r1216_4(__attribute((vector_size(16UL))) int) = Load[vi4_shuffle] : &:r1216_3, m1215_13
# 1216| r1216_4(__attribute((vector_size(16UL))) int) = Load[vi4_shuffle] : &:r1216_3, m1215_11
# 1216| r1216_5(__attribute((vector_size(16UL))) int) = Add : r1216_2, r1216_4
# 1216| r1216_6(glval<__attribute((vector_size(16UL))) int>) = VariableAddress[vi4] :
# 1216| m1216_7(__attribute((vector_size(16UL))) int) = Store[vi4] : &:r1216_6, r1216_5
@@ -15163,8 +15143,8 @@ ir.cpp:
# 2381| m2381_4(unknown) = Chi : total:m2381_2, partial:m2381_3
# 2382| r2382_1(glval<int>) = VariableAddress[#return] :
# 2382| r2382_2(int) = Constant[1] :
# 2382| r2382_3(int) = Constant[1] :
# 2382| r2382_4(int) = Add : r2382_2, r2382_3
# 2382| r2382_3(int) = Constant[2] :
# 2382| r2382_4(int) = BitXor : r2382_2, r2382_3
# 2382| m2382_5(int) = Store[#return] : &:r2382_1, r2382_4
# 2381| r2381_5(glval<int>) = VariableAddress[#return] :
# 2381| v2381_6(void) = ReturnValue : &:r2381_5, m2382_5
@@ -15178,7 +15158,7 @@ ir.cpp:
# 2392| m2392_3(unknown) = InitializeNonLocal :
# 2392| m2392_4(unknown) = Chi : total:m2392_2, partial:m2392_3
# 2393| r2393_1(glval<int>) = VariableAddress[#return] :
# 2393| r2393_2(int) = Constant[64] :
# 2393| r2393_2(int) = Constant[0] :
# 2393| m2393_3(int) = Store[#return] : &:r2393_1, r2393_2
# 2392| r2392_5(glval<int>) = VariableAddress[#return] :
# 2392| v2392_6(void) = ReturnValue : &:r2392_5, m2393_3

14
cpp/ql/test/library-tests/ir/ir/ir.cpp
View File

@@ -2379,15 +2379,15 @@ namespace return_routine_type {
}
int small_operation_should_not_be_constant_folded() {
return 1 + 1;
return 1 ^ 2;
}
#define BINOP2(x) (x + x)
#define BINOP4(x) (BINOP2(x) + BINOP2(x))
#define BINOP8(x) (BINOP4(x) + BINOP4(x))
#define BINOP16(x) (BINOP8(x) + BINOP8(x))
#define BINOP32(x) (BINOP16(x) + BINOP16(x))
#define BINOP64(x) (BINOP32(x) + BINOP32(x))
#define BINOP2(x) (x ^ x)
#define BINOP4(x) (BINOP2(x) ^ BINOP2(x))
#define BINOP8(x) (BINOP4(x) ^ BINOP4(x))
#define BINOP16(x) (BINOP8(x) ^ BINOP8(x))
#define BINOP32(x) (BINOP16(x) ^ BINOP16(x))
#define BINOP64(x) (BINOP32(x) ^ BINOP32(x))
int large_operation_should_be_constant_folded() {
return BINOP64(1);

30
cpp/ql/test/library-tests/ir/ir/operand_locations.expected
View File

@@ -1668,15 +1668,13 @@
| ir.cpp:43:6:43:8 | ChiTotal | total:m43_2 |
| ir.cpp:43:6:43:8 | SideEffect | m43_3 |
| ir.cpp:44:9:44:9 | Address | &:r44_1 |
| ir.cpp:44:13:44:13 | Left | r44_2 |
| ir.cpp:44:13:44:18 | StoreValue | r44_4 |
| ir.cpp:44:17:44:18 | Right | r44_3 |
| ir.cpp:44:13:44:18 | StoreValue | r44_2 |
| ir.cpp:45:11:45:11 | Address | &:r45_1 |
| ir.cpp:45:15:45:15 | StoreValue | r45_2 |
| ir.cpp:46:5:46:5 | Address | &:r46_8 |
| ir.cpp:46:9:46:9 | Address | &:r46_1 |
| ir.cpp:46:9:46:9 | Left | r46_2 |
| ir.cpp:46:9:46:9 | Load | m44_5 |
| ir.cpp:46:9:46:9 | Load | m44_3 |
| ir.cpp:46:9:46:13 | StoreValue | r46_7 |
| ir.cpp:46:9:46:13 | Unary | r46_6 |
| ir.cpp:46:13:46:13 | Address | &:r46_3 |
@@ -1686,7 +1684,7 @@
| ir.cpp:47:5:47:5 | Address | &:r47_7 |
| ir.cpp:47:9:47:9 | Address | &:r47_1 |
| ir.cpp:47:9:47:9 | Left | r47_2 |
| ir.cpp:47:9:47:9 | Load | m44_5 |
| ir.cpp:47:9:47:9 | Load | m44_3 |
| ir.cpp:47:9:47:13 | StoreValue | r47_6 |
| ir.cpp:47:13:47:13 | Address | &:r47_3 |
| ir.cpp:47:13:47:13 | Load | m46_9 |
@@ -5229,13 +5227,7 @@
| ir.cpp:913:6:913:23 | SideEffect | m913_3 |
| ir.cpp:913:29:913:29 | Address | &:r913_5 |
| ir.cpp:914:8:914:8 | Address | &:r914_1 |
| ir.cpp:914:12:914:15 | Condition | r914_2 |
| ir.cpp:914:12:914:23 | Address | &:r914_4 |
| ir.cpp:914:12:914:23 | Address | &:r914_7 |
| ir.cpp:914:12:914:23 | Load | m914_6 |
| ir.cpp:914:12:914:23 | StoreValue | r914_5 |
| ir.cpp:914:12:914:23 | StoreValue | r914_8 |
| ir.cpp:914:20:914:23 | Condition | r914_10 |
| ir.cpp:914:12:914:23 | StoreValue | r914_2 |
| ir.cpp:915:7:915:7 | Address | &:r915_1 |
| ir.cpp:915:11:915:16 | Condition | r915_2 |
| ir.cpp:915:11:915:24 | Address | &:r915_6 |
@@ -6529,26 +6521,24 @@
| ir.cpp:1214:12:1214:12 | Load | m1213_7 |
| ir.cpp:1214:12:1214:12 | StoreValue | r1214_2 |
| ir.cpp:1215:18:1215:28 | Address | &:r1215_1 |
| ir.cpp:1215:32:1215:78 | Arg(2) | 2:r1215_8 |
| ir.cpp:1215:32:1215:78 | StoreValue | r1215_12 |
| ir.cpp:1215:32:1215:78 | Arg(2) | 2:r1215_6 |
| ir.cpp:1215:32:1215:78 | StoreValue | r1215_10 |
| ir.cpp:1215:56:1215:58 | Address | &:r1215_2 |
| ir.cpp:1215:56:1215:58 | Arg(0) | 0:r1215_3 |
| ir.cpp:1215:56:1215:58 | Load | m1214_8 |
| ir.cpp:1215:61:1215:63 | Address | &:r1215_4 |
| ir.cpp:1215:61:1215:63 | Arg(1) | 1:r1215_5 |
| ir.cpp:1215:61:1215:63 | Load | m1214_8 |
| ir.cpp:1215:66:1215:66 | Left | r1215_6 |
| ir.cpp:1215:68:1215:68 | Right | r1215_7 |
| ir.cpp:1215:71:1215:71 | Arg(3) | 3:r1215_9 |
| ir.cpp:1215:74:1215:74 | Arg(4) | 4:r1215_10 |
| ir.cpp:1215:77:1215:77 | Arg(5) | 5:r1215_11 |
| ir.cpp:1215:71:1215:71 | Arg(3) | 3:r1215_7 |
| ir.cpp:1215:74:1215:74 | Arg(4) | 4:r1215_8 |
| ir.cpp:1215:77:1215:77 | Arg(5) | 5:r1215_9 |
| ir.cpp:1216:3:1216:5 | Address | &:r1216_6 |
| ir.cpp:1216:9:1216:11 | Address | &:r1216_1 |
| ir.cpp:1216:9:1216:11 | Left | r1216_2 |
| ir.cpp:1216:9:1216:11 | Load | m1214_8 |
| ir.cpp:1216:9:1216:25 | StoreValue | r1216_5 |
| ir.cpp:1216:15:1216:25 | Address | &:r1216_3 |
| ir.cpp:1216:15:1216:25 | Load | m1215_13 |
| ir.cpp:1216:15:1216:25 | Load | m1215_11 |
| ir.cpp:1216:15:1216:25 | Right | r1216_4 |
| ir.cpp:1221:5:1221:21 | Address | &:r1221_7 |
| ir.cpp:1221:5:1221:21 | ChiPartial | partial:m1221_3 |

71
cpp/ql/test/library-tests/ir/ir/raw_ir.expected
View File

@@ -1357,10 +1357,8 @@ ir.cpp:
# 43| mu43_2(unknown) = AliasedDefinition :
# 43| mu43_3(unknown) = InitializeNonLocal :
# 44| r44_1(glval<int>) = VariableAddress[x] :
# 44| r44_2(int) = Constant[5] :
# 44| r44_3(int) = Constant[12] :
# 44| r44_4(int) = Add : r44_2, r44_3
# 44| mu44_5(int) = Store[x] : &:r44_1, r44_4
# 44| r44_2(int) = Constant[17] :
# 44| mu44_3(int) = Store[x] : &:r44_1, r44_2
# 45| r45_1(glval<short>) = VariableAddress[y] :
# 45| r45_2(short) = Constant[7] :
# 45| mu45_3(short) = Store[y] : &:r45_1, r45_2
@@ -5749,39 +5747,14 @@ ir.cpp:
# 913| mu913_5(int) = InitializeParameter[x] : &:r913_4
# 914| r914_1(glval<bool>) = VariableAddress[a] :
# 914| r914_2(bool) = Constant[1] :
# 914| v914_3(void) = ConditionalBranch : r914_2
#-----| False -> Block 1
#-----| True -> Block 4
# 914| mu914_3(bool) = Store[a] : &:r914_1, r914_2
# 915| r915_1(glval<int>) = VariableAddress[b] :
# 915| r915_2(bool) = Constant[1] :
# 915| v915_3(void) = ConditionalBranch : r915_2
#-----| False -> Block 3
#-----| True -> Block 2
# 914| Block 1
# 914| r914_4(glval<bool>) = VariableAddress[#temp914:12] :
# 914| r914_5(bool) = Constant[0] :
# 914| mu914_6(bool) = Store[#temp914:12] : &:r914_4, r914_5
#-----| Goto -> Block 2
# 914| Block 2
# 914| r914_7(glval<bool>) = VariableAddress[#temp914:12] :
# 914| r914_8(bool) = Load[#temp914:12] : &:r914_7, ~m?
# 914| mu914_9(bool) = Store[a] : &:r914_1, r914_8
# 915| r915_1(glval<int>) = VariableAddress[b] :
# 915| r915_2(bool) = Constant[1] :
# 915| v915_3(void) = ConditionalBranch : r915_2
#-----| False -> Block 7
#-----| True -> Block 6
# 914| Block 3
# 914| r914_10(glval<bool>) = VariableAddress[#temp914:12] :
# 914| r914_11(bool) = Constant[1] :
# 914| mu914_12(bool) = Store[#temp914:12] : &:r914_10, r914_11
#-----| Goto -> Block 2
# 914| Block 4
# 914| r914_13(bool) = Constant[1] :
# 914| v914_14(void) = ConditionalBranch : r914_13
#-----| False -> Block 1
#-----| True -> Block 3
# 915| Block 5
# 915| Block 1
# 915| r915_4(glval<int>) = VariableAddress[#temp915:11] :
# 915| r915_5(int) = Load[#temp915:11] : &:r915_4, ~m?
# 915| mu915_6(int) = Store[b] : &:r915_1, r915_5
@@ -5790,19 +5763,19 @@ ir.cpp:
# 913| v913_7(void) = AliasedUse : ~m?
# 913| v913_8(void) = ExitFunction :
# 915| Block 6
# 915| Block 2
# 915| r915_7(glval<int>) = VariableAddress[x] :
# 915| r915_8(int) = Load[x] : &:r915_7, ~m?
# 915| r915_9(glval<int>) = VariableAddress[#temp915:11] :
# 915| mu915_10(int) = Store[#temp915:11] : &:r915_9, r915_8
#-----| Goto -> Block 5
#-----| Goto -> Block 1
# 915| Block 7
# 915| Block 3
# 915| r915_11(glval<int>) = VariableAddress[x] :
# 915| r915_12(int) = Load[x] : &:r915_11, ~m?
# 915| r915_13(glval<int>) = VariableAddress[#temp915:11] :
# 915| mu915_14(int) = Store[#temp915:11] : &:r915_13, r915_12
#-----| Goto -> Block 5
#-----| Goto -> Block 1
# 949| void OperatorNew()
# 949| Block 0
@@ -7293,13 +7266,11 @@ ir.cpp:
# 1215| r1215_4(glval<__attribute((vector_size(16UL))) int>) = VariableAddress[vi4] :
# 1215| r1215_5(__attribute((vector_size(16UL))) int) = Load[vi4] : &:r1215_4, ~m?
# 1215| r1215_6(int) = Constant[3] :
# 1215| r1215_7(int) = Constant[0] :
# 1215| r1215_8(int) = Add : r1215_6, r1215_7
# 1215| r1215_9(int) = Constant[2] :
# 1215| r1215_10(int) = Constant[1] :
# 1215| r1215_11(int) = Constant[0] :
# 1215| r1215_12(__attribute((vector_size(16))) int) = BuiltIn[__builtin_shufflevector] : 0:r1215_3, 1:r1215_5, 2:r1215_8, 3:r1215_9, 4:r1215_10, 5:r1215_11
# 1215| mu1215_13(__attribute((vector_size(16UL))) int) = Store[vi4_shuffle] : &:r1215_1, r1215_12
# 1215| r1215_7(int) = Constant[2] :
# 1215| r1215_8(int) = Constant[1] :
# 1215| r1215_9(int) = Constant[0] :
# 1215| r1215_10(__attribute((vector_size(16))) int) = BuiltIn[__builtin_shufflevector] : 0:r1215_3, 1:r1215_5, 2:r1215_6, 3:r1215_7, 4:r1215_8, 5:r1215_9
# 1215| mu1215_11(__attribute((vector_size(16UL))) int) = Store[vi4_shuffle] : &:r1215_1, r1215_10
# 1216| r1216_1(glval<__attribute((vector_size(16UL))) int>) = VariableAddress[vi4] :
# 1216| r1216_2(__attribute((vector_size(16UL))) int) = Load[vi4] : &:r1216_1, ~m?
# 1216| r1216_3(glval<__attribute((vector_size(16UL))) int>) = VariableAddress[vi4_shuffle] :
@@ -14013,8 +13984,8 @@ ir.cpp:
# 2381| mu2381_3(unknown) = InitializeNonLocal :
# 2382| r2382_1(glval<int>) = VariableAddress[#return] :
# 2382| r2382_2(int) = Constant[1] :
# 2382| r2382_3(int) = Constant[1] :
# 2382| r2382_4(int) = Add : r2382_2, r2382_3
# 2382| r2382_3(int) = Constant[2] :
# 2382| r2382_4(int) = BitXor : r2382_2, r2382_3
# 2382| mu2382_5(int) = Store[#return] : &:r2382_1, r2382_4
# 2381| r2381_4(glval<int>) = VariableAddress[#return] :
# 2381| v2381_5(void) = ReturnValue : &:r2381_4, ~m?
@@ -14027,7 +13998,7 @@ ir.cpp:
# 2392| mu2392_2(unknown) = AliasedDefinition :
# 2392| mu2392_3(unknown) = InitializeNonLocal :
# 2393| r2393_1(glval<int>) = VariableAddress[#return] :
# 2393| r2393_2(int) = Constant[64] :
# 2393| r2393_2(int) = Constant[0] :
# 2393| mu2393_3(int) = Store[#return] : &:r2393_1, r2393_2
# 2392| r2392_4(glval<int>) = VariableAddress[#return] :
# 2392| v2392_5(void) = ReturnValue : &:r2392_4, ~m?