caio/clang-p2996
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
34,460 Commits 1 Branch 0 Tags
cf106ab42a4be232a68ee56ef4b47eaebfbe34d5
Commit Graph

18 Commits

Author SHA1 Message Date
Chris Lattner
cf106ab42a implement support for casts to/from pointers. 
llvm-svn: 39595
 2007-06-06 04:05:39 +00:00
Chris Lattner
8394d795c3 implement codegen of a bunch more loop constructs and most expressions 
llvm-svn: 39593
 2007-06-05 20:53:16 +00:00
Chris Lattner
946aa31f02 implement codegen of while stmts and lvalue evaluation of paren exprs :) 
llvm-svn: 39582
 2007-06-05 03:59:43 +00:00
Chris Lattner
cf25024828 Implement EmitUsualArithmeticConversions, so we can add shorts to floats and 
ints to long long etc.  For int to longlong, we now get:

        %tmp = load i64* %F             ; <i64> [#uses=1]
        %tmp1 = load i32* %D            ; <i32> [#uses=1]
        %promote = sext i32 %tmp1 to i64                ; <i64> [#uses=1]
        %tmp2 = add i64 %tmp, %promote          ; <i64> [#uses=0]

llvm-svn: 39576
 2007-06-03 02:02:44 +00:00
Chris Lattner
6db1fb845a implement a first hack at codegen'ing the usual unary conversions. 
This allows us to compile:

int func() {
  int A[10];
  if (!A) {

to:

define i32 @func() {
entry:
        %A = alloca [10 x i32]          ; <[10 x i32]*> [#uses=1]
        %arraydecay = getelementptr [10 x i32]* %A, i32 0, i32 0                ; <i32*> [#uses=1]
        %tobool = icmp ne i32* %arraydecay, null                ; <i1> [#uses=1]
        %lnot = xor i1 %tobool, true            ; <i1> [#uses=1]
        br i1 %lnot, label %ifthen, label %ifend

-Chris

llvm-svn: 39564
 2007-06-02 22:49:07 +00:00
Chris Lattner
2b4e21ac3f Implement translation of pointer, reference and simple array types. We now 
compile:

void foo() {
  int A[10];
  int *P;

into:

entry:
        %A = alloca [10 x i32]          ; <[10 x i32]*> [#uses=0]
        %P = alloca i32*                ; <i32**> [#uses=0]

llvm-svn: 39561
 2007-06-02 19:52:24 +00:00
Chris Lattner
f0106d2578 Refactor EvaluateScalarValueToBool out of if statement emission, so it can 
be shared.

Implement infrastructure for unary operator emission.

Implement basic logical not support.  We now compile:

  register short X;

  if (!X) {

into:

        %tmp = load i16* %X             ; <i16> [#uses=1]
        %tobool = icmp ne i16 %tmp, 0           ; <i1> [#uses=1]
        %lnot = xor i1 %tobool, true            ; <i1> [#uses=1]
        zext i1 %lnot to i32            ; <i32>:0 [#uses=1]
        %tobool1 = icmp ne i32 %0, 0            ; <i1> [#uses=1]
        br i1 %tobool1, label %ifthen, label %ifend

llvm-svn: 39559
 2007-06-02 19:33:17 +00:00
Chris Lattner
d7f58867e5 Implement scaffolding for lvalues. Implement block vardecl lvalues. 
This allows us to translate:

int func() {
  register int X;
  {
    int Y;
    return 1+X+Y;
  }
}

into:

define i32 @func() {
entry:
        %X = alloca i32         ; <i32*> [#uses=1]
        %Y = alloca i32         ; <i32*> [#uses=1]
        %allocapt = bitcast i32 undef to i32            ; <i32> [#uses=0]
        %tmp = load i32* %X             ; <i32> [#uses=1]
        %tmp1 = add i32 1, %tmp         ; <i32> [#uses=1]
        %tmp2 = load i32* %Y            ; <i32> [#uses=1]
        %tmp3 = add i32 %tmp1, %tmp2            ; <i32> [#uses=1]
        ret i32 %tmp3
                ; No predecessors!
        ret i32 undef
}

llvm-svn: 39555
 2007-06-02 05:24:33 +00:00
Chris Lattner
03df12294b Add initial support for fixed-size local vardecls. This allows us to compile: 
int func() {
  register int X;
  {
    int Y;

into:

define i32 @func() {
entry:
        %X = alloca i32         ; <i32*> [#uses=0]
        %Y = alloca i32         ; <i32*> [#uses=0]
        %allocapt = bitcast i32 undef to i32            ; <i32> [#uses=0]
...

llvm-svn: 39553
 2007-06-02 04:53:11 +00:00
Chris Lattner
84915fa79b Start stubbing out decl codegen. 
llvm-svn: 39550
 2007-06-02 04:16:21 +00:00
Chris Lattner
3f3dbeedd3 implement codegen support for return of void and simple scalars. 
llvm-svn: 39547
 2007-06-02 03:19:07 +00:00
Chris Lattner
db91b16755 stub out codegen of binary plus. We now compile: 
if (11 + 42) {

to:

        %tmp = add i32 11, 42           ; <i32> [#uses=1]
        %tobool = icmp ne i32 %tmp, 0           ; <i1> [#uses=1]
        br i1 %tobool, label %ifthen, label %ifend


but this doesn't handle any of the interesting/hard stuff yet.

llvm-svn: 39545
 2007-06-02 00:16:28 +00:00
Chris Lattner
5269c0377c Add support for codegen'ing paren exprs and if stmts. We can now codegen: 
void test() {
  goto l;

l:
  if (11) {
    j: ;
  }
}

into:

define void @test() {
entry:
        br label %l

l:              ; preds = %entry
        icmp ne i32 11, 0               ; <i1>:0 [#uses=1]
        br i1 %0, label %ifthen, label %ifend

ifthen:         ; preds = %l
        br label %j

j:              ; preds = %ifthen
        br label %ifend

ifend:          ; preds = %j, %l
}

whoa... :)

llvm-svn: 39533
 2007-05-30 21:03:58 +00:00
Chris Lattner
208ae96a8c implement codegen of integer literals. 
llvm-svn: 39530
 2007-05-30 17:57:17 +00:00
Chris Lattner
ac24820fa5 Implement codegen support for labels and gotos. We now compile: 
void test1() {
  foo:
    goto foo;
    goto foo;
    goto foo;
}

void test() {
  goto l;

l:
  ;
}
into:

define void @test1() {
entry:
        br label %foo

foo:            ; preds = %0, %foo, %entry
        br label %foo
                ; No predecessors!
        br label %foo
                ; No predecessors!
}

define void @test() {
entry:
        br label %l

l:              ; preds = %entry
}

llvm-svn: 39524
 2007-05-30 00:13:02 +00:00
Chris Lattner
308f431017 Add codegen support for NullStmt and CompoundStmt. {;;{};;} is now ours! 
llvm-svn: 39522
 2007-05-29 23:50:05 +00:00
Chris Lattner
d1af2d2956 Implement conversion of clang ast types to LLVM types, at least for some trivial 
cases.

llvm-svn: 39519
 2007-05-29 23:17:50 +00:00
Chris Lattner
bed314465a Reorganize codegen files. 
llvm-svn: 39504
 2007-05-28 01:07:47 +00:00