hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-02-12 05:01:06 +01:00
Code Issues Packages Projects Releases Wiki Activity

C++: Update tests after adding extractor support for logical vector operations

Browse Source
This commit is contained in:
Jeroen Ketema
2026-01-08 11:20:23 +01:00
parent 89c11b8daf
commit 217c5cb78b
9 changed files with 163 additions and 17 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -13338,6 +13338,15 @@ ir.cpp:
# 1217| getLValue(): [VariableAccess] vi4
# 1217| Type = [SpecifiedType] __attribute((vector_size(16UL))) int
# 1217| ValueCategory = lvalue
# 1217| getRValue(): [LogicalAndExpr] ... && ...
# 1217| Type = [GNUVectorType] __attribute((vector_size(16))) int
# 1217| ValueCategory = prvalue
# 1217| getLeftOperand(): [VariableAccess] vi4
# 1217| Type = [SpecifiedType] __attribute((vector_size(16UL))) int
# 1217| ValueCategory = prvalue(load)
# 1217| getRightOperand(): [VariableAccess] vi4_shuffle
# 1217| Type = [SpecifiedType] __attribute((vector_size(16UL))) int
# 1217| ValueCategory = prvalue(load)
# 1218| getStmt(6): [ExprStmt] ExprStmt
# 1218| getExpr(): [AssignExpr] ... = ...
# 1218| Type = [SpecifiedType] __attribute((vector_size(16UL))) int
@@ -13345,6 +13354,15 @@ ir.cpp:
# 1218| getLValue(): [VariableAccess] vi4
# 1218| Type = [SpecifiedType] __attribute((vector_size(16UL))) int
# 1218| ValueCategory = lvalue
# 1218| getRValue(): [LogicalOrExpr] ... || ...
# 1218| Type = [GNUVectorType] __attribute((vector_size(16))) int
# 1218| ValueCategory = prvalue
# 1218| getLeftOperand(): [VariableAccess] vi4
# 1218| Type = [SpecifiedType] __attribute((vector_size(16UL))) int
# 1218| ValueCategory = prvalue(load)
# 1218| getRightOperand(): [VariableAccess] vi4_shuffle
# 1218| Type = [SpecifiedType] __attribute((vector_size(16UL))) int
# 1218| ValueCategory = prvalue(load)
# 1219| getStmt(7): [ReturnStmt] return ...
# 1221| [TopLevelFunction] void* memcpy(void*, void*, int)
# 1221| <params>:

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

