Lines Matching refs:CHECK
9 # CHECK: fadd
11 # CHECK: encoding: [0x58,0x01,0x10,0x00]
14 # CHECK: frsub
16 # CHECK: encoding: [0x58,0x01,0x10,0x80]
19 # CHECK: fmul
21 # CHECK: encoding: [0x58,0x01,0x11,0x00]
24 # CHECK: fdiv
26 # CHECK: encoding: [0x58,0x01,0x11,0x80]
29 # CHECK: fsqrt
31 # CHECK: encoding: [0x58,0x01,0x03,0x80]
34 # CHECK: fint
36 # CHECK: encoding: [0x58,0x01,0x03,0x00]
39 # CHECK: flt
41 # CHECK: encoding: [0x58,0x01,0x02,0x80]
44 # CHECK: fcmp.un
46 # CHECK: encoding: [0x58,0x01,0x12,0x00]
49 # CHECK: fcmp.lt
51 # CHECK: encoding: [0x58,0x01,0x12,0x10]
54 # CHECK: fcmp.eq
56 # CHECK: encoding: [0x58,0x01,0x12,0x20]
59 # CHECK: fcmp.le
61 # CHECK: encoding: [0x58,0x01,0x12,0x30]
64 # CHECK: fcmp.gt
66 # CHECK: encoding: [0x58,0x01,0x12,0x40]
69 # CHECK: fcmp.ne
71 # CHECK: encoding: [0x58,0x01,0x12,0x50]
74 # CHECK: fcmp.ge
76 # CHECK: encoding: [0x58,0x01,0x12,0x60]
