Dan Gohman | f17a25c | 2007-07-18 16:29:46 +0000 | [diff] [blame^] | 1 | ; RUN: llvm-upgrade < %s | llvm-as | opt -adce -simplifycfg | llvm-dis |
| 2 | |
| 3 | %FILE = type { int, ubyte*, ubyte*, ubyte, ubyte, uint, uint, uint } |
| 4 | %spec_fd_t = type { int, int, int, ubyte* } |
| 5 | %__iob = uninitialized global [20 x %FILE] ; <[20 x %FILE]*> [#uses=1] |
| 6 | %dbglvl = global int 4 ; <int*> [#uses=3] |
| 7 | %spec_fd = uninitialized global [3 x %spec_fd_t] ; <[3 x %spec_fd_t]*> [#uses=4] |
| 8 | %.LC9 = internal global [34 x sbyte] c"spec_read: fd=%d, > MAX_SPEC_FD!\0A\00" ; <[34 x sbyte]*> [#uses=1] |
| 9 | %.LC10 = internal global [4 x sbyte] c"EOF\00" ; <[4 x sbyte]*> [#uses=1] |
| 10 | %.LC11 = internal global [4 x sbyte] c"%d\0A\00" ; <[4 x sbyte]*> [#uses=1] |
| 11 | %.LC12 = internal global [17 x sbyte] c"spec_getc: %d = \00" ; <[17 x sbyte]*> [#uses=1] |
| 12 | |
| 13 | implementation ; Functions: |
| 14 | |
| 15 | declare int "fprintf"(%FILE*, sbyte*, ...) |
| 16 | |
| 17 | declare void "exit"(int) |
| 18 | |
| 19 | declare int "remove"(sbyte*) |
| 20 | |
| 21 | declare int "fputc"(int, %FILE*) |
| 22 | |
| 23 | declare uint "fwrite"(sbyte*, uint, uint, %FILE*) |
| 24 | |
| 25 | declare void "perror"(sbyte*) |
| 26 | |
| 27 | int "spec_getc"(int %fd) { |
| 28 | ; <label>:0 ;[#uses=0] |
| 29 | %reg109 = load int* %dbglvl ; <int> [#uses=1] |
| 30 | %cond266 = setle int %reg109, 4 ; <bool> [#uses=1] |
| 31 | br bool %cond266, label %bb3, label %bb2 |
| 32 | |
| 33 | bb2: ;[#uses=1] |
| 34 | %cast273 = getelementptr [17 x sbyte]* %.LC12, long 0, long 0 ; <sbyte*> [#uses=0] |
| 35 | br label %bb3 |
| 36 | |
| 37 | bb3: ;[#uses=2] |
| 38 | %cond267 = setle int %fd, 3 ; <bool> [#uses=1] |
| 39 | br bool %cond267, label %bb5, label %bb4 |
| 40 | |
| 41 | bb4: ;[#uses=2] |
| 42 | %reg111 = getelementptr [20 x %FILE]* %__iob, long 0, long 1, uint 3 ; <ubyte*> [#uses=1] |
| 43 | %cast274 = getelementptr [34 x sbyte]* %.LC9, long 0, long 0 ; <sbyte*> [#uses=0] |
| 44 | %cast282 = cast ubyte* %reg111 to %FILE* ; <%FILE*> [#uses=0] |
| 45 | call void %exit( int 1 ) |
| 46 | br label %UnifiedExitNode |
| 47 | |
| 48 | bb5: ;[#uses=1] |
| 49 | %reg107-idxcast1 = cast int %fd to long ; <long> [#uses=2] |
| 50 | %reg107-idxcast2 = cast int %fd to long ; <long> [#uses=1] |
| 51 | %reg1311 = getelementptr [3 x %spec_fd_t]* %spec_fd, long 0, long %reg107-idxcast2 ; <%spec_fd_t*> [#uses=1] |
| 52 | %idx1 = getelementptr [3 x %spec_fd_t]* %spec_fd, long 0, long %reg107-idxcast1, uint 2 ; <int> [#uses=3] |
| 53 | %reg1321 = load int* %idx1 |
| 54 | %idx2 = getelementptr %spec_fd_t* %reg1311, long 0, uint 1 ; <int> [#uses=1] |
| 55 | %reg1331 = load int* %idx2 |
| 56 | %cond270 = setlt int %reg1321, %reg1331 ; <bool> [#uses=1] |
| 57 | br bool %cond270, label %bb9, label %bb6 |
| 58 | |
| 59 | bb6: ;[#uses=1] |
| 60 | %reg134 = load int* %dbglvl ; <int> [#uses=1] |
| 61 | %cond271 = setle int %reg134, 4 ; <bool> [#uses=1] |
| 62 | br bool %cond271, label %bb8, label %bb7 |
| 63 | |
| 64 | bb7: ;[#uses=1] |
| 65 | %cast277 = getelementptr [4 x sbyte]* %.LC10, long 0, long 0 ; <sbyte*> [#uses=0] |
| 66 | br label %bb8 |
| 67 | |
| 68 | bb8: ;[#uses=3] |
| 69 | br label %UnifiedExitNode |
| 70 | |
| 71 | bb9: ;[#uses=1] |
| 72 | %reg107-idxcast3 = cast int %fd to long ; <long> [#uses=1] |
| 73 | %idx3 = getelementptr [3 x %spec_fd_t]* %spec_fd, long 0, long %reg107-idxcast3, uint 3 ; <ubyte*> [#uses=1] |
| 74 | %reg1601 = load ubyte** %idx3 |
| 75 | %reg132-idxcast1 = cast int %reg1321 to long ; <long> [#uses=1] |
| 76 | %idx4 = getelementptr ubyte* %reg1601, long %reg132-idxcast1 ; <ubyte> [#uses=2] |
| 77 | %reg1621 = load ubyte* %idx4 |
| 78 | %cast108 = cast ubyte %reg1621 to long ; <long> [#uses=0] |
| 79 | %reg157 = add int %reg1321, 1 ; <int> [#uses=1] |
| 80 | %idx5 = getelementptr [3 x %spec_fd_t]* %spec_fd, long 0, long %reg107-idxcast1, uint 2 |
| 81 | store int %reg157, int* %idx5 |
| 82 | %reg163 = load int* %dbglvl ; <int> [#uses=1] |
| 83 | %cond272 = setle int %reg163, 4 ; <bool> [#uses=1] |
| 84 | br bool %cond272, label %bb11, label %bb10 |
| 85 | |
| 86 | bb10: ;[#uses=1] |
| 87 | %cast279 = getelementptr [4 x sbyte]* %.LC11, long 0, long 0 ; <sbyte*> [#uses=0] |
| 88 | br label %bb11 |
| 89 | |
| 90 | bb11: ;[#uses=3] |
| 91 | %cast291 = cast ubyte %reg1621 to int ; <int> [#uses=1] |
| 92 | br label %UnifiedExitNode |
| 93 | |
| 94 | UnifiedExitNode: ;[#uses=3] |
| 95 | %UnifiedRetVal = phi int [ 42, %bb4 ], [ -1, %bb8 ], [ %cast291, %bb11 ] ; <int> [#uses=1] |
| 96 | ret int %UnifiedRetVal |
| 97 | } |
| 98 | |
| 99 | declare int "puts"(sbyte*) |
| 100 | |
| 101 | declare int "printf"(sbyte*, ...) |