@@ -10486,6 +10486,80 @@ ir.cpp:
# 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
# 1217| r1217_1(glval<__attribute((vector_size(16UL))) int>) = VariableAddress[vi4] :
# 1217| r1217_2(__attribute((vector_size(16UL))) int) = Load[vi4] : &:r1217_1, m1216_7
# 1217| r1217_3(__attribute((vector_size(16UL))) int) = Constant[0] :
# 1217| r1217_4(bool) = CompareNE : r1217_2, r1217_3
# 1217| v1217_5(void) = ConditionalBranch : r1217_4
#-----| False -> Block 1
#-----| True -> Block 4
# 1217| Block 1
# 1217| r1217_6(glval<__attribute((vector_size(16))) int>) = VariableAddress[#temp1217:9] :
# 1217| r1217_7(__attribute((vector_size(16))) int) = Constant[0] :
# 1217| m1217_8(__attribute((vector_size(16))) int) = Store[#temp1217:9] : &:r1217_6, r1217_7
#-----| Goto -> Block 2
# 1217| Block 2
# 1217| m1217_9(__attribute((vector_size(16))) int) = Phi : from 1:m1217_8, from 3:m1217_16
# 1217| r1217_10(glval<__attribute((vector_size(16))) int>) = VariableAddress[#temp1217:9] :
# 1217| r1217_11(__attribute((vector_size(16))) int) = Load[#temp1217:9] : &:r1217_10, m1217_9
# 1217| r1217_12(glval<__attribute((vector_size(16UL))) int>) = VariableAddress[vi4] :
# 1217| m1217_13(__attribute((vector_size(16UL))) int) = Store[vi4] : &:r1217_12, r1217_11
# 1218| r1218_1(glval<__attribute((vector_size(16UL))) int>) = VariableAddress[vi4] :
# 1218| r1218_2(__attribute((vector_size(16UL))) int) = Load[vi4] : &:r1218_1, m1217_13
# 1218| r1218_3(__attribute((vector_size(16UL))) int) = Constant[0] :
# 1218| r1218_4(bool) = CompareNE : r1218_2, r1218_3
# 1218| v1218_5(void) = ConditionalBranch : r1218_4
#-----| False -> Block 8
#-----| True -> Block 7
# 1217| Block 3
# 1217| r1217_14(glval<__attribute((vector_size(16))) int>) = VariableAddress[#temp1217:9] :
# 1217| r1217_15(__attribute((vector_size(16))) int) = Constant[1] :
# 1217| m1217_16(__attribute((vector_size(16))) int) = Store[#temp1217:9] : &:r1217_14, r1217_15
#-----| Goto -> Block 2
# 1217| Block 4
# 1217| r1217_17(glval<__attribute((vector_size(16UL))) int>) = VariableAddress[vi4_shuffle] :
# 1217| r1217_18(__attribute((vector_size(16UL))) int) = Load[vi4_shuffle] : &:r1217_17, m1215_11
# 1217| r1217_19(__attribute((vector_size(16UL))) int) = Constant[0] :
# 1217| r1217_20(bool) = CompareNE : r1217_18, r1217_19
# 1217| v1217_21(void) = ConditionalBranch : r1217_20
#-----| False -> Block 1
#-----| True -> Block 3
# 1218| Block 5
# 1218| r1218_6(glval<__attribute((vector_size(16))) int>) = VariableAddress[#temp1218:9] :
# 1218| r1218_7(__attribute((vector_size(16))) int) = Constant[0] :
# 1218| m1218_8(__attribute((vector_size(16))) int) = Store[#temp1218:9] : &:r1218_6, r1218_7
#-----| Goto -> Block 6
# 1218| Block 6
# 1218| m1218_9(__attribute((vector_size(16))) int) = Phi : from 5:m1218_8, from 7:m1218_16
# 1218| r1218_10(glval<__attribute((vector_size(16))) int>) = VariableAddress[#temp1218:9] :
# 1218| r1218_11(__attribute((vector_size(16))) int) = Load[#temp1218:9] : &:r1218_10, m1218_9
# 1218| r1218_12(glval<__attribute((vector_size(16UL))) int>) = VariableAddress[vi4] :
# 1218| m1218_13(__attribute((vector_size(16UL))) int) = Store[vi4] : &:r1218_12, r1218_11
# 1219| v1219_1(void) = NoOp :
# 1211| v1211_7(void) = ReturnVoid :
# 1211| v1211_8(void) = AliasedUse : m1211_3
# 1211| v1211_9(void) = ExitFunction :
# 1218| Block 7
# 1218| r1218_14(glval<__attribute((vector_size(16))) int>) = VariableAddress[#temp1218:9] :
# 1218| r1218_15(__attribute((vector_size(16))) int) = Constant[1] :
# 1218| m1218_16(__attribute((vector_size(16))) int) = Store[#temp1218:9] : &:r1218_14, r1218_15
#-----| Goto -> Block 6
# 1218| Block 8
# 1218| r1218_17(glval<__attribute((vector_size(16UL))) int>) = VariableAddress[vi4_shuffle] :
# 1218| r1218_18(__attribute((vector_size(16UL))) int) = Load[vi4_shuffle] : &:r1218_17, m1215_11
# 1218| r1218_19(__attribute((vector_size(16UL))) int) = Constant[0] :
# 1218| r1218_20(bool) = CompareNE : r1218_18, r1218_19
# 1218| v1218_21(void) = ConditionalBranch : r1218_20
#-----| False -> Block 5
#-----| True -> Block 7
# 1223| int ModeledCallTarget(int)
# 1223| Block 0

1
cpp/ql/test/library-tests/ir/ir/aliased_ssa_consistency.expected
View File

@@ -6,7 +6,6 @@ missingOperandType
duplicateChiOperand
sideEffectWithoutPrimary
instructionWithoutSuccessor
| ir.cpp:1216:3:1216:25 | Store: ... = ... | Instruction 'Store: ... = ...' has no successors in function '$@'. | ir.cpp:1211:6:1211:16 | void VectorTypes(int) | void VectorTypes(int) |
ambiguousSuccessors
unexplainedLoop
unnecessaryPhiInstruction

1
cpp/ql/test/library-tests/ir/ir/aliased_ssa_consistency_unsound.expected
View File

@@ -6,7 +6,6 @@ missingOperandType
duplicateChiOperand
sideEffectWithoutPrimary
instructionWithoutSuccessor
| ir.cpp:1216:3:1216:25 | Store: ... = ... | Instruction 'Store: ... = ...' has no successors in function '$@'. | ir.cpp:1211:6:1211:16 | void VectorTypes(int) | void VectorTypes(int) |
ambiguousSuccessors
unexplainedLoop
unnecessaryPhiInstruction

4
cpp/ql/test/library-tests/ir/ir/raw_consistency.expected
View File

