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/util/tgsi_parse.h"
14 #include "tgsi/exec/tgsi_exec.h"
15 #include "tgsi/util/tgsi_util.h"
16 #include "tgsi/util/tgsi_build.h"
17 #include "tgsi/util/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
:
291 case TGSI_OPCODE_LOG
:
293 case TGSI_OPCODE_MUL
: {
294 out
= instr
->mul(inputs
[0], inputs
[1]);
297 case TGSI_OPCODE_ADD
: {
298 out
= instr
->add(inputs
[0], inputs
[1]);
301 case TGSI_OPCODE_DP3
: {
302 out
= instr
->dp3(inputs
[0], inputs
[1]);
305 case TGSI_OPCODE_DP4
: {
306 out
= instr
->dp4(inputs
[0], inputs
[1]);
309 case TGSI_OPCODE_DST
: {
310 out
= instr
->dst(inputs
[0], inputs
[1]);
313 case TGSI_OPCODE_MIN
: {
314 out
= instr
->min(inputs
[0], inputs
[1]);
317 case TGSI_OPCODE_MAX
: {
318 out
= instr
->max(inputs
[0], inputs
[1]);
321 case TGSI_OPCODE_SLT
: {
322 out
= instr
->slt(inputs
[0], inputs
[1]);
325 case TGSI_OPCODE_SGE
: {
326 out
= instr
->sge(inputs
[0], inputs
[1]);
329 case TGSI_OPCODE_MAD
: {
330 out
= instr
->madd(inputs
[0], inputs
[1], inputs
[2]);
333 case TGSI_OPCODE_SUB
: {
334 out
= instr
->sub(inputs
[0], inputs
[1]);
337 case TGSI_OPCODE_LERP
: {
338 out
= instr
->lerp(inputs
[0], inputs
[1], inputs
[2]);
341 case TGSI_OPCODE_CND
:
343 case TGSI_OPCODE_CND0
:
345 case TGSI_OPCODE_DOT2ADD
:
347 case TGSI_OPCODE_INDEX
:
349 case TGSI_OPCODE_NEGATE
:
351 case TGSI_OPCODE_FRAC
: {
352 out
= instr
->frc(inputs
[0]);
355 case TGSI_OPCODE_CLAMP
:
357 case TGSI_OPCODE_FLOOR
: {
358 out
= instr
->floor(inputs
[0]);
361 case TGSI_OPCODE_ROUND
:
363 case TGSI_OPCODE_EXPBASE2
: {
364 out
= instr
->ex2(inputs
[0]);
367 case TGSI_OPCODE_LOGBASE2
: {
368 out
= instr
->lg2(inputs
[0]);
371 case TGSI_OPCODE_POWER
: {
372 out
= instr
->pow(inputs
[0], inputs
[1]);
375 case TGSI_OPCODE_CROSSPRODUCT
: {
376 out
= instr
->cross(inputs
[0], inputs
[1]);
379 case TGSI_OPCODE_MULTIPLYMATRIX
:
381 case TGSI_OPCODE_ABS
: {
382 out
= instr
->abs(inputs
[0]);
385 case TGSI_OPCODE_RCC
:
387 case TGSI_OPCODE_DPH
: {
388 out
= instr
->dph(inputs
[0], inputs
[1]);
391 case TGSI_OPCODE_COS
: {
392 out
= instr
->cos(inputs
[0]);
395 case TGSI_OPCODE_DDX
:
397 case TGSI_OPCODE_DDY
:
399 case TGSI_OPCODE_KILP
: {
400 out
= instr
->kilp(inputs
[0]);
401 storage
->setKilElement(out
);
405 case TGSI_OPCODE_PK2H
:
407 case TGSI_OPCODE_PK2US
:
409 case TGSI_OPCODE_PK4B
:
411 case TGSI_OPCODE_PK4UB
:
413 case TGSI_OPCODE_RFL
:
415 case TGSI_OPCODE_SEQ
:
417 case TGSI_OPCODE_SFL
:
419 case TGSI_OPCODE_SGT
: {
420 out
= instr
->sgt(inputs
[0], inputs
[1]);
423 case TGSI_OPCODE_SIN
: {
424 out
= instr
->sin(inputs
[0]);
427 case TGSI_OPCODE_SLE
:
429 case TGSI_OPCODE_SNE
:
431 case TGSI_OPCODE_STR
:
433 case TGSI_OPCODE_TEX
:
435 case TGSI_OPCODE_TXD
:
437 case TGSI_OPCODE_UP2H
:
439 case TGSI_OPCODE_UP2US
:
441 case TGSI_OPCODE_UP4B
:
443 case TGSI_OPCODE_UP4UB
:
445 case TGSI_OPCODE_X2D
:
447 case TGSI_OPCODE_ARA
:
449 case TGSI_OPCODE_ARR
:
451 case TGSI_OPCODE_BRA
:
453 case TGSI_OPCODE_CAL
: {
454 instr
->cal(inst
->InstructionExtLabel
.Label
, storage
->inputPtr());
458 case TGSI_OPCODE_RET
: {
463 case TGSI_OPCODE_SSG
:
465 case TGSI_OPCODE_CMP
: {
466 out
= instr
->cmp(inputs
[0], inputs
[1], inputs
[2]);
469 case TGSI_OPCODE_SCS
: {
470 out
= instr
->scs(inputs
[0]);
473 case TGSI_OPCODE_TXB
:
475 case TGSI_OPCODE_NRM
:
477 case TGSI_OPCODE_DIV
:
479 case TGSI_OPCODE_DP2
:
481 case TGSI_OPCODE_TXL
:
483 case TGSI_OPCODE_BRK
: {
488 case TGSI_OPCODE_IF
: {
489 instr
->ifop(inputs
[0]);
490 storage
->setCurrentBlock(instr
->currentBlock());
491 return; //just update the state
494 case TGSI_OPCODE_LOOP
:
496 case TGSI_OPCODE_REP
:
498 case TGSI_OPCODE_ELSE
: {
500 storage
->setCurrentBlock(instr
->currentBlock());
501 return; //only state update
504 case TGSI_OPCODE_ENDIF
: {
506 storage
->setCurrentBlock(instr
->currentBlock());
507 return; //just update the state
510 case TGSI_OPCODE_ENDLOOP
:
512 case TGSI_OPCODE_ENDREP
:
514 case TGSI_OPCODE_PUSHA
:
516 case TGSI_OPCODE_POPA
:
518 case TGSI_OPCODE_CEIL
:
520 case TGSI_OPCODE_I2F
:
522 case TGSI_OPCODE_NOT
:
524 case TGSI_OPCODE_TRUNC
: {
525 out
= instr
->trunc(inputs
[0]);
528 case TGSI_OPCODE_SHL
:
530 case TGSI_OPCODE_SHR
:
532 case TGSI_OPCODE_AND
:
536 case TGSI_OPCODE_MOD
:
538 case TGSI_OPCODE_XOR
:
540 case TGSI_OPCODE_SAD
:
542 case TGSI_OPCODE_TXF
:
544 case TGSI_OPCODE_TXQ
:
546 case TGSI_OPCODE_CONT
:
548 case TGSI_OPCODE_EMIT
:
550 case TGSI_OPCODE_ENDPRIM
:
552 case TGSI_OPCODE_BGNLOOP2
: {
554 storage
->setCurrentBlock(instr
->currentBlock());
558 case TGSI_OPCODE_BGNSUB
: {
559 instr
->bgnSub(instno
);
560 storage
->setCurrentBlock(instr
->currentBlock());
561 storage
->pushTemps();
565 case TGSI_OPCODE_ENDLOOP2
: {
567 storage
->setCurrentBlock(instr
->currentBlock());
571 case TGSI_OPCODE_ENDSUB
: {
573 storage
->setCurrentBlock(instr
->currentBlock());
574 storage
->popArguments();
579 case TGSI_OPCODE_NOISE1
:
581 case TGSI_OPCODE_NOISE2
:
583 case TGSI_OPCODE_NOISE3
:
585 case TGSI_OPCODE_NOISE4
:
587 case TGSI_OPCODE_NOP
:
589 case TGSI_OPCODE_M4X3
:
591 case TGSI_OPCODE_M3X4
:
593 case TGSI_OPCODE_M3X3
:
595 case TGSI_OPCODE_M3X2
:
597 case TGSI_OPCODE_NRM4
:
599 case TGSI_OPCODE_CALLNZ
:
601 case TGSI_OPCODE_IFC
:
603 case TGSI_OPCODE_BREAKC
:
605 case TGSI_OPCODE_KIL
:
607 case TGSI_OPCODE_END
:
612 fprintf(stderr
, "ERROR: Unknown opcode %d\n",
613 inst
->Instruction
.Opcode
);
619 fprintf(stderr
, "ERROR: unsupported opcode %d\n",
620 inst
->Instruction
.Opcode
);
621 assert(!"Unsupported opcode");
624 /* # not sure if we need this */
625 switch( inst
->Instruction
.Saturate
) {
628 case TGSI_SAT_ZERO_ONE
:
631 case TGSI_SAT_MINUS_PLUS_ONE
:
632 /*TXT( "_SAT[-1,1]" );*/
639 for (int i
= 0; i
< inst
->Instruction
.NumDstRegs
; ++i
) {
640 struct tgsi_full_dst_register
*dst
= &inst
->FullDstRegisters
[i
];
642 if (dst
->DstRegister
.File
== TGSI_FILE_OUTPUT
) {
643 storage
->setOutputElement(dst
->DstRegister
.Index
, out
, dst
->DstRegister
.WriteMask
);
644 } else if (dst
->DstRegister
.File
== TGSI_FILE_TEMPORARY
) {
645 storage
->setTempElement(dst
->DstRegister
.Index
, out
, dst
->DstRegister
.WriteMask
);
646 } else if (dst
->DstRegister
.File
== TGSI_FILE_ADDRESS
) {
647 storage
->setAddrElement(dst
->DstRegister
.Index
, out
, dst
->DstRegister
.WriteMask
);
649 fprintf(stderr
, "ERROR: unsupported LLVM destination!");
650 assert(!"wrong destination");
657 translate_instructionir(llvm::Module
*module
,
659 InstructionsSoa
*instr
,
660 struct tgsi_full_instruction
*inst
,
661 struct tgsi_full_instruction
*fi
,
664 std::vector
< std::vector
<llvm::Value
*> > inputs(inst
->Instruction
.NumSrcRegs
);
666 for (int i
= 0; i
< inst
->Instruction
.NumSrcRegs
; ++i
) {
667 struct tgsi_full_src_register
*src
= &inst
->FullSrcRegisters
[i
];
668 std::vector
<llvm::Value
*> val
;
669 llvm::Value
*indIdx
= 0;
670 int swizzle
= swizzleInt(src
);
672 if (src
->SrcRegister
.Indirect
) {
673 indIdx
= storage
->addrElement(src
->SrcRegisterInd
.Index
);
676 val
= storage
->load((enum tgsi_file_type
)src
->SrcRegister
.File
,
677 src
->SrcRegister
.Index
, swizzle
, indIdx
);
682 std::vector
<llvm::Value
*> out(4);
683 switch (inst
->Instruction
.Opcode
) {
684 case TGSI_OPCODE_ARL
: {
685 out
= instr
->arl(inputs
[0]);
688 case TGSI_OPCODE_MOV
: {
692 case TGSI_OPCODE_LIT
: {
693 out
= instr
->lit(inputs
[0]);
696 case TGSI_OPCODE_RCP
: {
699 case TGSI_OPCODE_RSQ
: {
700 out
= instr
->rsq(inputs
[0]);
703 case TGSI_OPCODE_EXP
:
705 case TGSI_OPCODE_LOG
:
707 case TGSI_OPCODE_MUL
: {
708 out
= instr
->mul(inputs
[0], inputs
[1]);
711 case TGSI_OPCODE_ADD
: {
712 out
= instr
->add(inputs
[0], inputs
[1]);
715 case TGSI_OPCODE_DP3
: {
716 out
= instr
->dp3(inputs
[0], inputs
[1]);
719 case TGSI_OPCODE_DP4
: {
720 out
= instr
->dp4(inputs
[0], inputs
[1]);
723 case TGSI_OPCODE_DST
: {
726 case TGSI_OPCODE_MIN
: {
727 out
= instr
->min(inputs
[0], inputs
[1]);
730 case TGSI_OPCODE_MAX
: {
731 out
= instr
->max(inputs
[0], inputs
[1]);
734 case TGSI_OPCODE_SLT
: {
737 case TGSI_OPCODE_SGE
: {
740 case TGSI_OPCODE_MAD
: {
741 out
= instr
->madd(inputs
[0], inputs
[1], inputs
[2]);
744 case TGSI_OPCODE_SUB
: {
745 out
= instr
->sub(inputs
[0], inputs
[1]);
748 case TGSI_OPCODE_LERP
: {
751 case TGSI_OPCODE_CND
:
753 case TGSI_OPCODE_CND0
:
755 case TGSI_OPCODE_DOT2ADD
:
757 case TGSI_OPCODE_INDEX
:
759 case TGSI_OPCODE_NEGATE
:
761 case TGSI_OPCODE_FRAC
: {
764 case TGSI_OPCODE_CLAMP
:
766 case TGSI_OPCODE_FLOOR
: {
769 case TGSI_OPCODE_ROUND
:
771 case TGSI_OPCODE_EXPBASE2
: {
774 case TGSI_OPCODE_LOGBASE2
: {
777 case TGSI_OPCODE_POWER
: {
778 out
= instr
->pow(inputs
[0], inputs
[1]);
781 case TGSI_OPCODE_CROSSPRODUCT
: {
784 case TGSI_OPCODE_MULTIPLYMATRIX
:
786 case TGSI_OPCODE_ABS
: {
787 out
= instr
->abs(inputs
[0]);
790 case TGSI_OPCODE_RCC
:
792 case TGSI_OPCODE_DPH
: {
795 case TGSI_OPCODE_COS
: {
798 case TGSI_OPCODE_DDX
:
800 case TGSI_OPCODE_DDY
:
802 case TGSI_OPCODE_KILP
: {
805 case TGSI_OPCODE_PK2H
:
807 case TGSI_OPCODE_PK2US
:
809 case TGSI_OPCODE_PK4B
:
811 case TGSI_OPCODE_PK4UB
:
813 case TGSI_OPCODE_RFL
:
815 case TGSI_OPCODE_SEQ
:
817 case TGSI_OPCODE_SFL
:
819 case TGSI_OPCODE_SGT
: {
822 case TGSI_OPCODE_SIN
: {
825 case TGSI_OPCODE_SLE
:
827 case TGSI_OPCODE_SNE
:
829 case TGSI_OPCODE_STR
:
831 case TGSI_OPCODE_TEX
:
833 case TGSI_OPCODE_TXD
:
835 case TGSI_OPCODE_UP2H
:
837 case TGSI_OPCODE_UP2US
:
839 case TGSI_OPCODE_UP4B
:
841 case TGSI_OPCODE_UP4UB
:
843 case TGSI_OPCODE_X2D
:
845 case TGSI_OPCODE_ARA
:
847 case TGSI_OPCODE_ARR
:
849 case TGSI_OPCODE_BRA
:
851 case TGSI_OPCODE_CAL
: {
854 case TGSI_OPCODE_RET
: {
857 case TGSI_OPCODE_SSG
:
859 case TGSI_OPCODE_CMP
: {
862 case TGSI_OPCODE_SCS
: {
865 case TGSI_OPCODE_TXB
:
867 case TGSI_OPCODE_NRM
:
869 case TGSI_OPCODE_DIV
:
871 case TGSI_OPCODE_DP2
:
873 case TGSI_OPCODE_TXL
:
875 case TGSI_OPCODE_BRK
: {
878 case TGSI_OPCODE_IF
: {
881 case TGSI_OPCODE_LOOP
:
883 case TGSI_OPCODE_REP
:
885 case TGSI_OPCODE_ELSE
: {
888 case TGSI_OPCODE_ENDIF
: {
891 case TGSI_OPCODE_ENDLOOP
:
893 case TGSI_OPCODE_ENDREP
:
895 case TGSI_OPCODE_PUSHA
:
897 case TGSI_OPCODE_POPA
:
899 case TGSI_OPCODE_CEIL
:
901 case TGSI_OPCODE_I2F
:
903 case TGSI_OPCODE_NOT
:
905 case TGSI_OPCODE_TRUNC
: {
908 case TGSI_OPCODE_SHL
:
910 case TGSI_OPCODE_SHR
:
912 case TGSI_OPCODE_AND
:
916 case TGSI_OPCODE_MOD
:
918 case TGSI_OPCODE_XOR
:
920 case TGSI_OPCODE_SAD
:
922 case TGSI_OPCODE_TXF
:
924 case TGSI_OPCODE_TXQ
:
926 case TGSI_OPCODE_CONT
:
928 case TGSI_OPCODE_EMIT
:
930 case TGSI_OPCODE_ENDPRIM
:
932 case TGSI_OPCODE_BGNLOOP2
: {
935 case TGSI_OPCODE_BGNSUB
: {
938 case TGSI_OPCODE_ENDLOOP2
: {
941 case TGSI_OPCODE_ENDSUB
: {
944 case TGSI_OPCODE_NOISE1
:
946 case TGSI_OPCODE_NOISE2
:
948 case TGSI_OPCODE_NOISE3
:
950 case TGSI_OPCODE_NOISE4
:
952 case TGSI_OPCODE_NOP
:
954 case TGSI_OPCODE_M4X3
:
956 case TGSI_OPCODE_M3X4
:
958 case TGSI_OPCODE_M3X3
:
960 case TGSI_OPCODE_M3X2
:
962 case TGSI_OPCODE_NRM4
:
964 case TGSI_OPCODE_CALLNZ
:
966 case TGSI_OPCODE_IFC
:
968 case TGSI_OPCODE_BREAKC
:
970 case TGSI_OPCODE_KIL
:
972 case TGSI_OPCODE_END
:
977 fprintf(stderr
, "ERROR: Unknown opcode %d\n",
978 inst
->Instruction
.Opcode
);
984 fprintf(stderr
, "ERROR: unsupported opcode %d\n",
985 inst
->Instruction
.Opcode
);
986 assert(!"Unsupported opcode");
990 for (int i
= 0; i
< inst
->Instruction
.NumDstRegs
; ++i
) {
991 struct tgsi_full_dst_register
*dst
= &inst
->FullDstRegisters
[i
];
993 storage
->store((enum tgsi_file_type
)dst
->DstRegister
.File
,
994 dst
->DstRegister
.Index
, out
, dst
->DstRegister
.WriteMask
);
999 tgsi_to_llvm(struct gallivm_ir
*ir
, const struct tgsi_token
*tokens
)
1001 llvm::Module
*mod
= new Module("shader");
1002 struct tgsi_parse_context parse
;
1003 struct tgsi_full_instruction fi
;
1004 struct tgsi_full_declaration fd
;
1005 unsigned instno
= 0;
1006 Function
* shader
= mod
->getFunction("execute_shader");
1007 std::ostringstream stream
;
1008 if (ir
->type
== GALLIVM_VS
) {
1009 stream
<< "vs_shader";
1011 stream
<< "fs_shader";
1014 std::string func_name
= stream
.str();
1015 shader
->setName(func_name
.c_str());
1017 Function::arg_iterator args
= shader
->arg_begin();
1018 Value
*ptr_INPUT
= args
++;
1019 ptr_INPUT
->setName("input");
1021 BasicBlock
*label_entry
= BasicBlock::Create("entry", shader
, 0);
1023 tgsi_parse_init(&parse
, tokens
);
1025 fi
= tgsi_default_full_instruction();
1026 fd
= tgsi_default_full_declaration();
1027 Storage
storage(label_entry
, ptr_INPUT
);
1028 Instructions
instr(mod
, shader
, label_entry
, &storage
);
1029 while(!tgsi_parse_end_of_tokens(&parse
)) {
1030 tgsi_parse_token(&parse
);
1032 switch (parse
.FullToken
.Token
.Type
) {
1033 case TGSI_TOKEN_TYPE_DECLARATION
:
1034 translate_declaration(ir
, mod
, &storage
,
1035 &parse
.FullToken
.FullDeclaration
,
1039 case TGSI_TOKEN_TYPE_IMMEDIATE
:
1040 translate_immediate(&storage
,
1041 &parse
.FullToken
.FullImmediate
);
1044 case TGSI_TOKEN_TYPE_INSTRUCTION
:
1045 translate_instruction(mod
, &storage
, &instr
,
1046 &parse
.FullToken
.FullInstruction
,
1056 tgsi_parse_free(&parse
);
1058 ir
->num_consts
= storage
.numConsts();
1062 llvm::Module
* tgsi_to_llvmir(struct gallivm_ir
*ir
,
1063 const struct tgsi_token
*tokens
)
1065 llvm::Module
*mod
= new Module("shader");
1066 struct tgsi_parse_context parse
;
1067 struct tgsi_full_instruction fi
;
1068 struct tgsi_full_declaration fd
;
1069 unsigned instno
= 0;
1070 std::ostringstream stream
;
1071 if (ir
->type
== GALLIVM_VS
) {
1072 stream
<< "vs_shader";
1074 stream
<< "fs_shader";
1077 std::string func_name
= stream
.str();
1078 Function
*shader
= llvm::cast
<Function
>(mod
->getOrInsertFunction(
1080 vertexShaderFunctionType()));
1082 Function::arg_iterator args
= shader
->arg_begin();
1083 Value
*input
= args
++;
1084 input
->setName("inputs");
1085 Value
*output
= args
++;
1086 output
->setName("outputs");
1087 Value
*consts
= args
++;
1088 consts
->setName("consts");
1089 Value
*temps
= args
++;
1090 temps
->setName("temps");
1092 BasicBlock
*label_entry
= BasicBlock::Create("entry", shader
, 0);
1094 tgsi_parse_init(&parse
, tokens
);
1096 fi
= tgsi_default_full_instruction();
1097 fd
= tgsi_default_full_declaration();
1099 StorageSoa
storage(label_entry
, input
, output
, consts
, temps
);
1100 InstructionsSoa
instr(mod
, shader
, label_entry
, &storage
);
1102 while(!tgsi_parse_end_of_tokens(&parse
)) {
1103 tgsi_parse_token(&parse
);
1105 switch (parse
.FullToken
.Token
.Type
) {
1106 case TGSI_TOKEN_TYPE_DECLARATION
:
1107 translate_declarationir(ir
, mod
, &storage
,
1108 &parse
.FullToken
.FullDeclaration
,
1112 case TGSI_TOKEN_TYPE_IMMEDIATE
:
1113 translate_immediateir(&storage
,
1114 &parse
.FullToken
.FullImmediate
);
1117 case TGSI_TOKEN_TYPE_INSTRUCTION
:
1118 storage
.declareImmediates();
1119 translate_instructionir(mod
, &storage
, &instr
,
1120 &parse
.FullToken
.FullInstruction
,
1130 tgsi_parse_free(&parse
);