+%AConst = constant int 123
+
implementation
; A SetCC whose result is used should produce instructions to
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
+; <label>:0
+ %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
const int 0 ; Def 2
const int -4 ; Def 3
begin
+; <label>:0
+ br label %Top
+Top:
add int %0, %1 ; Def 4
sub int %4, %3 ; Def 5
setle int %5, %2 ; Def 0 - bool plane
sub int %4, %3 ; Def 7
setle int %7, %2 ; Def 1 - bool
not bool %1 ; Def 2 - bool. first use of bool %1
- br bool %1, label %loop, label %0 ; second use of bool %1
+ br bool %1, label %loop, label %Top ; second use of bool %1
retlbl:
ret void
;
void "testfloatbool"(float %x, float %y) ; Def %0, %1 - float
begin
+; <label>:0
+ br label %Top
+Top:
%p = add float %x, %y ; Def 2 - float
%z = sub float %x, %y ; Def 3 - float
%b = setle float %p, %z ; Def 0 - bool
%c = not bool %b ; Def 1 - bool
- br bool %b, label %0, label %goon
+ br bool %b, label %Top, label %goon
goon:
ret void
end