IR explain - example (like first)

int main(void) {
      int a = 1;
      if (a)
            printf("True!\n");
}
IR:
      f main [int ()]
      main_a_1_1 [int] = 0x1 [int]
      if main_a_1_1 [int] != 0 goto iftrue_0
      goto iffalse_0
iftrue_0:
      t1 = call printf [int (char * arg)]
iffalse_0:
      fend main