From d1b45f3059e100d096327eb178c1bac365e564f1 Mon Sep 17 00:00:00 2001 From: Tim Foley Date: Tue, 7 Nov 2017 11:57:48 -0800 Subject: IR: support for select and negate (#257) - During IR emit, treat a "select" expression (`?:` operator) like any other `InvokeExpr`, since it will have an `__intrinsic_op` modifier attached to turn it into a `select` instruction. - During HLSL/GLSL emit from IR, turn a `select` instruction into a `?:` expression - Also add support for the `neg` instruction during HLSL/GLSL emit Note that right now we are assuming HLSL semantics for `?:` where it does not short-circuit. Correctly handling the GLSL case would require going back to special-case codegen for `SelectExpr`, but we can cross that bridge when we come to it. --- tests/compute/select-expr.slang | 18 ++++++++++++++++++ 1 file changed, 18 insertions(+) create mode 100644 tests/compute/select-expr.slang (limited to 'tests/compute/select-expr.slang') diff --git a/tests/compute/select-expr.slang b/tests/compute/select-expr.slang new file mode 100644 index 000000000..d90708ab9 --- /dev/null +++ b/tests/compute/select-expr.slang @@ -0,0 +1,18 @@ +//TEST(smoke,compute):COMPARE_COMPUTE: +//TEST_INPUT:ubuffer(data=[0 0 0 0], stride=4):dxbinding(0),glbinding(0),out + + +// Test IR code generation for the `?:` "select" operator + +int test(int input) +{ + return input > 1 ? -input : input; +} + +RWStructuredBuffer outputBuffer; + +[numthreads(4, 1, 1)] +void computeMain(uint3 dispatchThreadID : SV_DispatchThreadID) +{ + outputBuffer[dispatchThreadID.x] = test((int) dispatchThreadID.x); +} \ No newline at end of file -- cgit v1.2.3