I realized that one form of documentation I should have provided from the start was examples of what the disassembly code looks like. These examples were compiled for my Mega, so pin/port correspondence may not be the same as other boards, but it will give a better idea of what is generated:
// these are non-pwm pins whose port is below 0x100
pinModeFast(51,INPUT);
5c4e: 22 98 cbi 0x04, 2 ; 4
digitalWriteFast(51,HIGH);
5c50: 2a 9a sbi 0x05, 2 ; 5
pinModeFast(50,OUTPUT);
5c52: 23 9a sbi 0x04, 3 ; 4
digitalWriteFast(50,LOW);
5c54: 2b 98 cbi 0x05, 3 ; 5
//these pins are on a port above 0x100
pinModeFast2(48,INPUT);
5bb2: 80 91 0a 01 lds r24, 0x010A
5bb6: 8d 7f andi r24, 0xFD ; 253
5bb8: 80 93 0a 01 sts 0x010A, r24
digitalWriteFast2(48,LOW);
5bbc: 80 91 0b 01 lds r24, 0x010B
5bc0: 8d 7f andi r24, 0xFD ; 253
5bc2: 80 93 0b 01 sts 0x010B, r24
pinModeFast2(49,OUTPUT);
5bc6: 80 91 0a 01 lds r24, 0x010A
5bca: 81 60 ori r24, 0x01 ; 1
5bcc: 80 93 0a 01 sts 0x010A, r24
digitalWriteFast2(49,HIGH);
5bd0: 80 91 0b 01 lds r24, 0x010B
5bd4: 81 60 ori r24, 0x01 ; 1
5bd6: 80 93 0b 01 sts 0x010B, r24
//these are pwm with a port address below 0x100:
pinModeFast(2,INPUT);
32c: 6c 98 cbi 0x0d, 4 ; 13
digitalWriteFast(2,HIGH);
32e: 80 91 90 00 lds r24, 0x0090
332: 8f 7d andi r24, 0xDF ; 223
334: 80 93 90 00 sts 0x0090, r24
338: 74 9a sbi 0x0e, 4 ; 14
pinModeFast(5,OUTPUT);
33a: 6b 9a sbi 0x0d, 3 ; 13
digitalWriteFast(5,LOW);
33c: 80 91 90 00 lds r24, 0x0090
340: 8f 77 andi r24, 0x7F ; 127
342: 80 93 90 00 sts 0x0090, r24
346: 73 98 cbi 0x0e, 3 ; 14
pinModeFast2(2,INPUT);
908: 80 91 90 00 lds r24, 0x0090
90c: 8f 7d andi r24, 0xDF ; 223
90e: 80 93 90 00 sts 0x0090, r24
912: 6c 98 cbi 0x0d, 4 ; 13
digitalWriteFast2(2,LOW);
914: 74 98 cbi 0x0e, 4 ; 14
pinModeFast2(5,OUTPUT);
916: 80 91 90 00 lds r24, 0x0090
91a: 8f 77 andi r24, 0x7F ; 127
91c: 80 93 90 00 sts 0x0090, r24
920: 6b 9a sbi 0x0d, 3 ; 13
digitalWriteFast2(5,HIGH);
922: 73 9a sbi 0x0e, 3 ; 14
//some of these have an address above 0x100:
pinModeFast(12,INPUT);
247a: 26 98 cbi 0x04, 6 ; 4
digitalWriteFast(12,HIGH);
247c: 80 91 80 00 lds r24, 0x0080
2480: 8f 7d andi r24, 0xDF ; 223
2482: 80 93 80 00 sts 0x0080, r24
2486: 2e 9a sbi 0x05, 6 ; 5
pinModeFast(9,OUTPUT);
2488: 80 91 01 01 lds r24, 0x0101
248c: 80 64 ori r24, 0x40 ; 64
248e: 80 93 01 01 sts 0x0101, r24
digitalWriteFast(9,LOW);
2492: 80 91 b0 00 lds r24, 0x00B0
2496: 8f 7d andi r24, 0xDF ; 223
2498: 80 93 b0 00 sts 0x00B0, r24
249c: 80 91 02 01 lds r24, 0x0102
24a0: 8f 7b andi r24, 0xBF ; 191
24a2: 80 93 02 01 sts 0x0102, r24