@@ -1,6 +1,4 @@
missingOperand
| ir.cpp:1217:3:1217:26 | Store: ... = ... | Instruction 'Store' is missing an expected operand with tag 'StoreValue' in function '$@'. | ir.cpp:1211:6:1211:16 | void VectorTypes(int) | void VectorTypes(int) |
| ir.cpp:1218:3:1218:26 | Store: ... = ... | Instruction 'Store' is missing an expected operand with tag 'StoreValue' in function '$@'. | ir.cpp:1211:6:1211:16 | void VectorTypes(int) | void VectorTypes(int) |
unexpectedOperand
duplicateOperand
missingPhiOperand
@@ -8,8 +6,6 @@ missingOperandType
duplicateChiOperand
sideEffectWithoutPrimary
instructionWithoutSuccessor
| ir.cpp:1216:3:1216:25 | Store: ... = ... | Instruction 'Store: ... = ...' has no successors in function '$@'. | ir.cpp:1211:6:1211:16 | void VectorTypes(int) | void VectorTypes(int) |
| ir.cpp:1217:3:1217:26 | Store: ... = ... | Instruction 'Store: ... = ...' has no successors in function '$@'. | ir.cpp:1211:6:1211:16 | void VectorTypes(int) | void VectorTypes(int) |
ambiguousSuccessors
unexplainedLoop
unnecessaryPhiInstruction

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

@@ -9692,18 +9692,78 @@ ir.cpp:
# 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| mu1216_7(__attribute((vector_size(16UL))) int) = Store[vi4] : &:r1216_6, r1216_5
# 1217| r1217_1(glval<__attribute((vector_size(16UL))) int>) = VariableAddress[vi4] :
# 1217| r1217_2(__attribute((vector_size(16UL))) int) = Load[vi4] : &:r1217_1, ~m?
# 1217| r1217_3(__attribute((vector_size(16UL))) int) = Constant[0] :
# 1217| r1217_4(bool) = CompareNE : r1217_2, r1217_3
# 1217| v1217_5(void) = ConditionalBranch : r1217_4
#-----| False -> Block 1
#-----| True -> Block 4
# 1217| Block 1
# 1217| r1217_1(glval<__attribute((vector_size(16UL))) int>) = VariableAddress[vi4] :
# 1217| mu1217_2(__attribute((vector_size(16UL))) int) = Store[vi4] : &:r1217_1
# 1217| r1217_6(glval<__attribute((vector_size(16))) int>) = VariableAddress[#temp1217:9] :
# 1217| r1217_7(__attribute((vector_size(16))) int) = Constant[0] :
# 1217| mu1217_8(__attribute((vector_size(16))) int) = Store[#temp1217:9] : &:r1217_6, r1217_7
#-----| Goto -> Block 2
# 1218| Block 2
# 1218| r1218_1(glval<__attribute((vector_size(16UL))) int>) = VariableAddress[vi4] :
# 1218| mu1218_2(__attribute((vector_size(16UL))) int) = Store[vi4] : &:r1218_1
# 1219| v1219_1(void) = NoOp :
# 1211| v1211_6(void) = ReturnVoid :
# 1211| v1211_7(void) = AliasedUse : ~m?
# 1211| v1211_8(void) = ExitFunction :
# 1217| Block 2
# 1217| r1217_9(glval<__attribute((vector_size(16))) int>) = VariableAddress[#temp1217:9] :
# 1217| r1217_10(__attribute((vector_size(16))) int) = Load[#temp1217:9] : &:r1217_9, ~m?
# 1217| r1217_11(glval<__attribute((vector_size(16UL))) int>) = VariableAddress[vi4] :
# 1217| mu1217_12(__attribute((vector_size(16UL))) int) = Store[vi4] : &:r1217_11, r1217_10
# 1218| r1218_1(glval<__attribute((vector_size(16UL))) int>) = VariableAddress[vi4] :
# 1218| r1218_2(__attribute((vector_size(16UL))) int) = Load[vi4] : &:r1218_1, ~m?
# 1218| r1218_3(__attribute((vector_size(16UL))) int) = Constant[0] :
# 1218| r1218_4(bool) = CompareNE : r1218_2, r1218_3
# 1218| v1218_5(void) = ConditionalBranch : r1218_4
#-----| False -> Block 8
#-----| True -> Block 7
# 1217| Block 3
# 1217| r1217_13(glval<__attribute((vector_size(16))) int>) = VariableAddress[#temp1217:9] :
# 1217| r1217_14(__attribute((vector_size(16))) int) = Constant[1] :
# 1217| mu1217_15(__attribute((vector_size(16))) int) = Store[#temp1217:9] : &:r1217_13, r1217_14
#-----| Goto -> Block 2
# 1217| Block 4
# 1217| r1217_16(glval<__attribute((vector_size(16UL))) int>) = VariableAddress[vi4_shuffle] :
# 1217| r1217_17(__attribute((vector_size(16UL))) int) = Load[vi4_shuffle] : &:r1217_16, ~m?
# 1217| r1217_18(__attribute((vector_size(16UL))) int) = Constant[0] :
# 1217| r1217_19(bool) = CompareNE : r1217_17, r1217_18
# 1217| v1217_20(void) = ConditionalBranch : r1217_19
#-----| False -> Block 1
#-----| True -> Block 3
# 1218| Block 5
# 1218| r1218_6(glval<__attribute((vector_size(16))) int>) = VariableAddress[#temp1218:9] :
# 1218| r1218_7(__attribute((vector_size(16))) int) = Constant[0] :
# 1218| mu1218_8(__attribute((vector_size(16))) int) = Store[#temp1218:9] : &:r1218_6, r1218_7
#-----| Goto -> Block 6
# 1218| Block 6
# 1218| r1218_9(glval<__attribute((vector_size(16))) int>) = VariableAddress[#temp1218:9] :
# 1218| r1218_10(__attribute((vector_size(16))) int) = Load[#temp1218:9] : &:r1218_9, ~m?
# 1218| r1218_11(glval<__attribute((vector_size(16UL))) int>) = VariableAddress[vi4] :
# 1218| mu1218_12(__attribute((vector_size(16UL))) int) = Store[vi4] : &:r1218_11, r1218_10
# 1219| v1219_1(void) = NoOp :
# 1211| v1211_6(void) = ReturnVoid :
# 1211| v1211_7(void) = AliasedUse : ~m?
# 1211| v1211_8(void) = ExitFunction :
# 1218| Block 7
# 1218| r1218_13(glval<__attribute((vector_size(16))) int>) = VariableAddress[#temp1218:9] :
# 1218| r1218_14(__attribute((vector_size(16))) int) = Constant[1] :
# 1218| mu1218_15(__attribute((vector_size(16))) int) = Store[#temp1218:9] : &:r1218_13, r1218_14
#-----| Goto -> Block 6
# 1218| Block 8
# 1218| r1218_16(glval<__attribute((vector_size(16UL))) int>) = VariableAddress[vi4_shuffle] :
# 1218| r1218_17(__attribute((vector_size(16UL))) int) = Load[vi4_shuffle] : &:r1218_16, ~m?
# 1218| r1218_18(__attribute((vector_size(16UL))) int) = Constant[0] :
# 1218| r1218_19(bool) = CompareNE : r1218_17, r1218_18
# 1218| v1218_20(void) = ConditionalBranch : r1218_19
#-----| False -> Block 5
#-----| True -> Block 7
# 1223| int ModeledCallTarget(int)
# 1223| Block 0

