New testcase for bug in -raise pass

[oota-llvm.git] / test / select.ll

diff --git a/test/select.ll b/test/select.ll
index d937387a58c76b8694ac1f6d25ec3be72a60cc76..8a7348aa69af83ab02632becd6b76091d79ef4a6 100644 (file)
--- a/test/select.ll
+++ b/test/select.ll
@@ -1,3 +1,5 @@
+%AConst    = constant int 123
+
 implementation
 
 ; A SetCC whose result is used should produce instructions to
@@ -37,13 +39,38 @@ Next:
 end
 
 
+
+; A constant argument to a cast used only once should be forward substituted
+; and loaded where needed, which happens is:
+; -- User of cast has no immediate field
+; -- User of cast has immediate field but constant is too large to fit
+;    or constant is not resolved until later (e.g., global address)
+; -- User of cast uses it as a call arg. or return value so it is an implicit
+;    use but has to be loaded into a virtual register so that the reg.
+;    allocator can allocate the appropriate phys. reg. for it
+;  
+int* "castconst"(float)
+begin
+       %castbig   = cast ulong 99999999 to int
+       %castsmall = cast ulong 1        to int
+       %usebig    = add int %castbig, %castsmall
+               
+       %castglob = cast int* %AConst to long*
+       %dummyl   = load long* %castglob
+       
+       %castnull = cast ulong 0 to int*
+       ret int* %castnull
+end
+
+
+
 ; Test branch-on-comparison-with-zero, in two ways:
 ; 1. can be folded
 ; 2. cannot be folded because result of comparison is used twice
 ;
 void "testbool"(int, int)   ; Def %0, %1
-       int 0          ; Def 2
-       int -4         ; Def 3
+       const int 0          ; Def 2
+       const int -4         ; Def 3
 begin
        add int %0, %1    ; Def 4
        sub int %4, %3    ; Def 5