mirror of
https://github.com/RPCS3/llvm-mirror.git
synced 2024-10-19 19:12:56 +02:00
951525e0a5
Summary:
This allows you to make some of the defs in a multiclass or `foreach`
conditional on an expression computed from the parameters or iteration
variables.
It was already possible to simulate an if statement using a `foreach`
with a dummy iteration variable and a list constructed using `!if` so
that it had length 0 or 1 depending on the condition, e.g.
foreach unusedIterationVar = !if(condition, [1], []<int>) in { ... }
But this syntax is nicer to read, and also more convenient because it
allows an else clause.
To avoid upheaval in the implementation, I've implemented `if` as pure
syntactic sugar on the `foreach` implementation: internally, `ParseIf`
actually does construct exactly the kind of foreach shown above (and
another reversed one for the else clause if present).
Reviewers: nhaehnle, hfinkel
Reviewed By: hfinkel
Subscribers: hiraditya, llvm-commits
Tags: #llvm
Differential Revision: https://reviews.llvm.org/D71474
93 lines
1.9 KiB
TableGen
93 lines
1.9 KiB
TableGen
// RUN: llvm-tblgen %s | FileCheck %s
|
|
// RUN: not llvm-tblgen -DERROR1 %s 2>&1 | FileCheck --check-prefix=ERROR1 %s
|
|
// RUN: not llvm-tblgen -DERROR2 %s 2>&1 | FileCheck --check-prefix=ERROR2 %s
|
|
|
|
// Test at top level.
|
|
|
|
// CHECK-NOT: def aNo
|
|
// CHECK: def aYes
|
|
if 0 then def aNo;
|
|
if 1 then def aYes;
|
|
|
|
// Test inside a foreach, with condition based on the iteration variable.
|
|
|
|
// CHECK: def bNotThree1
|
|
// CHECK: def bNotThree2
|
|
// CHECK: def bNotThree4
|
|
// CHECK: def bThree3
|
|
foreach i = 1-4 in {
|
|
if !eq(i, 3) then {
|
|
def "bThree" # i;
|
|
} else {
|
|
def "bNotThree" # i;
|
|
}
|
|
}
|
|
|
|
// Test inside a multiclass, with condition based on a multiclass parameter.
|
|
|
|
multiclass Multi<int i> {
|
|
def Unconditional;
|
|
|
|
if !eq(i, 2) then
|
|
def Cond;
|
|
|
|
if !ge(i, 3) then
|
|
def ThenRec;
|
|
else
|
|
def ElseRec;
|
|
}
|
|
|
|
// CHECK-NOT: def c1Cond
|
|
// CHECK: def c1ElseRec
|
|
// CHECK-NOT: def c1ThenRec
|
|
// CHECK: def c1Unconditional
|
|
defm c1: Multi<1>;
|
|
|
|
// CHECK: def c2Cond
|
|
// CHECK: def c2ElseRec
|
|
// CHECK-NOT: def c2ThenRec
|
|
// CHECK: def c2Unconditional
|
|
defm c2: Multi<2>;
|
|
|
|
// CHECK-NOT: def c3Cond
|
|
// CHECK-NOT: def c3ElseRec
|
|
// CHECK: def c3ThenRec
|
|
// CHECK: def c3Unconditional
|
|
defm c3: Multi<3>;
|
|
|
|
// Test resolution of the dangling-else ambiguity.
|
|
|
|
// CHECK: def dThenElse00
|
|
// CHECK-NOT: def dThenElse1
|
|
// CHECK-NOT: def dThenElse11
|
|
// CHECK: def dThenThen01
|
|
foreach i = 0-1 in
|
|
foreach j = 0-1 in
|
|
if !eq(i,0) then
|
|
if !eq(j,1) then
|
|
def "dThenThen"#i#j;
|
|
else // binds to the inner if, not the outer one
|
|
def "dThenElse"#i#j;
|
|
|
|
// Error tests: ensure you can't put an if inside a def or class.
|
|
|
|
#ifdef ERROR1
|
|
def baddef {
|
|
int x = 3;
|
|
// ERROR1: [[@LINE+1]]:3: error: Unknown token when expecting a type
|
|
if 1 then {
|
|
int y = 4;
|
|
}
|
|
}
|
|
#endif
|
|
|
|
#ifdef ERROR2
|
|
class badclass<int i> {
|
|
int x = 3;
|
|
// ERROR2: [[@LINE+1]]:3: error: Unknown token when expecting a type
|
|
if !eq(i, 5) then {
|
|
int y = 4;
|
|
}
|
|
}
|
|
#endif
|