1
cpp/ql/test/library-tests/ir/ir/unaliased_ssa_consistency.expected
View File

@@ -6,7 +6,6 @@ missingOperandType
duplicateChiOperand
sideEffectWithoutPrimary
instructionWithoutSuccessor
| ir.cpp:1216:3:1216:25 | Store: ... = ... | Instruction 'Store: ... = ...' has no successors in function '$@'. | ir.cpp:1211:6:1211:16 | void VectorTypes(int) | void VectorTypes(int) |
ambiguousSuccessors
unexplainedLoop
unnecessaryPhiInstruction

1
cpp/ql/test/library-tests/ir/ir/unaliased_ssa_consistency_unsound.expected
View File

@@ -6,7 +6,6 @@ missingOperandType
duplicateChiOperand
sideEffectWithoutPrimary
instructionWithoutSuccessor
| ir.cpp:1216:3:1216:25 | Store: ... = ... | Instruction 'Store: ... = ...' has no successors in function '$@'. | ir.cpp:1211:6:1211:16 | void VectorTypes(int) | void VectorTypes(int) |
ambiguousSuccessors
unexplainedLoop
unnecessaryPhiInstruction

2
cpp/ql/test/library-tests/vector_types/vector_ops.expected
View File

@@ -2,3 +2,5 @@
| vector_types.cpp:21:10:21:18 | ... < ... | < | file://:0:0:0:0 | __attribute((vector_size(16))) int |
| vector_types.cpp:51:10:51:18 | ... << ... | << | file://:0:0:0:0 | __attribute((vector_size(16))) int |
| vector_types.cpp:51:18:51:18 | (vector fill) ... | (vector fill) | file://:0:0:0:0 | __attribute((vector_size(16))) int |
| vector_types.cpp:55:10:55:23 | ... && ... | && | file://:0:0:0:0 | __attribute((vector_size(16))) int |
| vector_types.cpp:56:10:56:23 | ... \|\| ... | \|\| | file://:0:0:0:0 | __attribute((vector_size(16))) int |