1 #include "tgsitollvm.h"
7 #include "instructions.h"
8 #include "storagesoa.h"
9 #include "instructionssoa.h"
11 #include "pipe/p_shader_tokens.h"
13 #include "tgsi/tgsi_parse.h"
14 #include "tgsi/tgsi_exec.h"
15 #include "tgsi/tgsi_util.h"
16 #include "tgsi/tgsi_build.h"
17 #include "tgsi/tgsi_dump.h"
20 #include <llvm/Module.h>
21 #include <llvm/CallingConv.h>
22 #include <llvm/Constants.h>
23 #include <llvm/DerivedTypes.h>
24 #include <llvm/Instructions.h>
25 #include <llvm/ModuleProvider.h>
26 #include <llvm/Pass.h>
27 #include <llvm/PassManager.h>
28 #include <llvm/ParameterAttributes.h>
29 #include <llvm/Support/PatternMatch.h>
30 #include <llvm/ExecutionEngine/JIT.h>
31 #include <llvm/ExecutionEngine/Interpreter.h>
32 #include <llvm/ExecutionEngine/GenericValue.h>
33 #include <llvm/Support/MemoryBuffer.h>
34 #include <llvm/LinkAllPasses.h>
35 #include <llvm/Analysis/Verifier.h>
36 #include <llvm/Analysis/LoopPass.h>
37 #include <llvm/Target/TargetData.h>
38 #include <llvm/Bitcode/ReaderWriter.h>
39 #include <llvm/Transforms/Utils/Cloning.h>
48 static inline FunctionType
*vertexShaderFunctionType()
50 //Function takes three arguments,
51 // the calling code has to make sure the types it will
52 // pass are castable to the following:
53 // [4 x <4 x float>] inputs,
54 // [4 x <4 x float>] output,
55 // [4 x [4 x float]] consts,
56 // [4 x <4 x float>] temps
58 std::vector
<const Type
*> funcArgs
;
59 VectorType
*vectorType
= VectorType::get(Type::FloatTy
, 4);
60 ArrayType
*vectorArray
= ArrayType::get(vectorType
, 4);
61 PointerType
*vectorArrayPtr
= PointerType::get(vectorArray
, 0);
63 ArrayType
*floatArray
= ArrayType::get(Type::FloatTy
, 4);
64 ArrayType
*constsArray
= ArrayType::get(floatArray
, 4);
65 PointerType
*constsArrayPtr
= PointerType::get(constsArray
, 0);
67 funcArgs
.push_back(vectorArrayPtr
);//inputs
68 funcArgs
.push_back(vectorArrayPtr
);//output
69 funcArgs
.push_back(constsArrayPtr
);//consts
70 funcArgs
.push_back(vectorArrayPtr
);//temps
72 FunctionType
*functionType
= FunctionType::get(
73 /*Result=*/Type::VoidTy
,
81 add_interpolator(struct gallivm_ir
*ir
,
82 struct gallivm_interpolate
*interp
)
84 ir
->interpolators
[ir
->num_interp
] = *interp
;
89 translate_declaration(struct gallivm_ir
*prog
,
92 struct tgsi_full_declaration
*decl
,
93 struct tgsi_full_declaration
*fd
)
95 if (decl
->Declaration
.File
== TGSI_FILE_INPUT
) {
96 unsigned first
, last
, mask
;
99 first
= decl
->DeclarationRange
.First
;
100 last
= decl
->DeclarationRange
.Last
;
101 mask
= decl
->Declaration
.UsageMask
;
103 /* Do not touch WPOS.xy */
105 mask
&= ~TGSI_WRITEMASK_XY
;
106 if (mask
== TGSI_WRITEMASK_NONE
) {
114 interp_method
= decl
->Declaration
.Interpolate
;
116 if (mask
== TGSI_WRITEMASK_XYZW
) {
119 for (i
= first
; i
<= last
; i
++) {
120 for (j
= 0; j
< NUM_CHANNELS
; j
++) {
121 //interp( mach, i, j );
122 struct gallivm_interpolate interp
;
123 interp
.type
= interp_method
;
126 add_interpolator(prog
, &interp
);
131 for( j
= 0; j
< NUM_CHANNELS
; j
++ ) {
132 if( mask
& (1 << j
) ) {
133 for( i
= first
; i
<= last
; i
++ ) {
134 struct gallivm_interpolate interp
;
135 interp
.type
= interp_method
;
138 add_interpolator(prog
, &interp
);
147 translate_declarationir(struct gallivm_ir
*,
150 struct tgsi_full_declaration
*decl
,
151 struct tgsi_full_declaration
*)
153 if (decl
->Declaration
.File
== TGSI_FILE_ADDRESS
) {
154 int idx
= decl
->DeclarationRange
.First
;
155 storage
->addAddress(idx
);
160 translate_immediate(Storage
*storage
,
161 struct tgsi_full_immediate
*imm
)
165 for (i
= 0; i
< imm
->Immediate
.Size
- 1; ++i
) {
166 switch (imm
->Immediate
.DataType
) {
167 case TGSI_IMM_FLOAT32
:
168 vec
[i
] = imm
->u
.ImmediateFloat32
[i
].Float
;
174 storage
->addImmediate(vec
);
179 translate_immediateir(StorageSoa
*storage
,
180 struct tgsi_full_immediate
*imm
)
184 for (i
= 0; i
< imm
->Immediate
.Size
- 1; ++i
) {
185 switch (imm
->Immediate
.DataType
) {
186 case TGSI_IMM_FLOAT32
:
187 vec
[i
] = imm
->u
.ImmediateFloat32
[i
].Float
;
193 storage
->addImmediate(vec
);
197 swizzleInt(struct tgsi_full_src_register
*src
)
202 for (int k
= 0; k
< 4; ++k
) {
203 swizzle
+= tgsi_util_get_full_src_register_extswizzle(src
, k
) * start
;
209 static inline llvm::Value
*
210 swizzleVector(llvm::Value
*val
, struct tgsi_full_src_register
*src
,
213 int swizzle
= swizzleInt(src
);
215 if (gallivm_is_swizzle(swizzle
)) {
216 /*fprintf(stderr, "XXXXXXXX swizzle = %d\n", swizzle);*/
217 val
= storage
->shuffleVector(val
, swizzle
);
223 translate_instruction(llvm::Module
*module
,
226 struct tgsi_full_instruction
*inst
,
227 struct tgsi_full_instruction
*fi
,
230 llvm::Value
*inputs
[4];
236 for (int i
= 0; i
< inst
->Instruction
.NumSrcRegs
; ++i
) {
237 struct tgsi_full_src_register
*src
= &inst
->FullSrcRegisters
[i
];
238 llvm::Value
*val
= 0;
239 llvm::Value
*indIdx
= 0;
241 if (src
->SrcRegister
.Indirect
) {
242 indIdx
= storage
->addrElement(src
->SrcRegisterInd
.Index
);
243 indIdx
= storage
->extractIndex(indIdx
);
245 if (src
->SrcRegister
.File
== TGSI_FILE_CONSTANT
) {
246 val
= storage
->constElement(src
->SrcRegister
.Index
, indIdx
);
247 } else if (src
->SrcRegister
.File
== TGSI_FILE_INPUT
) {
248 val
= storage
->inputElement(src
->SrcRegister
.Index
, indIdx
);
249 } else if (src
->SrcRegister
.File
== TGSI_FILE_TEMPORARY
) {
250 val
= storage
->tempElement(src
->SrcRegister
.Index
);
251 } else if (src
->SrcRegister
.File
== TGSI_FILE_OUTPUT
) {
252 val
= storage
->outputElement(src
->SrcRegister
.Index
, indIdx
);
253 } else if (src
->SrcRegister
.File
== TGSI_FILE_IMMEDIATE
) {
254 val
= storage
->immediateElement(src
->SrcRegister
.Index
);
256 fprintf(stderr
, "ERROR: not supported llvm source %d\n", src
->SrcRegister
.File
);
260 inputs
[i
] = swizzleVector(val
, src
, storage
);
264 instr->printVector(inputs[0]);
266 instr->printVector(inputs[1]);*/
267 llvm::Value
*out
= 0;
268 switch (inst
->Instruction
.Opcode
) {
269 case TGSI_OPCODE_ARL
: {
270 out
= instr
->arl(inputs
[0]);
273 case TGSI_OPCODE_MOV
: {
277 case TGSI_OPCODE_LIT
: {
278 out
= instr
->lit(inputs
[0]);
281 case TGSI_OPCODE_RCP
: {
282 out
= instr
->rcp(inputs
[0]);
285 case TGSI_OPCODE_RSQ
: {
286 out
= instr
->rsq(inputs
[0]);
289 case TGSI_OPCODE_EXP
: {
290 out
= instr
->exp(inputs
[0]);
293 case TGSI_OPCODE_LOG
: {
294 out
= instr
->log(inputs
[0]);
297 case TGSI_OPCODE_MUL
: {
298 out
= instr
->mul(inputs
[0], inputs
[1]);
301 case TGSI_OPCODE_ADD
: {
302 out
= instr
->add(inputs
[0], inputs
[1]);
305 case TGSI_OPCODE_DP3
: {
306 out
= instr
->dp3(inputs
[0], inputs
[1]);
309 case TGSI_OPCODE_DP4
: {
310 out
= instr
->dp4(inputs
[0], inputs
[1]);
313 case TGSI_OPCODE_DST
: {
314 out
= instr
->dst(inputs
[0], inputs
[1]);
317 case TGSI_OPCODE_MIN
: {
318 out
= instr
->min(inputs
[0], inputs
[1]);
321 case TGSI_OPCODE_MAX
: {
322 out
= instr
->max(inputs
[0], inputs
[1]);
325 case TGSI_OPCODE_SLT
: {
326 out
= instr
->slt(inputs
[0], inputs
[1]);
329 case TGSI_OPCODE_SGE
: {
330 out
= instr
->sge(inputs
[0], inputs
[1]);
333 case TGSI_OPCODE_MAD
: {
334 out
= instr
->madd(inputs
[0], inputs
[1], inputs
[2]);
337 case TGSI_OPCODE_SUB
: {
338 out
= instr
->sub(inputs
[0], inputs
[1]);
341 case TGSI_OPCODE_LERP
: {
342 out
= instr
->lerp(inputs
[0], inputs
[1], inputs
[2]);
345 case TGSI_OPCODE_CND
: {
346 out
= instr
->cnd(inputs
[0], inputs
[1], inputs
[2]);
349 case TGSI_OPCODE_CND0
: {
350 out
= instr
->cnd0(inputs
[0], inputs
[1], inputs
[2]);
353 case TGSI_OPCODE_DOT2ADD
: {
354 out
= instr
->dot2add(inputs
[0], inputs
[1], inputs
[2]);
357 case TGSI_OPCODE_INDEX
:
359 case TGSI_OPCODE_NEGATE
: {
360 out
= instr
->neg(inputs
[0]);
363 case TGSI_OPCODE_FRAC
: {
364 out
= instr
->frc(inputs
[0]);
367 case TGSI_OPCODE_CLAMP
: {
368 out
= instr
->clamp(inputs
[0]);
371 case TGSI_OPCODE_FLOOR
: {
372 out
= instr
->floor(inputs
[0]);
375 case TGSI_OPCODE_ROUND
:
377 case TGSI_OPCODE_EXPBASE2
: {
378 out
= instr
->ex2(inputs
[0]);
381 case TGSI_OPCODE_LOGBASE2
: {
382 out
= instr
->lg2(inputs
[0]);
385 case TGSI_OPCODE_POWER
: {
386 out
= instr
->pow(inputs
[0], inputs
[1]);
389 case TGSI_OPCODE_CROSSPRODUCT
: {
390 out
= instr
->cross(inputs
[0], inputs
[1]);
393 case TGSI_OPCODE_MULTIPLYMATRIX
:
395 case TGSI_OPCODE_ABS
: {
396 out
= instr
->abs(inputs
[0]);
399 case TGSI_OPCODE_RCC
:
401 case TGSI_OPCODE_DPH
: {
402 out
= instr
->dph(inputs
[0], inputs
[1]);
405 case TGSI_OPCODE_COS
: {
406 out
= instr
->cos(inputs
[0]);
409 case TGSI_OPCODE_DDX
: {
410 out
= instr
->ddx(inputs
[0]);
413 case TGSI_OPCODE_DDY
: {
414 out
= instr
->ddy(inputs
[0]);
417 case TGSI_OPCODE_KILP
:
419 case TGSI_OPCODE_PK2H
:
421 case TGSI_OPCODE_PK2US
:
423 case TGSI_OPCODE_PK4B
:
425 case TGSI_OPCODE_PK4UB
:
427 case TGSI_OPCODE_RFL
:
429 case TGSI_OPCODE_SEQ
: {
430 out
= instr
->seq(inputs
[0], inputs
[1]);
433 case TGSI_OPCODE_SFL
: {
434 out
= instr
->sfl(inputs
[0], inputs
[1]);
437 case TGSI_OPCODE_SGT
: {
438 out
= instr
->sgt(inputs
[0], inputs
[1]);
441 case TGSI_OPCODE_SIN
: {
442 out
= instr
->sin(inputs
[0]);
445 case TGSI_OPCODE_SLE
: {
446 out
= instr
->sle(inputs
[0], inputs
[1]);
449 case TGSI_OPCODE_SNE
: {
450 out
= instr
->sne(inputs
[0], inputs
[1]);
453 case TGSI_OPCODE_STR
: {
454 out
= instr
->str(inputs
[0], inputs
[1]);
457 case TGSI_OPCODE_TEX
:
459 case TGSI_OPCODE_TXD
:
461 case TGSI_OPCODE_UP2H
:
463 case TGSI_OPCODE_UP2US
:
465 case TGSI_OPCODE_UP4B
:
467 case TGSI_OPCODE_UP4UB
:
469 case TGSI_OPCODE_X2D
: {
470 out
= instr
->x2d(inputs
[0], inputs
[1], inputs
[2]);
473 case TGSI_OPCODE_ARA
:
475 case TGSI_OPCODE_ARR
:
477 case TGSI_OPCODE_BRA
:
479 case TGSI_OPCODE_CAL
: {
480 instr
->cal(inst
->InstructionExtLabel
.Label
, storage
->inputPtr());
484 case TGSI_OPCODE_RET
: {
489 case TGSI_OPCODE_SSG
:
491 case TGSI_OPCODE_CMP
: {
492 out
= instr
->cmp(inputs
[0], inputs
[1], inputs
[2]);
495 case TGSI_OPCODE_SCS
: {
496 out
= instr
->scs(inputs
[0]);
499 case TGSI_OPCODE_TXB
:
501 case TGSI_OPCODE_NRM4
:
502 case TGSI_OPCODE_NRM
: {
503 out
= instr
->nrm(inputs
[0]);
506 case TGSI_OPCODE_DIV
: {
507 out
= instr
->div(inputs
[0], inputs
[1]);
510 case TGSI_OPCODE_DP2
: {
511 out
= instr
->dp2(inputs
[0], inputs
[1]);
514 case TGSI_OPCODE_TXL
:
516 case TGSI_OPCODE_BRK
: {
521 case TGSI_OPCODE_IF
: {
522 instr
->ifop(inputs
[0]);
523 storage
->setCurrentBlock(instr
->currentBlock());
524 return; //just update the state
527 case TGSI_OPCODE_LOOP
:
529 case TGSI_OPCODE_REP
:
531 case TGSI_OPCODE_ELSE
: {
533 storage
->setCurrentBlock(instr
->currentBlock());
534 return; //only state update
537 case TGSI_OPCODE_ENDIF
: {
539 storage
->setCurrentBlock(instr
->currentBlock());
540 return; //just update the state
543 case TGSI_OPCODE_ENDLOOP
:
545 case TGSI_OPCODE_ENDREP
:
547 case TGSI_OPCODE_PUSHA
:
549 case TGSI_OPCODE_POPA
:
551 case TGSI_OPCODE_CEIL
:
553 case TGSI_OPCODE_I2F
:
555 case TGSI_OPCODE_NOT
:
557 case TGSI_OPCODE_TRUNC
: {
558 out
= instr
->trunc(inputs
[0]);
561 case TGSI_OPCODE_SHL
:
563 case TGSI_OPCODE_SHR
:
565 case TGSI_OPCODE_AND
:
569 case TGSI_OPCODE_MOD
:
571 case TGSI_OPCODE_XOR
:
573 case TGSI_OPCODE_SAD
:
575 case TGSI_OPCODE_TXF
:
577 case TGSI_OPCODE_TXQ
:
579 case TGSI_OPCODE_CONT
:
581 case TGSI_OPCODE_EMIT
:
583 case TGSI_OPCODE_ENDPRIM
:
585 case TGSI_OPCODE_BGNLOOP2
: {
587 storage
->setCurrentBlock(instr
->currentBlock());
591 case TGSI_OPCODE_BGNSUB
: {
592 instr
->bgnSub(instno
);
593 storage
->setCurrentBlock(instr
->currentBlock());
594 storage
->pushTemps();
598 case TGSI_OPCODE_ENDLOOP2
: {
600 storage
->setCurrentBlock(instr
->currentBlock());
604 case TGSI_OPCODE_ENDSUB
: {
606 storage
->setCurrentBlock(instr
->currentBlock());
607 storage
->popArguments();
612 case TGSI_OPCODE_NOISE1
:
614 case TGSI_OPCODE_NOISE2
:
616 case TGSI_OPCODE_NOISE3
:
618 case TGSI_OPCODE_NOISE4
:
620 case TGSI_OPCODE_NOP
:
622 case TGSI_OPCODE_M4X3
:
624 case TGSI_OPCODE_M3X4
:
626 case TGSI_OPCODE_M3X3
:
628 case TGSI_OPCODE_M3X2
:
630 case TGSI_OPCODE_CALLNZ
:
632 case TGSI_OPCODE_IFC
:
634 case TGSI_OPCODE_BREAKC
:
636 case TGSI_OPCODE_KIL
: {
637 out
= instr
->kil(inputs
[0]);
638 storage
->setKilElement(out
);
642 case TGSI_OPCODE_END
:
647 fprintf(stderr
, "ERROR: Unknown opcode %d\n",
648 inst
->Instruction
.Opcode
);
654 fprintf(stderr
, "ERROR: unsupported opcode %d\n",
655 inst
->Instruction
.Opcode
);
656 assert(!"Unsupported opcode");
659 /* # not sure if we need this */
660 switch( inst
->Instruction
.Saturate
) {
663 case TGSI_SAT_ZERO_ONE
:
666 case TGSI_SAT_MINUS_PLUS_ONE
:
667 /*TXT( "_SAT[-1,1]" );*/
674 for (int i
= 0; i
< inst
->Instruction
.NumDstRegs
; ++i
) {
675 struct tgsi_full_dst_register
*dst
= &inst
->FullDstRegisters
[i
];
677 if (dst
->DstRegister
.File
== TGSI_FILE_OUTPUT
) {
678 storage
->setOutputElement(dst
->DstRegister
.Index
, out
, dst
->DstRegister
.WriteMask
);
679 } else if (dst
->DstRegister
.File
== TGSI_FILE_TEMPORARY
) {
680 storage
->setTempElement(dst
->DstRegister
.Index
, out
, dst
->DstRegister
.WriteMask
);
681 } else if (dst
->DstRegister
.File
== TGSI_FILE_ADDRESS
) {
682 storage
->setAddrElement(dst
->DstRegister
.Index
, out
, dst
->DstRegister
.WriteMask
);
684 fprintf(stderr
, "ERROR: unsupported LLVM destination!");
685 assert(!"wrong destination");
692 translate_instructionir(llvm::Module
*module
,
694 InstructionsSoa
*instr
,
695 struct tgsi_full_instruction
*inst
,
696 struct tgsi_full_instruction
*fi
,
699 std::vector
< std::vector
<llvm::Value
*> > inputs(inst
->Instruction
.NumSrcRegs
);
701 for (int i
= 0; i
< inst
->Instruction
.NumSrcRegs
; ++i
) {
702 struct tgsi_full_src_register
*src
= &inst
->FullSrcRegisters
[i
];
703 std::vector
<llvm::Value
*> val
;
704 llvm::Value
*indIdx
= 0;
705 int swizzle
= swizzleInt(src
);
707 if (src
->SrcRegister
.Indirect
) {
708 indIdx
= storage
->addrElement(src
->SrcRegisterInd
.Index
);
711 val
= storage
->load((enum tgsi_file_type
)src
->SrcRegister
.File
,
712 src
->SrcRegister
.Index
, swizzle
, indIdx
);
717 std::vector
<llvm::Value
*> out(4);
718 switch (inst
->Instruction
.Opcode
) {
719 case TGSI_OPCODE_ARL
: {
720 out
= instr
->arl(inputs
[0]);
723 case TGSI_OPCODE_MOV
: {
727 case TGSI_OPCODE_LIT
: {
728 out
= instr
->lit(inputs
[0]);
731 case TGSI_OPCODE_RCP
: {
734 case TGSI_OPCODE_RSQ
: {
735 out
= instr
->rsq(inputs
[0]);
738 case TGSI_OPCODE_EXP
:
740 case TGSI_OPCODE_LOG
:
742 case TGSI_OPCODE_MUL
: {
743 out
= instr
->mul(inputs
[0], inputs
[1]);
746 case TGSI_OPCODE_ADD
: {
747 out
= instr
->add(inputs
[0], inputs
[1]);
750 case TGSI_OPCODE_DP3
: {
751 out
= instr
->dp3(inputs
[0], inputs
[1]);
754 case TGSI_OPCODE_DP4
: {
755 out
= instr
->dp4(inputs
[0], inputs
[1]);
758 case TGSI_OPCODE_DST
: {
761 case TGSI_OPCODE_MIN
: {
762 out
= instr
->min(inputs
[0], inputs
[1]);
765 case TGSI_OPCODE_MAX
: {
766 out
= instr
->max(inputs
[0], inputs
[1]);
769 case TGSI_OPCODE_SLT
: {
772 case TGSI_OPCODE_SGE
: {
775 case TGSI_OPCODE_MAD
: {
776 out
= instr
->madd(inputs
[0], inputs
[1], inputs
[2]);
779 case TGSI_OPCODE_SUB
: {
780 out
= instr
->sub(inputs
[0], inputs
[1]);
783 case TGSI_OPCODE_LERP
: {
786 case TGSI_OPCODE_CND
:
788 case TGSI_OPCODE_CND0
:
790 case TGSI_OPCODE_DOT2ADD
:
792 case TGSI_OPCODE_INDEX
:
794 case TGSI_OPCODE_NEGATE
:
796 case TGSI_OPCODE_FRAC
: {
799 case TGSI_OPCODE_CLAMP
:
801 case TGSI_OPCODE_FLOOR
: {
804 case TGSI_OPCODE_ROUND
:
806 case TGSI_OPCODE_EXPBASE2
: {
809 case TGSI_OPCODE_LOGBASE2
: {
812 case TGSI_OPCODE_POWER
: {
813 out
= instr
->pow(inputs
[0], inputs
[1]);
816 case TGSI_OPCODE_CROSSPRODUCT
: {
819 case TGSI_OPCODE_MULTIPLYMATRIX
:
821 case TGSI_OPCODE_ABS
: {
822 out
= instr
->abs(inputs
[0]);
825 case TGSI_OPCODE_RCC
:
827 case TGSI_OPCODE_DPH
: {
830 case TGSI_OPCODE_COS
: {
833 case TGSI_OPCODE_DDX
:
835 case TGSI_OPCODE_DDY
:
837 case TGSI_OPCODE_KILP
:
839 case TGSI_OPCODE_PK2H
:
841 case TGSI_OPCODE_PK2US
:
843 case TGSI_OPCODE_PK4B
:
845 case TGSI_OPCODE_PK4UB
:
847 case TGSI_OPCODE_RFL
:
849 case TGSI_OPCODE_SEQ
:
851 case TGSI_OPCODE_SFL
:
853 case TGSI_OPCODE_SGT
: {
856 case TGSI_OPCODE_SIN
: {
859 case TGSI_OPCODE_SLE
:
861 case TGSI_OPCODE_SNE
:
863 case TGSI_OPCODE_STR
:
865 case TGSI_OPCODE_TEX
:
867 case TGSI_OPCODE_TXD
:
869 case TGSI_OPCODE_UP2H
:
871 case TGSI_OPCODE_UP2US
:
873 case TGSI_OPCODE_UP4B
:
875 case TGSI_OPCODE_UP4UB
:
877 case TGSI_OPCODE_X2D
:
879 case TGSI_OPCODE_ARA
:
881 case TGSI_OPCODE_ARR
:
883 case TGSI_OPCODE_BRA
:
885 case TGSI_OPCODE_CAL
: {
888 case TGSI_OPCODE_RET
: {
891 case TGSI_OPCODE_SSG
:
893 case TGSI_OPCODE_CMP
: {
896 case TGSI_OPCODE_SCS
: {
899 case TGSI_OPCODE_TXB
:
901 case TGSI_OPCODE_NRM
:
903 case TGSI_OPCODE_DIV
:
905 case TGSI_OPCODE_DP2
:
907 case TGSI_OPCODE_TXL
:
909 case TGSI_OPCODE_BRK
: {
912 case TGSI_OPCODE_IF
: {
915 case TGSI_OPCODE_LOOP
:
917 case TGSI_OPCODE_REP
:
919 case TGSI_OPCODE_ELSE
: {
922 case TGSI_OPCODE_ENDIF
: {
925 case TGSI_OPCODE_ENDLOOP
:
927 case TGSI_OPCODE_ENDREP
:
929 case TGSI_OPCODE_PUSHA
:
931 case TGSI_OPCODE_POPA
:
933 case TGSI_OPCODE_CEIL
:
935 case TGSI_OPCODE_I2F
:
937 case TGSI_OPCODE_NOT
:
939 case TGSI_OPCODE_TRUNC
: {
942 case TGSI_OPCODE_SHL
:
944 case TGSI_OPCODE_SHR
:
946 case TGSI_OPCODE_AND
:
950 case TGSI_OPCODE_MOD
:
952 case TGSI_OPCODE_XOR
:
954 case TGSI_OPCODE_SAD
:
956 case TGSI_OPCODE_TXF
:
958 case TGSI_OPCODE_TXQ
:
960 case TGSI_OPCODE_CONT
:
962 case TGSI_OPCODE_EMIT
:
964 case TGSI_OPCODE_ENDPRIM
:
966 case TGSI_OPCODE_BGNLOOP2
: {
969 case TGSI_OPCODE_BGNSUB
: {
972 case TGSI_OPCODE_ENDLOOP2
: {
975 case TGSI_OPCODE_ENDSUB
: {
978 case TGSI_OPCODE_NOISE1
:
980 case TGSI_OPCODE_NOISE2
:
982 case TGSI_OPCODE_NOISE3
:
984 case TGSI_OPCODE_NOISE4
:
986 case TGSI_OPCODE_NOP
:
988 case TGSI_OPCODE_M4X3
:
990 case TGSI_OPCODE_M3X4
:
992 case TGSI_OPCODE_M3X3
:
994 case TGSI_OPCODE_M3X2
:
996 case TGSI_OPCODE_NRM4
:
998 case TGSI_OPCODE_CALLNZ
:
1000 case TGSI_OPCODE_IFC
:
1002 case TGSI_OPCODE_BREAKC
:
1004 case TGSI_OPCODE_KIL
: {
1007 case TGSI_OPCODE_END
:
1012 fprintf(stderr
, "ERROR: Unknown opcode %d\n",
1013 inst
->Instruction
.Opcode
);
1019 fprintf(stderr
, "ERROR: unsupported opcode %d\n",
1020 inst
->Instruction
.Opcode
);
1021 assert(!"Unsupported opcode");
1025 for (int i
= 0; i
< inst
->Instruction
.NumDstRegs
; ++i
) {
1026 struct tgsi_full_dst_register
*dst
= &inst
->FullDstRegisters
[i
];
1028 storage
->store((enum tgsi_file_type
)dst
->DstRegister
.File
,
1029 dst
->DstRegister
.Index
, out
, dst
->DstRegister
.WriteMask
);
1034 tgsi_to_llvm(struct gallivm_ir
*ir
, const struct tgsi_token
*tokens
)
1036 llvm::Module
*mod
= new Module("shader");
1037 struct tgsi_parse_context parse
;
1038 struct tgsi_full_instruction fi
;
1039 struct tgsi_full_declaration fd
;
1040 unsigned instno
= 0;
1041 Function
* shader
= mod
->getFunction("execute_shader");
1042 std::ostringstream stream
;
1043 if (ir
->type
== GALLIVM_VS
) {
1044 stream
<< "vs_shader";
1046 stream
<< "fs_shader";
1049 std::string func_name
= stream
.str();
1050 shader
->setName(func_name
.c_str());
1052 Function::arg_iterator args
= shader
->arg_begin();
1053 Value
*ptr_INPUT
= args
++;
1054 ptr_INPUT
->setName("input");
1056 BasicBlock
*label_entry
= BasicBlock::Create("entry", shader
, 0);
1058 tgsi_parse_init(&parse
, tokens
);
1060 fi
= tgsi_default_full_instruction();
1061 fd
= tgsi_default_full_declaration();
1062 Storage
storage(label_entry
, ptr_INPUT
);
1063 Instructions
instr(mod
, shader
, label_entry
, &storage
);
1064 while(!tgsi_parse_end_of_tokens(&parse
)) {
1065 tgsi_parse_token(&parse
);
1067 switch (parse
.FullToken
.Token
.Type
) {
1068 case TGSI_TOKEN_TYPE_DECLARATION
:
1069 translate_declaration(ir
, mod
, &storage
,
1070 &parse
.FullToken
.FullDeclaration
,
1074 case TGSI_TOKEN_TYPE_IMMEDIATE
:
1075 translate_immediate(&storage
,
1076 &parse
.FullToken
.FullImmediate
);
1079 case TGSI_TOKEN_TYPE_INSTRUCTION
:
1080 translate_instruction(mod
, &storage
, &instr
,
1081 &parse
.FullToken
.FullInstruction
,
1091 tgsi_parse_free(&parse
);
1093 ir
->num_consts
= storage
.numConsts();
1097 llvm::Module
* tgsi_to_llvmir(struct gallivm_ir
*ir
,
1098 const struct tgsi_token
*tokens
)
1100 llvm::Module
*mod
= new Module("shader");
1101 struct tgsi_parse_context parse
;
1102 struct tgsi_full_instruction fi
;
1103 struct tgsi_full_declaration fd
;
1104 unsigned instno
= 0;
1105 std::ostringstream stream
;
1106 if (ir
->type
== GALLIVM_VS
) {
1107 stream
<< "vs_shader";
1109 stream
<< "fs_shader";
1112 std::string func_name
= stream
.str();
1113 Function
*shader
= llvm::cast
<Function
>(mod
->getOrInsertFunction(
1115 vertexShaderFunctionType()));
1117 Function::arg_iterator args
= shader
->arg_begin();
1118 Value
*input
= args
++;
1119 input
->setName("inputs");
1120 Value
*output
= args
++;
1121 output
->setName("outputs");
1122 Value
*consts
= args
++;
1123 consts
->setName("consts");
1124 Value
*temps
= args
++;
1125 temps
->setName("temps");
1127 BasicBlock
*label_entry
= BasicBlock::Create("entry", shader
, 0);
1129 tgsi_parse_init(&parse
, tokens
);
1131 fi
= tgsi_default_full_instruction();
1132 fd
= tgsi_default_full_declaration();
1134 StorageSoa
storage(label_entry
, input
, output
, consts
, temps
);
1135 InstructionsSoa
instr(mod
, shader
, label_entry
, &storage
);
1137 while(!tgsi_parse_end_of_tokens(&parse
)) {
1138 tgsi_parse_token(&parse
);
1140 switch (parse
.FullToken
.Token
.Type
) {
1141 case TGSI_TOKEN_TYPE_DECLARATION
:
1142 translate_declarationir(ir
, mod
, &storage
,
1143 &parse
.FullToken
.FullDeclaration
,
1147 case TGSI_TOKEN_TYPE_IMMEDIATE
:
1148 translate_immediateir(&storage
,
1149 &parse
.FullToken
.FullImmediate
);
1152 case TGSI_TOKEN_TYPE_INSTRUCTION
:
1153 storage
.declareImmediates();
1154 translate_instructionir(mod
, &storage
, &instr
,
1155 &parse
.FullToken
.FullInstruction
,
1165 tgsi_parse_free(&parse
);