test/Golden/Machine/G17.expected.txt

   1 let name
   2   minReads=0
   3   mayRaise=[]
   4   freeRegs=[reg]
   5 | readRegister reg
   6 |   minReads=0
   7 |   mayRaise=[]
   8 |   freeRegs=[reg]
   9 | ret
  10 |   minReads=0
  11 |   mayRaise=[]
  12 |   freeRegs=[]
  13 pushValue GHC.Show.show
  14   minReads=1
  15   mayRaise=[ExceptionFailure]
  16   freeRegs=[]
  17 comment "satisfy"
  18   minReads=1
  19   mayRaise=[ExceptionFailure]
  20   freeRegs=[]
  21 read (\x_0 -> GHC.Types.True)
  22   minReads=1
  23   mayRaise=[ExceptionFailure]
  24   freeRegs=[]
  25 newRegister reg
  26   minReads=0
  27   mayRaise=[]
  28   freeRegs=[]
  29 pushValue GHC.Tuple.(,)
  30   minReads=0
  31   mayRaise=[]
  32   freeRegs=[reg]
  33 call name
  34   minReads=0
  35   mayRaise=[]
  36   freeRegs=[reg]
  37 lift2Value (\x_0 -> \x_1 -> x_0 x_1)
  38   minReads=0
  39   mayRaise=[]
  40   freeRegs=[reg]
  41 call name
  42   minReads=0
  43   mayRaise=[]
  44   freeRegs=[reg]
  45 lift2Value (\x_0 -> \x_1 -> x_0 x_1)
  46   minReads=0
  47   mayRaise=[]
  48   freeRegs=[]
  49 lift2Value (\x_0 -> \x_1 -> x_0 x_1)
  50   minReads=0
  51   mayRaise=[]
  52   freeRegs=[]
  53 ret
  54   minReads=0
  55   mayRaise=[]
  56   freeRegs=[]