https://bugs.freedesktop.org/show_bug.cgi?id=101442
--- Comment #4 from Gert Wollny <gw.foss...@gmail.com> ---
After reviewing the byte code of fs-if-def-else-break I found that the problem
is a bit different:
In the original code BREAK is called in the loop when (KC0[0].x != 0) just like
implemented in the glsl code:
0002 LOOP_START_DX10 @36
0004 ALU_PUSH_BEFORE 2 @48 KC0[CB0:0-15]
0048 2 x: MOV R2.x, 1
0050 3 MP x: PRED_SETNE_INT R6.x, KC0[0].x, 0
0006 JUMP @10 << JUMP is called if condition fails
0008 ALU 2 @52
0052 4 x: MOV R2.x, [0x00000002 2.8026e-45].x
0054 00000002
0010 ELSE @16 POP:1
0012 LOOP_BREAK @34
0014 POP @16 POP:1
however, in the optimized code the assignment and its branch is optimized away,
and BREAK is called when (KC0[0].x == 0), i.e. exactly the opposite of the
0002 LOOP_START_DX10 @30
0004 PUSH @6
0006 ALU 1 @38 KC0[CB0:0-15]
0038 2 M x: PRED_SETNE_INT __.x, KC0[0].x, 0
0008 JUMP @14 POP:1 << JUMP is called if condition fails
0010 LOOP_BREAK @28
0012 POP @14 POP:1
i.e. the optimizer removed the if branch, keeps the else branch but acts as if
it were the if branch, hence the failure.
--
You are receiving this mail because:
You are the assignee for the bug.
_______________________________________________
dri-devel mailing list
dri-devel@lists.freedesktop.org
https://lists.freedesktop.org/mailman/listinfo/dri-devel
