For Intel
Converting method check1.Program:Main (string[])

LIVENESS:
BLOCK BB0 (BB3, ):
GEN  BB0: {}
KILL BB0: {}
BLOCK BB3 (BB4, BB5, ):
	 iconst R20 <- [0]
	KILL: R20(4)
	 r8const R18 <- [2.000000]
	KILL: R18(2)
	 r8const R22 <- [2.000000]
	 float_conv_to_i4 R19 <- R22
	KILL: R19(3)
	 move R24 <- R19
	GEN: R19(3)
	 icompare_imm R24 [2]
	 int_beq [B4B5]
GEN  BB3: {}
KILL BB3: {2, 3, 4}
BLOCK BB4 (BB6, BB7, ):
	 fmove R35 <- R18
	GEN: R18(2)
	 fmove R38 <- R35
	 call R20 <- [__emul_fconv_to_u4] clobbers: c
	KILL: R20(4)
	 move R39 <- R20
	GEN: R20(4)
	 icompare_imm R39 [2]
	 int_beq [B6B7]
GEN  BB4: {2}
KILL BB4: {4}
BLOCK BB6 (BB1, ):
	 i8const R51 <- [140581557436488]
	 voidcall [System.Console:Write (string)] [%rdi <- R51] clobbers: c
	 iconst R16 <- [0]
	KILL: R16(0)
GEN  BB6: {}
KILL BB6: {0}
BLOCK BB1 ():
GEN  BB1: {}
KILL BB1: {}
BLOCK BB7 (BB6, ):
	 i8const R45 <- [20939800]
	 call R44 <- [(wrapper alloc) object:AllocSmall (intptr)] [%rdi <- R45] clobbers: c
	 storei4_membase_reg [R44 + 0x10] <- R20
	GEN: R20(4)
	 i8const R47 <- [140581557436432]
	 move R48 <- R44
	 call R49 <- [string:Concat (object,object)] [%rdi <- R47] [%rsi <- R48] clobbers: c
	 voidcall [System.Console:Write (string)] [%rdi <- R49] clobbers: c
GEN  BB7: {4}
KILL BB7: {}
BLOCK BB5 (BB4, ):
	 i8const R30 <- [20938680]
	 call R29 <- [(wrapper alloc) object:AllocSmall (intptr)] [%rdi <- R30] clobbers: c
	 storei4_membase_reg [R29 + 0x10] <- R19
	GEN: R19(3)
	 i8const R32 <- [140581557436432]
	 move R33 <- R29
	 call R34 <- [string:Concat (object,object)] [%rdi <- R32] [%rsi <- R33] clobbers: c
	 voidcall [System.Console:Write (string)] [%rdi <- R34] clobbers: c
GEN  BB5: {3}
KILL BB5: {}

ITERATION:
P: BB5(6): IN: BB3 OUT:BB4
	LIVE IN  BB5: {2, 3}
P: BB7(5): IN: BB4 OUT:BB6
	LIVE IN  BB7: {4}
P: BB1(4): IN: BB6 OUT:
P: BB6(3): IN: BB4 BB7 OUT:BB1
	LIVE IN  BB6: {}
P: BB4(2): IN: BB5 BB3 OUT:BB6 BB7
	ADD: 5
	LIVE IN  BB4: {2}
P: BB5(6): IN: BB3 OUT:BB4
	LIVE IN  BB5: {2, 3}
P: BB3(1): IN: BB0 OUT:BB4 BB5
	LIVE IN  BB3: {}
P: BB0(0): IN: OUT:BB3
	LIVE IN  BB0: {}
IT: 7 7.
LIVE IN  BB5: {2, 3}
LIVE OUT BB5: {2}
LIVE IN  BB7: {4}
LIVE OUT BB7: {}
LIVE IN  BB1: {}
LIVE OUT BB1: {}
LIVE IN  BB6: {}
LIVE OUT BB6: {}
LIVE IN  BB4: {2}
LIVE OUT BB4: {4}
LIVE IN  BB3: {}
LIVE OUT BB3: {2, 3}
LIVE IN  BB0: {}
LIVE OUT BB0: {}
V0: [0x0 - 0x30007]
V1: [0x0 - 0x0]
V2: [0x10005 - 0x6ffff]
V3: [0x10009 - 0x60006]
V4: [0x10003 - 0x50006]
CFA: [0] def_cfa: %rsp+0x8
CFA: [0] offset: unknown at cfa-0x8
CFA: [4] def_cfa_offset: 0x30
CFA: [8] offset: %r14 at cfa-0x30
CFA: [d] offset: %r15 at cfa-0x28
Method check1.Program:Main (string[]) emitted at 0x40353da0 to 0x40353e88 (code length 232) [hello.exe]